Related papers: The canonical ring of a stacky curve
Consider modular forms arising from a finite-area quotient of the upper-half plane by a Fuchsian group. By the classical results of Kodaira-Spencer, this ring of modular forms may be viewed as the log spin canonical ring of a stacky curve.…
Let f be a generically finite morphism from X to Y. The purpose of this paper is to show how the O_Y algebra structure on the push forward of O_X controls algebro-geometric aspects of X like the ring generation of graded rings associated to…
We introduce the notion of generalised Gorenstein spin structure on a curve and we give an explicit description of the associated section ring for curves of genus two with ample canonical bundle, obtaining five different formats.
We introduce the tautological rings of moduli stacks of twisted curves and establish some basic properties.
We extend work of Voight and the second author to compute the log canonical ring of a wild stacky curve over a field of characteristic $p > 0$, which allows us to compute rings of mod $p$ modular forms of level $\Gamma_{0}(N)$. Our approach…
We study rings of integral modular forms for congruence subgroups as modules over the ring of integral modular forms for the full modular group. In many cases these modules are free or decompose at least into well-understood pieces. We…
The canonical ring $S_D = \bigoplus_{d \geq 0} H^0(X, \lfloor dD \rfloor)$ of a divisor D on a curve X is a natural object of study; when D is a Q-divisor, it has connections to projective embeddings of stacky curves and rings of modular…
We apply the theory of Groebner bases to the computation of free resolutions over a polynomial ring, the defining equations of a canonically embedded curve, and the unirationality of the moduli space of curves of a fixed genus.
In this paper, we shall describe the graded canonical module of a Noetherian multi-section ring of a normal projective variety. In particular, in the case of the Cox ring, we prove that the graded canonical module is a graded free module of…
We define the logarithmic tautological rings of the moduli spaces of Deligne-Mumford stable curves (together with a set of additive generators lifting the decorated strata classes of the standard tautological rings). While these algebras…
We connect two notions of tautological ring: one for the moduli space of curves (after Mumford, Faber, etc.), and the other for the Jacobian of a curve (after Beauville, Polishchuk, etc.). The motivic Lefschetz decomposition on the Jacobian…
In ``Cohen--Macaulay rings'' Bruns and Herzog define the graded canonical module for $\mathbb{Z}^r$-graded rings. We generalize the definition to multigradings and prove that the canonical module ``localizes''. As an application, we give a…
We determine generators of the rational cohomology algebras of moduli spaces of parabolic vector bundles on a curve, under some `primality' conditions on the parabolic datum. These generators are canonical in a precise sense. Our results…
We explore the canonical Grothendieck topology in some specific circumstances. First we use a description of the canonical topology to get a variant of Giraud's Theorem. Then we explore the canonical Grothendieck topology on the categories…
We enumerate smooth rational curves on very general Weierstrass fibrations over hypersurfaces in projective space. The generating functions for these numbers lie in the ring of classical modular forms. The method of proof uses topological…
In this paper we study higher even Gaussian maps of the canonical bundle for cyclic trigonal curves. More precisely, we study suitable restrictions of these maps determining a lower bound for the rank, and more generally, a lower bound for…
In this paper, we inspect a relatively unexplored notion of finite generation in semirings, namely semirings in which all congruences are finitely generated. Such semirings are dubbed Congruence Noetherian. After developing sufficient…
In this expository article we give a categorical definition of the integral cohomology ring of a stack. We show that for quotient stacks the categorical cohomology may be identified with equivariant cohomology. Via this identification we…
We study the tautological ring of the moduli space of stable n-pointed curves of genus two with rational tails. The algebra is described in terms of explicit generators and relations. It is proven that this algebra is Gorenstein.
We study the gonality and canonical model of a rational unicuspidal curve C. We are mainly interested in the case where C is non-Gorenstein. We classify such curves via different notions of gonality, and by its canonical model C', up to…