We consider a compact Kaehler manifold whose dual Kaehler cone contains a rational interior point. The general problem we have in mind is how far the manifold is from being projective; i.e. we ask for the algebraic dimension. We prove e.g. that if the interior point is represented by an effective curve in dimension 3, then the manifold has algebraic dimension at least 2 unless the variety is a so-called simple non-Kummer 3-fold. We also investigate 3-folds containing curves with ample normal bundle. It seems likely that examples with algebraic dimension 2 really exist.
We prove the existence of a Mori contraction on a compact Kaehler threefold whose canonical bundle is (analytically) not nef if the threefold can be approximated by projective threefolds or if the algebraic dimension is 2.
Let X be a compact Kaehler threefold such that the base of the MRC-fibration has dimension two. We prove that X is bimeromorphic to a Mori fibre space. Together with our earlier result arXiv:1304.4013 this completes the MMP for compact Kaehler threefolds: let X be a non-projective compact Kaehler threefold. Then X has a minimal model or X is bimeromorphic to a Mori fibre space over a non-projective Kaehler surface.
We prove abundance for a minimal Kaehler threefold which is not both simple and non-Kummer. Recall that a variety is simple if there is no compact subvariety of positive dimension through a sufficiently general point . Furthermore we prove that a smooth compact Kaehler threefold whose canonical bundle is not nef, carries a contraction unless (possibly) the manifold is simple non-Kummer. It is generally conjectured that simple threefolds must be Kummer.
We study holomorphic 2-forms on projective (or compact Kaehler) threefolds not of general type and prove that in almost all cases the 2-form is created by some standard process. This means roughly that every 2-form is induced by a meromorphic map to a surface, a torus or a symplectic manifold. If the 2-form has only finitely many zeroes, more precise results hold. Finally we prove that compact Kaehler threefolds with negative Kodaira dimension are uniruled unles they are simple, i.e. there is no positive dimensional compact subvariety through the general point of the manifold (these simple thr…
We describe properties of the Kähler cone of general Calabi-Yau-threefolds with Picard number $ρ(X)=2$ and prove the rationality of the Kähler cone, if $X$ is a Calabi-Yau-hypersurface in a ${\mathbb P}^2$-bundle over ${\mathbb P}^2$ and $c_3(X)\le -54$. Without the latter assumption we prove the positivity of $c_2(X)$.
We study the problem of existence of Kähler--Einstein metrics on smooth Fano threefolds of Picard rank one and anticanonical degree $22$ that admit a faithful action of the multiplicative group $\mathbb{C}^\ast$. We prove that, except possibly two explicitly described cases, all such smooth Fano threefolds are Kähler--Einstein.
We prove the rationality of the Kähler cone and the positivity of $c_2(X)$, if $X$ is a Calabi-Yau-threefold with $ρ(X)=2$ and has an embedding into a ${\bb P}^n$-bundle over ${\bb P}^m$ in the cases $(n,m)=(1,3),(3,1)$. The case $(n,m)=(2,2)$ has been done in the first part of this paper. Moreover, if $(n,m)=(3,1)$, we describe the 'other' contraction different from the projection.
This manuscript from August 1995 (revised February 1996) studies the Kaehler cone of Calabi-Yau threefolds via symplectic methods. For instance, it is shown that if two Calabi-Yau threefolds are general in complex moduli and are symplectic deformations of each other, then their Kaehler cones are the same. The results are generalizations of those in the author's previous paper "The Kaehler cone on Calabi-Yau threefolds" (Inventiones math. 107 (1992), 561-583; Erratum: Inventiones math. 114 (1993), 231-233), where the behaviour of the Kaehler cone under deformations of the complex structure was …
We prove that a compact contact threefold which is bimeromorphically equivalent to a Kaehler manifold and not rationally connected is the projectivised tangent bundle of a Kaehler surface.
We show that many spin 6-manifolds have the homotopy type but not the homeomorphism type of a Kaehler manifold. Moreover, for given Betti numbers, there are only finitely many deformation types and hence topological types of smooth complex projectve spin threefolds of general type. Finally, on a fixed spin 6-manifold, the Chern numbers take on only finitely many values on all possible Kaehler structures.
This is an attempt towards the understanding of the (birational) Kaehler cone of a compact hyperkaehler manifold in terms of the Beauville-Bogomolov form on its second cohomology. We discuss birational correspondences between hyperkaehler manifolds and their effects on the cohomology. Many of the results are conjectural in as much as they depend on a projectivity criterion for compact hyperkaehler manifolds contained in this paper's predecessor, but in which a serious mistake has oocured. An erratum is given in Sect. 6 and a way to rescue the approach is proposed in Sect. 7.
In this short note we show that the closed cone of moving curves of a smooth Fano-threefold is polyhedral. The proof relies on a famous result of Bucksom, Demailly, Paun and Peternell which says that the strongly movable cone is dual to the cone of pseudoeffective divisors. Finally, we relate the extremal rays of the cone of moving curves on a threefold with extremal rays in the cone of strongly movable curves on a birational model obtained by a Mori contraction.
We study the Kaehler metric given by the logarithm of a cubic form on its complexified index cone. Under mirror symmetry, this metric should asymptotically correspond to the Weil-Petersson metric. Using the theory of special Kaehler manifolds, a proof of a curvature formula for this metric is given.
We address the following question: When an affine cone over a smooth Fano threefold admits an effective action of the additive group? In this paper we deal with Fano threefolds of index 1 and Picard number 1. Our approach is based on a geometric criterion from our previous paper, which relates the existence of an additive group action on the cone over a smooth projective variety X with the existence of an open polar cylinder in X. Non-trivial families of Fano threefolds carrying a cylinder were found in loc. cit. Here we provide new such examples.
We describe explicitly the chamber structure of the movable cone for a general smooth complete intersection Calabi-Yau threefold $X$ of Picard number two in certain Pr-ruled Fano manifold and hence verify the Morrison-Kawamata cone conjecture for such $X$. Moreover, all birational minimal models of such Calabi-Yau threefolds are found, whose number is finite up to isomorphism.
We verify the Morrison--Kawamata conjecture for a certain class of rational threefolds, namely blowups of P^3 in the base locus of a net of quadrics with no reducible members. This seems to be the first verified case of the conjecture for klt Calabi--Yau pairs in dimension 3 with non-zero boundary divisor.
The existence of a vector field on a compact Kaehler manifold with nonempty zero locus and the properties of this zero locus strongly influence the geometry of the manifold. For example, J. Wahl proved that the existence of a vector field vanishing on an ample divisor of a projective normal variety X implies that X is a cone over this divisor. If X is smooth, X will be isomorphic to the n-dimensional projective space. This paper is a first attempt to generalize Wahl's theorem to higher codimensions: Given a complex smooth projective threefold X and a vector field on X vanishing on an irreducib…
First, we classify Calabi-Yau threefolds with infinite fundamental group by means of their minimal splitting coverings introduced by Beauville, and deduce that the nef cone is a rational simplicial cone and any rational nef divisor is semi-ample if the second Chern class is identically zero. We also derive a sufficient condition for the fundamental group to be finite in terms of the Picard number in an optimal form. Next, we give a concrete structure Theorem concerning $c_{2}$-contractions of Calabi-Yau threefolds as a generalisation and also a correction of our earlier works for simply connec…
S. Boucksom, J.-P. Demailly, M. Paun and Th. Peternell proved that the cone of mobile curves ME(X) of a projective complex manifold X is dual to the cone generated by classes of effective divisors and conjectured an extension of this duality in the Kaehler set-up. We show that their conjecture implies that ME(X) coincides with the cone of integer classes represented by closed positive smooth (n-1,n-1)-forms. Without assuming the validity of the conjecture we prove that this equality of cones still holds at the level of degree functions.
Let $U\subset \mathbb P^N$ be a projective variety which is not a cone and whose hyperplane sections are smooth Enriques surfaces. We prove that the degree of a $U$ is at most 32 and the bound is sharp.
Let $Z$ be the quotient of the Siegel modular threefold $\mathcal{A}^{\rm sa}(2,4,8)$ which has been studied by van Geemen and Nygaard. They gave an implication that some 6-tuple $F_Z$ of theta constants which is in turn known to be a Klingen type Eisenstein series of weight 3 should be related to a holomorphic differential $(2,0)$-form on $Z$. The variety $Z$ is birationally equivalent to the tangent cone of Fermat quartic surface in the title. In this paper we first compute the L-function of two smooth resolutions of $Z$. One of these, denoted by $W$, is a kind of Igusa compactification such…
Motivated by the classical statements of Mirror Symmetry, we study certain Kahler metrics on the complexified Kahler cone of a Calabi-Yau threefold, conjecturally corresponding to approximations to the Weil-Petersson metric near large complex structure limit for the mirror. In particular, the naturally defined Riemannian metric (defined via cup-product) on a level set of the Kahler cone is seen to be analogous to a slice of the Weil-Petersson metric near large complex limit. This enables us to give counterexamples to a conjecture of Ooguri and Vafa that the Weil-Petersson metric has non-positi…
Let N a compact complex submanifold of a compact complex manifold M. We say N splits in M, if the holomorphic tangent bundle sequence splits holomorphically. By a result of Mok a splitting submanifold of a Kaehler Einstein manifold with a projective structure is totally geodesic. The classification of all splitting submanifolds of families of fake elliptic curves given here completes the case of threefolds M with a projective structure by a previous result of the authors.
The effective cone conjecture for Calabi--Yau pairs
Ruhr-Universität Bochum（鲁尔大学波鸿分校）；National Taiwan University（台湾大学）；National Center for Theoretical Sciences（国家理论科学中心）；Leibniz University Hannover（汉诺威莱布尼茨大学）；Fudan University（复旦大学）；Shanghai Institute for Mathematics and Interdisciplinary Sciences（上海数学与交叉学科研究院）
In these notes we investigate the cone of nef curves of projective varieties, which is the dual cone to the cone of pseudo-effective divisors. We prove a structure theorem for the cone of nef curves of projective $\mathbb Q$-factorial klt pairs of arbitrary dimension from the point of view of the Minimal Model Program. This is a generalization of Batyrev's structure theorem for the cone of nef curves of projective terminal threefolds.
Given a complex manifold $X$, a normal crossing divisor $D\subset X$ whose irreducible components $D_1,...,D_s$ are smooth, and a choice of natural numbers $r=(r_1,...,r_s)$, we construct a manifold $X(D,\ur)$ with an action of a torus $Γ$ and we prove that some full subcategory of the category of $Γ$-equivariant vector bundles on $X(D,r)$ is equivalent to the category of parabolic vector bundles on $(X,D)$ in which the lengths of the filtrations over each irreducible component of $X$ are given by $r$. When $X$ is Kaehler, we study the Kaehler cone of $X(D,r)$ and the relation between the corr…
The aim of this survey paper is threefold: (a) to discuss the status of the Morrison-Kawamata cone conjecture, (b) to report on recent developments towards the Abundance Conjecture, and (c) to discuss the nef line bundle version of the Abundance Conjecture on $K$-trivial varieties.
We show that for any smooth Calabi-Yau threefold $X$ of Picard number $2$ with infinite birational automorphism group, the numerical dimension $κ_σ$ of the extremal rays of the movable cone of $X$ is $\frac{3}{2}$. Furthermore, we provide new examples of Calabi-Yau threefolds of Picard number $2$ with infinite birational automorphism group.
For every compact Kaehler manifold we give a canonical extension of Griffith's period map to generalized deformations, intended as solutions of Maurer-Cartan equation in the algebra of polyvector fields. Our construction involves the notion of Cartan homotopy and a canonical L-infinity structure on mapping cones of morphisms of differential graded Lie algebras.
For the Calabi-Yau threefolds $X$ constructed by C. Schoen as fiber products of generic rational elliptic surfaces, we show that the action of the automorphism group of $X$ on the Kähler cone of $X$ has a rationally polyhedral fundamental domain. The second author has conjectured that this statement will hold in general, the example presented here being the first non-trivial case in which the statement has been checked. The conjecture was motivated by the desire to use a construction of E. Looijenga to compactify certain moduli spaces which arise in the study of conformal field theory and ``mi…
In our previous research, we constructed the affine varieties $Σ_{\mathbb{A}}^{13}$ and $Π_{\mathbb{A}}^{14}$ whose partial projectivizations admit $\mathbb{P}^{2}\times\mathbb{P}^{2}$-fibrations with relative Picard number one. In this paper, we produce prime quasi-smooth $\mathbb{Q}$-Fano 3-folds which are anticanonically embedded of codimension four and belong to 23 (resp.8) classes in the Graded Ring Database [GRDB], as weighted complete intersections in weighted projectivizations of $Σ_{\mathbb{A}}^{13}$ (resp.$Π_{\mathbb{A}}^{14}$ or its cone). We also show that a general member of the a…
A curve on a projective variety is called movable if it belongs to an algebraic family of curves covering the variety. We consider when the cone of movable curves can be characterized without existence statements of covering families by studying the complete intersection cone on a family of blow-ups of complex projective space, including the moduli space of stable six-pointed rational curves, $\bar{M}_{0,6}$, and the permutohedral or Losev-Manin moduli space of four-pointed rational curves. Our main result is that the movable and complete intersection cones coincide for the toric members of th…
A conjecture of Batyrev and Manin relates arithmetic properties of varieties with ample anticanonical class to geometric invariants; in particular, counting functions defined by metrized ample line bundles and the corresponding asymptotics of rational points of bounded height are interpreted in terms of cones of effective divisors and certain thresholds with respect to these cones. This framework leads to the notion of balanced line bundles, whose counting functions, conjecturally, capture generic distributions of rational points. We investigate balanced line bundles in the context of the Mini…
We prove that the automorphism group of an odd dimensional Calabi-Yau manifold of Picard number two is always a finite group. This makes a sharp contrast to the automorphism groups of K3 surfaces and hyperkähler manifolds and birational automorphism groups, as we shall see. We also clarify the relation between finiteness of the automorphism group (resp. birational automorphism group) and the rationality of the nef cone (resp. movable cone) for a hyperkähler manifold of Picard number two. We will also discuss a similar conjectual relation together with exsistence of rational curve, expected by …
Let $C \subset P^{g-1}$ be a smooth canonical curve of genus $g \geq 3$. The purpose of this article is to further develop a method to classify varieties having $C$ as their curve section, using Gaussian map computations. In a previous article a careful analysis of the degeneration to the cone over the hyperplane section was made for _prime_ Fano threefolds, that is Fano threefolds whose Picard group is generated by the hyperplane bundle. In this article we extend this method and classify Fano threefolds of higher index (which still have Picard number one). We are also able to classify Mukai v…
The paper generalizes some of the well-known results for K3 surfaces to higher-dimensional irreducible symplectic (or, equivalently, compact irreducible hyperkaehler) manifolds. In particular, we discuss the projectivity of such manifolds and their ample resp. Kaehler cones. It is proved that the period map surjects any non-empty connected component of the moduli space of marked manifolds onto the corresponding period domain. We also establish an anlogue of the transitivity of the Weyl-action on the set of chambers of a K3 surface. As a converse of a higher-dimensional version of the `Main Lem…
We study threefolds $Y$ fibred by $A_m$-surfaces over a curve $S$ of positive genus. An ideal triangulation of $S$ defines, for each rank $m$, a quiver $Q(Δ_m)$, hence a $CY_3$-category $(C,W)$ for any potential $W$ on $Q(Δ_m)$. We show that for $ω$ in an open subset of the Kähler cone, a subcategory of a sign-twisted Fukaya category of $(Y,ω)$ is quasi-isomorphic to $(C,W_{[ω]})$ for a certain generic potential $W_{[ω]}$. This partially establishes a conjecture of Goncharov concerning `categorifications' of cluster varieties of framed $PGL_{m+1}$-local systems on $S$, and gives a symplectic g…
