By using classical invariant theory, we reduce the $S_{n}$-invariant F-conjecture to a feasibility problem in polyhedral geometry. We show by computer that for $n \le 19$, every integral $S_{n}$-invariant F-nef divisor on the moduli space of genus zero stable pointed curves is semi-ample, over arbitrary characteristic. Furthermore, for $n \le 16$, we show that for every integral $S_{n}$-invariant nef (resp. ample) divisor $D$ on the moduli space, $2D$ is base-point-free (resp. very ample). As applications, we obtain the nef cone of the moduli space of stable curves without marked points, and the semi-ample cone that of the moduli space of genus 0 stable maps to Grassmannian for small numerical values.
We compute the nef cone of the Hilbert scheme of points on a general rational elliptic surface. As a consequence of our computation, we show that the Morrison-Kawamata cone conjecture holds for these nef cones.
Serrrano's Conjecture says that if $L$ is a strictly nef line bundle on a smooth projective variety $X$, then $K_X+tL$ is ample for $ t > dim X+1$. In this paper I will prove a few cases of this conjecture. I will also prove a generalized version of this conjecture (due to Campana, Chen and Peternell) for surfaces. In the last section, assuming the SHGH conjecture, I will give a series of examples of strictly nef non ample divisors on surfaces of arbitary Kodaira dimension.
We study the behavior of generalized lc pairs with $\mathrm{\textbf b}$-log abundant nef part, a meticulously designed structure on algebraic varieties. We show that this structure is preserved under the canonical bundle formula and sub-adjunction formulas, and is also compatible with the non-vanishing conjecture and the abundance conjecture in the classical minimal model program.
In this paper, we prove the Bogomolov-Gieseker type inequality conjecture for threefolds with nef tangent bundles. As a corollary, there exist Bridgeland stability conditions on these threefolds.
We show that the tangent bundle of a projective manifold with nef anticanonical class is generically nef. That is, its restriction to a curve cut out by general sufficiently ample divisors is a nef vector bundle. This confirms a conjecture of Peternell. As a consequence, the second Chern class of such a manifold has non-negative intersections with ample divisors. We also investigate under which conditions these positivities are strict, and answer a question of Yau.
Let X be a compact Kähler manifold such that the anticanonical bundle $-K_X$ is nef. A classical conjecture claims that the Albanese map is submersive. We prove this conjecture if the general fibre is a weak Fano manifold. If X is projective we prove the conjecture also for fibres of dimension at most two.
The present paper concerns the invariants of generically nef vector bundles on ruled surfaces. By Mehta - Ramanathan Restriction Theorem and by Miyaoka characterization of semistable vector bundles on a curve, the generic nefness can be considered as a weak form of semistability. We establish a Bogomolov type inequality for generically nef vector bundles with nef general fiber restriction on ruled surfaces with no negative section. This gives an affermative answer in this case to a problem posed by Th. Peternell. Concerning ruled surfaces with a negative section, we prove a a similar result fo…
We compute local Gromov-Witten invariants of cubic surfaces at all genera. We use a deformation of a cubic surface to a nef toric surface and the deformation invariance of Gromov-Witten invariants.
Any ample Cartier divisor D on a projective variety X is strictly nef (i.e. D.C>0 for any effective curve C on X). In general, the converse statement does not hold. But this is conjectured to be true for anticanonical divisors. The present paper establishes this fact for normal complex projective threefolds with canonical singularities. This result extends several previously known special cases. The proof rests mainly on sophisticated techniques of three dimensional birational geometry developed in the last two decades.
Let X be a smooth projective threefold, and let A be an ample line bundle such that $K_X+A$ is nef. We show that if $K_X$ or $-K_X$ is pseudoeffective, the adjoint bundle $K_X+A$ has global sections. We also give a very short proof of the Beltrametti-Sommese conjecture in dimension three, recently proven by Fukuma: if A is an ample line bundle such that $K_X+2A$ is nef, the adjoint bundle $K_X+2A$ has global sections.
In this article we prove a finiteness result on the number of log minimal models for $3$-folds in char $p>5$. We then use this result to prove a version of Batyrev's conjecture on the structure of nef cone of curves on $3$-folds in characteristic $p>5$. We also give a proof of the same conjecture in full generality in characteristic $0$. We further verify that the duality of movable curves and pseudo-effective divisors hold in arbitrary characteristic. We then give a criterion for the pseudo-effectiveness of the canonical divisor $K_X$ of a smooth projective variety in arbitrary characteristic…
In characteristic $0$, the Campana-Peternell conjecture claims that the only smooth Fano variety with nef tangent bundle should be homogeneous. In this paper, we study the positive characteristic version of the Campana-Peternell conjecture. In particular, we give an affirmative answer for Fano $4$-folds with nef tangent bundle and Picard number greater than one.
In this paper, we study the divisor theory of the Simpson moduli space of semistable sheaves of dimension 1 on the projective plane. We prove that these spaces are all Mori dream spaces, and calculate their nef cones. We also study the effective cones of these spaces for most choices of numerical invariants. As a consequence, we work out precisely when two such spaces are isomorphic.
In this note we revisit and extend few classical and recent results on the definition and use of the Futaki invariant in connection with the existence problem for Kaehler constant scalar curvature metrics on polarized algebraic manifolds, especially in the case of resolution of singularities. The general inspiration behind this work is no doubt the beautiful 1992 paper by Ding and Tian which contains the germs of a huge amount of the successive developments in this fundamental problem, and it is a great pleasure to dedicate this to Professor G. Tian on the occasion of his birthday!
We investigate nef and movable cones of hypersurfaces in Mori dream spaces. The first result is: Let $Z$ be a smooth Mori dream space of dimension at least four whose extremal contractions are of fiber type of relative dimension at least two and let $X$ be a smooth ample divisor in $Z$, then $X$ is a Mori dream space as well. The second result is: Let $Z$ be a Fano manifold of dimension at least four whose extremal contractions are of fiber type and let $X$ be a smooth anti-canonical hypersurface in $Z$, which is a smooth Calabi--Yau variety, then the unique minimal model of $X$ up to isomorph…
We show that an equivariant vector bundle on a complete toric variety is nef or ample if and only if its restriction to every invariant curve is nef or ample, respectively. Furthermore, we show that nef toric vector bundles have a nonvanishing global section at every point, and deduce that the underlying vector bundle is trivial if and only if its restriction to every invariant curve is trivial. We apply our methods and results to study, in particular, the vector bundles M_L that arise as the kernel of the evaluation map on sections of L, when L is an ample line bundle. We give examples of twi…
We use wall-crossing with respect to Bridgeland stability conditions to systematically study the birational geometry of a moduli space M of stable sheaves on a K3 surface X: 1. We describe the nef cone, the movable cone, and the effective cone of M in terms of the Mukai lattice of X. 2. We establish a long-standing conjecture that predicts the existence of a birational Lagrangian fibration on M whenever M admits an integral divisor class D of square zero (with respect to the Beauville-Bogomolov form). These results are proved using a natural map from the space of Bridgeland stability condition…
We study cyclic covering morphisms from $\bar{M}_{0,n}$ to moduli spaces of unpointed stable curves of positive genus or compactified moduli spaces of principally polarized abelian varieties. Our main application is a construction of new semipositive vector bundles and nef divisors on $\bar{M}_{0,n}$, with a view toward the F-conjecture. In particular, we construct new extremal rays of the symmetric nef cone of $\bar{M}_{0,n}$. We also find an alternate description of all sl level 1 conformal blocks divisors on $\bar{M}_{0,n}$.
We determine the cone of nef divisors on the Voronoi compactification A_g^* of the moduli space A_g of principally polarized abelian varieties of dimension g for genus g=2,3. As a corollary we obtain that the spaces A_g^*(n) with level-n structure are a minimal, resp. canonical, model for g=2, n>=4, resp. n>=5 and g=3, n>=3, resp. n>=4. We give two proofs: The easy and quick one reduces the problem to \bar M_g where we can use a result of Faber. This approach cannot be generalized to higher genus g. The main point of the paper is, therefore, to give a second proof using theta functions and a r…
In his work on birational classification of foliations on projective surfaces, Brunella showed that every regular foliation on a rational surface is algebraically integrable with rational leaves. This led Touzet to conjecture that every regular foliation on a rationally connected manifold is algebraically integrable with rationally connected leaves. Druel proved this conjecture for the case of weak Fano manifolds. In this paper, we extend this result showing that Touzet's conjecture is true for codimension one foliations on threefolds with nef anti-canonical bundle.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
We prove that Seshadri constants of some ample divisors are bigger than 1 on smooth threefolds whose anticanonical bundle is nef or on Fano varieties of small coindice. The main tools are (some known cases of) the Kawamata's effective non-vanishing conjecture and the adjunction theory. We prove the non-vanishing conjecture in dimension 3 in the case of line bundles of "high" volume using Kawamata's subadjunction formula.
As a consequence of our recently established generalized Schmidt's subspace theorem for closed subschemes in general position, we prove a degeneracy theorem for integral points on the complement of a union of nef effective divisors. A novel aspect of our result is the attainment of a strong degeneracy conclusion (arithmetic quasi-hyperbolicity) under weak positivity assumptions on the divisors. The proof hinges on applying our recent theorem with a well-situated ample divisor realizing a certain lexicographical minimax. We also explore the connections with earlier work by other authors and mak…
The moduli space $\M_{g,n}$ of $n-$pointed stable curves of genus $g$ is stratified by the topological type of the curves being parametrized: the closure of the locus of curves with $k$ nodes has codimension $k$. The one dimensional components of this stratification are smooth rational curves (whose numerical equivalence classes are) called F-curves. The F-conjecture asserts that a divisor on $\M_{g,n}$ is ample if and only if it positively intersects the $F-$curves. In this paper the F-conjecture on $\M_{g,n}$ is reduced to showing that certain divisors in $\M_{0,N}$ for $N \leq g+n$ are equi…
In this paper we study the ample cone of the moduli space $\mgn$ of stable $n$-pointed curves of genus $g$. Our motivating conjecture is that a divisor on $\mgn$ is ample iff it has positive intersection with all 1-dimensional strata (the components of the locus of curves with at least $3g+n-2$ nodes). This translates into a simple conjectural description of the cone by linear inequalities, and, as all the 1-strata are rational, includes the conjecture that the Mori cone is polyhedral and generated by rational curves. Our main result is that the conjecture holds iff it holds for $g=0$. More pr…
We construct log resolutions of pairs on the blow-up of the projective space in an arbitrary number of general points and we discuss the semi-ampleness of the strict transforms. As an application we prove that the abundance conjecture holds for an infinite family of such pairs. For $n+2$ points, these strict transforms are F-nef divisors on the moduli space $\overline{\mathcal{M}}_{0,n+3}$ in a Kapranov's model: we show that all of them are nef.
In this note, we continue the investigation of a projective Kähler manifold $M$ of semi-negative holomorphic sectional curvature $H$. We introduce a new differential geometric numerical rank invariant which measures the number of linearly independent {\it truly flat} directions of $H$ in the tangent spaces. We prove that this invariant is bounded above by the nef dimension and bounded below by the numerical Kodaira dimension of $M$. We also prove a splitting theorem for $M$ in terms of the nef dimension and, under some additional hypotheses, in terms of the new rank invariant.
We consider two applications of the strata of differentials of the second kind (all residues equal to zero) with fixed multiplicities of zeros and poles: Positivity: In genus $g=0$ we show any associated divisorial projection to $\overline{\mathcal{M}}_{0,n}$ is $F$-nef and hence conjectured to be nef. We compute the class for all genus when the divisorial projection forgets only simple zeros and show in these cases the genus $g=0$ projections are indeed nef. Hurwitz spaces: We show the Hurwitz spaces of degree $d$, genus $g$ covers of $\mathbb{P}^1$ with pure branching (one ramified point ove…
We prove that if $m \ge n-3$ then every $S_m$-invariant F-nef divisor on the moduli space of stable $n$-pointed curves of genus zero is linearly equivalent to an effective combination of boundary divisors. As an application, we determine the Mori cone of the moduli spaces of stable curves of small genus with few marked points.
We construct a family of nef divisor classes on every moduli space of stable complexes in the sense of Bridgeland. This divisor class varies naturally with the Bridgeland stability condition. For a generic stability condition on a K3 surface, we prove that this class is ample, thereby generalizing a result of Minamide, Yanagida, and Yoshioka. Our result also gives a systematic explanation of the relation between wall-crossing for Bridgeland-stability and the minimal model program for the moduli space. We give three applications of our method for classical moduli spaces of sheaves on a K3 surfa…
We prove a new non-splitting result for the cohomology of the Milnor fiber, reminiscent of the classical result proved independently by Lazzeri, Gabrielov, and Lê in 1973-74. We do this while exploring a conjecture of Bobadilla about a stronger version of our non-splitting result. To explore this conjecture, we define a new numerical invariant for hypersurfaces with $1$-dimensional critical loci: the beta invariant. The beta invariant is an invariant of the ambient topological-type of the hypersurface, is non-negative, and is algebraically calculable. Results about the beta invariant remove th…
In this paper we extend the notion of Futaki invariant to big and nef classes in such a way that it defines a continuous function on the \K\ cone up to the boundary. We apply this concept to prove that reduced normal crossing singularities are sufficient to check $K$-semistability. A similar improvement on Donaldson's lower bound for Calabi energy is given.
We prove a conjecture of Lehmann-Tanimoto about the behaviour of the Fujita invariant (or $a$-constant appearing in Manin's conjecture) under pull-back to generically finite covers. As a consequence we obtain results about geometric consistency of Manin's conjecture.
We derive some combinatorial consequences from the positivity of Donaldson-Thomas invariants for symmetric quivers conjectured by Kontsevich and Soibelman and proved recently by Efimov. These results are used to prove the Kac conjecture for quivers having at least one loop at every vertex.
Fix a Calabi-Yau 3-fold $X$ satisfying the Bogomolov-Gieseker conjecture of Bayer-Macrì-Toda, such as the quintic 3-fold. By two different wall-crossing arguments we prove two different explicit formulae relating rank 0 Donaldson-Thomas invariants (counting torsion sheaves on $X$ supported on ample divisors) in terms of rank 1 Donaldson-Thomas invariants (counting ideal sheaves of curves) and Pandharipande-Thomas invariants. In particular, we prove a slight modification of Toda's formulation of OSV conjecture for $X$. When $X$ is of Picard rank one, we also give an explicit formula for rank tw…
We give a short proof for the fact that rationality of complex surfaces is a property depending only on the differential structure. Our proof uses the new Seiberg-Witten invariants.
The purpose of this note is to give a short, selfcontained proof of the following result: A complex surface which is diffeomeorphic to a rational surface is rational.
The Virasoro conjecture proposed by Eguchi-Hori-Xiong and S. Katz predicts that the generating function of Gromov-Witten invariants is annihilated by infinitely many differential operators which form a half branch of the Virasoro algebra. In this paper, we study the genus-1 case of the conjecture. In particular, we will give some necessary and sufficient conditions for the genus-1 Virasoro conjecture.
