Let $\Omega$ be a star-shaped open set of $\mathbb{R}^3$. Under which conditions is $\Omega$ analytically diffeomorphic to $\mathbb{R}^3$?

Question

In this post

A star shaped open set in $\mathbb{R}^n$ is diffeomorphic to $\mathbb{R}^n$

I found a proof that $\Omega$ is always diffeomorphic to $\mathbb{R}^3$. In which cases can such a diffeomorphism be analytical?

score 3 · Answer 1 · answered Dec 25 '15 at 11:06

There is a general theorem (Morrey and Grauert) stating that if two real-analytic manifolds are diffeomorphic then they are real-analytically isomorphic.

H. Grauert, On Levi’s problem and the imbedding of real analytic manifolds, Ann. of Math., 68 (1958), 460-472.

C. B. Morrey, The analytic embedding of abstract real analytic manifolds, Ann. of Math., 68 (1958), 159-201.

Let $\Omega$ be a star-shaped open set of $\mathbb{R}^3$. Under which conditions is $\Omega$ analytically diffeomorphic to $\mathbb{R}^3$?

1 Answers1