Real-analytic coordinates for smooth strictly pseudoconvex CR-structures

DOI10.4310/MRL.2022.V29.N5.A7MaRDI QIDQ6042857zbMATH OpenOpenAlexFDO

Authors Ilya Kossovskiy, Dmitri Zaitsev

Publication date 4 May 2023

Published in Mathematical Research Letters (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1906.09989

zbMATH Keywords

analytic CR manifoldholomorphic extensionstrictly pseudoconvex boundary

Mathematics Subject Classification ID

CR manifolds as boundaries of domains (32V15) Extension of functions and other analytic objects from CR manifolds (32V25) Other complex differential geometry (53C56)

Abstract: For a smooth strictly pseudoconvex hypersurface in a complex manifold, we give a necessary and sufficient condition for being CR-diffeomorphic to a real-analytic CR manifold. Our condition amounts to a holomorphic extension property for the canonically associated function expressing $2$-jets of the formal Segre varieties in terms of their $1$-jets. We also express this condition in equivalent terms for a Fefferman type determinant

Review text

This article studies the question of whether a strictly pseudoconvex smooth hypersurface \(M\) in some complex manifold \(X\) is diffeomorphic to a real analytic CR manifold. The authors refer to this property as being ``analytically regularizable, since it makes a number of additional analytical tools available. The article presents examples that show that the question is non-trivial. The main result of the article is that a property called ``Condition E by the authors is equivalent to analytic regularizability. Condition E amounts to a condition on holomorphic extendability of a smooth function that can be explicitly described. This starts from a local defining function for \(M\), which is formally complexified in order to define formal Segre varieties at a point \(p\in M\). Passing to jets, one obtains (local) embeddings of \(M\) into spaces of jets of hypersurfaces in \(X\). For the one-jets, the resulting embedding realizes \(M\) as a totally real submanifold and the embedding into \(2\)-jets can be viewed as being defined on this submanifold. Condition E says that this function is locally holomorphically extendable to the pseudoconvex side. In coordinates, this can be equivalently characterized as extendability of functions obtained from determinants of iterated partial derivatives of the defining function which are similar to the ones giving rise to the Monge-Ampère equation. Necessity and sufficiency of Condition E are proved separately, via an associated system of differential equations, respectively via a careful study of a certain foliation of the jet bundle.

Recommendations

• Global analyticity for□^bon three dimensional pseudoconvex cr manifolds
• Analytic regularity of CR maps into spheres
• Regularity and uniqueness of certain systems of functions annihilated by a formally integrable system of vector fields
• CR functions on subanalytic hypersurfaces
• Sur l'analyticité des germes d'applications CR entre hypersurfaces analytiques réelles dans N+1

Cited in

(2)

• On realizations of families of strongly pseudo-convex CR structures
• Local equivalence problem for a second order complete scalar system of partial differencial equations with \(n\) independent variables

This page was built for publication: Real-analytic coordinates for smooth strictly pseudoconvex CR-structures

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6042857)