Theta correspondence and the Borisov-Gunnells relations

Resumo Técnico: Correspondência Theta e as Relações de Borisov-Gunnells

Enunciado do Problema
Este artigo investiga a correspondência theta geométrica da primeira homologia de uma curva modular $Y_1(N)$ para o espaço de formas modulares holomorfas de peso 2, $M_2(\Gamma_1(N))$. O objetivo primário é avaliar explicitamente esta correspondência sobre geradores específicos do grupo de homologia — a saber, símbolos modulares, tampões modulares (modular caps) e ciclos hiperbólicos — para recuperar e explicar resultados conhecidos relativos aos conjuntos geradores de formas modulares. Especificamente, o autor busca esclarecer a relação entre o trabalho de Borisov e Gunnells, que descreveram o espaço de novas formas (newforms) de rank 0 e séries de Eisenstein usando produtos de séries de Eisenstein de peso 1, e o trabalho de Li, que descreveu espaços similares usando restrições diagonais de séries de Hilbert-Eisenstein. Um objetivo secundário é utilizar este arcabouço geométrico para derivar relações lineares entre séries de Eisenstein.

Metodologia
A metodologia baseia-se na construção de uma forma diferencial fechada $E(z, \tau)$ na curva modular, valorada em formas modulares de peso 2. Esta construção combina ideias de Bergeron-Charollois-Garcia e Kudla-Millson, utilizando o formalismo de Mathai-Quillen e a representação de Weil.

1. Configuração Geométrica: O autor considera a compactificação de Borel-Serre $Y_1(N)^{BS}$ da curva modular. A homologia $H_1(Y_1(N); \mathbb{C})$ é decomposta, seguindo Stevens, em uma soma direta do espaço de tampões modulares fechados $C(C)$ e do espaço de símbolos modulares de grau 0 $MS_0(\mathbb{C})$.
2. Levantamento Theta (Theta Lift): O mapa $E: H_1(Y_1(N); \mathbb{C}) \to M_2(\Gamma_1(N))$ é definido pela integração da forma diferencial $E(z, \tau)$ sobre 1-ciclos. A forma é construída através do pushforward de uma série theta associada a um cosseno de rede $L_{1,0}$ no espaço de matrizes $2 \times 2$.
3. Avaliação Explícita:
   • Tampões Modulares (Modular Caps): A integral sobre um tampão modular fechado $C_r$ no ponto de cúspide $r$ é computada analisando o termo constante da forma na fronteira.
   • Símbolos Modulares: A integral sobre símbolos unimodulares é computada usando a soma de Poisson e a restrição das séries theta a geodésicas.
   • Ciclos Hiperbólicos: Usando o algoritmo de frações contínuas de Stevens, os ciclos hiperbólicos $Z_\gamma$ são decompostos em combinações lineares de tampões modulares e símbolos unimodulares. A integral é então avaliada termo a termo.
4. Análise Espectral: A imagem do levantamento theta é analisada usando a decomposição espectral da cohomologia, relacionando o levantamento a novas formas com valores $L$ não nulos em $s=1$ e séries de Eisenstein.

Principais Contribuições e Resultados

• Avaliação em Geradores de Homologia (Teorema 1.4):

  • A integral do levantamento theta sobre um tampão modular fechado $C_r$ (onde $r = \gamma \infty$) produz uma série de Eisenstein de peso 2 $H^{(2)}_{d, -c}(\tau)$.
  • A integral sobre um símbolo unimodular $M = \gamma\{0, \infty\}$ produz o produto de duas séries de Eisenstein de peso 1, especificamente $-G^{(1)}_d(\tau)G^{(1)}_c(\tau)$.

• Conjuntos Geradores e o Resultado de Li (Teoremas 1.2, 1.3 e 3.15):

  • A imagem do levantamento theta, $\text{Im}(E)$, contém o subespaço gerado por séries de Eisenstein de peso 2 $H^{(2)}$ e o subespaço de novas formas de rank 0 ($S^{new}_{2, rk=0}$). Quando $N$ é primo, esta inclusão é uma igualdade.
  • Ao avaliar o levantamento sobre ciclos hiperbólicos $Z_\gamma$, o autor recupera o resultado de Li: o espaço $S^{new}_{2, rk=0}$ é gerado pelas restrições diagonais de séries de Hilbert-Eisenstein $E^{(1)}_{1, f_\gamma}(\tau, \tau)$.
  • O artigo estabelece que $\text{Im}(E)$ está contido no subespaço gerado por séries de Eisenstein de peso 2 e produtos de séries de Eisenstein de peso 1 ($H^{(1,1)}$), fornecendo assim uma explicação geométrica para o conjunto gerador descrito por Borisov e Gunnells.

• Relações entre Séries de Eisenstein (Teorema 1.6 e 4.10):

  • Ao considerar um triângulo hiperbólico $T$ na compactificação de Borel-Serre cuja fronteira consiste em três símbolos unimodulares e três tampões modulares, o autor explora o fato de que a fronteira é homóloga a zero ($\partial T = 0$).
  • Isto resulta na relação:
    $$G^{(1)}_a G^{(1)}_b + G^{(1)}_b G^{(1)}_c + G^{(1)}_c G^{(1)}_a = G^{(2)}_a + G^{(2)}_b + G^{(2)}_c$$
    para inteiros $a, b, c$ satisfazendo $a+b+c \equiv 0 \pmod N$ e não nulos módulo $N$. Isto fornece uma prova geométrica de relações anteriormente estabelecidas por Borisov e Gunnells.

Significância
O artigo afirma sua significância ao fornecer um arcabouço geométrico unificado que conecta duas descrições distintas de espaços de formas modulares:

1. Ele explica as relações de Borisov-Gunnells (produtos de séries de Eisenstein de peso 1) e os resultados de Li (restrições diagonais de séries de Hilbert-Eisenstein) como consequências naturais da avaliação de um único levantamento theta geométrico sobre diferentes geradores de homologia.
2. Oferece uma prova geométrica de relações lineares específicas entre séries de Eisenstein de pesos 1 e 2, derivadas diretamente da topologia da curva modular e das propriedades do levantamento theta, em vez de manipulações puramente analíticas.
3. Esclarece o papel da compactificação de Borel-Serre e dos tampões modulares na teoria dos símbolos modulares, demonstrando como os termos de fronteira (tampões) correspondem a séries de Eisenstein enquanto os termos interiores (símbolos) correspondem a produtos de séries de peso inferior.

O autor observa que, embora os resultados relativos aos conjuntos geradores sejam semelhantes à literatura existente (especificamente [BG01] e [Li17]), a contribuição reside na derivação via correspondência theta e na interpretação geométrica explícita dos coeficientes de Fourier e das integrais.