A five-dimensional modular variety (Q1003128)

The authors give a structure theorem for a graded ring of modular forms for the orthogonal group \(O(2,5)\). This generalizes results of \textit{I. Klöcker} [Modular forms for the orthogonal group \(O(2,5)\), PhD thesis Aachen (2005)], and continues the work of the first named author and \textit{C. F. Hermann} [Some modular varieties in low dimension, Adv. Math. 152, 203--287 (2000; Zbl 0974.11028)] and of \textit{A. Krieg} [The graded ring of quaternionic modular forms of degree 2,'' Math. Z. 251, No. 4, 929--942 (2005; Zbl 1132.11025)]. The main theorem gives an explicit presentation of the ring \(\sum_{k=0}\infty [\Gamma(\mathfrak o')[\mathfrak p], 2k]\) as the quotient of a polynomial ring. Here \([\Gamma(\mathfrak o')[\mathfrak p], 2k]\) is the space of (``quaternionic'') modular forms of weight \(2k\) for the subgroup \(\Gamma(\mathfrak o')[\mathfrak p]\) (whose definition we omit here). As one ingredient of the proof, the authors checked that this quotient is regular in codimension \(1\) with a computer algebra program.