Gross's conjecture: the dihedral case

Resumen Técnico: La Conjetura de Gross: El Caso Diedro

Planteamiento del Problema
El artículo aborda una conjetura propuesta por Gross en el año 2000 sobre la estructura aritmética de las formas modulares cuaterniónicas en el grupo simple dividido $G_2$. Mientras que Waldspurger estableció una relación profunda entre los coeficientes de Fourier de las formas modulares de peso semientero y los valores $L$ de las torsiones cuadráticas de formas de peso entero, Gross conjeturó una relación análoga para las formas modulares cuaterniónicas en $G_2$. Específicamente, predijo que los coeficientes de Fourier de estas formas, los cuales están indexados por anillos cúbicos totalmente reales, codifican los valores centrales $L$ ($s=1/2$) de las torsiones cúbicas de formas modulares holomorfas asociadas en $PGL_2$.

Antes de este trabajo, la conjetura se conocía solo en casos específicos no cuspidales (por ejemplo, series de Eisenstein) o para álgebras cúbicas muy restringidas. El desafío principal radicaba en la falta de ejemplos cuspidales donde la conjetura pudiera verificarse, particularmente porque las formas modulares asociadas suelen tener niveles no libres de cuadrados, lo que complica la aplicación de las técnicas existentes de levantamiento theta.

Metodología
Los autores demuestran la conjetura para el "caso diedro", donde la forma modular holomorfa subyacente $f$ está asociada con un carácter de Hecke conjugado-simpléctico $\chi$ de un cuerpo cuadrático imaginario $K$. La metodología se basa en la construcción de formas modulares cuaterniónicas mediante un levantamiento theta excepcional y el subsiguiente cálculo explícito de sus coeficientes de Fourier.

1. Construcción del Levantamiento Theta: Los autores construyen la forma modular cuaterniónica cuspidal $F_\epsilon$ en $G_2$ como un levantamiento theta desde un grupo unitario compacto $G' = PU_3$ (asociado con $K$) hacia $G_2$. Este levantamiento utiliza núcleos theta en una forma adjunta cuasi-partida de $E_6$. La representación $\pi_\epsilon$ de $G_2$ está asociada con una representación autóforma cuspidal $\sigma_\epsilon$ de $G'$ a través de las conjeturas de Arthur, las cuales los autores habían establecido previamente de forma incondicional para este caso.
2. Análisis de los Coeficientes de Fourier: El coeficiente de Fourier $a_E(F_\epsilon)$ está relacionado con un periodo autóforma en $G'$. Mediante el análisis del núcleo theta a lo largo del radical unipotente del parabólico de Heisenberg de $E_6$, los autores derivan una fórmula integral (Ecuación 1.2) que expresa el coeficiente de Fourier como un producto de un periodo de toro global $P_i(f')$ en $G'$ y un producto de integrales locales $I_v$.
3. Identidad de Seesaw y Periodos: Se emplea un diagrama de "seesaw" (balancín) que involucra grupos unitarios sobre $K$ y álgebras cúbicas $E$ para relacionar el cuadrado del periodo global $|P_i(f')|^2$ con el valor $L(1/2, f \otimes V_E)$, donde $V_E$ es la representación de Artin de 2 dimensiones asociada con el álgebra cúbica $E$. Este paso utiliza cálculos explícitos de T. Yang respecto a los levantamientos theta desde grupos unitarios hacia grupos ortogonales.
4. Cálculo de la Integral Local: La contribución técnica central involucra el cálculo explícito de las integrales locales $I_v(E_v, \phi_v, f'_v)$ en todos los lugares:
   • Lugares no ramificados ($p \nmid N$): Los autores utilizan vectores esféricos y demuestran que la integral es no nula (y es igual a 1) solo si el álgebra cúbica es no ramificada y máxima, reduciendo el problema a una afirmación de teoría de grupos sobre conjugados de inserciones de álgebras (Lema 4.5).
   • Lugares ramificados ($p \mid N$): Los autores construyen "vectores de prueba" específicos (vectores locales $\phi_p$ y $f'_p$) tales que la integral local actúa como una función característica: es igual a 1 si la condición de signo local $\epsilon_p = \epsilon_p(E_p, \chi_p)$ se cumple, y 0 de lo contrario. Esto resuelve las obstrucciones locales que impiden que el coeficiente de Fourier se anule.
   • Lugares arquimedianos: El cálculo se basa en la teoría de las series discretas cuaterniónicas y la representación mínima de $E_6$. Los autores definen operadores de elevación específicos para construir vectores de peso máximo y calcular las integrales resultantes utilizando funciones de Bessel y propiedades de la construcción de Freudenthal.

Contribuciones Clave y Resultados
El artículo establece la primera prueba incondicional de la conjetura de Gross para una clase de formas modulares cuaterniónicas cuspidales.

• Teorema Principal (Teorema 1.2 / Teorema 3.14): Para una forma modular diedra $f$ de peso par $2k$ asociada con un carácter de Hecke $\chi$ (con $L(1/2, \chi) \neq 0$), existe una forma modular cuaterniónica $F_\epsilon$ en $G_2$ tal que para cualquier álgebra étale cúbica totalmente real $E/\mathbb{Q}$ con anillo de enteros $\mathcal{O}_E$:
  $$|a_E(F_\epsilon)|^2 = L(1/2, f \otimes V_E) \cdot \Delta_E^{(k-1)/2}$$
  siempre que se cumplan las condiciones de signo local $\epsilon_p = \epsilon_p(E_p, \chi_p)$ para todos los primos $p$ que dividen el nivel de $f$. Si estas condiciones no se cumplen, el coeficiente de Fourier se anula.
• Integrales Locales Explícitas: El artículo proporciona una evaluación completa de las integrales locales que surgen del levantamiento theta, incluyendo una novedosa construcción de vectores de prueba en primos ramificados que aíslan signos locales específicos.
• Generalización a Cuerpos Totalmente Reales: Aunque la introducción se centra en $\mathbb{Q}$, los autores señalan que sus métodos se generalizan a cuerpos totalmente reales $F$ y formas modulares de Hilbert diedras (Teorema 3.14).

Significado
El artículo afirma su importancia como los primeros ejemplos para los cuales se conoce que la conjetura de Gross se cumple. Cierra la brecha entre la teoría de las formas modulares cuaterniónicas en $G_2$ y la aritmética de las torsiones cúbicas de formas modulares.

Los autores enfatizan que su resultado es consistente con el trabajo previo de Pollack, que muestra que los coeficientes de Fourier de tales formas residen en extensiones abelianas ($\mathbb{Q}^{ab}$). Al relacionar los coeficientes con los valores $L$ de las torsiones de formas diedras (que se sabe que tienen periodos en $\mathbb{Q}^{ab}$ a través del trabajo de Blasius), el artículo confirma la naturaleza aritmética de estos coeficientes.

El trabajo también clarifica el papel de las obstrucciones locales: a diferencia del contexto del levantamiento de Shimura clásico, donde los coeficientes son no nulos para todas las torsiones cuadráticas, el caso cuaterniónico requiere que se cumplan condiciones de signo local específicas ($\epsilon_p$) para que los coeficientes de Fourier sean no nulos. Este artículo proporciona el mecanismo preciso (mediante la elección de vectores de prueba en el levantamiento theta) para satisfacer estas condiciones y extraer los valores $L$.

Los autores mantienen un tono modesto respecto al alcance, señalando que sus resultados se aplican específicamente al caso diedro y que el caso general para formas no diedras permanece abierto. No pretenden resolver la conjetura completa para todas las formas modulares, sino proporcionar la prueba fundacional para la primera clase no trivial de ejemplos.