Peter Ebenfelt, Linda P. Rothschild
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.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
The asymptotics of the optimal holomorphic extensions of holomorphic jets along submanifolds
本文研究沿子流形的全纯射流的$L^2$-最优延拓算子的渐近公式，通过分析Schwartz核与Bergman投影，证明了射流空间上两个自然范数的渐近等距。
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.
Nirenberg and Spencer posed the question whether the germ of a compact complex submanifold in a complex manifold is determined by its infinitesimal neighborhood of finite order when the normal bundle is sufficiently positive. To study the problem for a larger class of submanifolds, including free rational curves, we reformulate the question in the setting of families of submanifolds and their infinitesimal neighborhoods. When the submanifolds have no nonzero vector fields, we prove that it is sufficient to consider only first-order neighborhoods to have an affirmative answer to the reformulate…
It is proved that a germ of a real analytic CR map from a smooth real-analytic minimal CR manifold M to an essentially finite real-algebraic generic submanifold M' of P^N of the same CR-dimension extends as a holomorphic correspondence along M. Applications are given for pseudoconcave submanifolds of P^N.
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.
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.
We give a holomorphic extension result from non generic CR submanifold of $\C^L$ of positive CR dimension. We consider $N$ a non generic CR submanifold given by $N=\{\n,h(\n)\}$ where $\n$ is a generic submanifold of some $\C^{\ell}$ and $h$ is a CR map from $\n$ into $\C^n$. We prove that if $\n$ is a hypersurface then any CR distribution on $N$ extends holomorphically to a complex transversal wedge, we then generalize this result for arbitrary $\n$ in the case where the graphing function $h$ is decomposable at some $p'\in \n$. We show that any CR distribution on $N$ that is decomposable at $…
In a setting of a complex manifold with a fixed positive line bundle and a submanifold, we consider the optimal Ohsawa-Takegoshi extension operator, sending a holomorphic section of the line bundle on the submanifold to the holomorphic extension of it on the ambient manifold with the minimal $L^2$-norm. We show that for a tower of submanifolds in the semiclassical setting, i.e. when we consider a large tensor power of the line bundle, the extension operators satisfy transitivity property modulo some small defect, which can be expressed through Toeplitz type operators. We calculate the first si…
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…
Normal form of bimeromorphically contractible holomorphic Lagrangian submanifolds
本文通过到法锥的形变研究可双亚纯收缩至一点的紧全纯 Lagrangian 子流形，证明其必为 $CP^n$，且局部辛双全纯等价于余切丛零截面邻域，建立 Weinstein 定理的全纯版本。
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}$.
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.
We consider (small) algebraic deformations of germs of real-algebraic CR submanifolds in complex space and study the biholomorphic equivalence problem for such deformations. We show that two algebraic deformations of minimal holomorphically nondegenerate real-algebraic CR submanifolds are holomorphically equivalent if and only if they are algebraically equivalent.
Asymptotic estimates of holomorphic sections on Bohr-Sommerfeld Lagrangian submanifolds
本文针对满足Bohr-Sommerfeld条件的拉格朗日子流形，给出了全纯截面在其上的范数的渐近估计。
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 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…
On algebraically coisotropic submanifolds of holomorphic symplectic manifolds
研究全纯辛射影流形中的代数余切子流形，证明在非单直纹情况下，经过有限平展覆盖后，该子流形与辛流形可分解为乘积形式，并给出阿贝尔簇情形的完全证明及半丰典范丛的部分结果。
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'}$.
Locally approximable CR functions, a sharp maximum modulus principle and holomorphic extension
本文提出约化复空间局部闭子集上的局部可逼近连续 CR 函数概念，并在弱伪凹条件下建立最优最大模原理，同时将 CR 子流形的全纯延拓结果推广到含 CR 奇点的实子流形。
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.
In this paper, we explore holomorphic Segre preserving maps. First, we investigate holomorphic Segre preserving maps sending the complexification $\mathcal{M}$ of a generic real analytic submanifold $M \subseteq \C^N$ of finite type at some point $p$ into the complexification $\mathcal{M}'$ of a generic real analytic submanifold $M' \subseteq \C^{N'}$, finitely nondegenerate at some point $p'$. We prove that for a fixed $M$ and $M'$, the germs at $(p,\bar{p})$ of Segre submersive holomorphic Segre preserving maps sending $(\M,(p,\bar{p}))$ into $(\M',(p', \bar{p}'))$ can be parametrized by the…
The purpose of this paper is to organize some results on the local geometry of CR singular real-analytic manifolds that are images of CR manifolds via a CR map that is a diffeomorphism onto its image. We find a necessary (sufficient in dimension 2) condition for the diffeomorphism to extend to a finite holomorphic map. The multiplicity of this map is a biholomorphic invariant that is precisely the Moser invariant of the image when it is a Bishop surface with vanishing Bishop invariant. In higher dimensions, we study Levi-flat CR singular images and we prove that the set of CR singular points m…
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.
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.
The Teichmuller space Teich(S) of a surface S in genus g>1 is a real submanifold of the quasifuchsian space QF(S). We show that the determinant of the Laplacian det'(Delta) on Teich(S) has a unique holomorphic extension to QF(S).
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.
Semiclassical Ohsawa-Takegoshi extension theorem and asymptotics of the orthogonal Bergman kernel
该研究针对复流形中固定复子流形，推导了正线丛高张量幂下Ohsawa-Takegoshi延拓算子的显式渐近展开，同时得到正交Bergman投影算子的类似渐近结果。
Let $M \subset {\mathbb{C}}^{n+1}$, $n \geq 2$, be a real codimension two CR singular real-analytic submanifold that is nondegenerate and holomorphically flat. We prove that every real-analytic function on $M$ that is CR outside the CR singularities extends to a holomorphic function in a neighborhood of $M$. Our motivation is to prove the following analogue of the Hartogs-Bochner theorem. Let $Ω\subset {\mathbb{C}}^n \times {\mathbb{R}}$, $n \geq 2$, be a bounded domain with a connected real-analytic boundary such that $\partial Ω$ has only nondegenerate CR singularities. We prove that if $f \…
In this paper, we consider holomorphic mappings between real hypersurfaces in different dimensional complex spaces. We give a number of conditions that imply that such mappings are transversal to the target hypersurface at most points.
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…
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…
A local uniqueness property of holomorphic functions on real-analytic nowhere minimal CR submanifolds of higher codimension is investigated. A sufficient condition called almost minimality is given and studied. A weaker necessary condition, being contained a possibly singular real-analytic Levi-flat hypersurface is studied and characterized. This question is completely resolved for algebraic submanifolds of codimension 2 and a sufficient condition for noncontainment is given for non algebraic submanifolds. As a consequence, an example of a submanifold of codimension 2, not biholomorphically eq…
Moduli spaces of holomorphic disks in a complex manifold Z, with boundaries constrained to lie in a maximal totally real submanifold P, have recently been found to underlie a number of geometrically rich twistor correspondences. The purpose of this paper is to develop a general Fredholm regularity criterion for holomorphic curves-with-boundary, and then show how this applies, in particular, to various moduli problems of twistor-theoretic interest.
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 study semiclassical Gevrey pseudodifferential operators, acting on exponentially weighted spaces of entire holomorphic functions. The symbols of such operators are Gevrey functions defined on suitable I-Lagrangian submanifolds of the complexified phase space, which are extended almost holomorphically in the same Gevrey class, or in some larger space, to complex neighborhoods of these submanifolds. Using almost holomorphic extensions, we obtain uniformly bounded realizations of such operators on a natural scale of exponentially weighted spaces of holomorphic functions for all Gevrey indices,…
Let $X$ be a complex manifold and $L$ be a holomorphic line bundle on $X$. Assume that $L$ is semi-positive, namely $L$ admits a smooth Hermitian metric with semi-positive Chern curvature. Let $Y$ be a compact Kähler submanifold of $X$ such that the restriction of $L$ to $Y$ is topologically trivial. We investigate the obstruction for $L$ to be unitary flat on a neighborhood of $Y$ in $X$. As an application, for example, we show the existence of nef, big, and non semi-positive line bundle on a non-singular projective surface.
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 show that any Dolbeault cohomology group $H^{p,q}(D)$, $p\ge0$, $q\ge1$, of an open subset $D$ of a closed finite codimensional complex Hilbert submanifold of $\ell_2$ is either zero or infinite dimensional. We also show that any continuous character of the algebra of holomorphic functions of a closed complex Hilbert submanifold $M$ of $\ell_2$ is induced by evaluation at a point of $M$. Lastly, we prove that any closed split infinite dimensional complex Banach submanifold of $\ell_1$ admits a nowhere critical holomorphic function.
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…
Let $Ω$ be a complex manifold, and let $X\subset Ω$ be an open submanifold whose closure $\bar X$ is a (not necessarily compact) submanifold with smooth boundary. Let $G$ be a complex Lie group, $Π$ be a differentiable principal $G$-bundle on $Ω$ and $J$ a formally integrable bundle almost complex structure on the restriction $\bar P:= Π|_{\bar X}$. We prove that, if the boundary of $\bar X$ is strictly pseudoconvex, $J$ extends to a holomorphic structure on the restriction of $Π$ to a neighborhood of $\bar X$ in $Ω$. This answers positively and generalizes a problem stated in the article "Bou…
Polarizations and Convergences of holomorphic sections on the tangent bundle of a Bohr-Sommerfeld Lagrangian submanifold
本文研究 Kähler 流形上预量子线丛的 Bohr-Sommerfeld 拉格朗日子流形附近全纯截面的渐近行为，证明了截面 $L^2$-范数的下界以及通过缩放映射拉回后截面收敛到纤维上常数函数。
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.
The first part of this article is devoted to the study families of totally real intersecting $n$-submanifolds of $(\Bbb C^n,0)$. We give some conditions which allow to straighten holomorphically the family. If this is not possible to do it formally, we construct a germ of complex analytic set at the origin which interesection with the family can be holomorphically staightened. The second part is devoted to the study real analytic $(n+r)$-submanifolds of $(\Bbb C^n,0)$ having a CR-singularity at the origin ($r$ is a nonnegative integer). We consider deformations of quadrics and we define genera…
Approximation and accumulation results of holomorphic mappings with dense image
本文给出四个关于流形值全纯映射的逼近定理，分别用稠密像的全纯嵌入或映射逼近原映射，并构造收敛到稠密像映射的序列。
An extension theorem for holomorphic mappings between two domains in $\mathbb C^2$ is proved under purely local hypotheses.
We study proper holomorphic mappings between strictly pseudoconvex domains with low boundary regularity.
Answering all questions---concerning proper holomorphic mappings between generalized Hartogs triangles---posed by Jarnicki and Plfug (First steps in several complex variables: Reinhardt domains, 2008) we characterize the existence of proper holomorphic mappings between generalized Hartogs triangles and give their explicit form. In particular, we completely describe the group of holomorphic automorphisms of such domains and establish rigidity of proper holomorphic self-mappings on them.
In this note we establish a Schwarz type inequality for holomorphic mappings between unit balls $B_n$ and $B_m$ in corresponding complex spaces.
In this paper we provide sufficient conditions for the graphs of holomorphic mappings on compact sets in complex manifolds to have Stein neighborhoods. We show that under these conditions the mappings have properties analogous to properties of holomorphic functions on compact sets in $\mathbb C^n$.
We study the boundary regularity of proper holomorphic mappings between strictly pseudoconvex domains with $C^2$-boundaries.
We study the regularity results of holomorphic correspondences. As an application, we combine it with certain recently developed methods to obtain the extension theorem for proper holomorphic mappings between domains with real analytic boundaries in the complex 2-space.
We solve Gromov's Vaserstein problem. Namely, we show that a null-homotopic holomorphic mapping from a finite dimensional reduced Stein space into SL_n(C) can be factored into a finite product of unipotent matrices with holomorphic entries.
We describe a part of the recent developments in the theory of separately holomorphic mappings between complex analytic spaces. Our description focuses on works using the technique of holomorphic discs.
In this paper, we prove a type of partial rigidity result for proper holomorphic mappings of certain $\ell$-concave domains in projective space into model quadratic $\ell$-concave domains. The main technical result is a degree estimate for proper holomorphic mappings into the model domains, provided that the mappings extend to projective space as rational mappings, and the source domain contains algebraic varieties and has a boundary with low CR complexity.
We give a necessary and sufficient condition for the existence of nondegenerate holomorphic mappings between pseudoellipsoidal real hypersurfaces, and provide an explicit parametrization for the collection of all such mappings (in the situations where they exist).
In this paper we prove a Schwarz-Pick lemma for the modulus of holomorphic mappings from the polydisk into the unit ball. This result extends some related results.
We prove that the space of dominant/non-constant holomorphic mappings from a product of hyperbolic Riemann surfaces of finite type into certain hyperbolic manifolds with universal cover a bounded domain is a finite set.
The purpose of this article is to show a second main theorem with the explicit truncation level for holomorphic mappings of $ \mathbb{C} $ (or of a compact Riemann surface) into a compact complex manifold sharing divisors in subgeneral position.
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.
Approximation and Loewner Theory of holomorphic covering mappings
本文研究了任意范数下$\u2102^n$单位球的局部一致全纯覆盖映射的逼近问题，通过发展覆盖映射的Loewner理论推广，给出了用整全纯覆盖映射逼近的条件，推动了多复变函数论中相关理论的发展。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。