Tautological modular forms of level two and degree two

Technische Samenvatting: Tautologische Modulaire Vormen van Niveau Twee en Graad Twee

Probleemstelling
Het artikel behandelt de constructie en expliciete beschrijving van de ring van vectorwaardige Siegel-modulaire vormen van graad 2 en niveau 2, aangeduid als $R(A_2[2])$. In tegenstelling tot het geval van niveau 1, waar de ring van modulaire vormen eindig gegenereerd is (door Eisenstein-reeksen $E_4, E_6$ voor elliptische krommen of specifieke vormen voor genus 2), is bekend dat de ring van vectorwaardige modulaire vormen voor graad 2 niet eindig gegenereerd is (Grundh [2]). De auteurs zoeken een methode om deze niet-eindig gegenereerde ring te beschrijven met behulp van "tautologische" vormen – vormen die innig verbonden zijn met de moduli-interpretatie van de ruimte – en deze ring in te bedden in een eindig gegenereerde structuur om expliciete berekening te faciliteren.

Methodologie
De auteurs hanteren een geometrische aanpak die de theorie van moduli-stacks, invariantentheorie en theta-functies combineert.

1. Interpretatie van de Moduli-stack: De moduli-ruimte $A_2[2]$ van hoofdzakelijk gepolariseerde abelse oppervlakken met volledige niveau 2-structuur wordt geïnterpreteerd als een stack-kwotiënt. Specifiek wordt de moduli-ruimte $M_2[2]$ van krommen van genus 2 met gemarkeerde Weierstrass-punten geïdentificeerd met de stack $[P/GL_2]$, waarbij $P$ de ruimte is van paren $(p_1, \dots, p_6, f)$ bestaande uit zes punten op $\mathbb{P}^1$ en een binomiale sextiek $f$ die op deze punten verdwijnt. De symmetrische groep $S_6 \cong Sp(4, \mathbb{Z}/2\mathbb{Z})$ werkt op deze ruimte door permutatie van de zes Weierstrass-punten.
2. Geometrische Constructie van Vormen: De auteurs construeren vectorwaardige modulaire vormen door divisors op de geprojectiviseerde Hodge-bundel $\mathbb{P}(E)$ te interpreteren. De zes Weierstrass-punten op de universele kromme definiëren zes secties, waarvan de sluitingen divisors $W_i$ opleveren. De auteurs relateren deze divisors aan de gradiënten van de zes oneven theta-functies, aangeduid als $G_1, \dots, G_6$.
3. Invariantentheorie en Covarianten: Het probleem wordt vertaald naar de taal van de klassieke invariantentheorie. Vectorwaardige modulaire vormen op $A_2[2]$ worden geïdentificeerd met covarianten van de werking van $GL_2$ op de ruimte $V^{\oplus 6}$ (zes lineaire vormen in twee variabelen). De ring van covarianten $C(V^{\oplus 6})$ is eindig gegenereerd (volgens de stelling van Gordan), terwijl de ring van modulaire vormen dat niet is.
4. De Homomorfismen $\mu$ en $\nu$:
   • Een homomorfisme $\mu: R(A_2[2]) \to C'(V^{\oplus 6})$ wordt gedefinieerd, dat modulaire vormen afbeeldt op covarianten met specifieke graadbeperkingen.
   • Een omgekeerd homomorfisme $\nu: C'(V^{\oplus 6}) \to R(A_2[2])[1/\chi_5]$ wordt geconstrueerd door de modulaire vormen $G_i$ (en theta-constanten) in de covariante polynomen te substitueren. Deze afbeelding landt in de ring van meromorfe modulaire vormen.
5. Criterium voor Holomorfie: Om de ring van holomorfe modulaire vormen te herstellen, stellen de auteurs een algebraïsch criterium voor regulariteit vast. Een covariante $C$ levert een holomorfe modulaire vorm op dan en slechts dan als zijn waardering $v_\pi(C)$ langs de randdivisors $H_\pi$ (corresponderend met partities van de zes punten) niet-negatief is voor alle partities $\pi$.

Belangrijkste Bijdragen en Resultaten

• Tautologische Vormen: Het artikel construeert "tautologische" vectorwaardige modulaire vormen gedefinieerd door divisors, coëfficiënten van de universele binomiale sextiek en gradiënten van oneven theta-functies. Specifiek dienen de vormen $G_i$ (gradiënten van oneven theta-functies) en $\chi_5$ (de vierkantswortel van de discriminant, product van even theta-constanten) als fundamentele bouwstenen.
• Expliciete Isomorfisme: De ring van vectorwaardige Siegel-modulaire vormen van niveau 2 wordt expliciet geïdentificeerd als een deelring van de eindig gegenereerde ring van covarianten:
  $$R(A_2[2]) \cong \{ c \in C'(V^{\oplus 6}) : v_\pi(c) \geq 0 \text{ voor alle } \pi \}$$
  Dit biedt een concrete beschrijving van een niet-eindig gegenereerde ring via een eindig gegenereerde omringende ring.
• Constructie van Specifieke Vormen: De auteurs demonstreren de methode door expliciete bases te construeren voor diverse ruimten van modulaire vormen (bijv. $S_{2,5}$, $S_{4,4}$, $S_{4,5}$, $S_{6,4}$). Zij berekenen Fourier-ontwikkelingen en Hecke-eigenwaarden voor deze vormen en verifiëren hun eigenschappen tegen bekende data (bijv. puntentelling over eindige velden).
• Intermediaire Niveau's: Het raamwerk wordt uitgebreid naar intermediaire niveaus tussen niveau 1 en niveau 2 (bijv. $A_2[w]$, de moduli van krommen met een gemarkeerd Weierstrass-punt). Door de universele binomiale sextiek te splitsen in factoren (bijv. een quintiek en een lineaire vorm), construeren de auteurs modulaire vormen voor deze intermediaire niveaus met behulp van covarianten van binomiale vormen van kleinere graad.

Betekenis
Het artikel stelt dat deze constructiemethode een "goede compensatie" biedt voor het ontbreken van een eindige verzameling generatoren voor de ring van vectorwaardige modulaire vormen van graad 2. Door de ring in te bedden in een eindig gegenereerde ring van covarianten, bieden de auteurs een systematische manier om alle modulaire vormen expliciet te genereren. Bovendien merken de auteurs op dat deze methode "klaarliggend is voor machineconstructie van modulaire vormen", wat de berekening van Fourier-ontwikkelingen en andere invarianten faciliteert. Het werk generaliseert eerdere resultaten over genus 2 (niveau 1) en genus 3-moduli, wat een pad suggereert om deze technieken uit te breiden naar genus 3. Het artikel claimt niet het probleem van eindige generatie op te lossen, maar eerder een praktische, expliciete beschrijving te bieden van de structuur en elementen van de ring.