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. In this paper, we tightly bound the degrees of minimal generators and relations of log spin canonical rings. As a consequence, we obtain a tight bound on the degrees of minimal generators and relations for rings of modular forms of arbitrary integral weight.
Considérons les formes modulaires d’un quotient d’aire finie du demi-plan de Poincaré par un groupe fuchsien. D’après un résultat classique de Kodaira–Spencer, cet anneau de formes modulaires peut être considéré comme l’anneau log-canonique à spin d’une courbe champêtre. Dans cet article, nous obtenons une borne optimale pour les degrés des générateurs minimaux et des relations minimales d’un tel anneau, et donc des anneaux de formes modulaires de poids entier arbitraire.
Revised:
Accepted:
Published online:
Classification: 14Q05, 11F11
Keywords: Modular forms, canonical rings, theta characteristic, Petri’s theorem, stacks, Groebner basis
@article{AIF_2016__66_6_2339_0, author = {Landesman, Aaron and Ruhm, Peter and Zhang, Robin}, title = {Spin canonical rings of log stacky curves}, journal = {Annales de l'Institut Fourier}, pages = {2339--2383}, publisher = {Association des Annales de l{\textquoteright}institut Fourier}, volume = {66}, number = {6}, year = {2016}, doi = {10.5802/aif.3065}, language = {en}, url = {https://aif.centre-mersenne.org/articles/10.5802/aif.3065/} }
TY - JOUR TI - Spin canonical rings of log stacky curves JO - Annales de l'Institut Fourier PY - 2016 DA - 2016/// SP - 2339 EP - 2383 VL - 66 IS - 6 PB - Association des Annales de l’institut Fourier UR - https://aif.centre-mersenne.org/articles/10.5802/aif.3065/ UR - https://doi.org/10.5802/aif.3065 DO - 10.5802/aif.3065 LA - en ID - AIF_2016__66_6_2339_0 ER -
Landesman, Aaron; Ruhm, Peter; Zhang, Robin. Spin canonical rings of log stacky curves. Annales de l'Institut Fourier, Volume 66 (2016) no. 6, pp. 2339-2383. doi : 10.5802/aif.3065. https://aif.centre-mersenne.org/articles/10.5802/aif.3065/
[1] Compactifying the space of stable maps, J. Amer. Math. Soc., Tome 15 (2002) no. 1, pp. 27-75 | Article
[2] Moduli of abelian varieties, Lecture Notes in Mathematics, Tome 1644, Springer-Verlag, Berlin, 1996, vi+196 pages
[3] Geometry of algebraic curves. Volume I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], Tome 267, Springer, Heidelberg, 1985, xvi+386 pages
[4] Uniformization of Deligne-Mumford curves, J. Reine Angew. Math., Tome 599 (2006), pp. 111-153
[5] Ice cream and orbifold Riemann-Roch, Izv. Ross. Akad. Nauk Ser. Mat., Tome 77 (2013) no. 3, pp. 29-54 | Article
[6] Ideals, varieties, and algorithms: An introduction to computational algebraic geometry and commutative algebra, Undergraduate Texts in Mathematics, Springer, New York, 2007, xvi+551 pages
[7] Commutative algebra with a view toward algebraic geometry, Graduate Texts in Mathematics, Tome 150, Springer-Verlag, New York, 1995, xvi+785 pages
[8] Algebraic geometry, Springer-Verlag, New York, 1977, xvi+496 pages (Graduate Texts in Mathematics, No. 52)
[9] On the -dimensional Brieskorn manifolds , Knots, groups, and 3-manifolds (Papers dedicated to the memory of R. H. Fox), Princeton Univ. Press, Princeton, N. J., 1975, p. 175-225. Ann. of Math. Studies, No. 84
[10] Halfcanonical rings on algebraic curves and applications to surfaces of general type (2003), 155 pages (Ph. D. Thesis)
[11] Canonical rings of divisors on , Annals of Combinatorics, Tome 19 (2015) no. 4, pp. 765-784 | Article
[12] The geometry of continued fractions and the topology of surface singularities, Singularities in geometry and topology 2004 (Adv. Stud. Pure Math.) Tome 46, Math. Soc. Japan, Tokyo, 2007, pp. 119-195
[13] Infinitesimal view of extending a hyperplane section—deformation theory and computer algebra, Algebraic geometry (L’Aquila, 1988) (Lecture Notes in Math.) Tome 1417, Springer, Berlin, 1990, pp. 214-286 | Article
[14] On Petri’s analysis of the linear system of quadrics through a canonical curve, Math. Ann., Tome 206 (1973), pp. 157-175 | Article
[15] The canonical ring of a stacky curve (2015) (http://arxiv.org/abs/1501.04657)
[16] Some remarks concerning Demazure’s construction of normal graded rings, Nagoya Math. J., Tome 83 (1981), pp. 203-211 http://projecteuclid.org/euclid.nmj/1118786485 | Article
[17] Orbifold Riemann-Roch and Hilbert Series (2011) http://wrap.warwick.ac.uk/49768/1/WRAP_THESIS_Zhou_2011.pdf (Ph. D. Thesis)
Cited by Sources: