Convergence and finite determination of formal CR mappings

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.

     

Finite jet determination of CR embeddings

We prove finite jet determination results for smooth CR embeddings, which are of constant degeneracy, using the method of complete systems. As an application, we obtain a reflection principle for mappings between a Levinondegenerate hypersurface in ℂ ^N and a Levinondegenerate hypersurface in ℂ ^N+1.We also give an independent proof of the reflection principle for mappings between strictly pseudoconvex hypersurfaces in any codimension due to Forstneric [14].     

Characterization of the unit ball in C<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript> among complex manifolds of dimension<Emphasis Type="BoldItalic">n</Emphasis>

We show that if the group of holomorphic automorphisms of a connected complex manifold M of dimension n is isomorphic as a topological group equipped with the compact-open topology to the automorphism group of the unit ball B ⁿ ⊂ ℂ ⁿ ,then M is biholomorphically equivalent to B ⁿ.     

On two conjectures for convex biholomorphic mappings in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

In this paper, we consider the problem of distortion theorems for mappings which map the unit ball biholomorphically onto convex domains in ℂ ⁿ . In particular, we discuss two distortion conjectures for such mappings.     

Analytic continuation of holomorphic correspondences and equivalence of domains in ℂ<Superscript><Emphasis Type="Italic">n</Emphasis></Superscript>

The following result is proved: Let D and D′ be bounded domains in ℂ ⁿ , ∂D is smooth, real-analytic, simply connected, and ∂D′ is connected, smooth, real-algebraic. Then there exists a proper holomorphic correspondence f:D→D′ if and only if there exist points p∈∂D and p′∈∂D′, such that ∂D and ∂D′ are locally CR-equivalent near p and p′. This leads to a characterization of the equivalence relationship between bounded domains in ℂ ⁿ modulo proper holomorphic correspondences in terms of local CR-equivalence of their boundaries. Oblatum 23-I-2002 & 18-XI-2002?Published online: 17 February 2003     

Finite jet determination of CR mappings

We prove the following finite jet determination result for CR mappings: Given a smooth generic submanifold M⊂CN, N?2, that is essentially finite and of finite type at each of its points, for every point p∈M there exists an integer ?p, depending upper-semicontinuously on p, such that for every smooth generic submanifold M^′⊂CN of the same dimension as M, if are two germs of smooth finite CR mappings with the same ?p jet at p, then necessarily for all positive integers k. In the hypersurface case, this result provides several new unique jet determination properties for holomorphic mappings at the boundary in the real-analytic case; in particular, it provides the finite jet determination of arbitrary real-analytic CR mappings between real-analytic hypersurfaces in CN of D'Angelo finite type. It also yields a new boundary version of H. Cartan's uniqueness theorem: if Ω,Ω^′⊂CN are two bounded domains with smooth real-analytic boundary, then there exists an integer k, depending only on the boundary ∂Ω, such that if are two proper holomorphic mappings extending smoothly up to ∂Ω near some point p∈∂Ω and agreeing up to order k at p, then necessarily H₁=H₂.     

Domains with Hyperbolic Orbit Accumulation Boundary Points

Let Ω be a smoothly bounded pseudoconvex domain in ℂ ⁿ satisfying the condition R. Suppose that its Bergman kernel extends to [`(W)]×[`(W)]\overline{\Omega}\times\overline{\Omega} minus the boundary diagonal set as a locally bounded function. In this paper we show that for each hyperbolic orbit accumulation boundary point p, there exists a contraction f∈Aut(Ω) at p. As an application, we show that Ω admits a hyperbolic orbit accumulation boundary point if and only if it is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial and that Ω is of finite D’Angelo type.     

Phase space,wavelet transform and Toeplitz-Hankel type operators

Domain constants are numbers attached to regions in the complex plane ℂ. For a region Ω in ℂ, letd(Ω) denote a generic domain constant. If there is an absolute constantM such thatM ⁻¹≤d(Ω)/d(Δ)≤M whenever Ω and Δ are conformally equivalent, then the domain constant is called quasiinvariant under conformal mappings. IfM=1, the domain constant is conformally invariant. There are several standard problems to consider for domain constants. One is to obtain relationships among different domain constants. Another is to determine whether a given domain constant is conformally invariant or quasi-invariant. In the latter case one would like to determine the best bound for quasi-invariance. We also consider a third type of result. For certain domain constants we show there is an absolute constantN such that |d(Ω)−d(Δ)|≤N whenever Ω and Δ and conformally equivalent, sometimes determing the best possible constantN. This distortion inequality is often stronger than quasi-invariance. We establish results of this type for six domain constants. Research partially supported by a National Science Foundation Grant.     

Canonical models for a class of polynomially convex hulls

We use holomorphic motions and Beltrami equation to study a class of polynomially convex hulls in ℂ ² with Jordan fibers over the disc D. It is shown that every such hull is biholomorphically equivalent to a unique (up to suitable normalisation) canonical model. These models are the hulls whose complements in D×ℂmacr; are biholomorphic to a bidisc and are further characterized in terms of capacity of the fibers, Green’s function, pseudoconcavity and approximability by (very) special analytic polyhedra. Received: 11 September 1995 / Revised version: 11 March 1996     

On local behavior of holomorphic functions along complex submanifolds of ℂ N

In this paper we establish some general results on local behavior of holomorphic functions along complex submanifolds of ℂ ^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 ℂ².     

Interaction of Legendre curves and Lagrangian submanifolds

It is proved in [8] that there exist no totally umbilical Lagrangian submanifolds in a complex-space-form ,n≥2, except the totally geodesic ones. In this paper we introduce the notion of LagrangianH-umbilical submanifolds which are the “simplest” Lagrangian submanifolds next to the totally geodesic ones in complex-space-forms. We show that for each Legendre curve in a 3-sphereS ³ (respectively, in a 3-dimensional antide Sitter space-timeH ₁ ³ ), there associates a LagrangianH-umbilical submanifold in ℂP ⁿ (respectively, in ℂH ⁿ ) via warped products. The main part of this paper is devoted to the classification of LagrangianH-umbilical submanifolds in ℂP ⁿ and in ℂH ⁿ . Our classification theorems imply in particular that “except some exceptional classes”, LagrangianH-umbilical submanifolds of ℂP ⁿ and of ℂH ⁿ are obtained from Legendre curves inS ³ or inH ₁ ³ via warped products. This provides us an interesting interaction of Legendre curves and LagrangianH-umbilical submanifolds in non-flat complex-space-forms. As an immediate by-product, our results provide us many concrete examples of LagrangianH-umbilical isometric immersions of real-space-forms into non-flat complex-space-forms.     

Nowhere minimal CR submanifolds and Levi-flat hypersurfaces

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 equivalent to an algebraic one, is given. We also investigate the structure of singularities of Levi-flat hypersurfaces.     

A local extension theorem for proper holomorphic mappings in ℂ<Superscript>2</Superscript>

Let ƒ: D → D′ be a proper holomorphic mapping between bounded domains D, D′ in ℂ².Let M, M′ be open pieces on δD, δD′, respectively that are smooth, real analytic and of finite type. Suppose that the cluster set of M under ƒ is contained in M′. It is shown that ƒ extends holomorphically across M. This can be viewed as a local version of the Diederich-Pinchuk extension result for proper mappings in ℂ².     

Preimages of CR submanifolds with generic holomorphic maps

We investigate the notion of CR transversality of a generic holomorphic map f: ℂ ⁿ → ℂ ^m to a smooth CR submanifold M of ℂ ^m . We construct a stratification of the set of non-CR transversal points in the preimage M′ = f ⁻¹ (M) by smooth submanifolds, consisting of points where the CR dimension of M′ is constant. We show the existence of a Whitney stratification for sets which are locally diffeomorphic to the product of an open set and an analytic set. Work on this paper was supported by ARRS, Republic of Slovenia.     

On non-isotropic harmonic maps of surfaces into complex projective spaces

It is proved by purely algebraic method that weakly conformai, conformai andA _z ³ = 0 are mutually equivalent if ϕ :Ω→ℂP ⁿ is a non-isotropic harmonic map and the harmonic maps with isotropy order ≥3 are uniquely determined by a system of ordinary differential equations. A method is given, by which the isotropy orders of non-isotropic harmonic maps can be computed.     

The contact boundary of a complex polynomial

 We define the contact boundary of a complex polynomial f : ℂ ⁿ → ℂ as the intersection of some generic fiber with a large sphere. We show that, up to contact isotopy, this does not depend on the choice of the fiber (provided it is generic) and is invariant under polynomial automorphism of ℂ ⁿ . We next prove that the formal homotopy class of this contact boundary is invariant in a large family of deformations of polynomials, which are not necessarily topologically trivial. Received: 15 November 2002 Published online: 20 March 2003 Mathematics Subject Classification (2000): 32S55, 53D15, 32S50     

On quasi-convex mappings of order α in the unit ball of a complex Banach space

In this paper, a class of biholomorphic mappings named quasi-convex mapping of order α in the unit ball of a complex Banach space is introduced. When the Banach space is confined to ℂ ⁿ , we obtain the relation between this class of mappings and the convex mappings. Furthermore, the growth and covering theorems of this class of mappings are given on the unit ball of a complex Banach space X. Finally, we get the second order terms coefficient estimations of the homogeneous expansion of quasi-convex mapping of order α defined on the polydisc in ℂ ⁿ and on the unit ball in a complex Banach space, respectively. Dedicated to Professor Sheng GONG on the occasion of his 75th birthday     

On dimensions of the groups of biholomorphic automorphisms of real-analytic hypersurfaces

In this paper we study the dependence of the local geometry of real-analytic hypersuffaces in ℂ ⁿ on the dimension of the group of biholomorphic automorphisms of this surface. We also classify the hypersurfaces in terms of this group. We present some examples showing that the classes of the given construction are not empty. We find a new formulation of the Freeman theorem on the so-called straightening of a real-analytic CR-submanifold in ℂ ⁿ with degenerate Levi form of constant rank. Translated fromMatematicheskie Zametki, Vol. 61, No. 3, pp. 349–358, March, 1997. Translated by E. G. Anisova     

SO（n）-Invariant Special Lagrangian Submanifolds of C^n＋l with Fixed Loci

Abstract Let SO(n) act in the standard way on ℂⁿ and extend this action in the usual way to ℂⁿ⁺¹ = ℂ ⊕ ℂⁿ. It is shown that a nonsingular special Lagrangian submanifold L ⊂ ℂⁿ⁺¹ that is invariant under this SO(n)-action intersects the fixed ℂ ⊂ ℂⁿ⁺¹ in a nonsingular real-analytic arc A (which may be empty). If n > 2, then A has no compact component. Conversely, an embedded, noncompact nonsingular real-analytic arc A ⊂ ℂ lies in an embedded nonsingular special Lagrangian submanifold that is SO(n)-invariant. The same existence result holds for compact A if n = 2. If A is connected, there exist n distinct nonsingular SO(n)-invariant special Lagrangian extensions of A such that any embedded nonsingular SO(n)-invariant special Lagrangian extension of A agrees with one of these n extensions in some open neighborhood of A. The method employed is an analysis of a singular nonlinear PDE and ultimately calls on the work of Gérard and Tahara to prove the existence of the extension. * Project supported by Duke University via a research grant, the NSF via DMS-0103884, the Mathematical Sciences Research Institute, and Columbia University. (Dedicated to the memory of Shiing-Shen Chern, whose beautiful works and gentle encouragement have had the most profound influence on my own research)     

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.