Convergence and divergence of formal CR mappings
type: Item
instance of: scholarly article
title: Convergence and divergence of formal CR mappings
zbMATH Open document ID: 1402.32039
author: Bernhard Lamel
author: Nordine Mir
published in: Acta Mathematica
publication date: 2018-08-27T00:00:00Z
review text: The convergence problem of formal holomorphic maps between real analytic submanifolds of complex spaces is studied intensively during the recent years. In particular, the specific case of formal CR maps, i.e., when the source manifold is CR, has received considerable attention. This paper focuses on this case. Among several interesting and significant results, the authors show as the main result that a formal holomorphic map \(H:(M, p)\rightarrow M'\), where \(M\subset\mathbb C^N\) is a generic real analytic submanifold of finite type, \(M'\subset\mathbb C^{N'}\) is a real analytic set and \(N, N'\geq 2\), is convergent whenever \(H(M)\) is not a subset of \(\mathcal E_{M'}\), the collection of all points in \(M'\) which are of infinite D'Angelo type (Theorem 1.1). This significant result is actually a consequence of another one (Theorem 2.2), a powerful result, which provides some general necessary condition for the existence of divergent maps. Accordingly, this theorem states that in order to have a divergent formal map \(H:(M, p)\rightarrow M'\), there must be some integer \(1\leqslant r\leqslant N'\) and, for every positive integer \(k\), a family of \(r\)-dimensional complex analytic subvarieties \((\Upsilon_z)_{z\in M_k}\), parameterized by some neighborhood \(M_k\) of \(p\) in \(M\), such that each submanifold \(\Upsilon_z\) passes throughout \(H(z)\) and has order of contact at least \(k\) with \(M'\) at \(H(z)\). The approach developed in this paper is completely new and different from those used so far to study the convergence problem. The main proofs are based upon establishing a link between divergence properties of formal CR maps \(H:(M, p)\rightarrow M'\) and the geometry of the triple \((M, M', H)\). This is done by means of the so-called \textit{\(k\)-approximate formal deformations}. In terms of this new language, the above mentioned Theorem 2.2 says that, for every \(k\), the existence of \(k\)-approximate formal deformations is a necessary conditi…
reviewed by: Masoud Sabzevari
Mathematics Subject Classification ID: 32V40
Mathematics Subject Classification ID: 32V10
zbMATH DE Number: 6925268
zbMATH Keywords: CR manifolds
zbMATH Keywords: formal CR maps
zbMATH Keywords: convergence problem
MaRDI profile type: Publication
Wikidata QID: Q129366041
DOI: 10.4310/ACTA.2018.V220.N2.A5
description: scientific article; zbMATH DE number 6925268