Related papers: The canonical ring of a stacky curve
Let k be a regular F_p-algebra, let A = k[x,y]/(x^b - y^a) be the coordinate ring of a planar cuspical curve, and let I = (x,y) be the ideal that defines the cusp point. We give a formula for the relative K-groups K_q(A,I) in terms of the…
We prove explicit bounds on canonical Green functions of Riemann surfaces obtained as compactifications of quotients of the upper half-plane by Fuchsian groups.
We study moduli stacks of principal $\Bbb C^*$-bundles over nodal complex algebraic curves and determine their rational cohomology algebras in terms of Chern classes.
We describe a new approach to the definition of the moduli functor of stable varieties. While there is wide agreement as to what classes of varieties should appear, the notion of a family of stable surfaces is quite subtle, as key numerical…
This work is motivated by two central questions in the birational geometry of moduli spaces of curves -- Fulton's conjecture and the effective cone of $\bar M_g$. We study the algebro-geometric aspect of Teichmuller curves parameterizing…
In this paper, we will study the arithmetic of the Eisenstein part of the modular Jacobians. In the first section, we introduce some general preliminaries of the arithmetic theory of modular curves that we will need later. In the second…
In this work we develop the theory of Gr\"obner bases for modules over the ring of univariate linearized polynomials with coefficients from a finite field.
Few explicit families of 3-folds are known for which the computation of the canonical ring is accessible and the birational geometry non-trivial. In this note we investigate a family of determinantal 3-folds in $\mathbb P^2 \times \mathbb…
Groves are spanning forests of a finite region of the triangular lattice that are in bijection with Laurent monomials that arise in solutions of the cube recurrence. We introduce a large class of probability measures on groves for which we…
In this paper, we discuss the normality of the toric rings of stable set polytopes, and the set of generators and Gr\"obner bases of toric ideals of stable set polytopes by using the results on that of edge polytopes of finite nonsimple…
Using the functional interpretation from proof theory, we analyze nonconstructive proofs of several central theorems about polynomial and differential polynomial rings. We extract effective bounds, some of which are new to the literature,…
We prove that the Cox ring of $\bar{M}_{0,6}$, the moduli space of stable, rational curves with 6 marked points, is finitely generated by sections corresponding to the boundary divisors and divisors which are pull-backs of the hyperelliptic…
We give a stack-theoretic proof for some results on families of hyperelliptic curves.
These notes cover our series of three lectures at Humboldt University in Berlin for the October 2010 conference "Intersection theory on moduli space" (organized by G. Farkas). The topic concerns relations among the kappa classes in the…
We study the Cox ring of the moduli space of stable pointed rational curves, \M_{0,n}, via the closely related permutohedral (or Losev-Manin) spaces. Our main result establishes \binom{n}{2} polynomial subrings of the Cox ring, thus giving…
Let $R$ be a commutative Noetherian local ring and $M$ a finitely generated $R$-module. We introduce a general form of the classically studied trace map that unifies several notions from the literature. We develop a theory around these…
We prove a formula of log canonical models for moduli space $\bar{M}_{g,n}$ of pointed stable curves which describes all Hassett's moduli spaces of weighted pointed stable curves in a single equation. This is a generalization of the…
The classical theorems relating integral binary quadratic forms and ideal classes of quadratic orders have been of tremendous importance in mathematics, and many authors have given extensions of these theorems to rings other than the…
Let ${\mathbf U}_q^-$ be the negative half of a quantum group of finite type. We construct the canonical basis of ${\mathbf U}_q^-$ by applying the folding theory of quantum groups, and piecewise linear parametrization of canonical basis.…
We describe the limits of canonical series along families of curves degenerating to a nodal curve which is general for its topology, in the weak sense that the branches over nodes on each of its components are in general position. We define…