Concomitants of ternary quartics and vector-valued Siegel and Teichmüller modular forms of genus three. (English) Zbl 1465.11119
Summary: We show how one can use the representation theory of ternary quartics to construct all vector-valued Siegel modular forms and Teichmüller modular forms of degree 3. The relation between the order of vanishing of a concomitant on the locus of double conics and the order of vanishing of the corresponding modular form on the hyperelliptic locus plays an important role. We also determine the connection between Teichmüller cusp forms on \(\overline{\mathcal{M}}_g\) and the middle cohomology of symplectic local systems on \(\mathcal{M}_g\). In genus 3, we make this explicit in a large number of cases.
MSC:
| 11F46 | Siegel modular groups; Siegel and Hilbert-Siegel modular and automorphic forms |
| 14H10 | Families, moduli of curves (algebraic) |
| 14H45 | Special algebraic curves and curves of low genus |
| 14J15 | Moduli, classification: analytic theory; relations with modular forms |
| 14K10 | Algebraic moduli of abelian varieties, classification |
References:
| [1] | Aluffi, P.; Cukierman, F., Multiplicities of discriminants, Manuscr. Math., 78, 245-258 (1993) · Zbl 0813.14010 |
| [2] | Bergström, J., Cohomology of moduli spaces of curves of genus three via point counts, J. Reine Angew. Math., 622, 155-187 (2008) · Zbl 1158.14025 |
| [3] | Bergström, J.; Faber, C.; van der Geer, G., Siegel modular forms of degree three and the cohomology of local systems, Selecta Math. (N.S.), 20, 1, 83-124 (2014) · Zbl 1343.11051 |
| [4] | Bergström, J., Faber, C., van der Geer, G.: Siegel modular forms of degree two and three. (2017). http://smf.compositio.nl · Zbl 1343.11051 |
| [5] | Chenevier, G., Lannes, J.: Automorphic forms and even unimodular lattices. Kneser Neighbors of Niemeier Lattices. Translated from the French by Reinie Erné. Ergebnisse der Mathematik und ihrer Grenzgebiete (3), vol. 69. Springer, Cham, xxi+417 pp. (2019) · Zbl 1430.11001 |
| [6] | Chenevier, G.; Renard, D., Level one algebraic cusp forms of classical groups of small rank, Mem. Am. Math. Soc., 237, 1121, v+122 (2015) · Zbl 1376.11036 |
| [7] | Chipalkatti, J., The Waring loci of ternary quartics, Exp. Math., 13, 1, 93-101 (2004) · Zbl 1061.14057 |
| [8] | Cléry, F.; Faber, C.; van der Geer, G., Covariants of binary sextics and vector-valued Siegel modular forms of genus \(2\), Math. Ann., 369, 3-4, 1649-1669 (2017) · Zbl 1427.11042 |
| [9] | Cléry, F.; Faber, C.; van der Geer, G., Covariants of binary sextics and modular forms of degree \(2\) with character, Math. Comput., 88, 319, 2423-2441 (2019) · Zbl 1470.11070 |
| [10] | Cléry, F.; van der Geer, G., Constructing vector-valued Siegel modular forms from scalar-valued Siegel modular forms, Pure Appl. Math. Q., 11, 1, 21-47 (2015) · Zbl 1348.14098 |
| [11] | Dixmier, J., On the projective invariants of quartic plane curves, Adv. Math., 64, 279-304 (1987) · Zbl 0668.14006 |
| [12] | Dutour Sikirić, M.; Hulek, K.; Schürmann, A., Smoothness and singularities of the perfect form and the second Voronoi compactification of \(\cal{A}_g \), Algebr. Geom., 2, 5, 642-653 (2015) · Zbl 1337.14036 |
| [13] | Elsenhans, A., Explicit computations of invariants of plane quartic curves, J. Symb. Comput., 68, part 2, 109-115 (2015) · Zbl 1360.13017 |
| [14] | Faltings, G., On the Cohomology of Locally Symmetric Hermitian Spaces (1983), Berlin: Springer, Berlin · Zbl 0539.22008 |
| [15] | Faltings, G.; Chai, C-L, Degeneration of Abelian Varieties (1990), Berlin: Springer, Berlin · Zbl 0744.14031 |
| [16] | Frobenius, G., Über die Jacobischen Functionen dreier Variabelen, J. Reine Angew. Math., 105, 35-100 (1889) · JFM 21.0499.02 |
| [17] | Grushevsky, S.; Salvati Manni, R., The vanishing of two-point functions for three-loop superstring scattering amplitudes, Commun. Math. Phys., 294, 343-352 (2010) · Zbl 1207.81122 |
| [18] | Harer, J., The virtual cohomological dimension of the mapping class group of an orientable surface, Invent. Math., 84, 1, 157-176 (1986) · Zbl 0592.57009 |
| [19] | Harris, J.; Morrison, I., Slopes of effective divisors on the moduli space of stable curves, Invent. Math., 99, 321-355 (1990) · Zbl 0705.14026 |
| [20] | Harris, J.; Mumford, D., On the Kodaira dimension of the moduli space of curves. With an appendix by W. Fulton, Invent. Math., 67, 1, 23-88 (1982) · Zbl 0506.14016 |
| [21] | Ibukiyama, T.; Takemori, S., Construction of theta series of any vector-valued weight and applications to lifts and congruences, Exp. Math., 28, 1, 95-114 (2019) · Zbl 1473.11091 |
| [22] | Ichikawa, T., On Teichmüller modular forms, Math. Ann., 299, 731-740 (1994) · Zbl 0803.30036 |
| [23] | Ichikawa, T., Teichmüller modular forms of degree \(3\), Am. J. Math., 117, 1057-1061 (1995) · Zbl 0856.11024 |
| [24] | Ichikawa, T., Theta constants and Teichmüller modular forms, J. Number Theory, 61, 2, 409-419 (1996) · Zbl 0920.11029 |
| [25] | Ichikawa, T., Generalized Tate curve and integral Teichmüller modular forms, Am. J. Math., 122, 6, 1139-1174 (2000) · Zbl 1062.14501 |
| [26] | Lercier, R., Ritzenthaler, C.: Siegel modular forms of degree three and invariants of ternary quartics. (2019). arXiv:1907.07431 |
| [27] | Igusa, J-I, Modular forms and projective invariants, Am. J. Math., 89, 817-855 (1967) · Zbl 0159.50401 |
| [28] | Looijenga, E., Cohomology of \(\cal{M}_3\) and \(\cal{M}_3^1\), Mapping Class Groups and Moduli Spaces of Riemann Surfaces (Göttingen/Seattle, 1991), 205-228 (1993), Providence: American Mathematical Society, Providence · Zbl 0814.14029 |
| [29] | Mégarbané, T., Traces des opérateurs de Hecke sur les espaces de formes automorphes de \(\text{SO}_7, \text{ SO}_8\) ou \(\text{ SO}_9\) en niveau \(1\) et poids arbitraire, J. Théor. Nombres Bordeaux, 30, 1, 239-306 (2018) · Zbl 1443.11065 |
| [30] | Mumford, D.; Fogarty, J., Geometric Invariant Theory (1981), Berlin: Springer, Berlin · Zbl 0504.14008 |
| [31] | Namikawa, Y.: A new compactification of the Siegel space and degeneration of abelian varieties. I, II. Math. Ann. 221(2), 97-141 and (3), 201-241 (1976) · Zbl 0327.14013 |
| [32] | Ohno, T.: The graded ring of invariants of ternary quartics I—generators and relations. Preprint (2007) |
| [33] | Ottaviani, G.; Sernesi, E., On singular Lüroth quartics, Sci. China Math., 54, 8, 1757-1766 (2011) · Zbl 1244.14022 |
| [34] | Salmon, G.: Higher Plane Curves, 3rd edn. Hodges, Foster, Figgis, Dublin (1879) (reprint by Chelsea, 1960) |
| [35] | Sasaki, R., Some remarks on the moduli space of principally polarized abelian varieties with level \((2,4)\)-structure, Compos. Math., 85, 87-97 (1993) · Zbl 0785.14026 |
| [36] | Schnell, C.: Computing cohomology of local systems. Unpublished lecture notes. http://www.math.stonybrook.edu/ |
| [37] | Shioda, T., On the graded ring of invariants of binary octavics, Am. J. Math., 89, 1022-1046 (1967) · Zbl 0188.53304 |
| [38] | Taïbi, O.: Dimensions of spaces of level one automorphic forms for split classical groups using the trace formula. Annales scientifiques de l’ENS 50, 269-344 (2017). See also the tables at https://otaibi.perso.math.cnrs.fr/dimtrace/ · Zbl 1394.11042 |
| [39] | Tsuyumine, S., On Siegel modular forms of degree three, Am. J. Math., 108, 755-862 (1986) · Zbl 0602.10015 |
| [40] | van Geemen, B.; van der Geer, G., Kummer varieties and the moduli spaces of abelian varieties, Am. J. Math., 108, 615-641 (1986) · Zbl 0612.14044 |
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.
