Showing papers in "arXiv: Algebraic Geometry in 2021"

Finite generation for valuations computing stability thresholds and applications to K-stability

Abstract: We prove that on any log Fano pair of dimension $n$ whose stability threshold is less than $\frac{n+1}{n}$, any valuation computing the stability threshold has a finitely generated associated graded ring. Together with earlier works, this implies: (a) a log Fano pair is uniformly K-stable (resp. reduced uniformly K-stable) if and only if it is K-stable (resp. K-polystable); (b) the K-moduli spaces are proper and projective; and combining with the previously known equivalence between the existence of Kahler-Einstein metric and reduced uniform K-stability proved by the variational approach, (c) the Yau-Tian-Donaldson conjecture holds for general (possibly singular) log Fano pairs.

Collapsing K3 surfaces, Tropical geometry and Moduli compactifications of Satake, Morgan-Shalen type

Abstract: We provide a moduli-theoretic framework for the collapsing of Ricci-flat Kahler metrics via compactification of moduli varieties of Morgan-Shalen and Satake type. In patricular, we use it to study the Gromov-Hausdorff limits of hyperKahler metrics with fixed diameters, especially for K3 surfaces.

Chtoucas restreints pour les groupes réductifs et paramétrisation de Langlands locale

Abstract: We associate to every irreducible representation of a reductive group over a local field of equal characteristics a local Langlands parameter up to semisimplification and prove the compatibility with the global parameterization constructed by the second author. Our method involves stacks of restricted shtukas (which are analogues of truncated Barsotti-Tate groups) and nearby cycles over arbitrary bases.

Compactifying Torus Fibrations Over Integral Affine Manifolds with Singularities

Abstract: This is an announcement of the following construction: given an integral affine manifold B with singularities, we build a topological space X which is a torus fibration over B. The main new feature of the fibration X → B is that it has the discriminant in codimension 2.

Supersingular Irreducible Symplectic Varieties

Abstract: In complex geometry, irreducible holomorphic symplectic varieties, also known as compact hyper-Kahler varieties, are natural higher-dimensional generalizations of K3 surfaces. We propose to study such varieties defined over fields of positive characteristic, especially the supersingular ones, generalizing the theory of supersingular K3 surfaces.

Algebro-Geometric Equisingularity of Zariski

Abstract: This is a survey on Zariski equisingularity. We recall its definition, main properties, and a variety of applications in Algebraic Geometry and Singularity Theory. In the first part of this survey, we consider Zariski equisingular families of complex analytic or algebraic hypersurfaces. We also discuss how to construct Zariski equisingular deformations. In the second part, we present Zariski equisingularity of hypersurfaces along a nonsingular subvariety and its relation to other equisingularity conditions. We also discuss the canonical stratification of such hypersurfaces given by the dimensionality type.

Para-abelian varieties and Albanese maps

Abstract: We construct for every proper algebraic space over a ground field an Albanese map to a para-abelian variety, which is unique up to unique isomorphism. This holds in the absence of rational points or ample sheaves, and also for reducible or non-reduced spaces, under the mere assumption that the structure morphism is in Stein factorization. It also works under suitable assumptions in families. In fact the treatment of the relative setting is crucial, even to understand the situation over ground fields. This also ensures that Albanese maps are equivariant with respect to actions of group schemes. Our approach depends on the notion of families of para-abelian varieties, where each geometric fiber admits the structure of an abelian variety, and representability of tau-parts in relative Picard groups, together with structure results on algebraic groups.

Cohomological Methods in Intersection Theory

Abstract: These notes are an account of a series of lectures I gave at the LMS-CMI Research School `Homotopy Theory and Arithmetic Geometry: Motivic and Diophantine Aspects', in July 2018, at the Imperial College London. The goal of these notes is to see how motives may be used to enhance cohomological methods, giving natural ways to prove independence of $\ell$ results for traces and zeta-functions, and constructions of characteristic classes (as $0$-cycles). This leads to the Grothendieck-Lefschetz formula, of which we give a new motivic proof. There are also a few additions to what have been told in the lectures: a proof of Grothendieck-Verdier duality of etale motives on schemes of finite type over a regular quasi-excellent scheme (which slightly improves the level of generality in the existing literature); a proof that $\mathbf{Q}$-linear motivic sheaves are virtually integral; a proof of the motivic generic base change formula.

Idele class groups with modulus

Abstract: We prove Bloch's formula for the Chow group of 0-cycles with modulus on smooth projective varieties over finite fields. This shows that the K-theoretic idele class group with modulus due to Kato-Saito and the cycle-theoretic idele class group with modulus due to Kerz-Saito coincide for such varieties. The proof relies on new results in ramification theory.

The Grothendieck–Serre conjecture over valuation rings

Abstract: In this article, we establish the Grothendieck–Serre conjecture over valuation rings: for a reductive group scheme G over a valuation ring V with fraction field K, a G-torsor over V is trivial if it is trivial over K. This result is predicted by the original Grothendieck–Serre conjecture and the resolution of singularities. The novelty of our proof lies in overcoming subtleties brought by general nondiscrete valuation rings. By using flasque resolutions and inducting with local cohomology, we prove a non-Noetherian counterpart of Colliot-Thelene–Sansuc's case of tori. Then, taking advantage of techniques in algebraization, we obtain the passage to the Henselian rank one case. Finally, we induct on Levi subgroups and use the integrality of rational points of anisotropic groups to reduce to the semisimple anisotropic case, in which we appeal to properties of parahoric subgroups in Bruhat–Tits theory to conclude. In the last section, by using properties of reflexive sheaves, we also prove a variant of Nisnevich's purity conjecture.

Compact moduli of K3 surfaces

Abstract: Let $F$ be a moduli space of lattice-polarized K3 surfaces. Suppose that one has chosen a canonical effective ample divisor $R$ on a general K3 in $F$. We call this divisor "recognizable" if its flat limit on Kulikov surfaces is well defined. We prove that the normalization of the stable pair compactification $\overline{F}^R$ for a recognizable divisor is a Looijenga semitoroidal compactification. For polarized K3 surfaces $(X,L)$ of degree $2d$, we show that the sum of rational curves in the linear system $|L|$ is a recognizable divisor, giving a modular semitoroidal compactification of $F_{2d}$ for all $d$.

On K-stability for Fano threefolds of rank 3 and degree 28

Abstract: We show that there exists a K-stable smooth Fano threefold of the Picard rank 3, the anti-canonical degree 28 and the third Betti number 2.

Classifying sections of del Pezzo fibrations, II

Abstract: Let $X$ be a del Pezzo surface over the function field of a complex curve. We study the behavior of rational points on $X$ leading to bounds on the counting function in Geometric Manin's Conjecture. A key tool is the Movable Bend and Break Lemma which yields an inductive approach to classifying relatively free sections for a del Pezzo fibration over a curve. Using this lemma we prove Geometric Manin's Conjecture for certain split del Pezzo surfaces of degree $\geq 2$ admitting a birational morphism to $\mathbb P^2$ over the ground field.

Tensor decomposition for learning Gaussian mixtures from moments

Abstract: In data processing and machine learning, an important challenge is to recover and exploit models that can represent accurately the data. We consider the problem of recovering Gaussian mixture models from datasets. We investigate symmetric tensor decomposition methods for tackling this problem, where the tensor is built from empirical moments of the data distribution. We consider identifiable tensors, which have a unique decomposition, showing that moment tensors built from spherical Gaussian mixtures have this property. We prove that symmetric tensors with interpolation degree strictly less than half their order are identifiable and we present an algorithm, based on simple linear algebra operations, to compute their decomposition. Illustrative experimentations show the impact of the tensor decomposition method for recovering Gaussian mixtures, in comparison with other state-of-the-art approaches.

Costello's pushforward formula: errata and generalization

Abstract: K. Costello's Pushforward Formula is not correct as stated. We verify it holds under an assumption of properness or of a weaker notion we call "purity." We then check many papers that used this formula to make sure it holds in their context.

Sarkisov links for index 1 Fano 3-folds in codimension

Abstract: We classify Sarkisov links from index 1 Fano 3-folds anticanonically embedded in codimension 4 that start from so-called Type I Tom centres. We apply this to compute the Picard rank of many such Fano 3-folds.

Components and singularities of Quot schemes and varieties of commuting matrices

Abstract: We investigate the variety of commuting matrices. We classify its components for any number of matrices of size at most 7. We prove that starting from quadruples of size 8 matrices, this scheme has generically nonreduced components, while up to degree 7 it is generically reduced. Our approach is to recast the problem as deformations of modules and generalize an array of methods: apolarity, duality and Bialynicki-Birula decompositions to this setup. We include a thorough review of our methods to make the paper self-contained and accessible to both algebraic and linear-algebraic communities. Our results give the corresponding statements for the Quot schemes of points, in particular we classify the components of $Quot_d(O_{\mathbb{A}^n}^{\oplus r})$ for $d\leq 7$ and all $r$, $n$.

Intersection cohomology of rank two character varieties of surface groups

Abstract: For $G = \mathrm{GL}_2, \mathrm{SL}_2, \mathrm{PGL}_2$ we compute the intersection E-polynomials and the intersection Poincare polynomials of the $G$-character variety of a compact Riemann surface $C$ and of the moduli space of $G$-Higgs bundles on $C$ of degree zero. We derive several results concerning the P=W conjectures for these singular moduli spaces.

Unramified Cohomology, Algebraic Cycles and Rationality

Abstract: This is a survey on unramified cohomology with a view towards its applications to rationality problems.

On the Schmidt and analytic ranks for trilinear forms

Abstract: We discuss relations between different notions of ranks for multilinear forms. In particular we show that the Schmidt and the analytic ranks for trilinear forms are essentially proportional.

Chow rings of low-degree Hurwitz spaces.

Abstract: While there is much work and many conjectures surrounding the intersection theory of the moduli space of curves, relatively little is known about the intersection theory of the Hurwitz space $\mathcal{H}_{k, g}$ parametrizing smooth degree $k$, genus $g$ covers of $\mathbb{P}^1$. Let $k = 3, 4, 5$. We prove that the rational Chow rings of $\mathcal{H}_{k,g}$ stabilize in a suitable sense as $g$ tends to infinity. In the case $k = 3$, we completely determine the Chow rings for all $g$. We also prove that the rational Chow groups of the simply branched Hurwitz space $\mathcal{H}^s_{k,g} \subset \mathcal{H}_{k,g}$ are zero in codimension up to roughly $g/k$. In subsequent work, results developed in this paper are used to prove that the Chow rings of $\mathcal{M}_7, \mathcal{M}_8,$ and $\mathcal{M}_9$ are tautological.

A smooth complex rational affine surface with uncountably many real forms

Abstract: We exhibit a smooth complex rational affine surface with uncountably many nonisomorphic real forms.

Cremona transformations of weighted projective planes, Zariski pairs, and rational cuspidal curves

Abstract: In this work, we study a family of Cremona transformations of weighted projective planes which generalize the standard Cremona transformation of the projective plane. Starting from special plane projective curves we construct families of curves in weighted projective planes with special properties. We explain how to compute the fundamental groups of their complements, using the blow-up-down decompositions of the Cremona transformations, we find examples of Zariski pairs in weighted projective planes (distinguished by the Alexander polynomial). As another application of this machinery we study a family of singularities called weighted Le–Yomdin, which provide infinitely many examples of surface singularities with a rational homology sphere link. To end this paper we also study a family of surface singularities generalizing Brieskorn–Pham singularities in a different direction. This family contains infinitely many examples of integral homology sphere links, answering a question by Nemethi.

Cone theorem and Mori hyperbolicity

Abstract: We discuss the cone theorem for quasi-log schemes and the Mori hyperbolicity. In particular, we establish that the log canonical divisor of a Mori hyperbolic projective normal pair is nef if it is nef when restricted to the non-lc locus. This answers Svaldi's question completely. We also treat the uniruledness of the degenerate locus of an extremal contraction morphism for quasi-log schemes. Furthermore, we prove that every fiber of a relative quasi-log Fano scheme is rationally chain connected modulo the non-qlc locus.

Derived categories of Quot schemes of locally free quotients, I

Abstract: This paper studies the derived category of the Quot scheme of rank $d$ locally free quotients of a sheaf $\mathscr{G}$ of homological dimension $\le 1$ over a scheme $X$. In particular, we propose a conjecture about the structure of its derived category and verify the conjecture in various cases. This framework allows us to relax certain regularity conditions on various known formulae -- such as the ones for blowups (along Koszul-regular centers), Cayley's trick, standard flips, projectivizations, and Grassmannain-flips -- and supplement these formulae with the results on mutations and relative Serre functors. This framework also leads us to many new phenomena such as virtual flips, and structural results for the derived categories of (i) $\mathrm{Quot}_2$ schemes, (ii) flips from partial desingularizations of $\mathrm{rank}\le 2$ degeneracy loci, and (iii) blowups along determinantal subschemes of codimension $\le 4$.

Hermitian K-theory via oriented Gorenstein algebras

Abstract: We show that hermitian K-theory is universal among generalized motivic cohomology theories with transfers along finite Gorenstein morphisms with trivialized dualizing sheaf. As an application, we obtain a Hilbert scheme model for hermitian K-theory as a motivic space. We also give an application to computational complexity: we prove that 1-generic minimal border rank tensors degenerate to the big Coppersmith-Winograd tensor.

On the Image of the Second l-adic Bloch Map

Abstract: For a smooth projective geometrically uniruled threefold defined over a perfect field we show that there exists a canonical abelian variety over the field, namely the second algebraic representative, whose rational Tate modules model canonically the third l-adic cohomology groups of the variety for all primes l. In addition, there exists a rational correspondence inducing these identifications. In the case of a geometrically rationally chain connected variety, one obtains canonical identifications between the integral Tate modules of the second algebraic representative and the third l-adic cohomology groups of the variety, and if the variety is a geometrically stably rational threefold, these identifications are induced by an integral correspondence. Our overall strategy consists in studying – for arbitrary smooth projective varieties – the image of the second l-adic Bloch map restricted to the Tate module of algebraically trivial cycle classes in terms of the “correspondence (co)niveau filtration”. This complements results with rational coefficients due to Suwa. In the appendix, we review the construction of the Bloch map and its basic properties.

On conic-line arrangements with nodes, tacnodes, and ordinary triple points

Abstract: In the present paper, we study conic-line arrangements having nodes, tacnodes, and ordinary triple points as singularities. We provide combinatorial constraints on such arrangements and we give the complete classification of free arrangements in this class.

3d Mirror Symmetry for Instanton Moduli Spaces

Abstract: We prove that the Hilbert scheme of $k$ points on $\mathbb{C}^2$ (Hilb$^k[\mathbb{C}^2]$) is self-dual under three-dimensional mirror symmetry using methods of geometry and integrability. Namely, we demonstrate that the corresponding quantum equivariant K-theory is invariant upon interchanging its Kahler and equivariant parameters as well as inverting the weight of the $\mathbb{C}^\times_\hbar$-action. First, we find a two-parameter family $X_{k,l}$ of self-mirror quiver varieties of type A and study their quantum K-theory algebras. The desired quantum K-theory of Hilb$^k[\mathbb{C}^2]$ is obtained via direct limit $l\to\infty$ and by imposing certain periodic boundary conditions on the quiver data. Throughout the proof, we employ the quantum/classical (q-Langlands) correspondence between XXZ Bethe Ansatz equations and spaces of twisted $\hbar$-opers. In the end, we propose the 3d mirror dual for the moduli spaces of torsion-free rank-$N$ sheaves on $\mathbb{P}^2$ with the help of a different (three-parametric) family of type A quiver varieties with known mirror dual.

On the degree of the canonical map of a surface of general type.

Abstract: Let X be a minimal complex surface of general type such that its image via the canonical map is a surface; we denote by d the degree of the canonical map. In this expository work, first of all we recall the known possibilities for the canonical image and for d when the canonical map is not birational, which are quite a few, and then we consider the question of producing concrete examples for all of them. We present the two main methods of construction of such examples and we give several instances of their application. We end the paper outlining the state of the art on this topic and raising several questions.