Tautological modular forms of level two and degree two

Resumo Técnico: Formas Modulares Tautológicas de Nível Dois e Grau Dois

Enunciado do Problema
O artigo aborda a construção e a descrição explícita do anel de formas modulares de Siegel com valores vetoriais de grau 2 e nível 2, denotado por $R(A_2[2])$. Diferentemente do caso de nível 1, onde o anel de formas modulares é finitamente gerado (por séries de Eisenstein $E_4, E_6$ para curvas elípticas ou formas específicas para gênero 2), sabe-se que o anel de formas modulares com valores vetoriais para grau 2 não é finitamente gerado (Grundh [2]). Os autores buscam um método para descrever este anel não finitamente gerado utilizando formas "tautológicas" — formas intimamente conectadas à interpretação de módulos do espaço — e para mergulhar este anel em uma estrutura finitamente gerada, facilitando o cálculo explícito.

Metodologia
Os autores empregam uma abordagem geométrica que combina a teoria de pilhas de módulos, teoria dos invariantes e funções theta.

1. Interpretação da Pilha de Módulos: O espaço de módulos $A_2[2]$ de superfícies abelianas polarizadas principalmente com estrutura de nível 2 completa é interpretado como um quociente de pilha. Especificamente, o espaço de módulos $M_2[2]$ de curvas de gênero 2 com pontos de Weierstrass marcados é identificado com a pilha $[P/GL_2]$, onde $P$ é o espaço de pares $(p_1, \dots, p_6, f)$ consistindo em seis pontos em $\mathbb{P}^1$ e uma sextica binária $f$ que se anula nesses pontos. O grupo simétrico $S_6 \cong Sp(4, \mathbb{Z}/2\mathbb{Z})$ atua neste espaço permutando os seis pontos de Weierstrass.
2. Construção Geométrica das Formas: Os autores constroem formas modulares com valores vetoriais interpretando divisores no fibrado de Hodge projetivizado $\mathbb{P}(E)$. Os seis pontos de Weierstrass na curva universal definem seis seções, cujos fechos produzem divisores $W_i$. Os autores relacionam estes divisores aos gradientes das seis funções theta ímpares, denotados por $G_1, \dots, G_6$.
3. Teoria dos Invariantes e Covariantes: O problema é traduzido para a linguagem da teoria clássica dos invariantes. Formas modulares com valores vetoriais em $A_2[2]$ são identificadas com covariantes da ação de $GL_2$ no espaço $V^{\oplus 6}$ (seis formas lineares em duas variáveis). O anel de covariantes $C(V^{\oplus 6})$ é finitamente gerado (pelo teorema de Gordan), enquanto o anel de formas modulares não o é.
4. O Homomorfismo $\mu$ e $\nu$:
   • Um homomorfismo $\mu: R(A_2[2]) \to C'(V^{\oplus 6})$ é definido, mapeando formas modulares para covariantes com restrições específicas de grau.
   • Um homomorfismo reverso $\nu: C'(V^{\oplus 6}) \to R(A_2[2])[1/\chi_5]$ é construído substituindo as formas modulares $G_i$ (e constantes theta) nos polinômios covariantes. Este mapa tem imagem no anel de formas modulares meromorfas.
5. Critério de Holomorfia: Para recuperar o anel de formas modulares holomorfas, os autores estabelecem um critério algébrico para regularidade. Um covariante $C$ produz uma forma modular holomorfa se e somente se sua valoração $v_\pi(C)$ ao longo dos divisores de fronteira $H_\pi$ (correspondentes a partições dos seis pontos) for não negativa para todas as partições $\pi$.

Principais Contribuições e Resultados

• Formas Tautológicas: O artigo constrói formas modulares com valores vetoriais "tautológicas" definidas por divisores, coeficientes da sextica binária universal e gradientes de funções theta ímpares. Especificamente, as formas $G_i$ (gradientes de funções theta ímpares) e $\chi_5$ (a raiz quadrada do discriminante, produto de constantes theta pares) servem como blocos fundamentais.
• Isomorfismo Explícito: O anel de formas modulares de Siegel com valores vetoriais de nível 2 é explicitamente identificado como um subanel do anel finitamente gerado de covariantes:
  $$R(A_2[2]) \cong \{ c \in C'(V^{\oplus 6}) : v_\pi(c) \geq 0 \text{ para todo } \pi \}$$
  Isso fornece uma descrição concreta de um anel não finitamente gerado via um anel ambiente finitamente gerado.
• Construção de Formas Específicas: Os autores demonstram o método construindo bases explícitas para vários espaços de formas modulares (por exemplo, $S_{2,5}$, $S_{4,4}$, $S_{4,5}$, $S_{6,4}$). Eles calculam expansões de Fourier e autovalores de Hecke para estas formas, verificando suas propriedades contra dados conhecidos (por exemplo, contagem de pontos sobre corpos finitos).
• Níveis Intermediários: A estrutura é estendida para níveis intermediários entre nível 1 e nível 2 (por exemplo, $A_2[w]$, o módulo de curvas com um ponto de Weierstrass marcado). Ao dividir a sextica binária universal em fatores (por exemplo, uma quintica e uma forma linear), os autores constroem formas modulares para estes níveis intermediários usando covariantes de formas binárias de grau menor.

Significância
O artigo afirma que este método de construção oferece uma "boa compensação" para a falta de um conjunto finito de geradores para o anel de formas modulares com valores vetoriais de grau 2. Ao mergulhar o anel em um anel finitamente gerado de covariantes, os autores fornecem uma maneira sistemática de gerar todas as formas modulares explicitamente. Além disso, os autores observam que este método está "pronto para a construção mecânica de formas modulares", facilitando o cálculo de expansões de Fourier e outros invariantes. O trabalho generaliza resultados anteriores sobre gênero 2 (nível 1) e módulos de gênero 3, sugerindo um caminho para estender estas técnicas ao gênero 3. O artigo não afirma resolver o problema da geração finita, mas sim fornecer uma descrição prática e explícita da estrutura e dos elementos do anel.