Showing papers in "arXiv: Algebraic Geometry in 2017"

Etale cohomology of diamonds

Abstract: Motivated by problems on the etale cohomology of Rapoport--Zink spaces and their generalizations, as well as Fargues's geometrization conjecture for the local Langlands correspondence, we develop a six functor formalism for the etale cohomology of diamonds, and more generally small v-stacks on the category of perfectoid spaces of characteristic $p$. Using a natural functor from analytic adic spaces over $\mathbb Z_p$ to diamonds which identifies etale sites, this induces a similar formalism in that setting, which in the noetherian setting recovers the formalism from Huber's book.

Norms in motivic homotopy theory

Abstract: If $f:S' \to S$ is a finite locally free morphism of schemes, we construct a symmetric monoidal "norm" functor $f_\otimes: \mathcal H_*(S') \to\mathcal H_*(S)$, where $\mathcal H_*(S)$ is the pointed unstable motivic homotopy category over $S$. If $f$ is finite etale, we show that it stabilizes to a functor $f_\otimes: \mathcal{SH}(S') \to \mathcal{SH}(S)$, where $\mathcal{SH}(S)$ is the $\mathbb P^1$-stable motivic homotopy category over $S$. Using these norm functors, we define the notion of a normed motivic spectrum, which is an enhancement of a motivic $E_\infty$-ring spectrum. The main content of this text is a detailed study of the norm functors and of normed motivic spectra, and the construction of examples. In particular: we investigate the interaction of norms with Grothendieck's Galois theory, with Betti realization, and with Voevodsky's slice filtration; we prove that the norm functors categorify Rost's multiplicative transfers on Grothendieck-Witt rings; and we construct normed spectrum structures on the motivic cohomology spectrum $H\mathbb Z$, the homotopy K-theory spectrum $KGL$, and the algebraic cobordism spectrum $MGL$. The normed spectrum structure on $H\mathbb Z$ is a common refinement of Fulton and MacPherson's mutliplicative transfers on Chow groups and of Voevodsky's power operations in motivic cohomology.

Dynamical method in algebra: Effective Nullstellens\"atze

Abstract: We give a general method for producing various effective Null and Positivstellensatze, and getting new Positivstellensatze in algebraically closed valued fields and ordered groups. These various effective Nullstellensatze produce algebraic identities certifying that some geometric conditions cannot be simultaneously satisfied. We produce also constructive versions of abstract classical results of algebra based on Zorn's lemma in several cases where such constructive version did not exist. For example, the fact that a real field can be totally ordered, or the fact that a field can be embedded in an algebraically closed field. Our results are based on the concepts we develop of dynamical proofs and simultaneous collapse.

Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians

Abstract: We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{X} = Gr_k((\mathbb C^n)^*)$, and the superpotential W_q has a simple expression in terms of Pl\"ucker coordinates. Grassmannians simultaneously have the structure of an $\mathcal{A}$-cluster variety and an $\mathcal{X}$-cluster variety. Given a cluster seed G, we consider two associated coordinate systems: a $\mathcal X$-cluster chart $\Phi_G:(\mathbb C^*)^{k(n-k)}\to X^{\circ}$ and a $\mathcal A$-cluster chart $\Phi_G^{\vee}:(\mathbb C^*)^{k(n-k)}\to \check{X}^\circ$. To each $\mathcal X$-cluster chart $\Phi_G$ and ample `boundary divisor' $D$ in $X\setminus X^{\circ}$, we associate a Newton-Okounkov body $\Delta_G(D)$ in $\mathbb R^{k(n-k)}$, which is defined as the convex hull of rational points. On the other hand using the $\mathcal A$-cluster chart $\Phi_G^{\vee}$ on the mirror side, we obtain a set of rational polytopes, described by inequalities, by writing the superpotential $W_q$ in the $\mathcal A$-cluster coordinates, and then "tropicalising". Our main result is that the Newton-Okounkov bodies $\Delta_G(D)$ and the polytopes obtained by tropicalisation coincide. As an application, we construct degenerations of the Grassmannian to toric varieties corresponding to these Newton-Okounkov bodies. Additionally, when $G$ corresponds to a plabic graph, we give a formula for the lattice points of the Newton-Okounkov bodies, which has an interpretation in terms of quantum Schubert calculus.

Rational singularities.

Abstract: A resolution-free definition of rational singularities is introduced, and it is proved that for a variety admitting a resolution of singularities, this is equivalent to the usual definition. It is also demonstrated that rational singularities are equivalent to pseudo-rational singularities. As applications, several open questions about the higher direct images of structure sheaves and dualizing sheaves are answered and it is proved that Cohen-Macaulay dlt singularities are rational in arbitrary characteristic.

Cycles on Shimura varieties via geometric Satake

Abstract: We construct (cohomological) correspondences between mod $p$ fibers of different Shimura varieties and describe the fibers of these correspondences by studying irreducible components of affine Deligne-Lusztig varieties. In particular, in the case of correspondences from a Shimura set to a Shimura variety, we obtain a description of the basic Newton stratum of the latter, and show that the irreducible components of the basic Newton stratum generate all the Tate classes in the middle cohomology of the Shimura variety, under a certain genericity condition. Along the way, we also determine the set of irreducible components of the affine Deligne-Lusztig variety associated to an unramified twisted conjugacy class.

Lectures on Bridgeland Stability

Abstract: In these lecture notes we give an introduction to Bridgeland stability conditions on smooth complex projective varieties with a particular focus on the case of surfaces. This includes basic definitions of stability conditions on derived categories, basics on moduli spaces of stable objects and variation of stability. These notes originated from lecture series by the first author at the summer school Recent advances in algebraic and arithmetic geometry, Siena, Italy, August 24–28, 2015 and at the school Moduli of Curves, CIMAT, Guanajuato, Mexico, February 22–March 4, 2016.

Universal Unramified Cohomology of Cubic Fourfolds Containing a Plane

Abstract: We prove the universal triviality of the third unramified cohomology group of a very general complex cubic fourfold containing a plane. The proof uses results on the unramified cohomology of quadrics due to Kahn, Rost, and Sujatha.

Thresholds, valuations, and K-stability

Abstract: Let X be a normal complex projective variety with at worst klt singularities, and L a big line bundle on X. We use valuations to study the log canonical threshold of L, as well as another invariant, the stability threshold. The latter generalizes a notion by Fujita and Odaka, and can be used to characterize when a Q-Fano variety is K-semistable or uniformly K-stable. It can also be used to generalize volume bounds due to Fujita and Liu. The two thresholds can be written as infima of certain functionals on the space of valuations on X. When L is ample, we prove that these infima are attained. In the toric case, toric valuations acheive these infima, and we obtain simple expressions for the two thresholds in terms of the moment polytope of L.

Shadows of characteristic cycles, Verma modules, and positivity of Chern-Schwartz-MacPherson classes of Schubert cells

Abstract: Chern-Schwartz-MacPherson (CSM) classes generalize to singular and/or noncompact varieties the classical total homology Chern class of the tangent bundle of a smooth compact complex manifold. The theory of CSM classes has been extended to the equivariant setting by Ohmoto. We prove that for an arbitrary complex projective manifold $X$, the homogenized, torus equivariant CSM class of a constructible function $\varphi$ is the restriction of the characteristic cycle of $\varphi$ via the zero section of the cotangent bundle of $X$. This extends to the equivariant setting results of Ginzburg and Sabbah. We specialize $X$ to be a (generalized) flag manifold $G/B$. In this case CSM classes are determined by a Demazure-Lusztig (DL) operator. We prove a `Hecke orthogonality' of CSM classes, determined by the DL operator and its Poincar{\'e} adjoint. We further use the theory of holonomic $\mathcal{D}_X$-modules to show that the characteristic cycle of a Verma module, restricted to the zero section, gives the CSM class of the corresponding Schubert cell. Since the Verma characteristic cycles naturally identify with the Maulik and Okounkov's stable envelopes, we establish an equivalence between CSM classes and stable envelopes; this reproves results of Rim{\'a}nyi and Varchenko. As an application, we obtain a Segre type formula for CSM classes. In the non-equivariant case this formula is manifestly positive, showing that the expansion in the Schubert basis of the CSM class of a Schubert cell is effective. This proves a previous conjecture by Aluffi and Mihalcea, and it extends previous positivity results by J. Huh in the Grassmann manifold case. Finally, we generalize all of this to partial flag manifolds $G/P$.

Degrees of Iterates of Rational Maps on Normal Projective Varieties.

Abstract: Let X be a normal projective variety defined over an algebraically closed field of arbitrary characteristic. We study the sequence of intermediate degrees of the iterates of a dominant rational selfmap of X, recovering former results by Dinh, Sibony [DS05b], and by Truong [Tru16].Precisely, we give a new proof of the submultiplicativity properties of these degrees and of its birational invariance. Our approach exploits intensively positivity properties in the space of numerical cycles of arbitrary codimension. In particular, we prove an algebraic version of an inequality first obtained by Xiao [Xia15] and Popovici [Pop16], which generalizes Siu's inequality (see [Trap95]) to algebraic cycles of arbitrary codimension. This allows us to show that the degree of a map is controlled up to a uniform constant by the norm of its action by pull-back on the space of numerical classes in X.

Motivic infinite loop spaces.

Abstract: We prove a recognition principle for motivic infinite P1-loop spaces over a perfect field. This is achieved by developing a theory of framed motivic spaces, which is a motivic analogue of the theory of E-infinity-spaces. A framed motivic space is a motivic space equipped with transfers along finite syntomic morphisms with trivialized cotangent complex in K-theory. Our main result is that grouplike framed motivic spaces are equivalent to the full subcategory of motivic spectra generated under colimits by suspension spectra. As a consequence, we deduce some representability results for suspension spectra of smooth varieties, and in particular for the motivic sphere spectrum, in terms of Hilbert schemes of points in affine spaces.

Stability conditions on Kuznetsov components

Abstract: We introduce a general method to induce Bridgeland stability conditions on semiorthogonal components of triangulated categories. In particular, we prove the existence of Bridgeland stability conditions on the Kuznetsov component of the derived category of Fano threefolds and of cubic fourfolds. As an application, in the appendix, written jointly with Xiaolei Zhao, we give a variant of the proof of the Torelli theorem for cubic fourfolds by Huybrechts and Rennemo.

Aspects of enumerative geometry with quadratic forms

Abstract: We develop various aspects of classical enumerative geometry, including Euler characteristics and formulas for counting degenerate fibres in a pencil, with the classical numerical formulas being replaced by identitites in the Grothendieck-Witt group of quadratic forms with coefficients in the base-field.

Ohsawa-Takegoshi Extension Theorem for Compact Kähler Manifolds and Applications

Abstract: Our main goal in this article is to prove an extension theorem for sections of the canonical bundle of a weakly pseudoconvex Kahler manifold with values in a line bundle endowed with a possibly singular metric. We also give some applications of our result.

On toric degenerations of flag varieties

Abstract: Following the historical track in pursuing TT-equivariant flat toric degenerations of flag varieties and spherical varieties, we explain how powerful tools in algebraic geometry and representation theory, such as canonical bases, Newton–Okounkov bodies, PBW-filtrations and cluster algebras come to push the subject forward.

A new cohomology class on the moduli space of curves

Abstract: We define a collection of cohomology classes $\Theta_{g,n}\in H^{4g-4+2n}(\overline{\cal M}_{g,n})$ for $2g-2+n>0$ that restrict naturally to boundary divisors. We prove that a generating function for the intersection numbers $\int_{\overline{\cal M}_{g,n}}\Theta_{g,n}\prod_{i=1}^n\psi_i^{m_i}$ is a tau function of the KdV hierarchy. This is analogous to the theorem conjectured by Witten and proven by Kontsevich that a generating function for the intersection numbers $\int_{\overline{\cal M}_{g,n}}\prod_{i=1}^n\psi_i^{m_i}$ is a tau function of the KdV hierarchy.

K-stability of cubic threefolds

Abstract: We prove the K-moduli space of cubic threefolds is identical to their GIT moduli. More precisely, the K-(semi,poly)-stability of cubic threefolds coincide to the corresponding GIT stabilities, which could be explicitly calculated. In particular, this implies that all smooth cubic threefolds admit Kahler-Einstein metric as well as provides a precise list of singular KE ones. To achieve this, our main new contribution is an estimate in dimension three of the volumes of kawamata log terminal singularities introduced by Chi Li. This is obtained via a detailed study of the classification of three dimensional canonical and terminal singularities, which was established during the study of the explicit three dimensional minimal model program.

Quantum K-theory of Quiver Varieties and Many-Body Systems

Abstract: We define quantum equivariant K-theory of Nakajima quiver varieties We discuss type A in detail as well as its connections with quantum XXZ spin chains and trigonometric Ruijsenaars-Schneider models Finally we study a limit which produces a K-theoretic version of results of Givental and Kim, connecting quantum geometry of flag varieties and Toda lattice

Singularities of General Fibers and the LMMP

Abstract: We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by $p-1$. We deduce many consequences about the fibrations of the minimal model program: for example the general fibers of terminal $3$-fold Mori fiber spaces are normal in characteristic $p\geq 5$ and smooth in characteristic $p\geq 11$.

An Arithmetic Count of the Lines on a Smooth Cubic Surface

Abstract: We give an arithmetic count of the lines on a smooth cubic surface over an arbitrary field $k$, generalizing the counts that over $\mathbb{C}$ there are $27$ lines, and over $\mathbb{R}$ the number of hyperbolic lines minus the number of elliptic lines is $3$. In general, the lines are defined over a field extension $L$ and have an associated arithmetic type $\alpha$ in $L^*/(L^*)^2$. There is an equality in the Grothendieck-Witt group $\operatorname{GW}(k)$ of $k$ $$\sum_{\text{lines}} \operatorname{Tr}_{L/k} \langle \alpha \rangle = 15 \cdot \langle 1 \rangle + 12 \cdot \langle -1 \rangle, $$ where $\operatorname{Tr}_{L/k}$ denotes the trace $\operatorname{GW}(L) \to \operatorname{GW}(k)$. Taking the rank and signature recovers the results over $\mathbb{C}$ and $\mathbb{R}$. To do this, we develop an elementary theory of the Euler number in $\mathbb{A}^1$-homotopy theory for algebraic vector bundles. We expect that further arithmetic counts generalizing enumerative results in complex and real algebraic geometry can be obtained with similar methods.

Vafa-Witten invariants for projective surfaces I: stable case

Abstract: On a polarised surface, solutions of the Vafa-Witten equations correspond to certain polystable Higgs pairs. When stability and semistability coincide, the moduli space admits a symmetric obstruction theory and a $\mathbb C^*$ action with compact fixed locus. Applying virtual localisation we define invariants constant under deformations. When the vanishing theorem of Vafa-Witten holds, the result is the (signed) Euler characteristic of the moduli space of instantons. In general there are other, rational, contributions. Calculations of these on surfaces with positive canonical bundle recover the first terms of modular forms predicted by Vafa and Witten.

Brill-Noether theory for curves of a fixed gonality

Abstract: We prove a generalization of the Brill-Noether theorem for the variety of special divisors $W^r_d(C)$ on a general curve $C$ of prescribed gonality. Our main theorem gives a closed formula for the dimension of $W^r_d(C)$. We build on previous work of Pflueger, who used an analysis of the tropical divisor theory of special chains of cycles to give upper bounds on the dimensions of Brill--Noether varieties on such curves. We prove his conjecture, that this upper bound is achieved for a general curve. Our methods introduce logarithmic stable maps as a systematic tool in Brill-Noether theory. A precise relation between the divisor theory on chains of cycles and the corresponding tropical maps theory is exploited to prove new regeneration theorems for linear series with negative Brill-Noether number. The strategy involves blending an analysis of obstruction theories for logarithmic stable maps with the geometry of Berkovich curves. To show the utility of these methods, we provide a short new derivation of lifting for special divisors on a chain of cycles with generic edge lengths, proved using different techniques by Cartwright, Jensen, and Payne. A crucial technical result is a new realizability theorem for tropical stable maps in obstructed geometries, generalizing a well-known theorem of Speyer on genus one curves to arbitrary genus.

Virtual refinements of the Vafa-Witten formula

Abstract: We conjecture a formula for the generating function of virtual $\chi_y$-genera of moduli spaces of rank 2 sheaves on arbitrary surfaces with holomorphic 2-form Specializing the conjecture to minimal surfaces of general type and to virtual Euler characteristics, we recover (part of) a formula of C Vafa and E Witten These virtual $\chi_y$-genera can be written in terms of descendent Donaldson invariants Using T Mochizuki's formula, the latter can be expressed in terms of Seiberg-Witten invariants and certain explicit integrals over Hilbert schemes of points These integrals are governed by seven universal functions, which are determined by their values on $\mathbb{P}^2$ and $\mathbb{P}^1 \times \mathbb{P}^1$ Using localization we calculate these functions up to some order, which allows us to check our conjecture in many cases In an appendix by H Nakajima and the first named author, the virtual Euler characteristic specialization of our conjecture is extended to include $\mu$-classes, thereby interpolating between Vafa-Witten's formula and Witten's conjecture for Donaldson invariants

Sheaves on P2 and generalised Appell functions

Abstract: A closed expression is given for the generating function of (virtual) Poincare polynomials of moduli spaces of semi-stable sheaves on the projective plane $\mathbb{P}^2$ with arbitrary rank $r$ and Chern classes. This generating function is known to equal the partition function of topologically twisted gauge theory with $\mathcal{N}=4$ supersymmetry and gauge group $U(r)$, which localizes on the Hermitian Yang-Mills solutions of the gauge field. To classify and study the novel generating functions, the notion of Appell functions with signature $(n_+,n_-)$ is introduced. For $n_-=1$, these novel functions reduce to the known class of Appell functions with multiple variables or higher level.

Tropical refined curve counting from higher genera and lambda classes

Abstract: Block and Gottsche have defined a $q$-number refinement of counts of tropical curves in $\mathbb{R}^2$. Under the change of variables $q=e^{iu}$, we show that the result is a generating series of higher genus log Gromov-Witten invariants with insertion of a lambda class. This gives a geometric interpretation of the Block-Gottsche invariants and makes their deformation invariance manifest.

Polarized relations on horizontal SL(2)s

Abstract: We introduce a relation on real conjugacy classes of SL(2)-orbits in a Mumford-Tate domain D which is compatible with natural partial orders on the sets of nilpotent orbits in the corresponding Lie algebra and boundary orbits in the compact dual. A generalization of the SL(2)-orbit theorem to such domains leads to an algorithm for computing this relation, which is worked out in several examples and special cases including period domains, Hermitian symmetric domains, and complete flag domains, and used to define a poset of equivalence classes of multivariable nilpotent orbits on D.

On Some Conjectures About Free and Nearly Free Divisors

Abstract: In this paper we provide infinite families of non-rational irreducible free divisors or nearly free divisors in the complex projective plane. Moreover, their corresponding local singularities can have an arbitrary number of branches. All these examples contradict some of the conjectures proposed by Dimca and Sticlaru. Our examples say nothing about the most remarkable conjecture by A. Dimca and G. Sticlaru, which predicts that every rational cuspidal plane curve is either free or nearly free.

Congruences of 5-secant conics and the rationality of some admissible cubic fourfolds

Abstract: The works of Hassett and Kuznetsov identify countably many divisors $C_d$ in the open subset of $\mathbb{P}^{55}=\mathbb{P}(H^0(\mathcal{O}_{\mathbb{P}^5}(3)))$ parametrizing all cubic 4-folds and conjecture that the cubics corresponding to these divisors are precisely the rational ones. Rationality has been known classically for the first family $C_{14}$. We use congruences of 5-secant conics to prove rationality for the first three of the families $C_d$, corresponding to $d=14, 26, 38$ in Hassett's notation.

A moduli stack of tropical curves.

Abstract: We contribute to the foundations of tropical geometry with a view towards formulating tropical moduli problems, and with the moduli space of curves as our main example. We propose a moduli functor for the moduli space of curves and show that it is representable by a geometric stack over the category of rational polyhedral cones. In this framework the natural forgetful morphisms between moduli spaces of curves with marked points function as universal curves. Our approach to tropical geometry permits tropical moduli problems---moduli of curves or otherwise---to be extended to logarithmic schemes. We use this to construct a smooth tropicalization morphism from the moduli space of algebraic curves to the moduli space of tropical curves, and we show that this morphism commutes with all of the tautological morphisms.