CR Hypersurfaces with a Contracting Automorphism

Let M be a real analytic CR hypersurface in ℂ ⁿ⁺¹ admitting no varieties of positive dimension. We show first that every contracting local CR automorphism of M is linearizable. As a consequence, we show that such M admitting a contracting local CR automorphism is holomorphically equivalent to a weighted homogeneous hypersurface. Finally, we apply these results to prove that a bounded domain in ℂ ⁿ⁺¹ with a real analytic boundary admitting an automorphism contracting at a boundary point must admit a Lie subgroup of real dimension at least two in its automorphism group. Research of the first named author is partially supported by The Grant R01-2005-000-10771-0 of The Korea Science and Engineering Foundation.     

On the behavior of strictly plurisubharmonic functions near real hypersurfaces

We describe the behavior of certain strictly plurisubharmonic functions near some real hypersurfaces in ℂ ⁿ , n≥3. Given a hypersurface we study continuous plurisubharmonic functions which are zero on the hypersurface and have Monge–Ampère mass greater than one in a one-sided neighborhood of the hypersurface. If we can find complex curves which have sufficiently high contact order with the hypersurface then the plurisubharmonic functions we study cannot be globally Lipschitz in the one-sided neighborhood.     

Effective algebraic degeneracy

We show that for every smooth projective hypersurface X⊂ℙ ⁿ⁺¹ of degree d and of arbitrary dimension n ≥2, if X is generic, then there exists a proper algebraic subvariety Y ⊊ X such that every nonconstant entire holomorphic curve f :ℂ→X has image f(ℂ) which lies in Y, as soon as its degree satisfies the effective lower bound d\geqslant 2ⁿ⁵d\geqslant 2^{n^{5}} .     

On the holomorphic extension of CR functions from non-generic CR submanifolds of ? n

We give a holomorphic extension result for continuous CR functions on a non-generic CR submanifold N of ℂ ⁿ to complex transversal wedges with edges containing N. We show that given any v∈ℂ ⁿ ∖(T _p N+iT _p N), there exists a wedge of direction v whose edge contains a neighborhood of p in N, such that any continuous CR function defined locally near p extends holomorphically to that wedge.     

Feuilletages holomorphes locaux et analyticité partielle d'applications C ∞

 Let f : M → M′ be a smooth CR mapping between a generic real analytic submanifold M ⊂ ℂ ⁿ , n > 1, and a real analytic subset M′ ⊂ ℂ ^n′ . We prove that if M is minimal and if M′ does not contain any complex curves, then f is analytic on a dense open subset of M. More generally, we establish an upper estimate of the partial analyticity of f, which depends on the maximal dimension of local holomorphic foliations contained in M ^′ . Received: 7 August 2001 Mathematics Subject Classification (2000): 32V25, 32V40, 32H99     

CR Manifolds Admitting a CR Contraction

We classify the germs of C^￥\mathcal{C}^{\infty} CR manifolds that admit a smooth CR contraction. We show that such a CR manifold is embedded into ℂ ⁿ as a real hypersurface defined by a polynomial defining function consisting of monomials whose degrees are completely determined by the extended resonances of the contraction. Furthermore, the contraction map extends to a holomorphic contraction that coincides with its polynomial normal form. Consequently, several results concerning complex and CR geometry are derived.     

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.     

Schwarz-Pick estimates for bounded holomorphic functions in the unit ball of ℂ n

We give a Schwarz-Pick estimate for bounded holomorphic functions on unit ball in Cn, and generalize some early work of Schwarz-Pick estimates for bounded holomorphic functions on unit disk in C.     

Quelques théorèmes sur la structure complexe

We prove the following result: If the function Max (log|ω -f ₁(z)|, ..., log|ω -f _k(z)|) is plurisubharmonic in the open setD×ℂ (D open of ℂ ⁿ ), thenf ₁,...,f _k are analytic functions iff ₁,...,f _k are continuous functions onD(k≥2). We prove also some other results.     

Hartogs-Bochner type theorem in projective space

We prove the following Hartogs-Bochner type theorem: Let M be a connected C² hypersurface of P_n(C) (n≥2) which divides P_n(C) in two connected open sets Ω₁ and Ω₂. Suppose that M has at most one open CR orbit. Then there exists i∈{1,2} such that C¹ CR functions defined on M extends holomorphically to Ω _i . Supported by the TMR network.     

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].     

Smooth Real Hypersurfaces in ℂn with a Non-compact Isotropy Group of CR Transformations

Let M ²ⁿ⁺¹ be an (abstract) smooth, real hypersurface of ⁿ⁺¹ , strongly pseudoconvex, and let us assume that there exists a non-compact CR transformation f fixing a point p M ²ⁿ⁺¹ . We prove that there exists an f-contractible neighborhoodU of p (i.e. the closure of any orbit f ⁿ (u) with u U contains p). This gives an elementary proof of the following recent result by R. Schoen: a strongly pseudoconvex smooth real hypersurface in ²ⁿ⁺¹ , admitting a non-compact transformation fixing a point, is globally equivalent to S ²ⁿ⁺¹ or to S ²ⁿ⁺¹ with a point deleted.     

Variational Problems for Fefferman Hypersurface Measure and Volume-Preserving CR Invariants

We derive Euler’s equation for the isoperimetric problem and the extremal hypersurface problem associated with Fefferman hypersurface measure for strongly pseudoconvex real hypersurfaces in ℂ². We use volume-preserving CR invariants to show that the only “torsion-free” solutions of Euler’s equation for the isoperimetric problem are the volume-preserving images of spheres.     

Approximation in weighted Hardy spaces

This paper is concerned with several approximation problems in the weighted Hardy spacesH ^p(Ω) of analytic functions in the open unit disc D of the complex plane ℂ. We prove that ifX is a relatively closed subset of D, the class of uniform limits onX of functions inH ^p(Ω) coincides, moduloH ^p(Ω), with the space of uniformly continuous functions on a certain hull ofX which are holomorphic on its interior. We also solve the simultaneous approximation problems of describing Farrell and Mergelyan sets forH ^p(Ω), giving geometric characterizations for them. By replacing approximating polynomials by polynomial multipliers of outer functions, our results lead to characterizations of the same sets with respect to cyclic vectors in the classical Hardy spacesH ^p(D), 1 ⪯p < ∞. Dedicated to Professor Nácere Hayek on the occasion of his 75th birthday.     

Smooth hypersurfaces with a CR contraction

In this paper we show that a C^∞ real hypersurface in Cn+1 of finite D'Angelo type admitting a weakly contracting local CR automorphism is CR equivalent to a weighted homogeneous hypersurface. As an application, we show that a bounded pseudoconvex domain in Cn+1 with C^∞ boundary of finite D'Angelo type with a hyperbolic orbit accumulation point is biholomorphically equivalent to a domain defined by a weighted homogeneous polynomial.     

On the Equicontinuity Region of Discrete Subgroups of <Emphasis Type="Italic">PU</Emphasis>(1,<Emphasis Type="Italic">n</Emphasis>)

Let G be a discrete subgroup of PU(1,n). Then G acts on ℙ_ℂ ⁿ preserving the unit ball ℍ_ℂ ⁿ , where it acts by isometries with respect to the Bergman metric. In this work we look at its action on all of ℙ_ℂ ⁿ and determine its equicontinuity region Eq(G). This turns out to be the complement of the union of all complex projective hyperplanes in ℙ_ℂ ⁿ which are tangent to ∂ℍ_ℂ ⁿ at points in the Chen-Greenberg limit set Λ(G), a closed G-invariant subset of ∂ℍ_ℂ ⁿ which is minimal for non-elementary groups. We also prove that the action on Eq(G) is discontinuous. Also , if the limit set is “sufficiently general” (i.e. it is not contained in any proper k -chain), then each connected component of Eq(G) is a holomorphy domain and it is a complete Kobayashi hyperbolic space.     

Growth of transcendental entire functions on algebraic varieties

LetX be a complete intersection algebraic variety of codimensionm>1 in ℂ ^m+n . We define the notion of (p,q)-order and (p,q)-K-type for transcendental entire functionsfεO(ℂ ^m+n ) whereK is a non-pluripolar compact subset of ℂ ^m+n . Further, we consider the analogues of (p,q)-order and (p,q)-K-type inO(X). We discuss the series expansions of the functions inO(X) in terms of an orthogonal basis in a Hilbert spaceL ²(X, μ), where μ is a capacitary extremal measure onK. Author is grateful to the NSA for partial support during the period of this research.     

About entire functions with specialL 2-properties on one-dimensional subspaces of ℂ n

In this paper we consider special elements of the Fock space #x2131; _n . That is the space of entire functionsf:ℂ: ⁿ →ℂ, such that the followingL ²- condition is satisfied: . Here we show that there exists an entire functiong:ℂ ⁿ →ℂ such that for every one-dimensional subspace Π⊂ℂ ⁿ and for all 0<∈<2 we have , but in the limit case ∈=0 we have . This result is analogue to a result from [1]. There holomorphic functions on the unit-ball are investigated. Furthermore the proof — as the one in [1] — uses a theorem from [2]. Therefore we give another application of the results from [2] — namely for spaces of entire functions.     

A new technique of integral representations in ?n

A new technique of integral representations in ℂ ⁿ , which is different from the well-known Henkin technique, is given. By means of this new technique, a new integral formula for smooth functions and a new integral representation of solutions of the ∂-equations on strictly pseudoconvex domains in ℂ ⁿ are obtained. These new formulas are simpler than the classical ones, especially the solutions of the ∂-equations admit simple uniform estimates. Moreover, this new technique can be further applied to arbitrary bounded domains in ℂ ⁿ so that all corresponding formulas are simplified.