The purpose of this article is to give an interpretation of real projective structures and associated cohomology classes in terms of connections, sections, etc. satisfying elliptic partial differential equations in the spirit of Hodge theory. We shall also give an application of these results as the uniqueness of a minimal surface in a symmetric space.
We discuss holomorphic isometric embeddings of the projective line into quadrics using a generalisation of the theorem of do Carmo--Wallach to provide a description of their moduli spaces up to image and gauge--equivalence. Moreover, we show rigidity of the real standard map from the projective line into quadrics.
We study complex analytic (possibly singular) projective connections on the plane. We characterize some of them in terms of their families of integral curves. We also give a beginning of classification of second order odes polynomial in the first and second derivatives, and with holomorphic coefficients.
The authors give a complete classification of projective threefolds admitting a holomorphic normal projective connection. Moreover, they prove a general structure theorem on complex projective manifolds admitting a holomorphic normal projective connection, saying in particular, that any such manifold is either the projective space or minimal in the sense of Mori.
In this paper we define strongly projectively flatness of holomorphic maps into the complex Grassmannian manifold, which is a kind of generalization of holomorphic maps into the complex projective space and prove a rigidity of equivariant strongly projectively flat maps of compact simply connected homogeneous Kähler manifolds.
The authors give a complete classification of projective threefolds admitting a holomorphic conformal structure. A Corollary is the complete list of projective threefolds, whose tangent bundle is a symmetric square.
Following earlier work of Loftin-McIntosh, we study minimal Lagrangian immersions of the universal cover of a closed surface (of genus at least 2) into CH2, with prescribed data of a conformal structure plus a holomorphic cubic differential. We show existence and non-uniqueness of such minimal Lagrangian immersions. We also establish the surface area with respect to the induced metric as a Weil-Petersson potential function for the space of holomorphic cubic differentials on the Riemann surface.
This is largely a survey paper, dealing with Cartan geometries in the complex analytic category. We first remind some standard facts going back to the seminal works of F. Klein, E. Cartan and C. Ehresmann. Then we present the concept of a branched holomorphic Cartan geometry which was introduced by the authors in [BD]. It generalizes to higher dimension the notion of a branched (flat) complex projective structure on a Riemann surface introduced by Mandelbaum. This new framework is much more flexible than that of the usual holomorphic Cartan geometries (e.g. all compact complex projective manif…
We study the global property of local holomorphic isometric mappings from a class of Kahler manifolds into a product of projective algebraic manifolds with induced Fubini-Study metrics, where isometric factors are allowed to be negative.
Extending the Labourie-Loftin correspondence, we establish, on any punctured oriented surface of finite type, a one-to-one correspondence between convex projective structures with specific types of ends and punctured Riemann surface structures endowed with meromorphic cubic differentials whose poles are at the punctures. This generalizes previous results of Loftin, Benoist-Hulin and Dumas-Wolf.
We construct and study a natural homeomorphism between the moduli space of polynomial cubic differentials of degree d on the complex plane and the space of projective equivalence classes of oriented convex polygons with d+3 vertices. This map arises from the construction of a complete hyperbolic affine sphere with prescribed Pick differential, and can be seen as an analogue of the Labourie-Loftin parameterization of convex RP^2 structures on a compact surface by the bundle of holomorphic cubic differentials over Teichmuller space.
We introduce the concept of a branched holomorphic Cartan geometry. It generalizes to higher dimension the definition of branched (flat) complex projective structure on a Riemann surface introduced by Mandelbaum. This new framework is much more flexible than that of the usual holomorphic Cartan geometries. We show that all compact complex projective manifolds admit branched flat holomorphic projective structure. We also give an example of a non-flat branched holomorphic normal projective structure on a compact complex surface. It is known that no compact complex surface admits such a structure…
In Part I of this paper we introduced the notion of the projective linking number Link(M,Z) of a compact oriented real submanifold M of dimension 2p-1 in complex projective n-space P^n with an algebraic subvariety Z of codimension p in P^n - M. It is shown here that a basic conjecture concerning the projective hull of real curves in P^2 implies the following result: M is the boundary of a positive holomorphic p-chain T of mass M(T) < K in P^n if and only if Link(M,Z) > -K p!deg(Z) for all algebraic subvarieties Z of codimension p in P^n - M. An analogous result is implied in any projective man…
Let $(M,ω)$ be a compact Kähler manifold with negative holomorphic sectional curvature. It was proved by Wu-Yau and Tosatti-Yang that $M$ is necessarily projective and has ample canonical bundle. In this paper, we show that any irreducible subvariety of $M$ is of general type. Moreover, we can extend the theorem to the quasi-negative curvature case building on earlier results of Diverio-Trapani. Finally, we investigate the more general setting of a quasi-projective manifold $X^{\circ}$ endowed with a Kähler metric with negative holomorphic sectional curvature and we prove that such a manifold …
In this article, we introduce symbol calculus on a projective scheme. Using holomorphic Poisson structures, we construct deformations of ring structures for structure sheaves on projective spaces.
This manuscript is an introduction to the theory of holomorphic foliations on the complex projective plane. Historically the subject has emerged from the theory of ODEs in the complex domain and various attempts to solve Hilbert's 16th Problem, but with the introduction of complex algebraic geometry, foliation theory and dynamical systems, it has now become an interesting subject of its own.
Each of the four critical Severi varieties arises from a minimal holomorphic nilpotent orbit in a simple regular rank 3 hermitian Lie algebra and each such variety lies as singular locus in a cubic--the chordal variety--in the corresponding complex projective space; the cubic and projective space are identified in terms of holomorphic nilpotent orbits. The projective space acquires an exotic Kähler structure with three strata, the cubic is an example of an exotic projective variety with two strata, and the corresponding Severi variety is the closed stratum in the exotic variety as well as in t…
Let $\mathcal{O}(D)$ be an equivariant line bundle which is big and nef on a complex projective nonsingular toric variety $X$. Given a continuous toric metric $\|\cdot\|$ on $\mathcal{O}(D)$, we define the energy at equilibrium of $(X,ϕ_{\bar{D}})$ where $ϕ_{\bar{D}}$ is the weight of the metrized toric divisor $\bar{D}=(D,\|\cdot\|)$. We show that this energy describes the asymptotic behaviour as $k\rightarrow \infty$ of the volume of the $L^2$-norm unit ball induced by $(X,kϕ_{\bar{D}})$ on the space of global holomorphic sections $H^0(X,\mathcal{O}(kD))$.
We introduce the notion of the projective linking number Link(M,Z) of a compact oriented real submanifold M of dimension 2p-1 in complex projective n-space P^n with an algebraic subvariety Z in P^n - M of codimension p. This notion is related to projective winding numbers and quasi-plurisubharmonic functions, and it generalizes directly from P^n to any projective manifold. Part 1 of this paper establishes the following result for the case p=1. Let M be an oriented, stable, real analytic curve in P^n. Then M is the boundary of a positive holomorphic 1-chain T with Mass(T) < K in P^n if and only…
The main two families of real hypersurfaces in complex space forms are Hopf and ruled. However, very little is known about real hypersurfaces in the indefinite complex projective space $\cpn$. In a previous work, Kimura and the second author introduced Hopf real hypersurfaces in $\cpn$. In this paper, ruled real hypersurfaces in the indefinite complex projective space are introduced, as those whose maximal holomorphic distribution is integrable, and such that the leaves are totally geodesic holomorphic hyperplanes. A detailed description of the shape operator is computed, obtaining two main di…
We give a local parametric description of all holomorphic hypersurfaces in complex Euclidean and projective spaces with constant index of relative nullity, together with applications. This is a complex analogue to the parametrization for real hypersurfaces in Euclidean space known as the Gauss parametrization.
In this paper, we pose several conjectures on structures and images of maximal rationally connected fibrations of smooth projective varieties admitting semi-positive holomorphic sectional curvature. Toward these conjectures, we prove that the canonical bundle of images of such fibrations is not big. Our proof gives a generalization of Yang's solution using RC positivity for Yau's conjecture. As an application, we show that any compact Kähler surface with semi-positive holomorphic sectional curvature is rationally connected, or a complex torus, or a ruled surface over an elliptic curve.
We prove that the only Calabi--Yau projective manifolds which bear holomorphic Cartan geometries are precisely the abelian varieties. (Nous démontrons que les seules variétés projectives de Calabi--Yau qui possèdent des géométrie holomorphes de Cartan sont les variétés abéliennes.)
In this paper, we establish a structure theorem for a smooth projective variety $X$ with semi-positive holomorphic sectional curvature. Our structure theorem contains the solution for Yau's conjecture and it can be regarded as a natural generalization of the structure theorem proved by Howard-Smyth-Wu and Mok for holomorphic bisectional curvature. Specifically, we prove that $X$ admits a locally trivial morphism $ϕ:X \to Y$ such that the fiber $F$ is rationally connected and the image $Y$ has a finite étale cover $A \to Y$ by an abelian variety $A$, by combining the author's previous work with…
The mirror of a projective toric manifold $X_Σ$ is given by a Landau-Ginzburg model $(Y,W)$. We introduce a class of Lagrangian submanifolds in $(Y,W)$ and show that, under the SYZ mirror transformation, they can be transformed to torus-invariant hermitian metrics on holomorphic line bundles over $X_Σ$. Through this geometric correspondence, we also identify the mirrors of Hermitian-Einstein metrics, which are given by distinguished Lagrangian sections whose potentials satisfy certain Laplace-type equations.
Let S be a compact connected oriented orbifold surface We show that using Bers simultaneous uniformization, the moduli space of projective structure on S can be mapped biholomorphically onto the total space of the holomorphic cotangent bundle of the Teichmüller space for S. The total space of the holomorphic cotangent bundle of the Teichmüller space is equipped with the Liouville symplectic form, and the moduli space of projective structures also has a natural holomorphic symplectic form. The above identification is proved to be compatible with these symplectic structures. Similar results are …
We study codimension one holomorphic distributions on the projective three-space, analyzing the properties of their singular schemes and tangent sheaves. In particular, we provide a classification of codimension one distributions of degree at most 2 with locally free tangent sheaves, and show that codimension one distributions of arbitrary degree with only isolated singularities have stable tangent sheaves. Furthermore, we describe the moduli space of distributions in terms of Grothendieck's Quot-scheme for the tangent bundle. In certain cases, we show that the moduli space of codimension one …
Labourie and the author independently showed that a convex real projective structure on an oriented surface of genus at least 2 is equivalent to a conformal structure plus a holomorphic cubic differential U. We analyze the behavior of the real-projective structure as the conformal structure is fixed and the cubic differential is scaled to infinity. In particular, we find the asymptotic eigenvalues of the holonomies around smooth geodesic loops with respect to the flat metric given by the 2/3 power of |U|. If the asymptotic holonomies of all loops could be computed, then that would describe a b…
We extend the holomorphic analytic torsion classes of Bismut and Köhler to arbitrary projective morphisms between smooth algebraic complex varieties. To this end, we propose an axiomatic definition and give a classification of the theories of generalized holomorphic analytic torsion classes for arbitrary projective morphisms.
We define local indices for projective umbilics and godrons (also called cusps of Gauss) on generic smooth surfaces in projective 3-space. By means of these indices, we provide formulas that relate the algebraic numbers of those characteristic points on a surface (and on domains of the surface) with the Euler characteristic of that surface (resp. of those domains). These relations determine the possible coexistences of projective umbilics and godrons on the surface. Our study is based on a "fundamental cubic form" for which we provide a closed simple expression.
We introduce a weak concept of Morita equivalence, in the birational context, for Poisson modules on complex normal Poisson projective varieties. We show that Poisson modules, on projective varieties with mild singularities, are either rationally Morita equivalent to a flat partial holomorphic sheaf, or a sheaf with a meromorphic flat connection or a co-Higgs sheaf. As an application, we study the geometry of rank two meromorphic rank two $\mathfrak{sl}_2$-Poisson modules which can be interpreted as a Poisson analogous to transversally projective structures for codimension one holomorphic foli…
We associate to an SU(2) hyperbolic monopole a holomorphic sphere embedded in projective space and use this to uncover various features of the monopole.
We show that a nonsingular complex projective variety admitting a holomorphic vector field with nonempty isolated zeroes, is rational using a key technique by Harvey-Lawson on finite volume flows. This statement was conjectured by J. Carrell. By the same technique, we obtain a uniform upper bound of Betti numbers of nonsingular complex projective variety admitting a holomorphic vector field with exact one zero point. Such an upper bound depends only on the dimension of the variety, which is a stronger version of a result of Akyildiz and Carrell.
We strengthen our previous results regarding the moduli spaces of Zoll metrics and Zoll projective structures on S^2. In particular, we describe a concrete, open condition which suffices to guarantee that a totally real embedding of RP^2 in CP_2 arises from a unique Zoll projective structure on the 2-sphere. Our methods ultimately reflect the special role such structures play in the initial value problem for the 3-dimensional Lorentzian Einstein-Weyl equations.
We prove that holomorphic normal projective connections on compact complex surfaces are flat. We show that a holomorphic torsion-free affine connection $\nabla$ on a compact complex surface is locally modelled on a translations-invariant affine connection on $\C^2$, except if $\nabla$ is a generic connection on a principal elliptic bundle over a Riemann surface of genus $g \geq 2$, with odd first Betti number. In the last case, the local Killing Lie algebra is of dimension one, generated by the fundamental vector field of the principal fibration.
In this note we show that if a projective manifold admits a Kähler metric with negative holomorphic sectional curvature then the canonical bundle of the manifold is ample. This confirms a conjecture of the second author.
It has been argued by Witten and others that in the presence of a nontrivial B-field, D-brane charges in type IIB string theories are measured by twisted K-theory. In joint work with Bouwknegt, Carey and Murray it was proved that twisted K-theory is canonically isomorphic to bundle gerbe K-theory, whose elements are ordinary vector bundles on a principal projective unitary bundle, with an action of the bundle gerbe determined by the principal projective unitary bundle. The principal projective unitary bundle is in turn determined by the twist. In this paper, we study in more detail the Chern-W…
We establish a twistor correspondence between a cuspidal cubic curve in a complex projective plane, and a co-calibrated homogeneous $G_2$ structure on the seven--dimensional parameter space of such cubics. Imposing the Riemannian reality conditions leads to an explicit co-calibrated $G_2$ structure on $SU(2, 1)/U(1)$. This is an example of an SO(3) structure in seven dimensions. Cuspidal cubics and their higher degree analogues with constant projective curvature are characterised as integral curves of 7th order ODEs. Projective orbits of such curves are shown to be analytic continuations of Al…
In a previous paper, we proved that a projective Kähler manifold of positive total scalar curvature is uniruled. At the other end of the spectrum, it is a well-known theorem of Campana and Kollár-Miyaoka-Mori that a projective Kähler manifold of positive Ricci curvature is rationally connected. In the present work, we investigate the intermediate notion of $k$-positive Ricci curvature and prove that for a projective $n$-dimensional Kähler manifold of $k$-positive Ricci curvature the MRC fibration has generic fibers of dimension at least $n-k+1$. We also establish an analogous result for projec…
Consider $E$ a holomorphic vector bundle over a projective manifold $X$ polarized by an ample line bundle $L$. Fix $k$ large enough, the holomorphic sections $H^0(E\otimes L^k)$ provide embeddings of $X$ in a Grassmanian space. We define the \textit{balancing flow for bundles} as a flow on the space of projectively equivalent embeddings of $X$. This flow can be seen as a flow of algebraic type hermitian metrics on $E$. At the quantum limit $k\to \infty$, we prove the convergence of the balancing flow towards the Donaldson heat flow, up to a conformal change. As a by-product, we obtain a numeri…