Spin canonical rings of log stacky curves (Q506593)

Petri's theorem [\textit{K. Petri}, Math. Ann. 88, 242--289 (1923; JFM 49.0264.02); \textit{B. Saint-Donat}, Math. Ann. 206, 157--175 (1973; Zbl 0315.14010); \textit{E. Arbarello} et al., Geometry of algebraic curves. Volume I. New York etc.: Springer-Verlag (1985; Zbl 0559.14017)] states that the canonical ring of a general curve which is not hyperelliptic, trigonal, or a plane curve of degree \(5\) is generated in degree \(1\) with relations in degree \(2\). A generalization of this result was proved by \textit{J. Voight} and \textit{D. Zureick-Brown} [``The canonical ring of a stacky curve'', Preprint, \url{arXiv:1501.04657}] by giving sharp bounds on the degrees of generators and relations for the canonical ring of a log stacky curve in terms of its signature. This result was also extended to stacky curves provided with log spin canonical divisors. The authors of this paper improve the bounds for minimal generators and relations for the log spin canonical ring of a stacky curve. The bounds are first proved by inductive steps for genus greater than \(1\); then, a similar proof is given for the cases of genus \(1\) and \(0\), for which an explicit presentation of the ring is also produced. For a finite-area quotient of the upper half-plane by a Fuchsian group this result yields tight bounds on the weights of minimal generators and relations for the ring of modular forms of integral weights with respect to the Fuchsian group, as this ring can be viewed as the log spin canonical ring of a stacky curve.