On the \(\mathcal{C}^\infty\) regularity of CR mappings of positive codimension
type: Item
instance of: scholarly article
title: On the \(\mathcal{C}^\infty\) regularity of CR mappings of positive codimension
zbMATH Open document ID: 1411.32025
author: Bernhard Lamel
author: Nordine Mir
published in: Advances in Mathematics
publication date: 2018-08-29T00:00:00Z
review text: The authors study the smooth (\(C^\infty\)) regularity problem for CR maps between smooth embedded CR submanifolds (embedded in possibly different dimensions). An embedded submanifold \(M \subset {\mathbb{C}}^n\) is CR if the Cauchy-Riemann equations induce a vector bundle on \(M\), the so-called CR structure, for example if \(M\) is a real hypersurface. A map \(h : M \to M'\) is CR if it preserves the CR structure. The question is: Under what conditions is a \(C^k\) CR map \(h\) actually smooth, at least on a dense open subset. The basic motivating question is the boundary regularity of holomorphic maps of domains with smooth boundaries. Suppose \(M \subset {\mathbb{C}}^{n+1}\), \(M' \subset {\mathbb{C}}^{n'+1}\), and \(n' > n \geq 1\), and \(M\) is strongly pseudoconvex. The authors prove that if \(h : M \to M'\) is a CR transversal CR map of class \(C^{n'-n+1}\) that is nowhere smooth on an open subset of \(M\), then \(h\) must send this set to the set of D'Angelo infinite type points of \(M'\) (points where the order of contact of \(M'\) with possibly singular complex curves is unbounded). A map \(h\) is CR transversal if the push-forward of the tangent space of \(M\) together with CR and anti-CR vector fields span the tangent space of \(M'\). A first corollary is that, if \(M'\) is of D'Angelo finite type, any such map is in fact smooth on a dense open subset. A second corollary is a boundary regularity result. Suppose \(\Omega \subset {\mathbb{C}}^{n+1}\) and \(\Omega' \subset {\mathbb{C}}^{n'+1}\) are pseudoconvex domains with smooth boundary, \(n' > n\), and the boundaries are of D'Angelo finite type. Any proper holomorphic map that extends to be of class \(C^{n'-n+1}\) up to the boundary is in fact smooth on an open dense subset of \(\partial \Omega\). The results are also extended to the higher-codimension case.
Mathematics Subject Classification ID: 32V20
Mathematics Subject Classification ID: 32V25
Mathematics Subject Classification ID: 32V40
Mathematics Subject Classification ID: 32H02
Mathematics Subject Classification ID: 32H40
Mathematics Subject Classification ID: 32T25
Mathematics Subject Classification ID: 32T27
zbMATH DE Number: 6929163
zbMATH Keywords: CR map
zbMATH Keywords: \(\mathcal{C}^\infty\) regularity
zbMATH Keywords: points of finite type
reviewed by: Jiri Lebl
MaRDI profile type: Publication
full work available at URL: j.aim.2018.07.004
OpenAlex ID: W2884148241
cites work: A simplification and extension of Fefferman's theorem on biholomorphic mappings
cites work: Q4230686
cites work: Q5386124
cites work: On the c∞ version of the reflection principle for mappings between CR manifolds
cites work: On the regularity of CR mappings between CR manifolds of hypersurface type
cites work: Global 𝐶^{∞} irregularity of the ∂̄-Neumann problem for worm domains
cites work: Regularite De Fonctions Holomorphes Sur Des Wedges
cites work: Real hypersurfaces, orders of contact, and applications
cites work: Several Complex Variables and the Geometry of Real Hypersurfaces
cites work: Proper holomorphic maps between balls in one co-dimension
cites work: The Bergman kernel and biholomorphic mappings of pseudoconvex domains
cites work: Extending proper holomorphic mappings of positive codimension
cites work: Q4694597
cites work: Q909071
cites work: On a linearity problem for proper holomorphic maps between balls in complex spaces of different dimensions.
cites work: On a semi-rigidity property for holomorphic maps
cites work: A \(C^\infty\)-regularity theorem for nondegenerate CR mappings
cites work: Convergence of formal CR mappings into strongly pseudoconvex Cauchy-Riemann manifolds
cites work: Holomorphic deformations of real-analytic CR maps and analytic regularity of CR mappings
cites work: Q5613348
cites work: Local boundary regularity of holomorphic mappings
cites work: A Propos De "Wedges" et D' "Edges et de Prolongements Holomorphes
cites work: Proper maps which are Lipschitz \(\alpha\) up to the boundary
cites work: EXTENSION OF CR-FUNCTIONS INTO A WEDGE
DOI: 10.1016/J.AIM.2018.07.004
description: scientific article; zbMATH DE number 6929163