Let X be a Fano manifold. G.Tian proves that if X admits a Kaehler-Einstein metric, then it satisfies two different stability conditions: one involving the Futaki invariant of a special degeneration of X, the other Hilbert-Mumford-stability of X w.r.t. a certain polarization. He conjectures that each of these conditions is also sufficient for the existence of such a metric. If this is true, then in particular the two stability conditions would be equivalent. We show that for Fano hypersurfaces in projective space, where due to the work of Lu and Yotov an explicit formula for the Futaki invariant is known, these two conditions are indeed very closely related.
The interpretation, due to T. Mabuchi, of the classical Futaki invariant of Fano toric manifolds is extended to the case of the Generalized Futaki invariant, introduced by W. Ding and G. Tian, of almost Fano toric varieties. As an application it is shown that the real part of the Generalized Futaki invariant is positive for all degenerations of the Fano manifold V_{38}, obtained by intersection of the Veronese embedding of ${\bf P}^3\times{\bf P}^2 \subset {\bf P}^{11}$ with codimension-two hyperplanes.
We study the algebraic properties of the generalized Futaki invariant of an almost Fano variety and prove that it is in fact a pushforward to a point of an appropriate equivariant Chow cohomology class of the variety. This allows us to use Bott-type formulae for calculating the invariant. We show this use on some examples.
We study the Futaki invariant and the Mabuchi K-energy of a Kähler manifold $M$ using the Deligne pairing technique developed in earlier papers. We first prove a rather simple characterization of the Futaki character: The Futaki character on a Q-Fano variety is the eigenvalue of the action of $Aut(M)$ on $Chow(M)$, the Chow point of $M$. We use this to give a new proof of Lu's theorem on the Futaki invariant of a complete intersection. In the last theorem, we prove a non-linear generalization of Lu's formula which expresses the K-energy of a smooth complete intersection as a singular norm on t…
We study the scalar curvature of Kähler metrics that have cone singularities along a divisor, with a particular focus on certain specific classes of such metrics that enjoy some curvature estimates. Our main result is that, on the projective completion of a pluricanonical bundle over a product of Kähler--Einstein Fano manifolds with the second Betti number 1, momentum-constructed constant scalar curvature Kähler metrics with cone singularities along the $\infty$-section exist if and only if the log Futaki invariant vanishes on the fibrewise $\mathbb{C}^*$-action, giving a supporting evidence t…
Let $G$ be a connected, complex reductive Lie group and $X$ a $\mathbb Q$-Fano $G$-spherical variety. In this paper we compute the weighed non-Archimedean functionals of a $G$-equivariant normal test configurations of $X$ via combinatory data. Also we define a modified Futaki invariant with respect to the weight $g$, and give an expression in terms of intersection numbers. Finally we show the equivalence of different notations of stability and gives a stability criterion on $\mathbb Q$-Fano spherical varieties, which is also a criterion of existence of Kähler-Ricci $g$-solitons.
We consider the problem of existence of constant scalar curvature Kaehler metrics on complete intersections of sections of vector bundles. In particular we give general formulas relating the Futaki invariant of such a manifold to the weight of sections defining it and to the Futaki invariant of the ambient manifold. As applications we give a new Mukai-Umemura-Tian like example of Fano 5-fold admitting no Kaehler-Einstein metric and a strong evidence of K-stability of complete intersections on Grassmannians.
We study log canonical thresholds on quartic threefolds, quintic fourfolds, and double spaces. As an application, we show that they have a Kaehler-Einstein metric if they are general.
For any flat projective family $(\mX,\mL)\rightarrow C$ such that the generic fibre $\mX_η$ is a klt Q-Fano variety and $\mL|_{\mX_η}\sim_{Q}-K_{X_η}$, we use the techniques from the minimal model program (MMP) to modify the total family. The end product is a family such that every fiber is a klt Q-Fano variety. Moreover, we can prove that the Donaldson-Futaki invariants of the appearing models decrease. When the family is a test configuration of a fixed Fano variety $(X,-K_X)$, this implies Tian's conjecture: given $X$ a Fano manifold, to test its K-(semi, poly)stability, we only need to test…
We prove the metric version of the SYZ conjecture for a class of Calabi-Yau hypersurfaces inside toric Fano manifolds, by solving a variational problem whose minimizer may be interpreted as a global solution of the real Monge-Ampère equation on certain polytopes. This does not rely on discrete symmetry.
Let $X$ be a complex toric Fano $n$-fold and ${\cal N}(T)$ the normalizer of a maximal torus $T$ in the group of biholomorphic authomorphisms $Aut(X)$. We call $X$ {\em symmetric} if the trivial character is a single ${\cal N}(T)$-invariant algebraic character of $T$. Using an invariant $α_G(X)$ introduced by Tian, we show that all symmetric toric Fano $n$-folds admit an Einstein-Kähler metric. We remark that so far one doesn't know any example of a toric Fano $n$-fold $X$ such that $Aut(X)$ is reductive, the Futaki character of $X$ vanishes, but $X$ is not symmetric.
Using ideas from the theory of tropical curves and degeneration, we prove that any Fano hypersurface (and more generally Fano complete intersections) is swept by at most quadratic rational curves.
We prove that a general Fano hypersurface in a projective space over an algebraically closed field of arbitrary characteristic is separably rationally connected.
We consider canonical metrics on Fano manifolds. First we introduce a norm-type functional on Fano manifolds, which has Kahler-Einstein or Kahler-Ricci soliton as its critical point and the Kahler-Ricci flow can be viewed as its (reduced) gradient flow. We then obtain a natural lower bound of this functional. As an application, we prove that Kahler-Ricci soliton, if exists, maximizes Perelman's $μ$-functional without extra assumptions. Second we consider a conjecture proposed by S.K. Donaldson in terms of $\cK$-energy. Our simple observation is that $\cF$-functional, as $\cK$-energy, also inte…
We survey some results on the nonrationality and birational rigidity of certain hypersurfaces of Fano type. The focus is on hypersurfaces of Fano index one, but hypersurfaces of higher index are also discussed.
It is conjectured that a Fano manifold of Picard number 1 which is not a projective space admits no endomorphisms of degree bigger than 1. Beauville confirmed this for hypersurfaces of projective space. We study this problem for hypersurfaces of an arbitrary Fano manifold of Picard number 1.
Let F(X_d) be a smooth Fano variety of lines of a hypersurface X_d of degree d. In this paper, we prove the Griffiths group Griff_1(F(X_d)) is trivial if the hypersurface X_d is of 2-Fano type. As a result, we give a positive answer to a question of Professor Voisin about the first Griffiths groups of Fano varieties in some cases. Base on this result, we prove that CH_2(X_d)=\mathbb{Z} for a complex smooth $3$-Fano hypersurface X_d whose Fano variety of lines is smooth.
We determine the rationality of very general quasismooth Fano 3-fold weighted hypersurfaces completely and determine the stable rationality of them except for cubic 3-folds. More precisely we prove that (i) very general Fano 3-fold weighted hypersurfaces of index 1 or 2 are not stably rational except possibly for the cubic threefolds, (ii) among the 27 families of Fano 3-fold weighted hypersurfaces of index greater than 2, very general members of specific 7 families are not stably rational and the remaining 20 families consists of rational varieties.
We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of Kähler-Einstein metrics on all smooth Fano hypersurfaces of Fano index two, (b) to compute the stability thresholds for hypersurfaces at generalized Eckardt points and for cubic surfaces at all points, and (c) to provide a new algebraic proof of Tian's criterion for K-stability, amongst other applications.
We give the first evidence for a conjecture that a general, index-one, Fano hypersurface is not unirational: (i) a general point of the hypersurface is contained in no rational surface ruled, roughly, by low-degree rational curves, and (ii) a general point is contained in no image of a Del Pezzo surface.
We classify birational maps into elliptic fibrations of a general quasismooth hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ that has terminal singularities.
We establish birational superrigidity for a large class of singular projective Fano hypersurfaces of index one. In the special case of isolated singularities, our result applies for instance to: (1) hypersurfaces with semi-homogeneous singularities of multiplicity asymptotically bounded by twice the square root of the dimension of the hypersurface, (2) hypersurfaces with isolated singularities whose Tyurina numbers satisfy a similar bound, and (3) hypersurfaces with isolated singularities whose dual variety is a hypersurface of degree sufficiently close to the expected degree.
In this paper we propose and prove an explicit formula for computing the degree of Fano schemes of linear subspaces on general hypersurfaces. The method used here is based on the localization theorem and Bott's residue formula in equivariant intersection theory.
We classify all pencils on a general weighted hypersurface in $\mathbb{P}(1,a_{1},a_{2},a_{3},a_{4})$ of degree $\sum_{i=1}^{4}a_{i}$ whose general members are surfaces of Kodaira dimension zero.
It is proved that a general Fano hypersurface of index 1 (in the projective space) with isolated singularities of general position is birationally rigid. Therefore it cannot be fibered into uniruled varieties of a smaller dimension by a rational map. The group of birational self-maps is either trivial or cyclic of order two.
We show that the Debarre-de Jong conjecture that the Fano scheme of lines on a smooth hypersurface of degree at most n in n-dimensional projective space must have its expected dimension, and the Beheshti-Starr conjecture that bounds the dimension of the Fano scheme of lines for hypersurfaces of degree at least n in n-dimensional projective space, reduce to determining if the intersection of the top Chern classes of certain vector bundles is nonzero.
We prove that a smooth Fano hypersurface $V=V_M\subset{\Bbb P}^M$, $M\geq 6$, is birationally superrigid. In particular, it cannot be fibered into uniruled varieties by a non-trivial rational map and each birational map onto a minimal Fano variety of the same dimension is a biregular isomorphism. The proof is based on the method of maximal singularities combined with the connectedness principle of Shokurov and Koll\' ar.
We determine the complete list of anticanonically embedded quasi smooth log Fano 3-folds in weighted projective 4-spaces. This implies that the Reid-Fletcher list of 95 types of anticanonically embedded quasi smooth terminal Fano threefolds in weighted projective 4-spaces is complete. We also prove that there are only finitely many families of quasi smooth Calabi-Yau hypersurfaces in weighted projective spaces of any given dimension.
We show that the degrees of rational endomorphisms of very general complex Fano and Calabi-Yau hypersurfaces satisfy certain congruence conditions by specializing to characteristic p. As a corollary we show that very general n-dimensional hypersurfaces of degree $d\ge 5\lceil (n+3)/6\rceil$ are not birational to elliptic fibrations. A key part of the argument is to resolve singularities of general p-cyclic covers in mixed characteristic p.
Under a hypothesis on $k$, $d$ and $n$ that is almost the best possible, we prove that for every smooth degree $d$ hypersurface in $P^n$, the $k$-plane sections dominate the moduli space of degree $d$ hypersurface in $P^k$. Using this we prove rational simple connectedness of every smooth degree $d$ hypersurface in $P^n$, under a suitable hypothesis on $d$ and $n$ (previous results were only for general hypersurfaces).
The purpose of this paper is to compute the degree of irrationality of hypersurfaces of sufficiently high degree in various Fano varieties: quadrics, Grassmannians, products of projective space, cubic threefolds, cubic fourfolds, and complete intersection threefolds of type (2,2). This extends the techniques of Bastianelli, De Poi, Ein, Lazarsfeld, and the second author who computed the degree of irrationality of hypersurfaces of sufficiently high degree in projective space. A theme in the paper is that the fibers of low degree rational maps from the hypersurfaces to projective space tend to l…
We establish the vanishing of the third unramified cohomology group for many types of Fano hypersurfaces in projective space over an algebraically closed field of arbitrary characteristic, and over a finite field. For cubic hypersurfaces over a finite field, the case of fourfolds remains open. --- Sur un corps algébriquement clos et sur un corps fini, on établit de nouveaux résultats d'annulation pour la cohomologie non ramifiée de degré 3 pour de nombreux types d'hypersurfaces de Fano. Le cas des hypersurfaces cubiques de dimension 4 sur un corps fini reste ouvert.
We find a relation between a cubic hypersurface $Y$ and its Fano variety of lines $F(Y)$ in the Grothendieck ring of varieties. We prove that if the class of an affine line is not a zero-divisor in the Grothendieck ring of varieties, then Fano variety of lines on a smooth rational cubic fourfold is birational to a Hilbert scheme of two points on a K3 surface; in particular, general cubic fourfold is irrational.
We show that five of Reid's Fano 3-fold hyperurfaces containing at least one compound Du Val singularity of type $cA_n$ have pliability at least two. The two elements of the pliability set are the singular hypersurface itself, and another non-isomorphic Fano hypersurface of the same degree, embedded in the same weighted projective space, but with different compound Du Val singularities. The birational map between them is the composition of two birational links initiated by blowing up two Type I centres on a codimension 4 Fano 3-fold of $\mathbb{P}^2 \times \mathbb{P}^2$-type having Picard rank…
We show that complex Fano hypersurfaces can have arbitrarily large degrees of irrationality. More precisely, if we fix a Fano index e, then the degree of irrationality of a very general complex Fano hypersurface of index e and dimension n is bounded from below by a constant times $\sqrt{n}$. To our knowledge this gives the first examples of rationally connected varieties with degrees of irrationality greater than 3. The proof follows a degeneration to characteristic p argument which Kollár used to prove nonrationality of Fano hypersurfaces. Along the way we show that in a family of varieties, …
We investigate the spaces of rational curves on a general hypersurface. In particular, we show that for a general degree $d$ hypersurface in $\mathbb{P}^n$ with $n \geq d+2$, the space $\overline{\mathcal{M}_{0,0}}(X,e)$ of degree $e$ Kontsevich stable maps from a rational curve to $X$ is an irreducible local complete intersection stack of dimension $e(n-d+1)+n-4$.
We prove that a very general complex hypersurface of degree $n+1$ in $\mathbb{P}^{n+1}$ containing an $r$-plane with multiplicity $m$ is not stably rational for $n \ge 3$, $m, r > 0$ and $n \ge m+r$. We also investigate failure of stable rationality of a very general hypersurface of degree $n+1$ in $\mathbb{P}^{n+1}$ admitting several isolated ordinary double points.
For $n \geq 1$, the twistor space $\mathfrak{Z}(\mathbb{S}^{2n})$ of the conformal $2n$-sphere is biholomorphic to the Zariski closure, taken in the complex Grassmannian manifold $\mathbf{G}(n+1, 2n+2)$, of the set of graphs of skew-symmetric linear endomorphism of $\mathbb{C}^{n+1}$. We use this fact to describe a natural stratification of the twistor space $\mathfrak{Z}(\mathbb{S}^{2n})$ with $n \geq 3$, in terms of what we have called {\it generalised complex orthogonal Stiefel manifolds} of $\mathbb{C}^{n+1}$. In particular, the twistor space $\mathfrak{Z}(\mathbb{S}^{6})$ is biholomorphic…
We prove birational superrigidity of Fano double hypersurfaces of index one with quadratic and multi-quadratic singularities, satisfying certain regularity conditions, and give an effective explicit lower bound for the codimension of the set of non-rigid varieties in the natural parameter space of the family. The lower bound is quadratic in the dimension of the variety. The proof is based on the techniques of hypertangent divisors combined with the recently discovered $4n^2$-inequality for complete intersection singularities.
For every integer $a \geq 2$, we relate the K-stability of hypersurfaces in the weighted projective space $\mathbb{P}(1,1,a,a)$ of degree $2a$ with the GIT stability of binary forms of degree $2a$. Moreover, we prove that such a hypersurface is K-polystable and not K-stable if it is quasi-smooth.
Extending previous results, we prove that for $n \ge 5$ all hypersurfaces of degree $n+1$ in ${\mathbb P}^{n+1}$ with isolated ordinary double points are birational superrigid and K-stable, hence admit a weak Kähler--Einstein metric.
The theorem referred to in the title is a technical result that is needed for the classification of elliptic and K3 fibrations birational to Fano 3-fold hypersurfaces in weighted projective space. We present a complete proof of the Curve Exclusion Theorem, which first appeared in the author's unpublished PhD thesis [Ry02] and has since been relied upon in solutions to many cases of the fibration classification problem. We give examples of these solutions and discuss them briefly.
For a Zariski general (regular) hypersurface $V$ of degree $M$ in the $(M+1)$-dimensional projective space, where $M$ is at least 16, with at most quadratic singularities of rank at least 13, we give a complete description of the structures of rationally connected (or Fano-Mori) fibre space: every such structure over a positive-dimensional base is a pencil of hyperplane sections. This implies, in particular, that $V$ is non-rational and its groups of birational and biregular automorphisms coincide. The set of non-regular hypersurfaces has codimension at least $\frac12(M-11)(M-10)-10$ in the na…
We find new lower bounds on the torsion orders of very general Fano hypersurfaces over (uncountable) fields of arbitrary characteristic. Our results imply that unirational parametrizations of most Fano hypersurfaces need to have enormously large degree. Our results also hold in characteristic two, where they solve the rationality problem for hypersurfaces under a logarithmic degree bound, thereby extending a previous result of the author from characteristic different from two to arbitrary characteristic.
We provide a sufficient condition for a general hypersurface in a $\mathbb Q$-Fano toric variety to be a Calabi-Yau variety in terms of its Newton polytope. Moreover, we define a generalization of the Berglund-Hübsch-Krawitz construction in case the ambient is a $\mathbb Q$-Fano toric variety with torsion free class group and the defining polynomial is not necessarily of Delsarte type. Finally, we introduce a duality between families of Calabi-Yau hypersurfaces which includes both Batyrev and Berglund-Hübsch-Krawitz mirror constructions. This is given in terms of a polar duality between pairs …
