Intersections of special cycles on Shimura curves and Siegel Maass forms

Aquí presento un resumen técnico detallado del artículo "Intersecciones de ciclos especiales en curvas de Shimura y formas de Maass de Siegel" de Jan Hendrik Bruinier, Yingkun Li y Martin Möller.

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de números y la geometría aritmética: el conteo y la distribución de puntos de intersección entre geodésicas cerradas en curvas de Shimura compactas.

• Contexto: Históricamente, se ha estudiado extensamente el conteo de geodésicas cerradas y puntos de Heegner (puntos CM) en curvas modulares y de Shimura, así como su distribución equitativa (resultados de Linnik, Duke, etc.). Sin embargo, el conteo de pares de geodésicas con discriminantes dados y un ángulo de intersección específico ha sido mucho menos explorado.
• Trabajo Previo: Rickards ([Ric23]) obtuvo resultados parciales para el conteo de puntos de intersección bajo condiciones de "admisibilidad" sobre los discriminantes, expresando el número como un producto de factores locales.
• La Pregunta Central: ¿Existe una estructura modular unificada que controle no solo el número de intersecciones, sino también la configuración geométrica de pares de geodésicas (intersecantes, con perpendicular común) y pares de puntos de Heegner, parametrizada por el ángulo o la distancia hiperbólica?

2. Metodología

Los autores emplean una combinación sofisticada de teoría de formas automorfas, representaciones de Weil y geometría hiperbólica:

1. Espacio Cuadrático y Retículos:

   • Se considera un álgebra de cuaterniones indefinida $B$ sobre $\mathbb{Q}$ y un orden de Eichler $O_M$.
   • Se define un espacio cuadrático racional $V$ de dimensión 3 y firma $(2,1)$ formado por los elementos de traza cero en $B$, con la forma cuadrática $Q(x) = -N(x)$.
   • Se construye un retículo par $L \subset V$ a partir del orden de Eichler.

2. Lift Theta (Elevación Theta):

   • Se define una función theta de Siegel de género 2, $\theta_L^{(2)}(\tau, z)$, asociada al retículo $L$. Esta es una forma automorfa no holomorfa en la variable "ortogonal" $z$ (en el semiplano superior de Siegel $H_2$) y en la variable "metaplectica" $\tau$ (en el espacio simétrico de la curva de Shimura).
   • Se construye una integral theta $I(\tau, f)$ integrando el producto de una forma de Maass $f$ (sobre la curva de Shimura $X$) y la función theta:
     $$I(\tau, f) = \int_{\Gamma_M \backslash \mathbb{H}} f(z) \theta_L^{(2)}(\tau, z) \, d\mu(z)$$
   • El resultado principal se demuestra primero para el caso $f=1$ (función constante) y luego se generaliza a formas de Maass arbitrarias.

3. Fórmula de Siegel-Weil:

   • Para el caso $f=1$, la integral theta se identifica, mediante la fórmula de Siegel-Weil, con una serie de Eisenstein de Siegel de peso $1/2$ y género 2.
   • Los coeficientes de Fourier de esta serie de Eisenstein se calculan utilizando funciones de Whittaker locales explícitas (fórmulas de Kudla y Yang).

4. Análisis de Coeficientes de Fourier y Expansión Taylor:

   • Para $f$ general, los autores analizan los coeficientes de Fourier $F_T(v)$ de la forma de Maass de Siegel resultante.
   • Descomponen estos coeficientes en términos de caracteres del grupo ortogonal $SO(T)$ asociado a la matriz de índice $T$.
   • Introducen una expansión de Taylor geodésica para la forma de Maass $f$ en puntos de Heegner y a lo largo de ciclos geodésicos, utilizando funciones de Legendre y coordenadas polares geodésicas.

3. Contribuciones Clave y Resultados Principales

A. Teorema 1.1: La Forma de Maass de Siegel Generadora

Los autores demuestran que la serie generadora del número total de intersecciones (y configuraciones geométricas relacionadas) de geodésicas con discriminantes $D_1, D_2$ y ángulo $\theta$ (o distancia común) es un coeficiente de Fourier de una forma de Maass de Siegel de género 2 y peso 1/2, denotada como $G(\tau)$.

• Matriz de Índice: Los coeficientes están indexados por matrices simétricas $T = \begin{pmatrix} D_1 & b \\ b & D_2 \end{pmatrix}$, donde $b = \cos(\theta)\sqrt{D_1 D_2}$.
• Interpretación Geométrica Unificada: El coeficiente $T$-ésimo codifica cuatro casos geométricos distintos según la firma de $T$:
  1. $T$ definida positiva: Intersección de dos geodésicas con ángulo $\theta$.
  2. $T$ indefinida ($D_1, D_2 > 0$): Dos geodésicas no intersecantes con una perpendicular común de longitud $\ell$ tal que $\cosh(\ell) = b/\sqrt{D_1 D_2}$.
  3. $T$ indefinida ($D_1 > 0 > D_2$): Una geodésica y un punto de Heegner con distancia $\ell$ tal que $\sinh(\ell) = b/\sqrt{-D_1 D_2}$.
  4. $T$ indefinida ($D_1, D_2 < 0$): Dos puntos de Heegner con distancia $\ell$ tal que $\cosh(\ell) = b/\sqrt{D_1 D_2}$.

B. Teorema 1.2: Descomposición en Coeficientes de Taylor Geodésicos

Para una forma de Maass general $f$, el coeficiente de Fourier $T$-ésimo de la integral theta se expresa como un producto de:

1. Una función de Whittaker explícita $W_{B,n}(v, s)$ (dependiendo de la firma de $T$).
2. Una suma sobre los ciclos especiales $x \in R_T$ de los coeficientes de Taylor geodésicos de $f$ evaluados en los puntos de intersección (o puntos de Heegner) correspondientes.

Esto generaliza el resultado de Rickards, proporcionando una explicación teórica profunda para la factorización de los números de conteo en factores locales.

C. Recuperación y Generalización de Rickards

Al aplicar el caso $f=1$ (donde todos los coeficientes de Taylor no nulos son 1), recuperan la fórmula de Rickards para el conteo de intersecciones. Además, su enfoque permite generalizar estos resultados a estructuras de nivel más generales y proporciona una interpretación geométrica de todos los coeficientes de Fourier, no solo del término principal.

D. Acción de Hecke

En la Sección 4, los autores establecen la compatibilidad de la elevación theta con la acción de los operadores de Hecke. Demuestran que si $f$ es una forma propia de Hecke, entonces la integral theta $I(\tau, f)$ es también una forma propia de Hecke para los operadores de Hecke de género 2, relacionando explícitamente los eigenvalores.

4. Significado e Impacto

• Unificación Geométrico-Aritmética: El trabajo conecta directamente la geometría hiperbólica (ángulos de intersección, distancias entre geodésicas y puntos) con la teoría de formas modulares de Siegel de género 2. Proporciona un "marco único" (una sola forma de Maass) para contar todas estas configuraciones.
• Analogía con Gross-Zagier: Los autores destacan una analogía profunda entre sus resultados y la fórmula de Gross-Zagier. Mientras que Gross-Zagier relaciona la derivada de una serie de Eisenstein de peso 3/2 con alturas de puntos de Heegner (diferencias de módulos singulares), este trabajo relaciona el valor de una serie de Eisenstein de peso 1/2 con grados de ciclos especiales (intersecciones de geodésicas).
• Nuevas Herramientas: La introducción de la expansión de Taylor geodésica y su relación con las funciones de Whittaker de Siegel abre nuevas vías para estudiar formas de Maass no holomorfas y sus coeficientes de Fourier en contextos de género superior.
• Conexión con la Conjetura de Darmon-Vonk: El artículo sugiere que su enfoque de elevación theta podría adaptarse para estudiar intersecciones con signo, lo cual podría ser clave para conectar con las conjeturas aritméticas sobre módulos singulares reales propuestas por Darmon y Vonk.

En resumen, el artículo establece un puente robusto entre la geometría de las curvas de Shimura y la teoría de formas automorfas de Siegel, resolviendo problemas de conteo geométrico mediante el análisis espectral de formas de Maass y proporcionando una generalización poderosa de resultados clásicos de Rickards.