On the Cubic Shimura lift to $PGL(3)$: The Fundamental Lemma

Aquí presento un resumen técnico detallado del artículo "On the Cubic Shimura Lift to PGL(3): The Fundamental Lemma" de Solomon Friedberg y Omer Offen, basado en el contenido proporcionado.

1. El Problema y el Contexto

El artículo aborda la generalización de la correspondencia de Shimura, un resultado fundamental en la teoría de formas automorfas.

• Contexto Clásico: La correspondencia original de Shimura (1973) eleva representaciones automorfas del recubrimiento doble de $SL_2$ a representaciones en $PGL_2$. Waldspurger y Niwa demostraron que esto puede obtenerse mediante un levantamiento theta, y Jacquet proporcionó una prueba alternativa utilizando una fórmula de rastro relativa (Relative Trace Formula - RTF).
• El Objetivo: Los autores buscan establecer una correspondencia global de Shimura para el caso $n=r=3$: un levantamiento desde el recubrimiento triple de $SL_3$ (denotado $\widetilde{SL}_3^{(3)}$) hacia $PGL_3$.
• La Conjetura: Siguiendo la conjetura de Bump, Friedberg y Ginzburg (2001), se espera que la imagen de este levantamiento esté caracterizada por la no anulación de un periodo global específico. Este periodo involucra una función en el espacio de la representación mínima automorfa $\Theta_{SO_8}$ del grupo ortogonal especial $SO_8(A)$.
• El Obstáculo: A diferencia de los casos de rango uno o dobles recubrimientos, no existe un par dual obvio para recubrimientos cúbicos de rango superior. Además, la representación mínima $\Theta_{SO_8}$ no se obtiene directamente de la representación de Weil, lo que dificulta el "despliegue" (unfolding) de las integrales necesarias para la fórmula de rastro.

2. Metodología

La estrategia central es establecer una comparación de fórmulas de rastro relativas entre dos distribuciones globales:

1. Distribución $I(f, \Theta)$: Definida sobre $PGL_3(\mathbb{A})$, involucra el periodo con la representación mínima $\Theta_{SO_8}$ y un carácter de Whittaker.
2. Distribución $J(f')$: La fórmula de rastro de Kuznetsov definida sobre el recubrimiento triple $\widetilde{SL}_3(\mathbb{A})$.

El enfoque se divide en dos partes principales:

Parte I: Teoría Global (Expansiones Geométricas)

El objetivo es expresar ambas distribuciones como sumas de integrales orbitales factorizables sobre órbitas relevantes.

• Desafío en $I(f, \Theta)$: La presencia de $\Theta_{SO_8}$ impide un despliegue directo.
• Solución: Los autores utilizan un par dual $(SL_2, SO_8)$ dentro de $Sp_{16}$. Realizan $\Theta_{SO_8}$ como un levantamiento theta de la representación trivial desde $SL_2(\mathbb{A})$ hasta $SO_8(\mathbb{A})$. Esto introduce una integración adicional sobre el cociente automorfo $[SL_2]$, permitiendo aplicar un principio de despliegue generalizado.
• Resultado: Se demuestra que $I(f, \Theta)$ se descompone en una suma de integrales orbitales sobre un conjunto explícito de órbitas relevantes en un espacio de variedades de banderas, parametrizadas por invariantes de dimensión. La distribución $J(f')$ se expande directamente mediante la descomposición de Bruhat en el recubrimiento.

Parte II: Teoría Local (El Lema Fundamental)

Una vez establecida la correspondencia geométrica entre las órbitas globales, el problema se reduce a comparar las integrales orbitales locales para las funciones test unitarias (elementos unitarios de las álgebras de Hecke esféricas) en cada lugar no arquimediano.

• Objetivo: Probar que para cada familia de órbitas relevantes, la integral local $I(a, b)$ en $PGL_3$ coincide con la integral local $J(a, b)$ en $\widetilde{SL}_3$ multiplicada por un factor de transferencia explícito.
• Herramientas Analíticas:
  • Cálculo detallado de integrales sobre grupos metaplécticos locales.
  • Uso de la descomposición de Bruhat y propiedades del cociclo 2-cocíclico de Matsumoto (calculado mediante el algoritmo de Bump-Hoffstein).
  • Identidades Clave: La prueba depende crucialmente de la relación entre sumas exponenciales cúbicas y sumas de Kloosterman con caracteres cúbicos.
    • Se utiliza la identidad de Duke-Iwaniec para caracteres de conductor 1.
    • Para conductores más altos, los autores demuestran nuevas identidades basadas en el método de la fase estacionaria, extendiendo el resultado de Duke-Iwaniec a casos donde el carácter aditivo tiene conductor mayor que 1.

3. Contribuciones Clave y Resultados

1. Prueba del Lema Fundamental: El resultado principal (Teorema 6.1) establece la igualdad entre las integrales orbitales locales para la "célula grande" (big cell) y otras órbitas relevantes, con un factor de transferencia explícito que involucra el símbolo de Hilbert cúbico.
   • Específicamente, para la célula grande, se demuestra que $I(a, b) = (c, d)_3 J(c, d)$ con transformaciones lineales específicas de los parámetros $a, b$.
2. Realización de la Representación Mínima: Se logra un despliegue exitoso de la distribución que involucra $\Theta_{SO_8}$ mediante su realización como un levantamiento theta desde $SL_2$, superando la falta de un par dual directo para el levantamiento cúbico.
3. Nuevas Identidades de Sumas Exponenciales: Se establecen nuevas relaciones entre integrales de Kloosterman y sumas exponenciales cúbicas para caracteres de alto conductor (Corolario 7.5 y Lema 7.6), generalizando resultados previos de Duke e Iwaniec.
4. Caracterización de la Imagen: El trabajo sienta las bases para confirmar la conjetura de Bump-Friedberg-Ginzburg, que caracteriza la imagen del levantamiento de Shimura cúbico mediante la no anulación del periodo con $\Theta_{SO_8}$.

4. Significado e Impacto

• Avance en la Correspondencia de Shimura: Este es un paso crucial hacia la construcción de una correspondencia de Shimura global para recubrimientos de grado superior ($n > 2$) y grupos de rango superior ($r > 2$), un problema abierto desde la década de 1980.
• Método de Fórmulas de Rastro Relativo: El artículo demuestra la viabilidad de utilizar fórmulas de rastro relativas para estudiar levantamientos a recubrimientos metaplécticos, un área donde las técnicas tradicionales de levantamiento theta son insuficientes.
• Herramientas Analíticas: Las técnicas desarrolladas para manejar las integrales orbitales en grupos metaplécticos y las nuevas identidades de sumas exponenciales son herramientas valiosas que pueden aplicarse a otros problemas en la teoría de números analítica y la teoría de representaciones automorfas.
• Validación de Conjeturas: Al probar el Lema Fundamental, los autores proporcionan la evidencia local necesaria para que la comparación global de fórmulas de rastro tenga éxito, validando así la estructura propuesta por la conjetura de 2001.

En resumen, el artículo resuelve la parte local (el Lema Fundamental) de un programa ambicioso para establecer un levantamiento de Shimura cúbico de $SL_3$ a $PGL_3$, conectando representaciones automorfas con la representación mínima de $SO_8$ y desarrollando nuevas herramientas analíticas en el proceso.