Showing papers in "arXiv: Algebraic Geometry in 2020"

K-stability of Fano varieties: an algebro-geometric approach

Abstract: We give a survey of the recent progress on the study of K-stability of Fano varieties by an algebro-geometric approach.

A Guided Tour to Normalized Volume

Abstract: This is a survey on the recent theory on minimizing the normalized volume function attached to any klt singularities.

K-stability of Fano varieties via admissible flags

Abstract: We develop a general approach to prove K-stability of Fano varieties. The new theory is used to (a) prove the existence of Kahler-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.

admcycles -- a Sage package for calculations in the tautological ring of the moduli space of stable curves.

Abstract: The tautological ring of the moduli space of stable curves has been studied extensively in the last decades. We present a SageMath implementation of many core features of this ring. This includes lists of generators and their products, intersection numbers and verification of tautological relations. Maps between tautological rings induced by functoriality, that is pushforwards and pullbacks under gluing and forgetful maps, are implemented. Furthermore, many interesting cycle classes, such as the double ramification cycles, strata of k-differentials and hyperelliptic or bielliptic cycles are available. In this paper we show how to apply the package, including concrete example computations.

The Lang–Vojta Conjectures on Projective Pseudo-Hyperbolic Varieties

Abstract: These notes grew out of a mini-course given from May 13th to May 17th at UQAM in Montreal during a workshop on Diophantine Approximation and Value Distribution Theory.

Coherent sheaves on the stack of Langlands parameters

Abstract: We formulate a few conjectures on some hypothetical coherent sheaves on the stacks of arithmetic local Langlands parameters, including their roles played in the local-global compatibility in the Langlands program. We survey some known results as evidences of these conjectures.

Certifying zeros of polynomial systems using interval arithmetic

Abstract: We establish interval arithmetic as a practical tool for certification in numerical algebraic geometry. Our software HomotopyContinuation.jl now has a built-in function certify, which proves the correctness of an isolated solution to a square system of polynomial equations. The implementation rests on Krawczyk's method. We demonstrate that it dramatically outperforms earlier approaches to certification. We see this contribution as the basis for a paradigm shift in numerical algebraic geometry where certification is the default and not just an option.

Optimal destabilizing centers and equivariant K-stability

Abstract: We give an algebraic proof of the equivalence of equivariant K-semistability (resp. equivariant K-polystability) with geometric K-semistability (resp. geometric K-polystability). Along the way we also prove the existence and uniqueness of minimal optimal destabilizing centers on K-unstable log Fano pairs.

The integral Hodge conjecture for two-dimensional Calabi-Yau categories

Abstract: We formulate a version of the integral Hodge conjecture for categories, prove the conjecture for two-dimensional Calabi-Yau categories which are suitably deformation equivalent to the derived category of a K3 or abelian surface, and use this to deduce cases of the usual integral Hodge conjecture for varieties. Along the way, we prove a version of the variational integral Hodge conjecture for families of two-dimensional Calabi-Yau categories, as well as a general smoothness result for relative moduli spaces of objects in such families. Our machinery also has applications to the structure of intermediate Jacobians, such as a criterion in terms of derived categories for when they split as a sum of Jacobians of curves.

Purity for flat cohomology

Abstract: We establish the flat cohomology version of the Gabber-Thomason purity for \'etale cohomology: for a complete intersection Noetherian local ring $(R, \mathfrak{m})$ and a commutative, finite, flat $R$-group $G$, the flat cohomology $H^i_{\mathfrak{m}}(R, G)$ vanishes for $i < \mathrm{dim}(R)$. For small $i$, this settles conjectures of Gabber that extend the Grothendieck-Lefschetz theorem and give purity for the Brauer group for schemes with complete intersection singularities. For the proof, we reduce to a flat purity statement for perfectoid rings, establish $p$-complete arc descent for flat cohomology of perfectoids, and then relate to coherent cohomology of $\mathbb{A}_{\mathrm{inf}}$ via prismatic Dieudonn\'e theory. We also present an algebraic version of tilting for \'etale cohomology, use it reprove the Gabber-Thomason purity, and exhibit general properties of fppf cohomology of (animated) rings with finite, locally free group scheme coefficients, such as excision, agreement with fpqc cohomology, and $p$-adic continuity.

A semi-small decomposition of the Chow ring of a matroid

Abstract: We give a semi-small orthogonal decomposition of the Chow ring of a matroid M. The decomposition is used to give simple proofs of Poincare duality, the hard Lefschetz theorem, and the Hodge-Riemann relations for the Chow ring, recovering the main result of [AHK18]. We also show that a similar semi-small orthogonal decomposition holds for the augmented Chow ring of M.

Uniqueness of the minimizer of the normalized volume function

Abstract: We confirm a conjecture of Chi Li which says that the minimizer of the normalized volume function for a klt singularity is unique up to rescaling. This is achieved by defining stability thresholds for valuations, and then showing that a valuation is a minimizer if and only if it is K-semistable, and that K-semistable valuation is unique up to rescaling. As applications, we prove a finite degree formula for volumes of klt singularities and an effective bound of the local fundamental group of a klt singularity.

Triangulated categories of logarithmic motives over a field

Abstract: In this work we develop a theory of motives for logarithmic schemes over fields in the sense of Fontaine, Illusie, and Kato. Our construction is based on the notion of finite log correspondences, the dividing Nisnevich topology on log schemes, and the idea of parameterizing homotopies by $\overline{\square}$, i.e. the projective line with respect to its compactifying logarithmic structure at infinity. Hodge cohomology of log schemes is an example of an $\overline{\square}$-invariant theory that is representable in the category of logarithmic motives. This bears a resemblance to Voevodsky's category of motives and $\mathbb{A}^{1}$-invariant theories. Assuming resolution of singularities, we identify the latter with the full subcategory comprised of $\mathbb{A}^{1}$-local objects in the category of logarithmic motives. Palpable properties such as $\overline{\square}$-homotopy invariance, Mayer-Vietoris for coverings, and a symmetric monoidal structure witness the robustness of the setup. Moreover, we show that logarithmic motives satisfy fundamental properties such as a projective bundle theorem, a blow-up distinguished triangle, and a Gysin distinguished triangle.

Cluster configuration spaces of finite type

Abstract: For each Dynkin diagram D, we define a "cluster configuration space" M_D and a partial compactification \tM_D. For D = A_{n-3}, we have M_{A_{n-3}} = M_{0,n}, the configuration space of n-points on P^1, and the partial compactification \tM_{A_{n-3}} was studied in this case by Brown. The space \tM_D is a smooth affine algebraic variety with a stratification in bijection with the faces of the Chapoton-Fomin-Zelevinsky generalized associahedron. The regular functions on \tM_D are generated by coordinates u_\gamma, in bijection with the cluster variables of type D, and the relations are described completely in terms of the compatibility degree function of the cluster algebra. As an application, we define and study cluster algebra analogues of tree-level open string amplitudes.

Punctured logarithmic maps

Abstract: We introduce a variant of stable logarithmic maps, which we call punctured logarithmic maps. They allow an extension of logarithmic Gromov-Witten theory in which marked points have a negative order of tangency with boundary divisors. As a main application we develop a gluing formalism which reconstructs stable logarithmic maps and their virtual cycles without expansions of the target, with tropical geometry providing the underlying combinatorics. Punctured Gromov-Witten invariants also play a pivotal role in the intrinsic construction of mirror partners by the last two authors in arXiv:1909.07649, conjecturally relating to symplectic cohomology, and in the logarithmic gauged linear sigma model in upcoming work of the second author with Felix Janda and Yongbin Ruan.

Tropical correspondence for smooth del Pezzo log Calabi-Yau pairs

Abstract: Consider a log Calabi-Yau pair $(X,D)$ consisting of a smooth del Pezzo surface $X$ of degree $\geq 3$ and a smooth anticanonical divisor $D$. We prove a correspondence between genus zero logarithmic Gromov-Witten invariants of $X$ intersecting $D$ in a single point with maximal tangency and the consistent wall structure appearing in the dual intersection complex of $(X,D)$ from the Gross-Siebert reconstruction algorithm. More precisely, the logarithm of the product of functions attached to unbounded walls in the consistent wall structure gives a generating function for these invariants.

Cohen-Macaulayness of absolute integral closures

Abstract: We prove that, modulo any power of a prime $p$, the absolute integral closure of an excellent noetherian domain is Cohen-Macaulay. A graded analog is also established, yielding variants of Kodaira vanishing "up to finite covers" in mixed characteristic. Our main tools are (log) prismatic cohomology (which yields a Frobenius action in mixed characteristic) and the $p$-adic Riemann-Hilbert functor for constructible etale $\mathbf{F}_p$-sheaves on varieties over a $p$-adic field (which almost controls perfectified prismatic cohomology).

On the connectedness principle and dual complexes for generalized pairs

Abstract: Let $(X,B)$ be a pair, and let $f \colon X \rightarrow S$ be a contraction with $-(K_X + B)$ nef over $S$. A conjecture, known as the Shokurov-Kollar connectedness principle, predicts that $f^{-1} (s) \cap \mathrm{Nklt}(X,B)$ has at most two connected components, where $s \in S$ is an arbitrary schematic point and $\mathrm{Nklt}(X,B)$ denotes the non-klt locus of $(X,B)$. In this work, we prove this conjecture, characterizing those cases in which $\mathrm{Nklt}(X,B)$ fails to be connected, and we extend these same results also to the category of generalized pairs. Finally, we apply these results and the techniques to the study of the dual complex for generalized log Calabi-Yau pairs, generalizing results of Kollar-Xu and Nakamura.

Algebraic approximation and the decomposition theorem for Kähler Calabi-Yau varieties

Abstract: We extend the decomposition theorem for numerically K-trivial varieties with log terminal singularities to the Kahler setting. Along the way we prove that all such varieties admit a strong locally trivial algebraic approximation, thus completing the numerically K-trivial case of a conjecture of Campana and Peternell.

Generalised pairs in birational geometry

Abstract: In this note we introduce generalised pairs from the perspective of the evolution of the notion of space in birational algebraic geometry. We describe some applications of generalised pairs in recent years and then mention a few open problems.

3d Mirror Symmetry and Quantum $K$-theory of Hypertoric Varieties

Abstract: Following the idea of Aganagic--Okounkov \cite{AOelliptic}, we study vertex functions for hypertoric varieties, defined by $K$-theoretic counting of quasimaps from $\mathbb{P}^1$. We prove the 3d mirror symmetry statement that the two sets of $q$-difference equations of a 3d hypertoric mirror pairs are equivalent to each other, with Kahler and equivariant parameters exchanged, and the opposite choice of polarization. Vertex functions of a 3d mirror pair, as solutions to the $q$-difference equations, satisfying particular asymptotic conditions, are related by the elliptic stable envelopes. Various notions of quantum $K$-theory for hypertoric varieties are also discussed.

Pixton's formula and Abel-Jacobi theory on the Picard stack

Abstract: Let $A=(a_1,\ldots,a_n)$ be a vector of integers with $d=\sum_{i=1}^n a_i$. By partial resolution of the classical Abel-Jacobi map, we construct a universal twisted double ramification cycle $\mathsf{DR}^{\mathsf{op}}_{g,A}$ as an operational Chow class on the Picard stack $\mathfrak{Pic}_{g,n,d}$ of $n$-pointed genus $g$ curves carrying a degree $d$ line bundle. The method of construction follows the log (and b-Chow) approach to the standard double ramification cycle with canonical twists on the moduli space of curves [arXiv:1707.02261, arXiv:1711.10341, arXiv:1708.04471]. Our main result is a calculation of $\mathsf{DR}^{\mathsf{op}}_{g,A}$ on the Picard stack $\mathfrak{Pic}_{g,n,d}$ via an appropriate interpretation of Pixton's formula in the tautological ring. The basic new tool used in the proof is the theory of double ramification cycles for target varieties [arXiv:1812.10136]. The formula on the Picard stack is obtained from [arXiv:1812.10136] for target varieties $\mathbb{CP}^n$ in the limit $n \rightarrow \infty$. The result may be viewed as a universal calculation in Abel-Jacobi theory. As a consequence of the calculation of $\mathsf{DR}^{\mathsf{op}}_{g,A}$ on the Picard stack $\mathfrak{Pic}_{g,n,d}$, we prove that the fundamental classes of the moduli spaces of twisted meromorphic differentials in $\overline{\mathcal{M}}_{g,n}$ are exactly given by Pixton's formula (as conjectured in the appendix to [arXiv:1508.07940] and in [arXiv:1607.08429]). The comparison result of fundamental classes proven in [arXiv:1909.11981] plays a crucial role in our argument. We also prove the set of relations in the tautological ring of the Picard stack $\mathfrak{Pic}_{g,n,d}$ associated to Pixton's formula.

Isotriviality of smooth families of varieties of general type

Abstract: In this paper, we proved that a log smooth family of log general type klt pairs with a special (in the sense of Campana) quasi-projective base is isotrivial. As a consequence, we proved the generalized Kebekus-Kovacs conjecture \cite[Conjecture 1.1]{WW19}, for smooth families of general type varieties as well as log smooth families of log canonical pairs of log general type, assuming the existence of relative good minimal models.

The local fundamental group of a Kawamata log terminal singularity is finite

Abstract: We prove a conjecture of Kollar stating that the local fundamental group of a klt singularity $x$ is finite. In fact, we prove a stronger statement, namely that the fundamental group of the smooth locus of a neighbourhood of $x$ is finite. We call this the regional fundamental group. As the proof goes via a local-to-global induction, we simultaneously confirm finiteness of the orbifold fundamental group of the smooth locus of a weakly Fano pair.

P=W conjectures for character varieties with symplectic resolution

Abstract: We establish P=W and PI=WI conjectures for character varieties with structural group $\mathrm{GL}_n$ and $\mathrm{SL}_n$ which admit a symplectic resolution, i.e. for genus 1 and arbitrary rank, and genus 2 and rank 2. We formulate the P=W conjecture for resolution, and prove it for symplectic resolutions. We exploit the topology of birational and quasi-etale modifications of Dolbeault moduli spaces of Higgs bundles. To this end, we prove auxiliary results of independent interest, like the construction of a relative compactification of the Hodge moduli space for reductive algebraic groups, or the intersection theory of some singular Lagrangian cycles. In particular, we study in detail a Dolbeault moduli space which is specialization of the singular irreducible holomorphic symplectic variety of type O'Grady 6.

Arakelov Geometry over Adelic Curves

Abstract: The purpose of this book is to build up the fundament of an Arakelov theory over adelic curves in order to provide a unified framework for the researches of arithmetic geometry in several directions.

Examples of Fano manifolds with non-pseudoeffective tangent bundle

Abstract: Let $X$ be a Fano manifold. While the properties of the anticanonical divisor $-K_X$ and its multiples have been studied by many authors, the positivity of the tangent bundle $T_X$ is much more elusive. We give a complete characterisation of the pseudoeffectivity of $T_X$ for del Pezzo surfaces, hypersurfaces in the projective space and del Pezzo threefolds.

Likelihood Equations and Scattering Amplitudes

Abstract: We relate scattering amplitudes in particle physics to maximum likelihood estimation for discrete models in algebraic statistics. The scattering potential plays the role of the log-likelihood function, and its critical points are solutions to rational function equations. We study the ML degree of low-rank tensor models in statistics, and we revisit physical theories proposed by Arkani-Hamed, Cachazo and their collaborators. Recent advances in numerical algebraic geometry are employed to compute and certify critical points. We also discuss positive models and how to compute their string amplitudes.

Higher rank K-theoretic Donaldson-Thomas theory of points

Abstract: We exploit the critical locus structure on the Quot scheme $\mathrm{Quot}_{\mathbb A^3}(\mathscr O^{\oplus r},n)$, in particular the associated symmetric obstruction theory, in order to define rank $r$ K-theoretic Donaldson-Thomas invariants of the Calabi-Yau $3$-fold $\mathbb A^3$. We compute the associated partition function as a plethystic exponential, proving a conjecture proposed in string theory by Awata-Kanno and Benini-Bonelli-Poggi-Tanzini. A crucial step in the proof is the fact that the invariants do not depend on the equivariant parameters of the framing torus $(\mathbb C^\ast)^r$. Reducing from K-theoretic to cohomological invariants, we compute the corresponding DT invariants, proving a conjecture of Szabo. Reducing further to enumerative DT invariants, we solve the higher rank DT theory of a pair $(X,F)$, where $F$ is an equivariant exceptional vector bundle on a projective toric $3$-fold $X$. Finally, we give a mathematical definition of the chiral elliptic genus studied in physics by Benini-Bonelli-Poggi-Tanzini. This allows us to define elliptic DT invariants of $\mathbb A^3$ in arbitrary rank, and to study their first properties.

A sparse version of Reznick's Positivstellensatz

Abstract: If $f$ is a positive definite form, Reznick's Positivstellensatz [Mathematische Zeitschrift. 220 (1995), pp. 75--97] states that there exists $k\in\mathbf{N}$ such that ${\| x \|^{2k}_2}f$ is a sum of squares of polynomials. Assuming that $f$ can be written as a sum of forms $\sum_{l=1}^p f_l$, where each $f_l$ depends on a subset of the initial variables, and assuming that these subsets satisfy the so-called {\em running intersection property}, we provide a sparse version of Reznick's Positivstellensatz. Namely, there exists $k \in \mathbf{N}$ such that $f=\sum_{l = 1}^p {{\sigma_l}/{H_l^{k}}}$, where $\sigma_l$ is a sum of squares of polynomials, $H_l$ is a uniform polynomial denominator, and both polynomials $\sigma_l,H_l$ involve the same variables as $f_l$, for each $l=1,\dots,p$. In other words, the sparsity pattern of $f$ is also reflected in this sparse version of Reznick's certificate of positivity. We next use this result to also obtain positivity certificates for (i) polynomials nonnegative on the whole space and (ii) polynomials nonnegative on a (possibly non-compact) basic semialgebraic set, assuming that the input data satisfy the running intersection property. Both are sparse versions of a positivity certificate due to Putinar and Vasilescu.