Intersections of special cycles on Shimura curves and Siegel Maass forms

Título: Interseções de Ciclos Especiais em Curvas de Shimura e Formas de Maass de Siegel

1. O Problema

O artigo aborda um problema fundamental na teoria dos números e na geometria aritmética: o cálculo e a compreensão da distribuição de pontos de interseção entre geodésicas fechadas em curvas de Shimura compactas.

• Contexto Histórico: O número de geodésicas fechadas e pontos de Heegner de um dado discriminante em curvas modulares e de Shimura tem sido estudado extensivamente (Siegel, Linnik, Duke). Uma técnica chave envolve interpretar somas de avaliações de formas de Maass nesses pontos como coeficientes de Fourier de formas de Maass de peso 1/2 (via levantamentos theta, seguindo Maass e Katok-Sarnak).
• A Lacuna: Enquanto o caso de pontos de Heegner e geodésicas individuais é bem compreendido, o problema de contar pares de geodésicas que se intersectam em um ângulo específico (ou têm uma distância perpendicular comum) é muito menos explorado.
• Trabalho Prévio: Rickards ([Ric23]) calculou o número de pontos de interseção para curvas modulares sob certas condições de "admissibilidade" dos discriminantes, obtendo uma expressão em termos de fatores locais.
• Objetivo: Generalizar os resultados de Rickards para curvas de Shimura compactas gerais, fornecer uma explicação teórica para a fatorização dos contagens e tratar casos mais gerais (incluindo geodésicas não intersectantes e pares geodésica-ponto de Heegner) através de uma estrutura unificada.

2. Metodologia

Os autores utilizam uma abordagem baseada na correspondência de theta (theta lift) e na fórmula de Siegel-Weil.

1. Configuração Geométrica:

   • Considera-se uma álgebra de quaternions indefinida $B$ sobre $\mathbb{Q}$ e uma ordem de Eichler $O_M$.
   • A curva de Shimura $X = \Gamma_M \backslash \mathbb{H}$ é definida a partir do grupo de unidades de norma 1.
   • Define-se um espaço quadrático racional $V$ de assinatura $(2,1)$ (elementos de traço zero em $B$ com a forma quadrática $Q(x) = -N(x)$).
   • Pares de vetores em uma rede $L \subset V$ correspondem a pares de ciclos especiais: geodésicas (vetores com $Q(x)>0$) e pontos de Heegner (vetores com $Q(x)<0$).

2. Levantamento Theta (Theta Lift):

   • Os autores constroem uma integral de theta $I(\tau, f)$, onde $f$ é uma forma de Maass de peso 0 na curva de Shimura e $\theta_L^{(2)}$ é uma função theta de Siegel de gênero 2 associada à rede $L$.
   • A integral é definida como:
     $$I(\tau, f) = \int_{\Gamma_M \backslash \mathbb{H}} f(z) \theta_L^{(2)}(\tau, z) \, d\mu(z)$$
   • Eles provam que $I(\tau, f)$ é uma forma de Maass de Siegel de gênero 2 e peso 1/2.

3. Análise dos Coeficientes de Fourier:

   • A expansão de Fourier da forma de Maass resultante é dada por:
     $$F(\tau) = \sum_{T \in \text{Sym}_2(\mathbb{Q})} F_T(v) e(\text{tr}(Tu))$$
   • O índice $T$ é uma matriz simétrica $2 \times 2$ definida pelos discriminantes e pelo "produto interno" (relacionado ao ângulo de interseção ou distância) dos ciclos.
   • Os autores realizam uma análise fina dos coeficientes $F_T(v)$, decompondo-os em termos de funções de Whittaker generalizadas e coeficientes de Taylor geodésicos da forma de Maass $f$ nos pontos de interseção.

4. Caso Constante e Fórmula de Siegel-Weil:

   • Para o caso específico onde $f=1$ (função constante), a integral de theta é identificada com uma série de Eisenstein de Siegel de peso 1/2 e gênero 2 via a fórmula de Siegel-Weil.
   • Isso permite calcular explicitamente os coeficientes de Fourier não-archimedianos como produtos de funções de Whittaker locais, recuperando e generalizando a fórmula de Rickards.

3. Principais Contribuições e Resultados

A. Teorema Principal de Contagem (Teorema 1.1)

Os autores demonstram que o número total de pontos de interseção (ou configurações geométricas análogas) de dois ciclos especiais com discriminantes $D_1, D_2$ e um parâmetro de acoplamento $b$ (relacionado ao ângulo $\theta$ ou distância hiperbólica) é essencialmente o coeficiente de Fourier de uma forma de Maass de Siegel de gênero 2.

Existem quatro casos geométricos cobertos por uma única fórmula, dependendo da assinatura da matriz $T = \begin{pmatrix} D_1 & b \\ b & D_2 \end{pmatrix}$:

1. $T$ definida positiva: Interseção de duas geodésicas com ângulo $\theta$ tal que $\cos(\theta) = b/\sqrt{D_1 D_2}$.
2. $T$ indefinida ($D_1, D_2 > 0$): Duas geodésicas não intersectantes com uma perpendicular comum de comprimento $\ell$ tal que $\cosh(\ell) = b/\sqrt{D_1 D_2}$.
3. $T$ indefinida ($D_1 > 0 > D_2$): Um par de uma geodésica e um ponto de Heegner com distância perpendicular $\ell$ tal que $\sinh(\ell) = b/\sqrt{-D_1 D_2}$.
4. $T$ indefinida ($D_1, D_2 < 0$): Dois pontos de Heegner com distância geodésica $\ell$ tal que $\cosh(\ell) = b/\sqrt{D_1 D_2}$.

O número de tais configurações, denotado por $|R_T|$, é dado por um produto de fatores locais explícitos (Teorema 2.6 e Teorema 5.10).

B. Expansão de Taylor Geodésica e Funções de Whittaker (Teorema 1.2)

Para uma forma de Maass geral $f$ (não necessariamente constante), os coeficientes de Fourier da integral de theta são expressos como:
$$I_{T,n}(v, f) = W_{B,n}^{+,+}(v, s) \cdot \sum_{x \in R_T} f_{-2n}(z_x)$$
Onde:

• $W_{B,n}^{+,+}$ é uma função de Whittaker explícita dependente do espectro de $f$ ($\lambda = s(1-s)$).
• $f_{-2n}(z_x)$ são os coeficientes de Taylor geodésicos da forma $f$ nos pontos de interseção $z_x$.
• Isso generaliza o resultado de Katok-Sarnak, conectando médias de formas de Maass em ciclos especiais a coeficientes de formas de Siegel.

C. Ação de Hecke (Seção 4)

Os autores estabelecem a compatibilidade da construção com a ação dos operadores de Hecke. Eles provam que se $f$ é uma forma própria de Hecke na curva de Shimura, então a integral de theta $I(\tau, f)$ é uma forma própria de Hecke no espaço de formas de Siegel de gênero 2. Eles fornecem fórmulas explícitas relacionando os autovalores de Hecke no lado ortogonal (curva de Shimura) com os do lado simplético (gênero 2), utilizando o mapa de Rallis-Zhuravlev.

D. Generalização de Rickards (Seção 5)

Utilizando a fórmula de Siegel-Weil, os autores derivam uma nova prova e uma generalização do resultado de Rickards para o número de interseções de geodésicas. Eles fornecem uma fórmula explícita para os fatores locais $N_p$ em termos de densidades locais e invariantes de Hasse, cobrindo casos de níveis arbitrários e discriminantes de álgebras de quaternions.

4. Significado e Impacto

• Unificação Geométrica: O trabalho unifica quatro cenários geométricos distintos (interseção, distância comum, distância ponto-geodésica, distância ponto-ponto) sob a estrutura de uma única forma modular de Siegel de gênero 2.
• Generalização de Resultados Clássicos: Estende os resultados de contagem de Rickards (que eram limitados a curvas modulares e condições de admissibilidade) para curvas de Shimura compactas gerais e remove restrições de admissibilidade através de uma análise de fatores locais mais refinada.
• Conexão com Teoria de Representação: A demonstração de que as médias de formas de Maass sobre ciclos especiais geram formas de Siegel de Maass reforça a profundidade da correspondência de theta e fornece novas ferramentas para estudar a distribuição de ciclos especiais.
• Analogia com Gross-Zagier: O artigo destaca uma analogia profunda entre a fórmula de Rickards para interseções de geodésicas (discriminantes positivos) e a fórmula de Gross-Zagier para normas de diferenças de módulos singulares (discriminantes negativos). Ambos envolvem decomposições segundo "acoplamento $b$" e estão ligados a coeficientes de Fourier de séries de Eisenstein de Siegel (embora de pesos diferentes: 1/2 vs 3/2).
• Aplicações Futuras: Os autores sugerem que suas técnicas podem ser adaptadas para estudar interseções com sinais (úteis para analogias reais quadráticas de módulos singulares propostas por Darmon-Vonk) e para formas modulares meromorfas.

Em resumo, o artigo estabelece uma ponte robusta entre a geometria hiperbólica de curvas de Shimura e a teoria de formas modulares de Siegel de gênero 2, fornecendo ferramentas analíticas poderosas para contar e distribuir ciclos especiais em contextos aritméticos complexos.