Sufficient conditions for the extension ofC R structures

LetM be a smoothC R manifold of dimension 2n ? 1 such that at each point, either the Levi form has at least 3 positive eigenvalues or it hasn ? 1 negative eigenvalues. IfD is a smoothly bounded subdomain ofM, then there is a smoothly bounded integrable almost complex manifoldX of dimension 2n such thatM is contained in the boundary ofX and such that theC R structure thatM inherits as a subset ofX coincides with the original structure ofM.     

Integrable Submanifolds in Almost Complex Manifolds

Let (M,J) be a germ of an almost complex manifold of real dimension 2m and let n (n<m) be an integer. We study a necessary and sufficient condition for M to admit an integrable submanifold N of complex dimension n. If n=m−1, we find defining functions of N explicitly from the coefficients of the torsion tensor. For J obtained by small perturbation of the standard complex structure of ℂ ^m this condition is given as an overdetermined system of second order PDEs on the perturbation. The proof is based on the rank conditions of the Nijenhuis tensor and application of the Newlander-Nirenberg theorem. We give examples of almost complex structures on ℂ³: the ones with a single complex submanifold of dimension 2 and the ones with 1-parameter or 2-parameter families of complex submanifolds of dimension 2.     

The -equation and the Hartogs phenomenon on weakly q-pseudoconcave C R manifolds

We show that the Hartogs phenomenon holds in minimal, weakly 2-pseudoconcave generic C R submanifolds of a Stein manifold with trivial normal bundle. We also prove some results concerning the local and/or global solvability of the tangential Cauchy-Riemann equations for smooth forms and currents on weakly q-pseudoconcave C R manifolds.     

Analytic discs, plurisubharmonic hulls, and non-compactness of the -Neumann operator

We show that a complex manifold M in the boundary of a smooth bounded pseudoconvex domain Ω in is an obstruction to compactness of the -Neumann operator on Ω, provided that at some point of M, the Levi form of bΩ has the maximal possible rank n−1−dim(M) (i.e. the boundary is strictly pseudoconvex in the directions transverse to M). In particular, an analytic disc is an obstruction, provided that at some point of the disc, the Levi form has only one zero eigenvalue (i.e. the eigenvalue zero has multiplicity one). We also show that a boundary point where the Levi form has only one zero eigenvalue can be picked up by the plurisubharmonic hull of a set only via an analytic disc in the boundary. Research supported in part by NSF grant number DMS-0100517.     

On the geometry of tangent hyperquadric bundles: CR and pseudoharmonic vector fields

We study the natural almost CR structure on the total space of a subbundle of hyperquadrics of the tangent bundle T(M) over a semi-Riemannian manifold (M, g) and show that if the Reeb vector ξ of an almost contact Riemannian manifold is a CR map then the natural almost CR structure on M is strictly pseudoconvex and a posteriori ξ is pseudohermitian. If in addition ξ is geodesic then it is a harmonic vector field. As an other application, we study pseudoharmonic vector fields on a compact strictly pseudoconvex CR manifold M, i.e. unit (with respect to the Webster metric associated with a fixed contact form on M) vector fields X ε H(M) whose horizontal lift X↑ to the canonical circle bundle S¹ → C(M) → M is a critical point of the Dirichlet energy functional associated to the Fefferman metric (a Lorentz metric on C(M)). We show that the Euler–Lagrange equations satisfied by X^↑ project on a nonlinear system of subelliptic PDEs on M. Mathematics Subject Classifications (2000): 53C50, 53C25, 32V20     

Monge-Ampère equations and moduli spaces of manifolds of circular type

A (bounded) manifold of circular type is a complex manifold M of dimension n admitting a (bounded) exhaustive real function u, defined on M minus a point xo, so that: (a) it is a smooth solution on M?{xo} to the Monge-Ampère equation n(ddcu)=0; (b) xo is a singular point for u of logarithmic type and eu extends smoothly on the blow up of M at xo; (c) ddc(eu)>0 at any point of M?{xo}. This class of manifolds naturally includes all smoothly bounded, strictly linearly convex domains and all smoothly bounded, strongly pseudoconvex circular domains of Cn.A set of modular parameters for bounded manifolds of circular type is considered. In particular, for each biholomorphic equivalence class of them it is proved the existence of an essentially unique manifold in normal form. It is also shown that the class of normalizing maps for an n-dimensional manifold M is a new holomorphic invariant with the following property: it is parameterized by the points of a finite dimensional real manifold of dimension n² when M is a (non-convex) circular domain while it is of dimension n²+2n when M is a strictly linearly convex domain. New characterizations of the circular domains and of the unit ball are also obtained.     

On the pseudohermitian sectional curvature of a strictly pseudoconvex CR manifold

We show that the pseudohermitian sectional curvature Hθ(σ) of a contact form θ on a strictly pseudoconvex CR manifold M measures the difference between the lengths of a circle in a plane tangent at a point of M and its projection on M by the exponential map associated to the Tanaka-Webster connection of (M,θ). Any Sasakian manifold (M,θ) whose pseudohermitian sectional curvature Kθ(σ) is a point function is shown to be Tanaka-Webster flat, and hence a Sasakian space form of φ-sectional curvature c=−3. We show that the Lie algebra i(M,θ) of all infinitesimal pseudohermitian transformations on a strictly pseudoconvex CR manifold M of CR dimension n has dimension ?²(n+1) and if dimRi(M,θ)=²(n+1) then Hθ(σ)= constant.     

Nonorientable Manifolds, Complex Structures, and Holomorphic Vector Bundles

A generalization of the notion of almost complex structure is defined on a nonorientable smooth manifold M of even dimension. It is defined by giving an isomorphism J from the tangent bundle TM to the tensor product of the tangent bundle with the orientation bundle such that JJ=–Id _TM . The composition JJ is realized as an automorphism of TM using the fact that the orientation bundle is of order two. A notion of integrability of this almost complex structure is defined; also the Kähler condition has been extended. The usual notion of a complex vector bundle is generalized to the nonorientable context. It is a real vector bundle of even rank such that the almost complex structure of a fiber is given up to the sign. Such bundles have generalized Chern classes. These classes take value in the cohomology of the tensor power of the local system defined by the orientation bundle. The notion of a holomorphic vector bundle is extended to the context under consideration. Stable vector bundles and Einstein–Hermitian connections are also generalized. It is shown that a generalized holomorphic vector bundle on a compact nonorientable Kähler manifold admits an Einstein–Hermitian connection if and only if it is polystable.     

Pseudoconvexity in Lorentzian doubly warped products

A Lorentzian manifold M is said to be null (resp. causally) pseudoconvex if, given any compact set K in M, there exists a compact set K' in M such that any null (resp. causal) geodesic segment with both endpoints in K lies in K'. Various implications of causal and null pseudoconvexity on the geodesic structure of a Lorentzian manifold have been studied in several recent papers by Beem and Parker, Beem and Ehrlich, and Low. We provide sufficient conditions for a Lorentzian doubly warped product manifold to be null pseudoconvex. These conditions are not necessary and provide new examples of non-globally hyperbolic spacetimes which are null pseudoconvex.     

Principe de Hartogs dans les variétés CR

Let M be a CR manifold. The main results of this paper are the following:

When M is real analytic, a semi-global Hartogs extension phenomenon occurs for real analytic CR functions if and only if M is nowhere strictly pseudoconvex and .

When M is a standard manifold, the Hartogs–Bochner extension phenomenon occurs for non-CR-confined domains if and only if M is nowhere strictly pseudoconvex and dim_CRM2.

If M is a smooth submanifold of foliated by complex curves, a semi-global Hartogs–Bochner extension phenomenon occurs for smooth non-CR-confined domains if and only if dim_CRM2.

If M is a real analytic nowhere strictly pseudoconvex manifold and if Ω is a sufficiently small domain in M, a hyperfunction which is real analytic in a neighborhood of bΩ and CR in a neighborhood of is in fact real analytic on Ω.

Problème du bord dans les variétés $q$-convexes et phénomène de Hartogs-Bochner

Résumé.   Soient E un fibré vectoriel holomorphe au dessus d'une variétéq-complète X et M une sous-variété réelle de dimension 2p-1 () de E. Nous montrons que le problème du bord pour M est résoluble si et seulement si M est maximalement complexe. Dans le cas où nous retrouvons le théorème de Harvey et Lawson [17]. Comme conséquence nous obtenons une généralisation du théorème de Hartogs-Bochner pour les applications CR-méromorphesà valeurs dans une variétéq-convexe et une généralisation au cas CR-méromorphe du théorème d'extension de Chazal [5].

---

Let E be a holomorphic vector bundle over a -complete manifold X and M be a real submanifold of dimension 2p-1 () of E. We prove that M has a solution to the boundary problem in X if and only if M is maximally complex. In the case , this is a result of Harvey and Lawson [17]. As a consequence, we obtain a generalization of the Hartogs-Bochner theorem for CR-meromorphic maps taking their values in -convex manifolds and a generalization to the CR-meromorphic case of a theorem of Chazal [5].

Received: 27 April 2000 / Published online: 23 July 2001     

Sur l'existence du nombre de Lelong d'un courant positif fermé défini sur une variété presque complexe

Let (M,J) be an almost complex manifold. By using local coordinate system adapted to the structure J, we prove that every closed positive current on M possesses a Lelong number at any point. In case the manifold is equipped with an integrable complex structure, this Lelong number coincides with the usual Lelong number of a closed positive current.     

Almost Extrinsically Homogeneous Submanifolds of Euclidean Space

Consider a closed manifold M immersed in R^m. Suppose that the trivial bundle M × R^m = T M ⊗ ν M is equipped with an almost metric connection ~ ∇ which almost preserves the decomposition of M × R^m into the tangent and the normal bundle. Assume moreover that the difference Γ = ∂~∇ with the usual derivative ∂ in R^m is almost ~∇-parallel. Then M admits an extrinsically homogeneous immersion into R^m. Mathematics Subject Classifications (2000): 53C20, 53C24, 53C30, 53C42, 53C40.     

Fefferman’s mapping theorem on almost complex manifolds in complex dimension two

We give a necessary and sufficient condition for the smooth extension of a diffeomorphism between smooth strictly pseudoconvex domains in four real dimensional almost complex manifolds (see Theorem 1.1). The proof is mainly based on a reflection principle for pseudoholomorphic discs, on precise estimates of the Kobayashi-Royden infinitesimal pseudometric and on the scaling method in almost complex manifolds.Mathematics Subject Classification (2000): 32H02,53C15     

A rigidity theorem for the pair ${\cal q}{\Bbb C} P^n$ (complex hyperquadric, complex projective space)

Given a compact Kähler manifold M of real dimension 2n, let P be either a compact complex hypersurface of M or a compact totally real submanifold of dimension n. Let q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n) be the complex hyperquadric (resp. the totally geodesic real projective space) in the complex projective space \Bbb C Pⁿ{\Bbb C} P^n of constant holomorphic sectional curvature 4l \lambda . We prove that if the Ricci and some (n-1)-Ricci curvatures of M (and, when P is complex, the mean absolute curvature of P) are bounded from below by some special constants and volume (P) / volume (M) ￡\leq volume (q\cal q)/ volume (\Bbb C Pⁿ)({\Bbb C} P^n) (resp. ￡\leq volume (\Bbb R Pⁿ)({\Bbb R} P^n) / volume (\Bbb C Pⁿ)({\Bbb C} P^n)), then there is a holomorphic isometry between M and \Bbb C Pⁿ{\Bbb C} P^n taking P isometrically onto q\cal q (resp. \Bbb R Pⁿ{\Bbb R} P^n). We also classify the Kähler manifolds with boundary which are tubes of radius r around totally real and totally geodesic submanifolds of half dimension, have the holomorphic sectional and some (n-1)-Ricci curvatures bounded from below by those of the tube \Bbb R Pⁿ_r{\Bbb R} P^n_r of radius r around \Bbb R Pⁿ{\Bbb R} P^n in \Bbb C Pⁿ{\Bbb C} P^n and have the first Dirichlet eigenvalue not lower than that of \Bbb R Pⁿ_r{\Bbb R} P^n_r.     

A Note on Hermitian-Einstein Metrics on Parabolic Stable Bundles

Let ${\overline M}Let be a compact complex manifold of complex dimension two with a smooth K?hler metric and D a smooth divisor on . If E is a rank 2 holomorphic vector bundle on with a stable parabolic structure along D, we prove that there exista a Hermitian-Einstein metric on compatible with the parabolic structure, whose curvature is square integrable. Received February 18, 2000, Accepted September 6, 2000     

Pseudoconvex regions of finite D’Angelo type in four dimensional almost complex manifolds

Let D be a J-pseudoconvex region in a smooth almost complex manifold (M, J) of real dimension four. We construct a local peak J-plurisubharmonic function at every point p ∈ bD of finite D’Angelo type. As applications we give local estimates of the Kobayashi pseudometric, implying the local Kobayashi hyperbolicity of D at p. In case the point p is of D’Angelo type less than or equal to four, or the approach is nontangential, we provide sharp estimates of the Kobayashi pseudometric.     

A Note on the Wong-Rosay Theorem in Complex Manifolds

The authors prove a version, in utmost generality, of the Bun Wong-Rosay theorem on a complex manifold M. The essence of the result is that a domain Ω?M with non-compact automorphism group and boundary orbit accumulation point that is strongly pseudoconvex must be biholomorphic to the unit ball in C ⁿ .     

Complex cycles on algebraic models of smooth manifolds

Every compact smooth manifold M is diffeomorphic to the set X(\mathbbR){X(\mathbb{R})} of real points of a nonsingular projective real algebraic variety X, which is called an algebraic model of M. Each algebraic cycle of codimension k on the complex variety X_\mathbbC=X×_\mathbbR\mathbbC{X_{\mathbb{C}}=X\times_{\mathbb{R}}\mathbb{C}} determines a cohomology class in H^2k(X(\mathbbR);\mathbbD){H^{2k}(X(\mathbb{R});\mathbb{D})} , where \mathbbD{\mathbb{D}} denotes \mathbbZ{\mathbb{Z}} or \mathbbQ{\mathbb{Q}} . We investigate the behavior of such cohomology classes as X runs through the class of algebraic models of M.     

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.