Searcharxiv⌕ Search

arXiv subjects

David Ishii Smyth

Publications and source records attributed to David Ishii Smyth.

13 recordsLinked to original sources
arXiv2018

Intersections of psi-classes on moduli spaces of m-stable curves

We explain how to compute top-dimensional intersections of psi-classes on moduli spaces of m-stable curves. On the moduli spaces of Deligne-Mumford stable pointed curves of genus one, these intersection numbers are determined by two recursions, namely the string equation and the dilaton equation. We establish, for each integer m>0, an analogous pair of recursions which determine these intersection numbers on the moduli spaces of m-stable pointed curves of genus one.

math.AG↗
arXiv2014

Log minimal model program for the moduli space of stable curves: The second flip

We prove an existence theorem for good moduli spaces, and use it to construct the second flip in the log minimal model program for the moduli space of stable curves. In fact, our methods give a uniform, self-contained construction of the first three steps of the log minimal model program for the moduli spaces of stable pointed curves.

math.AG↗
arXiv2013

Stability of genus five canonical curves

We analyze GIT stability of nets of quadrics in $\mathbb{P}^4$ up to projective equivalence. Since a general net of quadrics defines a canonically embedded smooth curve of genus five, the resulting GIT quotient gives a birational model of the moduli space of genus 5 curves. We study the geometry of the associated contraction and prove that the constructed GIT quotient is the final step of the log minimal model program for the moduli space of genus 5 curves.

math.AG↗
arXiv2012

Existence of good moduli spaces for A_k-stable curves

We prove a general criterion for an algebraic stack to admit a good moduli space. This result may be considered as a weak analog of the Keel-Mori theorem, which guarantees the existence of a coarse moduli space for a separated Deligne-Mumford stack. We apply our result to prove that the moduli stacks of A_k and A_k^+-stable curves admit good moduli spaces. In forthcoming work, we will prove that these moduli spaces are projective and use them to construct the second flip in the log minimal model program for M_g.

math.AG↗
arXiv2012

Finite Hilbert stability of (bi)canonical curves

We prove that a generic canonically or bicanonically embedded smooth curve has semistable m-th Hilbert points for all m. We also prove that a generic bicanonically embedded smooth curve has stable m-th Hilbert points for all m \geq 3. In the canonical case, this is accomplished by proving finite Hilbert semistability of special singular curves with G_m-action, namely the canonically embedded balanced ribbon and the canonically embedded balanced double A_{2k+1}-curve. In the bicanonical case, we prove finite Hilbert stability of special hyperelliptic curves, namely Wiman curves. Finally, we give examples of canonically embedded smooth curves whose m-th Hilbert points are non-semistable for low values of m, but become semistable past a definite threshold. (This paper subsumes the previous submission and arXiv:1110.5960).

math.AG↗
arXiv2011

Finite Hilbert stability of canonical curves, II. The even-genus case

This paper is a sequel to arXiv:1109.4986, where we proved that a general smooth curve of odd genus, canonically or bicanonically embedded, has semistable finite Hilbert points. Here, we prove that a generic canonically embedded curve of even genus has semistable finite Hilbert points. More precisely, we prove that a generic canonically embedded trigonal curve of even genus has semistable finite Hilbert points. Furthermore, we show that the analogous result fails for bielliptic curves. Namely, the Hilbert points of bielliptic curves are asymptotically semistable but become non-semistable below a definite threshold value depending on genus.

math.AG↗
arXiv2011

Alternate Compactifications of Moduli Spaces of Curves

We give an informal survey, emphasizing examples and open problems, of two interconnected research programs in moduli of curves: the systematic classification of modular compactifications of $M_{g,n}$, and the study of Mori chamber decompositions of $\M_{g,n}$.

math.AG↗
arXiv2011

Singularities with G_m-action and the log minimal model program for $\bar{M}_g$

We give a precise formulation of the modularity principle for the log canonical models of $\bar{M}_g$. Assuming the modularity principle holds, we develop and compare two methods for determining the critical alpha-values at which a singularity or complete curve with G_m-action arises in the modular interpretations of log canonical models of $\bar{M}_g$. The first method involves a new invariant of curve singularities with G_m-action, constructed via the characters of the induced G_m-action on spaces of pluricanonical forms. The second method involves intersection theory on the variety of stable limits of a singular curve. We compute the expected alpha-values for large classes of singular curves, including curves with ADE, toric, and monomial unibranch Gorenstein singularities, as well as for ribbons, and show that the two methods yield identical predictions. We use these results to give a conjectural outline of the log MMP for $\bar{M}_g$.

math.AG↗
arXiv2011

Weakly proper moduli stacks of curves

This is the first in a projected series of three papers in which we construct the second flip in the log minimal model program for $\bar{M}_g$. We introduce the notion of a weakly proper algebraic stack, which may be considered as an abstract characterization of those mildly non-separated moduli problems encountered in the context of Geometric Invariant Theory (GIT), and develop techniques for proving that a stack is weakly proper without the usual semistability analysis of GIT. We define a sequence of moduli stacks of curves involving nodes, cusps, tacnodes, and ramphoid cusps, and use the aforementioned techniques to show that these stacks are weakly proper. This will be the key ingredient in forthcoming work, in which we will prove that these moduli stacks have projective good moduli spaces which are log canonical models for $\bar{M}_g$.

math.AG↗
arXiv2010

Modular Compactifications of M_{1,n} II

We prove that the moduli spaces of n-pointed m-stable curves introduced in our previous paper have projective coarse moduli. We use the resulting spaces to run an analogue of the Hassett-Keel log minimal model program for the moduli space of n-pointed stable curves of genus one.

math.AG↗
arXiv2009

Modular compactifications of M_{1,n}

We introduce a sequence of isolated curve singularities, the elliptic m-fold points, and an associated sequence of stability conditions, generalizing the usual definition of Deligne-Mumford stability. For every pair of integers 0<m<n, we prove that the moduli problem of n-pointed m-stable curves of arithmetic genus one is representable by a proper irreducible Deligne-Mumford stack. We also consider weighted variants of these stability conditions, and construct the corresponding moduli stacks. In forthcoming work, we will prove that these stacks have projective coarse moduli and use the resulting spaces to give a complete description of the log minimal model program for M_{1,n}.

math.AG↗