Explicit construction of a Chern-Moser connection for CR manifolds of codimension two
Gerd Schmalz, Andrea Spiro
备注:
40 pages - This is a revised version in which a misuse of formula (6.10) of the old version in the following computations has been corrected - the changes starts only from pag. 24 and do not concerns the line of arguments
In the present paper we suggest an explicit construction of a Cartan connection for an elliptic or hyperbolic CR manifold M of dimension six and codimension two, i.e. a pair (P, w), consisting of a principal bundle P over M and of a Cartan connection form w on P, satisfying the following property: the (local) CR transformations of M are in one to one correspondence with the (local) automorphisms of P which preserve w. For any point x in M, this construction determines an explicit immersion of the stability subalgebra Lie(aut(M)_x) into the Lie algebra Lie(H) of the structure group H of P.
In this article, we first describe a normal form of real-analytic, Levi-nondegenerate submanifolds of $C^N$ of codimension d $\ge$ 1 under the action of formal biholomorphisms, that is, of perturbations of Levi-nondegenerate hyperquadrics. We give a sufficient condition on the formal normal form that ensures that the normalizing transformation to this normal form is holomorphic. We show that our techniques can be adapted in the case d = 1 in order to obtain a new and direct proof of Chern-Moser normal form theorem.
We derive an explicit formula for the well-known Chern-Moser-Weyl tensor for nondegenerate real hypersurfaces in complex space in terms of their defining functions. The formula is considerably simplified when applying to "pluriharmonic perturbations" of the sphere or to a Fefferman approximate solution to the complex Monge-Ampère equation. As an application, we show that the CR invariant one-form $X_α$ constructed recently by Case and Gover is nontrivial on each real ellipsoid of revolution in $\mathbb{C}^3$, unless it is equivalent to the sphere. This resolves affirmatively a question posed b…
We propose two constructions extending the Chern-Moser normal form to non-integrable Levi-nondegenerate (hypersurface type) almost CR structures. One of them translates the Chern-Moser normalization into pure intrinsic setting, whereas the other directly extends the (extrinsic) Chern-Moser normal form by allowing non-CR embeddings that are in some sense "maximally CR". One of the main differences with the classical integrable case is the presence of the non-integrability tensor at the same order as the Levi form, making impossible a good quadric approximation - a key tool in the Chern-Moser th…
After gluing foliated complex manifolds, we derive a preparation-like theorem for singularities of codimension one foliations and planar vector fields (in the real or complex setting). Without computation, we retrieve and improve results of Levinson-Moser for functions, Dufour-Zhitomirskii for non degenerate codimension 1 foliations (proving in turn the analyticity), Strozyna-Zoladek for non degenerate planar vector fields and Brjuno-Ecalle for saddle-node foliations in the plane.
Moser's Bernstein theorem \cite{moser61} says that an entire minimal graph of codimension 1 with bounded slope must be a hyperplane. An analogous result for arbitrary codimension is not true, by an example of Lawson-Osserman. Here, we show that Moser's theorem nevertheless extends to codimension 2, i.e., a minimal $p$-submanifold in $R^{p+2}$, which is the graph of a smooth function defined on the entire $R^p$ with bounded slope, must be a $p$-plane. Our method depends on convexity properties of Grassmannians which come into play as the targets of the (harmonic) Gauss maps of our minimal subma…
We give an explicit formula for the Gauss-Bonnet-Chern mass of an asymptotically flat graphical manifold of arbitrary codimension and use it to prove the positive mass theorem and the Penrose inequality for graphs with flat normal bundle.
We prove the conjecture of Tian on the strong form of the Moser-Trudinger inequality for Kahler-Einstein manifolds with positive first Chern class, when there are no holomorphic vector fields, and, more generally, when the setting is invariant under a maximal compact subgroup of the automorphism group.
In this paper we construct a large class of new normal forms for Levi-nondegenerate real hypersurfaces in complex spaces. We adopt a general approach illustrating why these normal forms are natural and which role is played by the celebrated Chern-Moser normal form. The latter appears in our class as the one with the "maximum normalization" in the lowest degree. However, there are other natural normal forms, even with normalization conditions for the terms of the same degree. Some of these forms do not involve the cube of the trace operator and, in that sense, are simplier than the one by Chern…
In this article we give a necessary and sufficient condition to characterize projective submanifolds in ${\mathbb P}^N$ with codimensions 2 and 3. The conditions involve the Chern classes of the manifold and a very ample line bundle on the manifold. This generalizes our earlier characterization for hypersurfaces. The higher codimensional cases are proposed as a general question.
We provide a characterization of quotients of three-dimensional complex tori by finite groups that act freely in codimension one via a vanishing condition on the first and second orbifold Chern class. We also treat the case of actions free in codimension two, using instead the "birational" second Chern class, as we call it. Both notions of Chern classes are introduced here in the setting of compact complex spaces with klt singularities. In such generality, this topic has not been treated in the literature up to now. We also discuss the relation of our definitions to the classical Schwartz-MacP…
This paper is concerned with Chern-Ricci flow evolution of left-invariant hermitian structures on Lie groups. We study the behavior of a solution, as t is approaching the first time singularity, by rescaling in order to prevent collapsing and obtain convergence in the pointed (or Cheeger-Gromov) sense to a Chern-Ricci soliton. We give some results on the Chern-Ricci form and the Lie group structure of the pointed limit in terms of the starting hermitian metric and, as an application, we obtain a complete picture for the class of solvable Lie groups having a codimension one normal abelian subgr…
We investigate the geometry of Hermitian manifolds endowed with a compact Lie group action by holomorphic isometries with principal orbits of codimension one. In particular, we focus on a special class of these manifolds constructed by following Bérard-Bergery which includes, among the others, the holomorphic line bundles on $\mathbb C\mathbb P^{m-1}$, the linear Hopf manifolds and the Hirzebruch surfaces. We characterize their invariant special Hermitian metrics, such as balanced, Kähler-like, pluriclosed, locally conformally Kähler, Vaisman, Gauduchon. Furthermore, we construct new examples …
We are interested by holomorphic $d$-webs $W$ of codimension one in a complex $n$-dimensional manifold $M$. If they are ordinary, i.e. if they satisfy to some condition of genericity (whose precise definition is recalled), we proved in [CL] that their rank $ρ(W)$ is upper-bounded by a certain number $π'(n,d)\ \bigl($which, for $n\geq 3$, is stictly smaller than the Castelnuovo-Chern's bound $π(n,d)\bigr)$. In fact, denoting by $c(n,h)$ the dimension of the space of homogeneous polynomials of degree $h$ with $n$ unknowns, and by $h_0$ the integer such that $$c(n,h_0-1)<d\leq c(n,h_0),$$ $π'(n,d…
We prove that the pullback of the SU(n)-soliton of Chern class $c_2=1$ over $\mathbb S^4$ via the radial projection $π:\mathbb B^5\setminus\{0\}\to\mathbb S^4$ minimizes the Yang-Mills energy under the fixed boundary trace constraint. In particular this shows that stationary Yang-Mills connections in high dimension can have singular sets of codimension 5.
A tensor invariant is defined on a quaternionic contact manifold in terms of the curvature and torsion of the Biquard connection involving derivatives up to third order of the contact form. This tensor, called quaternionic contact conformal curvature, is similar to the Weyl conformal curvature in Riemannian geometry and to the Chern-Moser tensor in CR geometry. It is shown that a quaternionic contact manifold is locally quaternionic contact conformal to the standard flat quaternionic contact structure on the quaternionic Heisenberg group, or equivalently, to the standard 3-sasakian structure o…
An immersion of a compact manifold is tight if it admits the minimal total absolute curvature over all immersions of the manifold. A prominent result in the study of minimal total absolute curvature immersions is the theorem of Chern and Lashof, which characterizes minimal total absolute curvature immersions, and tight immersions, of spheres into a Euclidean space. In this paper we examine tight immersions of highly connected manifolds; i.e., 2k-dimensional manifolds that are (k-1)-connected by not k-connected, and characterize the immersions of highest codimension.
We apply the theory of Weyl structures for parabolic geometries developed by A. Cap and J. Slovak in to compute, for a quaternionic contact (qc) structure, the Weyl connection associated to a choice of scale, i.e. to a choice of Carnot-Carathéodory metric in the conformal class. The result of this computation has applications to the study of the conformal Fefferman space of a qc manifold. In addition to this application, we are also able to easily compute a tensorial formula for the qc analog of the Weyl curvature tensor in conformal geometry and the Chern-Moser tensor in CR geometry. This ten…
Let $(X,ω)$ be a Hermitian manifold and let $(E,h^E)$, $(F,h^F)$ be two Hermitian holomorphic line bundle over $X$. Suppose that the maximal rank of the Chern curvature $c(E)$ of $E$ is $r$, and the kernel of $c(E)$ is foliated, i.e. there is a foliation $Y$ of $X$, of complex codimension $r$, such that the tangent space of the leaf at each point $x\in X$ is contained in the kernel of $c(E)$. In this paper, local versions of Demailly-Bouche's holomorphic Morse inequalities (which give asymptotic bounds for cohomology groups $H^{q}(X,E^k\otimes F^l)$ as $k,l,k/l\rightarrow \infty$) are presente…
A curvature-type tensor invariant called para contact (pc) conformal curvature is defined on a paracontact manifold. It is shown that a paracontact manifold is locally paracontact conformal to the hyperbolic Heisenberg group or to a hyperquadric of neutral signature if and only if the pc conformal curvature vanishes. In the three dimensional case the corresponding result is achieved through employing a certain symmetric (0,2) tensor. The well known result of Cartan-Chern-Moser giving necessary and sufficient condition a CR-structure to be CR equivalent to a hyperquadric in the complex vector s…