The tower property on the genericity of global theta lifts

Resumen Técnico: La Propiedad de la Torre sobre la Genericidad de los Levantamientos Theta Globales

Enunciado del Problema
El artículo investiga el comportamiento de los levantamientos theta globales entre pares duales de grupos clásicos reductivos, centrándose específicamente en la preservación de la genericidad (la existencia de períodos de Whittaker no nulos) a lo largo de la "torre de Witt" de espacios. Si bien la propiedad de la torre de Rallis (establecida en la década de 1980) resolvió las cuestiones de cuspidalidad y no nulo para los levantamientos theta globales, el comportamiento específico de la genericidad —si la primera ocurrencia de un levantamiento no nulo preserva la naturaleza genérica de la representación fuente— permaneció como una pregunta abierta central. Los autores buscan determinar las condiciones precisas bajo las cuales la primera ocurrencia de un levantamiento theta global es genérica, extendiendo resultados anteriores que a menudo se limitaban a grupos divididos o representaciones "fuertemente genéricas".

Metodología
Los autores emplean una síntesis de técnicas locales y globales arraigadas en la teoría de formas automorfas:

1. Análisis Local (Anulación de Levantamientos Theta):

   • El artículo calcula los módulos de Jacquet torcidos de la representación de Weil local con respecto a subgrupos unipotentes y caracteres específicos (tipos de Bessel y Fourier-Jacobi).
   • Mediante el análisis de la acción de la representación de Weil en modelos mixtos, los autores demuestran que los levantamientos theta locales se anulan en ciertos rangos (específicamente cuando la dimensión del espacio objetivo es demasiado grande en relación con la fuente). Esto establece los límites de la "primera ocurrencia".

2. Integrales de Período Globales y Funciones L:

   • La estrategia central consiste en relacionar la no nulidad de los levantamientos theta globales con las propiedades analíticas de las funciones L (específicamente polos en $s=1$ o $s=1/2$).
   • Los autores construyen integrales de Rankin-Selberg (modificadas de la literatura existente para adaptarse a grupos cuasi-divididos) que se desarrollan para representar funciones L parciales.
   • Establecen identidades entre estas integrales globales y períodos especiales de Bessel (para grupos ortogonales) y períodos especiales de Fourier-Jacobi (para grupos simplécticos/metaplécticos).

3. La Fórmula del Producto Interno de Rallis:

   • Para vincular la no nulidad del levantamiento theta con el polo de la función L, los autores utilizan la fórmula del producto interno de Rallis en el rango de primera ocurrencia.
   • Crucialmente, incorporan la teoría de integrales de zeta locales de doblez desarrollada por Yamana. Esto les permite deducir que la no nulidad del levantamiento implica genericidad sin requerir que el levantamiento sea genérico a priori, una condición que los métodos anteriores (que dependían de comparar factores L locales) a menudo necesitaban.

4. Manejo de Grupos Cuasi-Divididos vs. Divididos:

   • El artículo aborda las sutilezas técnicas que surgen al trabajar con grupos ortogonales cuasi-divididos pero no divididos ($SO_{2n}$ donde el discriminante es no trivial), distinguiendo su enfoque de trabajos previos sobre grupos divididos.
   • Utilizan funtores de restricción e inducción para transferir resultados entre grupos ortogonales ($O_{2n}$) y grupos ortogonales especiales ($SO_{2n}$), demostrando que la genericidad se preserva bajo estas operaciones.

Contribuciones y Resultados Clave

1. Propiedad de la Torre Generalizada para la Genericidad:
   El artículo establece una descripción completa de la genericidad de los levantamientos theta globales en la torre de Witt para pares duales $(O_{2n}, Sp_{2m})$ y $(O_{2n+1}, \widetilde{Sp}_{2m})$.

   • Teoremas 1.2 y 1.3: Para una representación automorfa cuspidal genérica $\pi$ (o $\sigma$), el índice de primera ocurrencia $l(\pi)$ está estrictamente acotado (por ejemplo, $n_0 - 1 \le l(\pi) \le n_0$ para $SO_{2n_0}$).
   • Preservación de la Genericidad: El primer levantamiento theta no nulo $\Theta(\pi)$ es siempre genérico.
   • No Genericidad de Ocurrencias Superiores: Los levantamientos que ocurren en índices $i \ge l(\pi) + 2$ son no genéricos. Los levantamientos en $l(\pi) + 1$ son genéricos si y solo si el índice de primera ocurrencia es el límite inferior del rango posible.

2. Equivalencia de Condiciones:
   Los autores demuestran una serie de equivalencias (Teoremas 5.2 y 7.1) que vinculan:

   • La existencia de un polo en la función L parcial $L_S(s, \pi)$ (o $L_S(s, \sigma \times \chi)$).
   • La no nulidad de períodos especiales de Bessel o Fourier-Jacobi.
   • La no nulidad y genericidad del levantamiento theta global al espacio de primera ocurrencia.
   • La mera no nulidad del levantamiento theta global (lo cual implica genericidad en el rango de primera ocurrencia).

3. Extensión a Grupos Cuasi-Divididos y Metaplécticos:

   • Los resultados extienden el trabajo de Ginzburg, Rallis y Soudry (GRS97) y Furusawa (Fu95) desde grupos divididos hasta grupos clásicos cuasi-divididos.
   • El artículo proporciona nuevos resultados para el par dual $(\widetilde{Sp}_{2m}, SO_{2n+1})$, un caso no abordado previamente en la literatura respecto a la genericidad.
   • Debilita la suposición de "fuertemente genérico" requerida en trabajos anteriores, aplicándose a la clase más amplia de representaciones genéricas.

4. Aplicación a la Conjetura de Gan-Gross-Prasad (GGP):
   Como aplicación directa, los autores demuestran la conjetura GGP global temperada para el par $(SO_{2n+1}, SO_2)$ bajo la suposición de que $SO_2$ es dividido y la representación es trivial. Muestran que la no nulidad del período de Bessel es equivalente a la no nulidad del valor central de la función L $L(1/2, \pi)$.

Significado y Afirmaciones
El artículo afirma proporcionar un marco unificado para comprender la genericidad de los levantamientos theta a través de grupos ortogonales, simplécticos y metaplécticos. Su significado radica en:

• Completar el Programa de Rallis: Resuelve el aspecto de la genericidad de la correspondencia theta global, complementando el trabajo anterior de Rallis sobre la cuspidalidad.
• Avance Metodológico: Al utilizar la fórmula del producto interno de Rallis combinada con el método de doblez de Yamana, los autores evitan la necesidad de asumir genéricamente el levantamiento, permitiendo una deducción más robusta de la genericidad a partir de la no nulidad.
• Ampliación del Alcance: Los resultados se aplican a grupos cuasi-divididos y recubrimientos metaplécticos, llenando vacíos en la literatura donde los resultados anteriores estaban restringidos a casos divididos o tipos específicos de representaciones.
• Verificación de GGP: Ofrece una nueva prueba de la conjetura GGP para un caso específico ($SO_{2n+1} \times SO_2$) aprovechando el vínculo establecido entre levantamientos theta, períodos y funciones L.

Los autores señalan que, aunque su enfoque se centra en grupos clásicos y metaplécticos, se espera que los métodos se extiendan a grupos unitarios, aunque confinan la discusión actual a los contextos ortogonal y simpléctico por claridad. También reconocen que la conjetura GGP no temperada para grupos simplécticos sigue siendo un tema para trabajo futuro.