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.
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.
Révisé le :
Accepté le :
Publié le :
Keywords: Modular forms, canonical rings, theta characteristic, Petri’s theorem, stacks, Groebner basis
Mot clés : Formes modulaires, anneaux canoniques, thêta-caractéristiques, théorème de Pétri, champs algébriques, base de Gröbner
@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 = {http://www.numdam.org/articles/10.5802/aif.3065/} }
TY - JOUR AU - Landesman, Aaron AU - Ruhm, Peter AU - Zhang, Robin TI - Spin canonical rings of log stacky curves JO - Annales de l'Institut Fourier PY - 2016 SP - 2339 EP - 2383 VL - 66 IS - 6 PB - Association des Annales de l’institut Fourier UR - http://www.numdam.org/articles/10.5802/aif.3065/ DO - 10.5802/aif.3065 LA - en ID - AIF_2016__66_6_2339_0 ER -
%0 Journal Article %A Landesman, Aaron %A Ruhm, Peter %A Zhang, Robin %T Spin canonical rings of log stacky curves %J Annales de l'Institut Fourier %D 2016 %P 2339-2383 %V 66 %N 6 %I Association des Annales de l’institut Fourier %U http://www.numdam.org/articles/10.5802/aif.3065/ %R 10.5802/aif.3065 %G en %F AIF_2016__66_6_2339_0
Landesman, Aaron; Ruhm, Peter; Zhang, Robin. Spin canonical rings of log stacky curves. Annales de l'Institut Fourier, Tome 66 (2016) no. 6, pp. 2339-2383. doi : 10.5802/aif.3065. http://www.numdam.org/articles/10.5802/aif.3065/
[1] Compactifying the space of stable maps, J. Amer. Math. Soc., Volume 15 (2002) no. 1, pp. 27-75 | DOI
[2] Moduli of abelian varieties, Lecture Notes in Mathematics, 1644, Springer-Verlag, Berlin, 1996, vi+196 pages
[3] Geometry of algebraic curves. Volume I, Grundlehren der Mathematischen Wissenschaften [Fundamental Principles of Mathematical Sciences], 267, Springer, Heidelberg, 1985, xvi+386 pages
[4] Uniformization of Deligne-Mumford curves, J. Reine Angew. Math., Volume 599 (2006), pp. 111-153
[5] Ice cream and orbifold Riemann-Roch, Izv. Ross. Akad. Nauk Ser. Mat., Volume 77 (2013) no. 3, pp. 29-54 | DOI
[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, 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, University of Warwick, UK (2003), 155 pages (Ph. D. Thesis http://www.mat.uc.pt/~neves/research/Thesis.pdf)
[11] Canonical rings of divisors on , Annals of Combinatorics, Volume 19 (2015) no. 4, pp. 765-784 | DOI
[12] The geometry of continued fractions and the topology of surface singularities, Singularities in geometry and topology 2004 (Adv. Stud. Pure Math.), Volume 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.), Volume 1417, Springer, Berlin, 1990, pp. 214-286 | DOI
[14] On Petri’s analysis of the linear system of quadrics through a canonical curve, Math. Ann., Volume 206 (1973), pp. 157-175 | DOI
[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., Volume 83 (1981), pp. 203-211 http://projecteuclid.org/euclid.nmj/1118786485 | DOI
[17] Orbifold Riemann-Roch and Hilbert Series, The University of Warwick, UK (2011) http://wrap.warwick.ac.uk/49768/1/WRAP_THESIS_Zhou_2011.pdf (Ph. D. Thesis)
Cité par Sources :