We study complex analytic projective connections on surfaces in projective n-spaces in terms of the "second" neighborhood of the surface in the ambient space, and in terms of the osculating behavior of the integral curves. We also investigate the action of a remarkable rational transformation on projective connections, and give the geometrical interpretation of joint invariants of a group closely related to the study of equivalence classes of projective connections on surfaces.
We study an isomorphism between the group of rigid body displacements and the group of dual quaternions modulo the dual number multiplicative group from the viewpoint of differential geometry in a projective space over the dual numbers. Some seemingly weird phenomena in this space have lucid kinematic interpretations. An example is the existence of non-straight curves with a continuum of osculating tangents which correspond to motions in a cylinder group with osculating vertical Darboux motions. We also suggest geometrically meaningful ways to select osculating conics of a curve in this projec…
We view conformal surfaces in the 4--sphere as quaternionic holomorphic curves in quaternionic projective space. By constructing enveloping and osculating curves, we obtain new holomorphic curves in quaternionic projective space and thus new conformal surfaces. Applying these constructions to Willmore surfaces, we show that the osculating and enveloping curves of Willmore spheres remain Willmore.
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 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.
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 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.
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…
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.
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.
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…
In this paper the projective curvature invariants of a complex Finsler space are obtained. By means of these invariants the notion of complex Douglas space is then defined. A special approach is devoted to obtain the equivalence conditions that a complex Finsler space should be Douglas. It is shown that any weakly Kähler Douglas space is a complex Berwald space. A projective curvature invariant of Weyl type characterizes the complex Berwald spaces. They must be either purely Hermitian of constant holomorphic curvature or non purely Hermitian of vanish holomorphic curvature. The locally project…
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.
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 …
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.
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…
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.
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…
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 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 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 …
Earlier we introduced and studied the concept of holomorphic {\it branched Cartan geometry}. We define here a foliated version of this notion; this is done in terms of Atiyah bundle. We show that any complex compact manifold of algebraic dimension $d$ admits, away from a closed analytic subset of positive codimension, a nonsingular holomorphic foliation of complex codimension $d$ endowed with a transversely flat branched complex projective geometry (equivalently, a ${\mathbb C}P^d$-geometry). We also prove that transversely branched holomorphic Cartan geometries on compact complex projective r…
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 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 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.
We study a problem of the geometric quantization for the quaternion projective space. First we explain a Kaehler structure on the punctured cotangent bundle of the quaternion projective space, whose Kaehler form coincides with the natural symplectic form on the cotangent bundle and show that the canonical line bundle of this complex structure is holomorphically trivial by explicitly constructing a nowhere vanishing holomorphic global section. Then we construct a Hilbert space consisting of a certain class of holomorphic functions on the punctured cotangent bundle by the method of pairing polar…
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 prove that if a Calabi--Yau manifold $M$ admits a holomorphic Cartan geometry, then $M$ is covered by a complex torus. This is done by establishing the Bogomolov inequality for semistable sheaves on compact Kähler manifolds. We also classify all holomorphic Cartan geometries on rationally connected complex projective manifolds.
We investigate the existence of a holomorphic and isometric immersion in the complex projective space for the complete Ricci-flat Kaehler metrics constructed by M. B. Stenzel on the cotangent bundle of a compact, rank one, globally symmetric space.
Spectral bundles on Abelian varieties, complex projective spaces and Grassmannians
Xiamen University Malaysia（厦门大学马来西亚分校）；Institute of Mathematics, Academia Sinica（中央研究院数学研究所）；National Center for Theoretical Sciences（国家理论科学中心）；Department of Mathematics, National Taiwan University（台湾大学数学系）
An unobstructedness theorem is proved for deformations of compact holomorphic Poisson manifolds and applied to a class of examples. These include certain rational surfaces and Hilbert schemes of points on Poisson surfaces. We study in particular the Hilbert schemes of the projective plane and show that a generic deformation is determined by two parameters -- an elliptic curve and a translation on it.
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…
