Skip to main content
9 events
when toggle format what by license comment
Mar 21, 2015 at 23:14 vote accept David Roberts
Mar 19, 2015 at 1:37 answer added Robert Bryant timeline score: 5
Mar 18, 2015 at 22:58 history edited David Roberts CC BY-SA 3.0
Clarified remark about CR isomorphism
Mar 18, 2015 at 22:56 comment added David Roberts @RobertBryant my fault: I didn't mean $\mathbb{C}^n\times\mathbb{R}$ with its usual CR manifold structure, see my comment to Benoît.
Mar 18, 2015 at 22:54 comment added David Roberts @BenoîtKloeckner Yes, I meant $\mathbb{C}^n\times \mathbb{R}$ in its guise as the Heisenberg group (I'm afraid I'm used to thinking of diffeomorphisms, not worrying about metric or complex structures). I'm not entirely sure that particular chart is going to help, which is why I'm asking here.
Mar 18, 2015 at 10:56 comment added Benoît Kloeckner Just as Robert Bryant, I am puzzled by your assertion that $\mathbb{C}^n\times \mathbb{R}$ be CR-isomorphic to any open set of the sphere: to phrase Robert's objection differently, they live in opposite parts of the CR world, the former being Levy-flat and the later being strictly pseudoconvex. The relevant keyword is probably "Heisenberg group": in one of its guises, it is a pseudo-Riemannian manifold that parametrizes any complement of a point in the unit sphere of $\mathbb{C}^n$, and it can certainly be endowed with a natural CR-structure.
Mar 18, 2015 at 10:42 comment added Robert Bryant I am not sure what you mean by a 'CR isomorphism'. There is no diffeomorphism $\phi:\mathbb{C}^n\times\mathbb{R}\to U$ such that the differential of $\phi$ is complex linear on the tangent vectors to the complex hypersurfaces $\mathbb{C}^n\times\{x\}$, which is what I would think is meant by 'CR isomorphism' in this case. (If such a $\phi$ existed, then $\phi\bigl(\mathbb{C}^n\times\{x\}\bigr)\subset U\subset S^{2n+1}$ would be a complex submanifold of $\mathbb{C}^{n+1}$, which, by the maximum principle, is impossible.)
Mar 18, 2015 at 4:38 comment added David Roberts Notice that I really do want $U$, and not some other smaller open subspace!
Mar 18, 2015 at 4:36 history asked David Roberts CC BY-SA 3.0