Propagation of analyticity for essentially finite \(\mathcal C^\infty\)-smooth CR mappings (Q706165)

From MaRDI portal
Revision as of 16:09, 18 April 2024 by Importer (talk | contribs) (‎Changed an Item)
scientific article
Language Label Description Also known as
English
Propagation of analyticity for essentially finite \(\mathcal C^\infty\)-smooth CR mappings
scientific article

    Statements

    Propagation of analyticity for essentially finite \(\mathcal C^\infty\)-smooth CR mappings (English)
    0 references
    0 references
    2 February 2005
    0 references
    Consider a \({\mathcal C}^\infty\)-smooth local CR map \(h: M \to M'\) between the germs of two real analytic generic CR manifolds \(M \subset {\mathbb C}^n\), \(M'\subset {\mathbb C}^{n'}\), passing through the origin of \({\mathbb C}^n\) and \({\mathbb C}^{n'}\), respectively, and both of positive CR codimension. The map \(h\) is called essentially finite at \(0\) if, for a sufficiently small ball \(B_\rho(0)\) centered at the origin, the analytic subset \[ {\mathcal A} = \{y\in B_\rho(0):\overline L^\beta(r_j(y, \overline{h(t)})| _{\bar t = 0} = 0, \text{ for all } \beta \in {\mathbb N}^m, \;1 \leq j \leq d\}, \] where \(r_j\) are local defining functions for \(M'\) and \(\overline L^1\), \dots, \(\overline L^m\) is basis of \((0,1)\)-vector fields tangent to \(M\), has dimension \(0\). The paper is devoted to the proof of the following theorem. Let \(h: M \to M'\) be a \({\mathcal C}^\infty\)-smooth local CR map so that: a) it is essentially finite at \(0\); b) there exists a complete wedge \(\mathcal W\) in a sufficiently small ball \(B_{\rho'}(0)\) with edge \(M \cap B_{\rho'}(0)\) and such that all components of \(h\) extend holomorphically to \(\mathcal W\); c) the orbit under CR diffeomorphisms of \(M\) contains a sequence of points tending to \(0\), at which \(h\) is real analytic. Then there exists an open ball centered at the origin on which \(h\) extends holomorphically. The hypothesis of this theorem are shown to be satisfied when the origin is a point where either \(M\) is minimal or \(M'\) is essentially finite. So, this result might be considered as an extension and a unification of the results in [\textit{M. S. Baouendi, H. Jakobowitz} and \textit{F. Treves}, Ann. Math. (2) 122, 365--400 (1985; Zbl 0583.32021] and in [\textit{S. Damour}, Mich. Math. J. 49, No. 3, 583--603 (2001; Zbl 0997.32033) and \textit{F. Meylan, N. Mir} and \textit{D. Zaitsev}, Math. Res. Lett. 9, No. 1, 73--93 (2002; Zbl 1009.32024)].
    0 references
    holomorphic extension of CR mappings
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references