What's a good reference e.g. textbook for the fact that the open nball and the open nsimplex are diffeomorphic?

8$\begingroup$ Why did someone vote to close this question? $\endgroup$– Deane YangOct 12, 2010 at 1:33

6$\begingroup$ My guess is that someone didn't realize the distinction between "homeomorphism" and "diffeomorphism" in this question. $\endgroup$– Andy PutmanOct 12, 2010 at 2:45

2$\begingroup$ My thanks to those who answered Jim Stasheff's question. It arose in a discussion over at the nLab (and of course we're interested in the generalization to starshaped open domains, addressed by Dan Ramras and Robin Chapman below). $\endgroup$– Todd Trimble ♦Oct 12, 2010 at 10:55

3$\begingroup$ And one should mention that so far Todd has been the only one in this discussion who actually did provide an explicit concrete and nice diffeomorphism (which really was the original question that Jim*s question was promted by). Reproduced here: ncatlab.org/nlab/show/ball $\endgroup$– Urs SchreiberOct 13, 2010 at 8:32

$\begingroup$ See the answer here. $\endgroup$– Moishe KohanFeb 9, 2022 at 1:01
2 Answers
If the compact simplex is
$$\Delta_n = \{ (x_0,\cdots,x_n) : x_i \geq 0, x_0+x_1+\cdots+x_n=1\} \subset \mathbb R^{n+1}$$
then consider this function $f : \Delta \to \mathbb R \cup \{\infty\}$ defined by
$$f(x_0,\cdots,x_n) = \frac{1}{x_0} + \cdots + \frac{1}{x_n}$$
This is a proper Morse function on the interior of $\Delta_n$, and there's only the one critical point at $(\frac{1}{n+1},\cdots,\frac{1}{n+1})$, so standard theorems in Morse theory give you a diffeo to the open ball.
I imagine this is simple enough that you could solve the corresponding ODEs explicitly and write the diffeo out in a closedform but I haven't put in the work.
I'd recommend taking a look at the book by Brocker and Janich, which discusses diffeomorphisms between starshaped domains by defining a flow along rays from the star point. This might be an exercise in the book, rather than a theorem. (I think I have the book on my desk at school, and I'll try to give a more precise reference tomorrow.)

4

1$\begingroup$ It's curiuous: that exercise asks the reader to prove what in Conlon's book "Differentiable manifolds" (in the edition of 2008(!)) is commented on (after lemma 10.5.5) as follows: "It seems that open star shaped sets are always diffeomorphic to R^n, but this is extremely difficult to prove." But a full prove has been written out, for instance by Stefan Born, which is reproduced as theorem 237 in Dirk Ferus' lecture notes math.tuberlin.de/~ferus/ANA/Ana3.pdf However, that still does not give nice concrete diffeos in concrete cases like the nsimplex. $\endgroup$ Oct 13, 2010 at 8:30