arXiv subjects
Publications and source records attributed to Sean Keel.
We give a canonical basis of theta functions for the Cox ring of two dimensional Looijenga pairs with affine interior, with structure constants naive counts of k-analytic disks in the total space of the universal deformation of the mirror (which, as this is dimension two, is isomorphic to the log Calabi-Yau surface itself)
We give a uniform construction that includes the mirror algebra to a smooth log Calabi-Yau variety with maximal boundary, proper over an affine variety, or to a one parameter maximal compact Calabi-Yau degeneration, as the spectrum of a commutative associative algebra with a canonical basis, whose structure constants are counts of non-archimedean analytic disks. More generally, we study the enumeration of non-archimedean analytic curves with boundaries, associated to a given transverse spine in the essential skeleton of the log Calabi-Yau variety. The moduli spaces of such curves are infinite dimensional. In order to obtain finite counts, we impose a boundary regularity condition so that the curves can be analytically continued into tori, that are unrelated to the given log Calabi-Yau variety. We prove the properness of the resulting moduli spaces, and show that the mirror algebra is a finitely generated commutative associative algebra, giving rise to a mirror family of log Calabi-Yau varieties.
Let $U$ be an affine log Calabi-Yau variety containing an open algebraic torus. We show that the naive counts of rational curves in $U$ uniquely determine a commutative associative algebra equipped with a compatible multilinear form. This proves a variant of the Frobenius structure conjecture by Gross-Hacking-Keel in mirror symmetry, and the spectrum of this algebra is supposed to give the hypothetical mirror family. Although the statement of our theorem involves only elementary algebraic geometry, our proof employs Berkovich non-archimedean analytic methods. We construct the structure constants of the algebra via counting non-archimedean analytic disks in the analytification of $U$. We establish various properties of the counting, notably deformation invariance, symmetry, gluing formula and convexity. In the special case when $U$ is a Fock-Goncharov skew-symmetric X-cluster variety, we prove that our algebra generalizes, and gives a direct geometric construction of, the mirror algebra of Gross-Hacking-Keel-Kontsevich. The comparison is proved via a canonical scattering diagram constructed from counts of infinitesimal non-archimedean analytic cylinders, without using the Kontsevich-Soibelman algorithm. Several combinatorial conjectures of GHKK, as well as the positivity in the Laurent phenomenon, follow readily from the geometric description.
We conjecture that any connected component $Q$ of the moduli space of triples $(X,E=E_1+\dots+E_n,Θ)$ where $X$ is a smooth projective variety, $E$ is a normal crossing anti-canonical divisor with a 0-stratum, every $E_i$ is smooth, and $Θ$ is an ample divisor not containing any 0-stratum of $E$, is unirational. More precisely: note that $Q$ has a natural embedding into the Kollár-Shepherd-Barron-Alexeev moduli space of stable pairs, we conjecture that the induced compactification admits a finite cover by a complete toric variety. We construct the associated complete toric fan, generalizing the Gelfand-Kapranov-Zelevinski secondary fan for reflexive polytopes. Inspired by mirror symmetry, we speculate a synthetic construction of the universal family over this toric variety, as the Proj of a sheaf of graded algebras with a canonical basis, whose structure constants are given by counts of non-archimedean analytic disks. In the Fano case and under the assumption that the mirror contains a Zariski open torus, we construct the conjectural universal family, generalizing the families of Kapranov-Sturmfels-Zelevinski and Alexeev in the toric case. In the case of del Pezzo surfaces with an anti-canonical cycle of $(-1)$-curves, we prove the full conjecture.
This paper expands on a remark in the paper "Mirror Symmetry for Log Calabi-Yau Surfaces I" of the first three authors of this paper, explaining fully how various constructions of the authors apply to give the mirror to the cubic surface. We give a full description of the scattering diagram associated to the cubic surface: this is a particularly nice diagram in which rays of every rational slope occur, but they may all be described. The equation of the mirror cubic family is then derived in two ways, first by using broken lines and then by using more recent constructions involving a direct calculation of Gromov-Witten invariants.
In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral tropical points of the mirror. Further, the structure constants for the multiplication rule in this basis should be given by counting broken lines (certain combinatorial objects, morally the tropicalisations of holomorphic discs). Here we prove the conjecture in the case of cluster varieties, where the statement is a more precise form of the Fock-Goncharov dual basis conjecture. In particular, under suitable hypotheses, for each Y the partial compactification of an affine cluster variety U given by allowing some frozen variables to vanish, we obtain canonical bases for the ring of functions on Y extending to a basis for functions on U. Each choice of seed canonically identifies the parameterizing sets of these bases with integral points in a polyhedral cone. These results specialize to basis results of combinatorial representation theory. For example, by considering the open double Bruhat cell U in the basic affine space Y we obtain a canonical basis of each irreducible representation of SL_r, parameterized by a set which each choice of seed identifies with integral points of a lattice polytope. These bases and polytopes are all constructed essentially without representation theoretic considerations. Along the way, our methods prove a number of conjectures in cluster theory, including positivity of the Laurent phenomenon for cluster algebras of geometric type.
We give a canonical synthetic construction of the mirror family to a pair (Y,D) of a smooth projective surface with an anti-canonical cycle of rational curves, as the spectrum of an explicit algebra defined in terms of counts of rational curves on Y meeting D in a single point. In the case D is contractible, the family gives a smoothing of the dual cusp, and thus a proof of Looijenga's 1981 cusp conjecture.
We prove a global Torelli theorem for pairs (Y,D), where Y is a smooth projective rational surface and D is an effective anti-canonical divisor which is a cycle of rational curves. This Torelli theorem was conjectured by Friedman in 1984. In addition, we construct natural universal families for such pairs.
We give a geometric interpretation of cluster varieties in terms of blowups of toric varieties. This enables us to provide, among other results, an elementary geometric proof of the Laurent phenomenon for cluster algebras (of geometric type), extend Speyer's example of an upper cluster algebra which is not finitely generated, and show that the Fock-Goncharov dual basis conjecture is usually false.
We give a functorial normal crossing compactification of the moduli of smooth marked cubic surfaces entirely analogous to the Grothendieck-Knudsen compactification $M_{0,n} \subset \bar{M}_{0,n}$.
We show that the log canonical bundle, $κ$, of $\bar M_{0,n}$ is very ample, show the homogeneous coordinate ring is Koszul, and give a nice set of rank 4 quadratic generators for the homogeneous ideal: The embedding is equivariant for the symmetric group, and the image lies on many Segre embedded copies of $P^1 \times P^2 \times ... \times P^{n-3}$, permuted by the symmetric group. The homogeneous ideal of $\bar M_{0,n}$ is the sum of the homogeneous ideals of these Segre embeddings.
Consider the moduli space M^0 of arrangements of n hyperplanes in general position in projective (r-1)-space. When r=2 the space has a compactification given by the moduli space of stable curves of genus 0 with n marked points. In higher dimensions, the analogue of the moduli space of stable curves is the moduli space of stable pairs: pairs (S,B) consisting of a variety S (possibly reducible) and a divisor B=B_1+..+B_n, satisfying various additional assumptions. We identify the closure of M^0 in the moduli space of stable pairs as Kapranov's Chow quotient compactification of M^0, and give an explicit description of the pairs at the boundary. We also construct additional irreducible components of the moduli space of stable pairs.
We consider Kapranov's Chow quotient compactification of the moduli space of ordered n-tuples of hyperplanes in P^{r-1} in linear general position. For r=2 this is canonically identified with the Grothendieck-Knudsen compactification of M_{0,n} which has among others the nice properties 1) Modular meaning: stable pointed rational curves 2) Canonical description of limits of one parameter degenerations 3) Natural Mori theoretic meaning: log canonical compactification. We prove (1-2) generalize naturally to all (r,n), but that (3), which we view as the deepest, fails except possibly in the cases (2,n),(3,6),(3,7),(3,8), where we conjecture it holds. The same generalization of (1) was given recently (and independently) by Hacking.
We prove the conjecture of Oort that a compact subvariety of the moduli space of principally polarized Abelian varieties of genus g has codimension strictly greater than g, for g > 2, in characteristic zero
Let p: Y--> X be a surjection between schemes projective over the algebraic closure of a finite field. Let L be a line bundle on X such that p^*(L) is globally generated. I give a natural necessary and sufficient condition under which some positive tensor power of L is globally generated. I apply this to give a sufficient condition for semi-ampleness of nef line bundles on the moduli space of stable pointed curves, in positive characteristic.
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 precisely, there is a natural finite map $r: \vmgn 0. 2g+n. \to \mgn$ whose image is the locus $\rgn$ of curves with all components rational. Any 1-strata either lies in $\rgn$ or is numerically equivalent to a family $E$ of elliptic tails and we show that a divisor $D$ is nef iff $D \cdot E \geq 0$ and $r^*(D)$ is nef. We also give results on contractions (i.e. morphisms with connected fibers to projective varieties) of $\mgn$ for $g \geq 1$ showing that any fibration factors through a tautological one (given by forgetting points) and that the exceptional locus of any birational contraction is contained in the boundary. Finally, by more ad-hoc arguments, we prove the nefness of certain special classes.
The main goal of this paper is to study varieties with the best possible Mori theoretic properties (measured by the existence of a certain decomposition of the cone of effective divisors). We call such a variety a Mori Dream Space. There turn out to be many examples, including quasi-smooth projective toric (or more generally, spherical) varieties, many GIT quotients, and log Fano 3-folds. We characterize Mori dream spaces as GIT quotients of affine varieties by a torus in a manner generalizing Cox's construction of toric varieties as quotients of affine space. Via the quotient description, the chamber decomposition of the cone of divisors in Mori theory is naturally identified with the decomposition of the G-ample cone from geometric invariant theory. In particular every rational contraction of a Mori dream space comes from GIT, and all possible factorizations of a rational contraction can be read off from the chamber decomposition.
We give a short proof of W{\lodarczyk's theorem that any birational map between smooth projective varieties in characteristic zero is a composition of weighted blowups and blowdowns.