Linda Preiss Rothschild
In this paper I survey some recent results on finite determination, convergence, and approximation of formal mappings between real submanifolds in complex spaces. A number of conjectures are also given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We show that a holomorphic mapping sending one generic submanifold into another of the same dimension is CR transversal to the target submanifold provided that the source manifold is of finite type and the map is of generic full rank. This result and its corollaries completely resolve two questions posed by Linda P. Rothschild and the first author in a paper from 2006.
It is shown that a germ of a holomorphic mapping sending a real-analytic generic submanifold of finite type into another is determined by its projection on the Segre variety of the target manifold. A necessary and sufficient condition is given for a germ of a mapping into the Segre variety of the target manifold to be the projection of a holomorphic mapping sending the source manifold into the target. An application to the biholomorphic equivalence problem is also given.
In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite determination result gives sufficient conditions to guarantee that a formal map as above is uniquely determined by its jet at a point of a preassigned order. For real-analytic generic submanifolds, we prove convergence of formal mappings under appropriate assumptions and also give natural geometric conditions to assure that if two germs of such submanifolds are forma…
We consider a smooth CR mapping $f$ from a real-analytic generic submanifold $M$ in $\bC^N$ into $\bC^N$. For $M$ of finite type and essentially finite at a point $p\in M$, and $f$ formally finite at $p$, we give a necessary and sufficient condition for $f$ to extend as a holomorphic mapping in some neighborhood of $p$. In a similar vein, we consider a formal holomorphic mapping $H$ and give a necessary and sufficient condition for $H$ to be convergent.
We give some results concerning the smoothness of the image of a real-analytic submanifold in complex space under the action of a finite holomorphic mapping. For instance, if the submanifold is not contained in a proper complex subvariety, we give a necessary and sufficient condition guaranteeing that its image is smooth and the mapping is transversal to the image.
Iterated Segre mappings of real analytic generic submanifolds in complex space have been an essential tool in the study of holomorphic, formal, and CR mappings between such manifolds. In this paper we present a theory of iterated Segre mappings for smooth or formal submanifolds. In particular, we characterize finite type in terms of the rank of the iterated Segre mappings. The approach given here is new, simplifies proofs, and extends results previously known for the real analytic case.
It is shown that a formal mapping between two real-analytic hypersurfaces in complex space is convergent provided that neither hypersurface contains a nontrivial holomorphic variety. For higher codimensional generic submanifolds, convergence is proved e.g. under the assumption that the source is of finite type, the target does not contain a nontrivial holomorphic variety, and the mapping is finite. Finite determination (by jets of a predetermined order) of formal mappings between smooth generic submanifolds is also established.
Let H:(M,p)->(M',p') be a formal mapping between two germs of real-analytic generic submanifolds in C^N with nonvanishing Jacobian. Assuming M to be minimal at p and M' holomorphically nondegenerate at p', we prove the convergence of the mapping H. As a consequence, we obtain a new convergence result for arbitrary formal maps between real-analytic hypersurfaces when the target does not contain any holomorphic curve. In the case when both M and M' are hypersurfaces, we also prove the convergence of the associated reflection function when M is assumed to be only minimal. This allows us to derive…
We prove the following regularity result: If M and M' are smooth generic submanifolds of C^N and C^N' respectively, where N and N' are not necessarily equal, and if M is minimal, then every C^k-CR-map from M into M^\prime which is k-nondegenerate is smooth. As an application, every CR diffeomorphism of k-nondegenerate minimal submanifolds in C^N of class C^k is smooth.
We establish results on holomorphic extension of CR-mappings of class $C^\infty$ between a real-analytic CR-submanifold of $\C^N$ and a real-algebraic CR-submanifold of $\C^{N'}$.
The purpose of this article is threefold. The first is to construct a Nevanlina theory for meromorphic mappings from a polydisc to a compact complex manifold. In particular, we give a simple proof of Lemma on logarithmic derivative for nonzero meromorphic functions on $\mathbb{C}^l.$ The second is to improve the definition of the non-integrated defect relation of H. Fujimoto \cite{F2} and to show two theorems on the new non-integrated defect relation of meromorphic maps from a closed submanifold of $\mathbb{C}^l$ to a compact complex manifold. The third is to give a unicity theorem for meromor…
We consider CR submersive mappings between generic submanifolds in complex space. We show that, under suitable conditions on the manifolds, there is an integer k such that any jet of the CR mapping at a given point is a rational function of its k-jet at that point. As a consequence, it is shown that the stability group of a (suitably nondegenerate) real-analytic generic submanifold is a real algebraic Lie group. Moreover, it is shown that a formal equivalence between two such real-analytic submanifolds is necessarily convergent.
We construct a family of integral kernels for solving the \bar\partial equation with C^k and Holder estimates in thin tubes around totally real submanifolds in complex Eulidean spaces (theorems 1.1 and 3.1). Combining this with the proof of a theorem of Serre we solve the d-equation with estimates for holomorphic forms in such tubes (theorem 5.1). We apply these techniques and a method of Moser to approximate C^k-diffeomorphisms between totally real submanifolds in C^n in the C^k-topology by biholomorphic mappings in tubes, by unimodular and symplectic biholomorphic mappings, and by holomorphi…
In this paper we study the structure of complex points of codimension 2 real submanifolds in complex $n$ dimensional manifolds. We show that the local structure of a complex point up to isotopy only depends on their type (either elliptic or hyperbolic). We also show that any such submanifold can be smoothly isotoped into a submanifold that has 2-strictly pseudoconvex neighborhood basis.
In this notes, we characterize discrete subgroups of PU(2,1), holomorphic isometric group of complex hyperbolic space, which have an invariant totally geodesic submanifold.
Let E be a generic real submanifold of an almost complex manifold. The geometry of Bishop discs attached to E is studied in terms of the Levi form of E.
We give an invariant nondegeneracy condition for CR--maps between generic submanifolds in different dimensions and use it to prove a reflection principle for these maps.
Let f : (M,p)\to (M',p') be a formal (holomorphic) nondegenerate map, i.e. with formal holomorphic Jacobian J_f not identically vanishing, between two germs of real analytic generic submanifolds in \C^n, p'=f(p). Assuming the target manifold to be real algebraic, and the source manifold to be minimal at p\in M in the sense of Tumanov, we prove the convergence of the so-called reflection mapping associated to f. From this, we deduce the convergence of such mappings from minimal real analytic generic submanifolds onto real algebraic holomorphically nondegenerate ones, as well as related results …
We prove that a germ of a holomorphic map $f$ between $C^n$ and $C^{n'}$ sending one real-algebraic submanifold $M\subset C^n$ into another $M'\subset C^{n'}$ is algebraic provided $M'$ contains no complex-analytic discs and $M$ is generic and minimal. We also propose an algorithm for finding complex-analytic discs in a real submanifold.
Let $M$ be a pseudoconvex, oriented, bounded and closed CR submanifold of $\mathbb{C}^{n}$ of hypersurface type. Our main result says that when a certain $1$-form on $M$ is exact on the null space of the Levi form, then the complex Green operator on $M$ satisfies Sobolev estimates. This happens in particular when $M$ admits a set of plurisubharmonic defining functions or when $M$ is strictly pseudoconvex except for the points on a simply connected complex submanifold.
We show that for any real-analytic submanifold M in C^N there is a proper real-analytic subvariety V contained in M such that for any point p in M\V, any real-analytic submanifold M' in C^N, and any point p' in M', the germs of the submanifolds M and M' at p and p' respectively are formally equivalent if and only if they are biholomorphically equivalent. More general results for k-equivalences are also stated and proved.
In this paper we present some linear algebra behind quadratic parts of quadratically flat complex points of codimension two real submanifold in a complex manifold. Assuming some extra nondegenericity and using the result of Hong, complete normal form descriptions can be given, and in low dimensions, we obtain a complete classification without any extra assumptions.
Let A be a domain of the boundary of a strictly pseudoconvex domain Ωof C^n and M a smooth, closed, maximally complex submanifold of A. We find a subdomain \widetilde A of Ω, depending only on Ωand A, and a complex subvariety W of \widetilde A such that bW\cap A = M. Moreover, a generalization to analytic sets of depth at least 4 is given.
The Umehara algebra is studied with motivation on the problem of the non-existence of common complex submanifolds. In this paper, we prove some new results in Umehara algebra and obtain some applications. In particular, if a complex manifolds admits a holomorphic polynomial isometric immersion to one indefinite complex space form, then it cannot admits a holomorphic isometric immersion to another indefinite complex space form of different type. Other consequences include the non-existence of the common complex submanifolds for indefinite complex projective space or hyperbolic space and a compl…
Two Kahler manifolds are called relatives if they admit a common Kahler submanifold with the same induced metrics. In this paper, we show that a Hartogs domain over an irreducible bounded symmetric domain equipped with the Bergman metric is not a relative to the complex Euclidean space. This generalizes the results in [5, 4] and the novelty here is that the Bergman kernel of the Hartogs domain is not necessarily Nash algebraic.
In this paper we introduce the concept of inflexible $CR$ submanifolds. These are $CR$ submanifolds of some complex Euclidean space such that any compactly supported $CR$ deformation is again globally $CR$ embeddable into some complex Euclidean space. Our main result is that any $2$-pseudoconcave quadratic $CR$ submanifold of type $(n,d)$ in $\mathbb{C}^{n+d}$ is inflexible.
The Kähler submanifolds between the ball bundles and the complex Euclidean space
本文研究复球面 bundle 与复欧几里得空间之间凯勒子流形的不存在性，提出充分条件并给出若干类球面 bundle 的不存在定理。
We define a new local invariant (called degeneracy) associated to a triple (M,M',H), where M and M' are real submanifolds of C^N and C^N', respectively, and H: M->M' is either a holomorphic map, a formal holomorphic map, or a smooth CR-map. We use this invariant to find sufficient conditions under which finite jet dependence, convergence and algebraicity results hold.
Let $(X,ω)$ be a compact $n$-dimensional Kähler manifold on which the integral of $ω^n$ is $1$. Let $K$ be an immersed real $\mathcal{C}^3$ submanifold of $X$ such that the tangent space at any point of $K$ is not contained in any complex hyperplane of the (real) tangent space at that point of $X.$ Let $μ$ be a probability measure compactly supported on $K$ with $L^p$ density for some $p>1.$ We prove that the complex Monge-Ampère equation $(dd^c φ+ ω)^n=μ$ has a Hölder continuous solution.
Let $M$ be a closed complex submanifold in ${\mathbb C}^N$ with the complete Kähler metric induced by the Euclidean metric. Several finiteness theorems on the $L^p$ Bergman space of holomorphic sections of a given Hermitian line bundle $L$ over $M$ and the associated $L^2$ cohomology groups are obtained. Some infiniteness theorems are also given in order to test the accuracy of finiteness theorems. As applications we obtain some rigidity results concerning growth of curvatures.
In this paper we continue our study of local rigidity for maps of CR submanifolds of the complex space. We provide a linear sufficient condition for local rigidity of finitely nondegenerate maps between minimal CR manifolds. Furthermore, we show higher order infinitesimal conditions can be used to give a characterization of local rigidity.
New examples of CR submanifolds for the $2$-jet determination problem
本文探讨了映射问题，讨论了光滑（弱）伪凸超曲面间双全纯映射的$2$-jet判定结果，并给出了一个$\mathbb{C}^{10}$中余维数为$7$的非严格伪凸实子流形新实例，其CR自同构的芽在给定点由$2$-jet决定。
We study boundary properties of plurisubharmonic functions near real submanifolds of almost complex manifolds.
These notes are concerned with the $L^{2}$-Sobolev theory of the complex Green operator on pseudoconvex, oriented, bounded and closed CR--submanifolds of $\mathbb{C}^{n}$ of hypersurface type. This class of submanifolds generalizes that of boundaries of pseudoconvex domains. We first discuss briefly the CR--geometry of general CR--submanifolds and then specialize to this class. Next, we review the basic $L^{2}$-theory of the tangential Cauchy-Riemann operator and the associated complex Green operator(s) on these submanifolds. After these preparations, we discuss recent results on compactness a…
Given $N$ a non generic smooth CR submanifold of $\C^L$, $N=\{(\n,h(\n))\}$ where $\n$ is generic in $\C^{L-n}$ and $h$ is a CR map from $\n$ into $\C^n$. We prove, using only elementary tools, that if $h$ is decomposable at $p'\in \n$ then any decomposable CR distribution on $N$ at $p=(p',h(p'))$ extends holomorphically to a complex transversal wedge. This gives an elementary proof of the well known equivalent for totally real non generic submanifolds, i.e if $N$ is a smooth totally real submanifold of $\C^L$ any continuous function on $N$ admits a holomorphic extension to a complex transvers…
We survey the history as well as recent progress in the Yang problem concerning the existence of complete bounded complex submanifolds of the complex Euclidean spaces. We also point out some open questions on the topic.
We study a germ of real analytic n-dimensional submanifold of C n that has a complex tangent space of maximal dimension at a CR singularity. Under some assumptions , we show its equivalence to a normal form under a local biholomorphism at the singularity. We also show that if a real submanifold is formally equivalent to a quadric, it is actually holomorphically equivalent to it, if a small divisors condition is satisfied. Finally, we investigate the existence of a complex submanifold of positive dimension in C n that intersects a real submanifold along two totally and real analytic submanifold…
This paper shows that an arbitrary generic submanifold in a complex manifold can be deformed into a 1-parameter family of generic submanifolds satisfying strong nondegeneracy conditions. The proofs use a careful analysis of the jet spaces of embeddings satisfying certain nondegeneracy properties, and also make use of the Thom transversality theorem, as well as the stratification of real-algebraic sets. Optimal results on the order of nondegeneracy are given.
In this paper we establish some general results on local behavior of holomorphic functions along complex submanifolds of $\Co^{N}$. As a corollary, we present multi-dimensional generalizations of an important result of Coman and Poletsky on Bernstein type inequalities on transcendental curves in $\Co^{2}$.
We study a germ of real analytic $n$-dimensional submanifold of ${\mathbf C}^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. If the singularity is {\it abelian}, we show, under some assumptions on the linea…
We establish compactness estimates for $\overline{\partial}_{b}$ on a compact pseudoconvex CR-submanifold of $\mathbb{C}^{n}$ of hypersurface type that satisfies property(P). When the submanifold is orientable, these estimates were proved by A.~Raich via microlocal methods. Our proof deduces the estimates from (a slight extension, when $q>1$, of) those known on hypersurfaces via the fact that locally, CR-submanifolds of hypersurface type are CR-equivalent to a hypersurface. The relationship between two potential theoretic conditions is also clarified.
Complete hyperbolicity of small Euclidean balls with respect to a C^1-smooth almost complex structure standard at origin is improved to give a complete hyperbolicity of strictly pseudoconvex domains. More precise (and lower) regularity assumptions on almost complex structure are made also for another results.
Totally Geodesic Submanifolds of Teichmüller Space in Complex Dimension at Least Three
本文证明复维数至少为三的Teichmüller空间全测地子流形必为有限分歧覆盖诱导的整个Teichmüller空间之像，解答了Arana-Herrera与Wright的公开问题。
We construct examples of $C^\infty$ smooth submanifolds in ${\Bbb C}^n$ and ${\Bbb R}^n$ of codimension 2 and 1, which intersect every complex, respectively real, analytic curve in a discrete set. The examples are realized either as compact tori or as properly imbedded Euclidean spaces, and are the graphs of quasianalytic functions. In the complex case, these submanifolds contain real $n$-dimensional tori or Euclidean spaces that are not pluripolar while the intersection with any complex analytic disk is polar.
We prove that pseudo-holomorphic discs attached to a maximal totally real submanifold inherit their regularity from the regularity of the submanifold and of the almost complex structure. The proof is based on the computation of an explicit lower bound for the Kobayashi metric in almost complex manifolds, which also yields explicit estimates of Hölderian norms of such discs.
We study a germ of real analytic n-dimensional submanifold of $C^n$ that has a complex tangent space of maximal dimension at a CR singularity. Under the condition that its complexification admits the maximum number of deck transformations, we first classify holomorphically its quadratic CR singularity. We then study its transformation to a normal form under the action of local (possibly formal) biholomorphisms at the singularity. We first conjugate formally its associated reversible map $σ$ to suitable normal forms and show that all these normal forms can be divergent. We then construct a uniq…
Searching normal forms for real analytic submanifolds of C^n involves convergence problems. In 1983, J.K. Moser and S.M. Webster provided examples of real analytic surfaces in C^2 having an isolated hyperbolic (in the sense of E. Bishop) complex tangency, which are formally but not holomorphically normalizable (because of the presence of small divisors), even if the normal form is itself real analytic or algebraic. On the contrary, it appears that such a nonconvergence phenomenon does not appear for submanifolds of C^n whose CR dimension is locally constant, in view of recent results by S.M. B…
This paper proves the non-existence of common Kähler submanifolds of the complex Euclidean space and the symmetrized polydisc endowed with their canonical metrics.
Real Submanifolds in Complex Spaces: Upgrades
该文在有界对称域的希洛夫边界广义情境中，证明了莫泽定理的新类比，推进了复空间中实子流形的研究。
For the first obstruction to extending a holomorphic vector bundle from a submanifold of a complex manifold found by Griffiths we give an explicit formula in terms of the Atiyah class of the bundle.
We show that an indefinite Euclidean complex space is not a relative of an indefinite non-flat complex space form. We further study whether two compact Fubini-Study spaces are relatives or not.
We introduce a notion of semi-legendrian real submanifold in a complex manifold of dimension 3 and prove that real submanifolds of $\mathbb{C}^2$ can be uniquely lifted to $\mathbb{C}^3$. Then we deduce a complex duality between real submanifolds of $\mathbb{P}^2(\mathbb{C})$.
We show the intersection of a compact almost complex subvariety of dimension $4$ and a compact almost complex submanifold of codimension $2$ is a $J$-holomorphic curve. This is a generalization of positivity of intersections for $J$-holomorphic curves in almost complex $4$-manifolds to higher dimensions. As an application, we discuss pseudoholomorphic sections of a complex line bundle. We introduce a method to produce $J$-holomorphic curves using the differential geometry of almost Hermitian manifolds. When our main result is applied to pseudoholomorphic maps, we prove the singularity subset o…
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。