Projection on Segre varieties and determination of holomorphic mappings between real submanifolds Dedicated to Professor Sheng GONG on the occasion of his 75th birthday

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.     

Projection on Segre varieties and determination of holomorphic mappings between real submanifolds

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. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

Reflection Ideals and mappings between generic submanifolds in complex space

Results on finite determination and convergence of formal mappings between smooth generic submanifolds in ℂ ^N are established in this article. The finite determination result gibes sufficient conditions to guarantee that a formal map is uniquely determined by its jet, of a preassigned order, at a point. Convergence of formal mappings for real-analytic generic submanifolds under appropriate assumptions is proved, and natural geometric conditions are given to assure that if two germs of such submanifolds are formally equivalent, then, they are necessarily biholomorphically equivalent. It is also shown that if two real-algebraic hypersurfaces in ℂ ^N are biholomorphically equivalent, then, they are algebraically equivalent. All the results are first proved in the more general context of “reflection ideals” associated to formal mappings between formal as well as real-analytic and real-algebraic manifolds.     

On Formal Maps Between Generic Submanifolds in Complex Space

Let H:(M,p)→(M ^′,p ^′) be a formal mapping between two germs of real-analytic generic submanifolds in ? ^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 a new Artin type approximation theorem for formal maps of generic full rank.     

Analytic sets and the boundary regularity of CR mappings

It is shown that if a continuous CR mapping between smooth real analytic hypersurfaces of finite type in extends as an analytic set, then it extends as a holomorphic mapping.

     

On Biholomorphy in Infinite Dimensions

In this article, we consider the question of when a holomorphic mapping on a domain in a complex Hilbert space into itself has a holomorphic inverse. We give a strengthened version of a known result that involves a Fredholm condition on the mapping. We show that holomorphic mappings on certain domains that are biholomorphic near the boundary are biholomorphic on the domain itself.      

A classification of proper holomorphic mappings between generalized pseudoellipsoids of different dimensions

ABSTRACT

We classify proper holomorphic mappings between generalized pseudoellipsoids of different dimensions. Those domains are parametrized by the exponents. The relations among them are also obtained. Main tool is the orthogonal decomposition of a CR bundle. Such a decomposition derives the ‘variable-splitting’ of the mapping.     

The Totally Geodesic Coisotropic Submanifolds in Kähler Manifolds

In this paper, we consider the coisotropic submanifolds in a Kähler manifold of nonnegative holomorphic curvature. We prove an intersection theorem for compact totally geodesic coisotropic submanifolds and discuss some topological obstructions for the existence of such submanifolds. Our results apply to Lagrangian submanifolds and real hypersurfaces since the class of coisotropic submanifolds includes them. As an application, we give a fixed-point theorem for compact Kähler manifolds with positive holomorphic curvature. Also, our results can be further extended to nearly Kähler manifolds.     

Reflection about k-jets and holomorphic extension of CR mappings

Let be a CR mapping between real analytic generic submanifolds M, M₁ of and , respectively. According to Webster's theory (Proc. Amer. Math. Soc. 86 (1982) 236-240) and its further developments, f has holomorphic extension to a full neighborhood of M in when the following requirements are fulfilled: f extends to a wedge W continuous up to M; f is of class C^k; (where denotes the complex tangent bundle); M₁ is “k-nondegenerate.” We deal here with the case where is strictly smaller than but is still real analytic in suitable sense. We show that a suitably refined condition of k-nondegeneracy still entails holomorphic extension of f.     

Holomorphic Maps of Compact Generalized Hopf Manifolds

We investigate holomorphic maps between compact generalized Hopf manifolds (i.e., locally conformal Kähler manifolds with parallel Lee form). We show that they preserve the canonical foliations. Moreover, we study compact complex submanifolds of g.H. manifolds and holomorphic submersions from compact g.H. manifolds.     

Extension of bounded holomorphic functions¶in convex domains

The E. Amar and G. Henkin theorem on the bounded extendability of bounded holomorphic functions from certain closed complex submanifolds of strictly pseudoconvex domains to the whole domain is generalized to the case of finite type convex domains and their intersections with affine linear hyperplanes. Suitable integral operators of Berndtsson–Andersson type are constructed and estimated for this purpose. Received: 7 July 2000     

Holomorphic manifolds on locally convex spaces

Based on locally compact perturbations of the identity map similar to the Fredholm structures on real Banach manifolds, complex manifolds with inverse mapping theorem as part of the defintion are proposed. Standard topics including holomorphic maps, morphisms, derivatives, tangent bundles, product manifolds and submanifolds are presented. Although this framework is elementary, it lays the necessary foundation for all subsequent developments.     

Spherical space forms,CR mappings,and proper maps between balls

We determine precisely for which spherical space forms there are nontrivial smooth CR mappings to spheres. Equivalently we determine for which fixed point free finite unitary groups ? there exists a ?-invariant proper holomorphic rational map between balls. The answer is that the group must be cyclic and essentially only two classes of representations can occur. For these there are invariant polynomial examples.     

复射影空间CP~((n+p)/2)中具有2-调和的一般子流形

本文研究了复射影空间中具有2-调和的一般子流形问题.利用活动标架法,获得了这类子流形成为极小子流形的Pinching定理和Simons型积分不等式,此外还得到关于2-调和伪脐一般子流形的一个刚性定理,推广了复射影空间中具有2-调和全实子流形的一些相应结果.     

A Regularity Result for CR Mappings Between Infinite Type Hypersurfaces

The Schwarz reflection principle in one complex variable can be stated as follows. Let M and M′ be two real analytic curves in ? and f a holomorphic function defined on one side of M, extending continuously through M, and mapping M into M′. Then f has a holomorphic extension across M. In this paper, we extend this classical theorem to higher complex dimensions for a class of hypersurfaces of infinite type.     

A local version of Wong-Rosay's theorem for proper holomorphic mappings

In the present paper, we generalize Wong-Rosay's theorem for proper holomorphic mappings with bounded multiplicity. As an application, we prove the non-existence of a proper holomorphic mapping from a bounded, homogenous domain in onto a domain in whose boundary contains strongly pseudoconvex points.

     

Remarks on the generic rank of a CR mapping

We study germs of smooth CR mappings between embedded real hypersurfaces in complex spaces of the same dimension. In particular, we are interested in the generic rank of such mappings. IfH:M →M′ is a CR map between two hypersurfacesM andM′, we prove that ifM′ does not contain any germ of a holomorphic manifold then eitherH is constant or the generic rank ofH is odd. We also prove that if there is no formal holomorphic vector field tangent toM, then eitherH is constant or genericallyH is a local diffeomorphism. It follows, as a special case, that ifM andM′ are of D-finite type (in the sense of D’Angelo) thenH is either constant or is generically a local diffeomorphism. Supported by NSF Grant DMS 8901268.     

Variations of hodge structures of rank three k-Higgs bundles and moduli spaces of holomorphic triples

Geometriae Dedicata - There is an isomorphism between the moduli spaces of $$\sigma $$ -stable holomorphic triples and some of the critical submanifolds of the moduli space of k-Higgs bundles of...     

Invariant holomorphic mappings

Given a real-analytic hypersurface invariant under a finite unitary group, we construct an invariant holomorphic mapping to a hyperquadric, and prove the basic properties of this mapping. When the hypersurface is the unit sphere, the groups are cyclic, and the quotient is a Lens space, we prove that the coefficients of this mapping must be square roots of integers. For the Lens spacesL(p, p - 1) we evaluate these integers by some combinatorial reasoning. We indicate how these calculations bear on a conjecture about the multiplicity of proper mappings between balls in different dimensions.     

Asymptotically Holomorphic Families of Symplectic Submanifolds

We construct a wide range of symplectic submanifolds in a compact symplectic manifold as the zero sets of asymptotically holomorphic sections of vector bundles obtained by tensoring an arbitrary vector bundle by large powers of the complex line bundle whose first Chern class is the symplectic form. We also show that, asymptotically, all sequences of submanifolds constructed from a given vector bundle are isotopic. Furthermore, we prove a result analogous to the Lefschetz hyperplane theorem for the constructed submanifolds. Submitted: December 1996, final version: October 1997