Showing papers in "arXiv: Algebraic Geometry in 2018"

Tropical curves, graph homology, and top weight cohomology of M_g

Abstract: We study the topology of a space parametrizing stable tropical curves of genus g with volume 1, showing that its reduced rational homology is canonically identified with both the top weight cohomology of M_g and also with the genus g part of the homology of Kontsevich's graph complex. Using a theorem of Willwacher relating this graph complex to the Grothendieck-Teichmueller Lie algebra, we deduce that H^{4g-6}(M_g;Q) is nonzero for g=3, g=5, and g at least 7. This disproves a recent conjecture of Church, Farb, and Putman as well as an older, more general conjecture of Kontsevich. We also give an independent proof of another theorem of Willwacher, that homology of the graph complex vanishes in negative degrees.

Existence of moduli spaces for algebraic stacks

Abstract: We provide necessary and sufficient conditions for when an algebraic stack admits a good moduli space. This theorem provides a generalization of the Keel--Mori theorem to moduli problems whose objects have positive dimensional automorphism groups. We also prove a semistable reduction theorem for points of algebraic stacks equipped with a $\Theta$-stratification. Using these results we find conditions for the good moduli space to be separated or proper. To illustrate our method, we apply these results to construct proper moduli spaces parameterizing semistable $\mathcal{G}$-bundles on curves and moduli spaces for objects in abelian categories.

Topological Hochschild homology and integral $p$-adic Hodge theory

Abstract: In mixed characteristic and in equal characteristic $p$ we define a filtration on topological Hochschild homology and its variants. This filtration is an analogue of the filtration of algebraic $K$-theory by motivic cohomology. Its graded pieces are related in mixed characteristic to the complex $A\Omega$ constructed in our previous work, and in equal characteristic $p$ to crystalline cohomology. Our construction of the filtration on $\mathrm{THH}$ is via flat descent to semiperfectoid rings. As one application, we refine the construction of the $A\Omega$-complex by giving a cohomological construction of Breuil--Kisin modules for proper smooth formal schemes over $\mathcal O_K$, where $K$ is a discretely valued extension of $\mathbb Q_p$ with perfect residue field. As another application, we define syntomic sheaves $\mathbb Z_p(n)$ for all $n\geq 0$ on a large class of $\mathbb Z_p$-algebras, and identify them in terms of $p$-adic nearby cycles in mixed characteristic, and in terms of logarithmic de~Rham-Witt sheaves in equal characteristic $p$.

A non-Archimedean approach to K-stability

Abstract: We study K-stability properties of a smooth Fano variety X using non-Archimedean geometry, specifically the Berkovich analytification of X with respect to the trivial absolute value on the ground field. More precisely, we view K-semistability and uniform K-stability as conditions on the space of plurisubharmonic (psh) metrics on the anticanonical bundle of X. Using the non-Archimedean Calabi-Yau theorem and the Legendre transform, this allows us to give a new proof that K-stability is equivalent to Ding stability. By choosing suitable psh metrics, we also recover the valuative criterion of K-stability by Fujita and Li. Finally, we study the asymptotic Fubini-Study operator, which associates a psh metric to any graded filtration (or norm) on the anticanonical ring. Our results hold for arbitrary smooth polarized varieties, and suitable adjoint/twisted notions of K-stability and Ding stability. They do not rely on the Minimal Model Program.

Fundamental classes in motivic homotopy theory

Abstract: We develop the theory of fundamental classes in the setting of motivic homotopy theory. Using this we construct, for any motivic spectrum, an associated bivariant theory in the sense of Fulton-MacPherson. We import the tools of Fulton's intersection theory into this setting: (refined) Gysin maps, specialization maps, and formulas for excess intersections, self-intersections, and blow-ups. We also develop a theory of Euler classes of vector bundles in this setting. For the Milnor-Witt spectrum recently constructed by Deglise-Fasel, we get a bivariant theory extending the Chow-Witt groups of Barge-Morel, in the same way the higher Chow groups extend the classical Chow groups. As another application we prove a motivic Gauss-Bonnet formula, computing Euler characteristics in the motivic homotopy category.

The global moduli theory of symplectic varieties

Abstract: We develop the global moduli theory of symplectic varieties {in the sense of Beauville}. We prove a number of analogs of classical results from the smooth case, including a global Torelli theorem. In particular, this yields a new proof of Verbitsky's global Torelli theorem in the smooth case (assuming $b_2\geq 5$) which does not use the existence of a hyperkahler metric or twistor deformations.

o-minimal GAGA and a conjecture of Griffiths.

Abstract: We prove a conjecture of Griffiths on the quasi-projectivity of images of period maps using algebraization results arising from o-minimal geometry. Specifically, we first develop a theory of analytic spaces and coherent sheaves that are definable with respect to a given o-minimal structure, and prove a GAGA-type theorem algebraizing definable coherent sheaves on complex algebraic spaces. We then combine this with algebraization theorems of Artin to show that proper definable images of complex algebraic spaces are algebraic. Applying this to period maps, we conclude that the images of period maps are quasi-projective and that the restriction of the Griffiths bundle is ample.

Uniqueness of K-polystable degenerations of Fano varieties

Abstract: We prove that K-polystable degenerations of Q-Fano varieties are unique. Furthermore, we show that the moduli stack of K-stable Q-Fano varieties is separated. Together with [Jia17,BL18], the latter result yields a separated Deligne-Mumford stack parametrizing all uniformly K-stable Q-Fano varieties of fixed dimension and volume. The result also implies that the automorphism group of a K-stable Q-Fano variety is finite.

Twisted cubics on cubic fourfolds and stability conditions

Abstract: We give an interpretation of the Fano variety of lines on a cubic fourfold and of the hyperkahler eightfold, constructed by Lehn, Lehn, Sorger and van Straten from twisted cubic curves in a cubic fourfold non containing a plane, as moduli spaces of Bridgeland stable objects in the Kuznetsov component. As a consequence, we reprove the categorical version of Torelli Theorem for cubic fourfolds, we obtain the identification of the period point of LLSvS eightfold with that of the Fano variety, and we discuss derived Torelli Theorem for cubic fourfolds.

Geometric consistency of Manin's Conjecture

Abstract: We conjecture that the exceptional set in Manin's Conjecture has an explicit geometric description. Our proposal includes the rational point contributions from any generically finite map with larger geometric invariants. We prove that this set is contained in a thin subset of rational points, verifying there is no counterexample to Manin's Conjecture which arises from an incompatibility of geometric invariants.

Singular semipositive metrics on line bundles on varieties over trivially valued fields

Abstract: Let X be a smooth projective Berkovich space over a trivially or discretely valued field k of residue characteristic zero, and let L be an ample line bundle on X. We develop a theory of plurisubharmonic (or semipositive) metrics on L. In particular we show that the (non-Archimedean) Monge-Ampere operator induces a bijection between plurisubharmonic metrics and Radon probability measures of finite energy. In the discretely valued case, these results refine earlier work obtained in collaboration with C. Favre. In the trivially valued case, the results are new and will in subsequent work be shown to have ramifications for the study of K-stability.

Openness of uniform K-stability in families of $\mathbb{Q}$-Fano varieties

Abstract: We show that uniform K-stability is a Zariski open condition in Q-Gorenstein families of Q-Fano varieties. To prove this result, we consider the behavior of the stability threshold in families. The stability threshold (also known as the delta-invariant) is a recently introduced invariant that is known to detect the K-semistability and uniform K-stability of a Q-Fano variety. We show that the stability threshold is lower semicontinuous in families and provide an interpretation of the invariant in terms of the K-stability of log pairs.

Spaces of norms, determinant of cohomology and Fekete points in non-Archimedean geometry

Abstract: Let L be an ample line bundle on a (geometrically reduced) projective variety X over any complete valued field. Our main result describes the leading asymptotics of the determinant of cohomology of large powers of L, with respect to the supnorm of a continuous metric on the Berkovich analytification of L. As a consequence, we establish in this setting the existence of transfinite diameters and equidistribution of Fekete points, following a strategy going back Berman, Witt Nystrom and the first author for complex manifolds. In the non-Archimedean case, our approach relies on a version of the Knudsen-Mumford expansion for the determinant of cohomology on models over the (possibly non-Noetherian) valuation ring, as a replacement for the asymptotic expansion of Bergman kernels in the complex case, and on the reduced fiber theorem, as a replacement for the Bernstein-Markov inequalities. Along the way, a systematic study of spaces of norms and the associated Fubini-Study type metrics is undertaken.

Virtual Cartier divisors and blow-ups

Abstract: We prove a universal property for blow-ups in regularly immersed subschemes, based on a notion we call "virtual effective Cartier divisor" We also construct blow-ups of regular closed immersions in derived algebraic geometry

Hodge ideals for Q-divisors, V-filtration, and minimal exponent

Abstract: We explicitly compute the Hodge ideals of Q-divisors in terms of the V-filtration induced by a local defining equation, inspired by a result of Saito in the reduced case. We deduce basic properties of Hodge ideals in this generality, and relate them to Bernstein-Sato polynomials. As a consequence of our study we establish general properties of the minimal exponent, a refined version of the log canonical threshold, and bound it in terms of discrepancies on log resolutions, addressing a question of Lichtin and Kollar.

Weak Zariski decompositions and log terminal models for generalized polarized pairs

Abstract: We show that the existence of a birational weak Zariski decomposition for a pseudo-effective generalized polarized lc pair is equivalent to the existence of a generalized polarized log terminal model.

Algebraicity of the Metric Tangent Cones and Equivariant K-stability

Abstract: We prove two new results on the K-polystability of Q-Fano varieties based on purely algebro-geometric arguments. The first one says that any K-semistable log Fano cone has a special degeneration to a uniquely determined K-polystable log Fano cone. As a corollary, we combine it with the differential-geometric results to complete the proof of Donaldson-Sun's Conjecture which says that the metric tangent cone of any close point appearing on a Gromov-Hausdorff limit of Kahler-Einstein Fano manifolds only depends on the algebraic structure of the singularity. The second result says that for any log Fano variety with a torus action, the K-polystability is equivalent to the equivariant K-polystability, that is, to check K-polystability, it is sufficient to check special test configurations which are equivariant under the torus action.

The logarithmic Picard group and its tropicalization

Abstract: We construct the logarithmic and tropical Picard groups of a family of logarithmic curves and realize the latter as the quotient of the former by the algebraic Jacobian. We show that the logarithmic Jacobian is a proper family of logarithmic abelian varieties over the moduli space of Deligne-Mumford stable curves, but does not possess an underlying algebraic stack. However, the logarithmic Picard group does have logarithmic modifications that are representable by logarithmic schemes, all of which are obtained by pullback from subdivisions of the tropical Picard group.

The test function conjecture for parahoric local models

Abstract: We prove the test function conjecture of Kottwitz and the first named author for local models of Shimura varieties with parahoric level structure, and their analogues in equal characteristic.

Logarithmic Riemann-Hilbert correspondences for rigid varieties.

Abstract: On any smooth algebraic variety over a p-adic local field, we construct a tensor functor from the category of de Rham p-adic etale local systems to the category of filtered algebraic vector bundles with an integrable connection satisfying the Griffiths transversality, which we view as a p-adic analogue of Deligne's classical Riemann--Hilbert correspondence. The key intermediate step is to construct extensions of the desired connections to suitable compactifications of the algebraic variety with logarithmic poles along the boundary; hence the title of the paper. As an application, we show that this p-adic Riemann--Hilbert functor is compatible with the classical one over all Shimura varieties, for local systems attached to representations of the associated reductive algebraic groups.

The arc-topology

Abstract: We study a Grothendieck topology on schemes which we call the $\mathrm{arc}$-topology. This topology is a refinement of the $v$-topology (the pro-version of Voevodsky's $h$-topology) where covers are tested via rank $\leq 1$ valuation rings. Functors which are $\mathrm{arc}$-sheaves are forced to satisfy a variety of glueing conditions such as excision in the sense of algebraic $K$-theory. We show that etale cohomology is an $\mathrm{arc}$-sheaf and deduce various pullback squares in etale cohomology. Using $\mathrm{arc}$-descent, we reprove the Gabber-Huber affine analog of proper base change (in a large class of examples), as well as the Fujiwara-Gabber base change theorem on the etale cohomology of the complement of a henselian pair. As a final application we prove a rigid analytic version of the Artin-Grothendieck vanishing theorem from SGA4, extending results of Hansen.

Stably irrational hypersurfaces of small slopes.

Abstract: Let k be an uncountable field of characteristic different from two. We show that a very general hypersurface of dimension N>2 and degree at least $\log_2N +2$ is not stably rational over the algebraic closure of k.

On numerical nonvanishing for generalized log canonical pairs

Abstract: The nonvanishing conjecture for projective log canonical pairs plays a key role in the minimal model program of higher dimensional algebraic geometry. The numerical nonvanishing conjecture considered in this paper is a weaker version of the usual nonvanishing conjecture, but valid in the more general setting of generalized log canonical pairs. We confirm it in dimension two. Under some necessary conditions we obtain effective versions of numerical nonvanishing for surfaces. Several applications are also discussed. In higher dimensions, we mainly consider the conjecture for generalized klt pairs $(X, B+\mathbf{M})$, and reduce it to lower dimensions when $K_X+\mathbf{M}_X$ is not pseudo-effective. Up to scaling the nef part, we prove the numerical nonvanishing for pseudo-effective generalized lc threefolds with rational singularities.

On the geometry of the automorphism groups of affine varieties

Abstract: This article is a survey on ind-varieties and ind-groups introduced by Shafarevich in 1965, with a special emphasis on automorphism groups of affine varieties and actions of ind-groups on ind-varieties We give precise definitions and complete proofs, including several known results The survey contains many examples and also some questions which came up during our work on the subject Among the new results we show that for an affine variety X the automorphism group Aut(X) is always locally closed in the ind-semigroup End(X) of all endomorphisms, and we give an example of a strict closed subgroup of a connected ind-group which has the same Lie algebra, based on the work of Shestakov-Umirbaev on the existence of non-tame automorphisms of affine 3-space

The non-archimedean SYZ fibration

Abstract: We construct non-archimedean SYZ fibrations for maximally degenerate Calabi-Yau varieties, and we show that they are affinoid torus fibrations away from a codimension two subset of the base This confirms a prediction by Kontsevich and Soibelman We also give an explicit description of the induced integral affine structure on the base of the SYZ fibration Our main technical tool is a study of the structure of minimal dlt-models along one-dimensional strata

Topology of Lagrangian fibrations and Hodge theory of hyper-K\"ahler manifolds

Abstract: We establish a compact analog of the P = W conjecture. For a holomorphic symplectic variety with a Lagrangian fibration, we show that the perverse numbers associated with the fibration match perfectly with the Hodge numbers of the total space. This builds a new connection between the topology of Lagrangian fibrations and the Hodge theory of hyper-Kahler manifolds. We present two applications of our result, one on the topology of the base and fibers of a Lagrangian fibration, the other on the refined Gopakumar-Vafa invariants of a K3 surface. Furthermore, we show that the perverse filtration associated with a Lagrangian fibration is multiplicative under cup product.

The degeneration formula for stable log maps

Abstract: We give a short direct proof for the degeneration formula of Gromov-Witten invariants including its cycle version for degenerations with smooth singular locus in the setting of minimal/basic stable log maps of Abramovich-Chen, Chen, Gross-Siebert.

Motivic Chern classes and K-theoretic stable envelopes

Abstract: We study a K-theoretic characteristic class of singular varieties, namely the equivariant motivic Chern class. We prove that the motivic Chern class is characterized by an axiom system inspired by that of "K-theoretic stable envelopes," recently defined by Okounkov and studied in relation with quantum group actions on the K-theory algebra of moduli spaces. We also give explicit formulas for the equivariant motivic Chern classes of Schubert cells and matrix Schubert cells. Lastly, we calculate the equivariant motivic Chern class of the orbits of the A2 quiver representation, which yields formulas for the motivic Chern classes of determinantal varieties and more general degeneracy loci.

The Betti map associated to a section of an abelian scheme (with an appendix by Z. Gao)

Abstract: Given a point $\xi$ on a complex abelian variety $A$, its abelian logarithm can be expressed as a linear combination of the periods of $A$ with real coefficients, the Betti coordinates of $\xi$ When $(A, \xi)$ varies in an algebraic family, these coordinates define a system of multivalued real-analytic functions Computing its rank (in the sense of differential geometry) becomes important when one is interested about how often $\xi$ takes a torsion value (for instance, Manin's theorem of the kernel implies that this coordinate system is constant in a family without fixed part only when $\xi$ is a torsion section) We compute this rank in terms of the rank of a certain contracted form of the Kodaira-Spencer map associated to $(A, \xi)$ (assuming $A$ without fixed part, and $\mathbb{Z} \xi$ Zariski-dense in $A$), and deduce some explicit lower bounds in special situations For instance, we determine this rank in relative dimension $\leq 3$, and study in detail the case of jacobians of families of hyperelliptic curves Our main application, obtained in collaboration with Z Gao, states that if $A\to S$ is a principally polarized abelian scheme of relative dimension $g$ which has no non-trivial endomorphism (on any finite covering), and if the image of $S$ in the moduli space $\mathcal{A}_g$ has dimension at least $g$, then the Betti map of any non-torsion section $\xi$ is generically a submersion, so that $\xi^{-1}A_{tors}$ is dense in $S(\mathbb{C})$

Algebraic torus actions on contact manifolds

Abstract: We prove LeBrun-Salamon Conjecture in low dimensions. More precisely, we show that a contact Fano manifold X of dimension 2n+1 that has reductive automorphism group of rank at least n-2 is necessarily homogeneous. This implies that any positive quaternion-Kahler manifold of real dimension at most 16 is necessarily a symmetric space, one of the Wolf spaces. A similar result about contact Fano manifolds of dimension at most 9 with reductive automorphism group also holds. The main difficulty in approaching the conjecture is how to recognize a homogeneous space in an abstract variety. We contribute to such problem in general, by studying the action of algebraic torus on varieties and exploiting Bialynicki-Birula decomposition and equivariant Riemann-Roch theorems. From the point of view of T-varieties (that is, varieties with a torus action), our result is about high complexity T-manifolds. The complexity here is at most (dim X+5)/2 with dim X arbitrarily high, but we require this special (contact) structure of X. Previous methods for studying T-varieties in general usually only apply for complexity at most 2 or 3.