The local Gross-Prasad conjecture over $\mathbb{R}$: Epsilon dichotomy

Aquí se presenta un resumen técnico detallado del artículo "La Conjetura Local de Gross–Prasad sobre $\mathbb{R}$: Dicotomía Épsilon" de Cheng Chen y Zhilin Luo.

1. Enunciado del Problema

El artículo aborda la Conjetura Local de Gross–Prasad (GP) para grupos reductivos reales, centrándose específicamente en la dicotomía épsilon (Parte 2) para parámetros L locales temperados.

• Contexto: Sea $F = \mathbb{R}$. Considere un par de espacios cuadráticos no degenerados $(W, V)$ sobre $\mathbb{R}$ con $W \subset V$ y $W^\perp$ descompuesto de dimensión impar. Sea $G = SO(W) \times SO(V)$ y $H = SO(W) \ltimes N$ (donde $N$ es el radical unipotente). Para una representación admissible irreducible $\pi$ de $G(\mathbb{R})$, la multiplicidad se define como $m(\pi) = \dim \text{Hom}_{H(\mathbb{R})}(\pi, \xi)$, donde $\xi$ es un carácter genérico.
• La Conjetura: La conjetura GP predice que para un parámetro L local genérico $\phi$, la suma de multiplicidades sobre el paquete L de Vogan relevante es 1 (Parte 1), e identifica cuál representación específica en el paquete tiene multiplicidad 1 basándose en un carácter $\chi_\phi$ (Parte 2, la dicotomía épsilon).
• Estado:
  • La Parte 1 (Suma de multiplicidades) fue demostrada para parámetros temperados sobre $\mathbb{R}$ por el segundo autor (Luo) en [Luo21].
  • La Parte 2 (Dicotomía épsilon) era conocida para cuerpos $p$-ádicos (Waldspurger) y para cuerpos complejos, pero permanecía abierta para parámetros temperados sobre $\mathbb{R}$.
• Objetivo: Demostrar que para parámetros L locales temperados sobre $\mathbb{R}$, la única representación $\pi_\phi$ con $m(\pi_\phi)=1$ satisface la relación de caracteres $\chi_{\pi_\phi} = \chi_\phi$.

2. Metodología

Los autores siguen la estrategia establecida por Waldspurger para el caso $p$-ádico ([Wal12b]), adaptándola al contexto arquimediano. La demostración procede mediante una reducción en tres pasos:

A. Reducción a Paridad Buena

Utilizando resultados de [MR20] y [Ren24], los autores reducen el caso temperado general a parámetros de paridad buena.

• Mecanismo: Descomponen la representación estándar del parámetro L en componentes de "paridad buena" (tipo O) y "paridad mala" (tipo Sp y tipo GL).
• Resultado: La inducción parabólica establece una biyección entre los paquetes L del grupo completo y el grupo restringido a la parte de paridad buena, preservando multiplicidades y números de raíz. Esto reduce el problema a parámetros donde la imagen consiste únicamente en constituyentes irreducibles de tipo O.

B. Reducción Endoscópica

Para parámetros de paridad buena, los autores aplican endoscopia ordinaria para reducir el problema a casos donde el grupo de componentes $S_\phi$ es pequeño (trivial o $\mathbb{Z}/2\mathbb{Z}$).

• Estrategia: Para un elemento $s \in S_\phi$, relacionan la multiplicidad en $G$ con multiplicidades geométricas estables en grupos endoscópicos $G^s = SO(V^+) \times SO(V^-) \times SO(W^+) \times SO(W^-)$.
• Identidad Clave: Buscan demostrar la identidad:
  $$\sum_{\pi \in \Pi_{rel}} \chi_\pi(s) m(\pi) = \chi_\phi(s)$$
  Esto se transforma en una identidad que involucra multiplicidades geométricas estables ($m^S_{geom}$).

C. Modificaciones Arquimedianas (La Contribución Técnica Central)

La demostración $p$-ádica se basa en endoscopia torcida y lemas específicos que no se traducen directamente a $\mathbb{R}$. Los autores introducen dos modificaciones críticas:

1. Organización del Signo de Kottwitz: A diferencia del caso $p$-ádico (donde hay pocas formas internas), $\mathbb{R}$ tiene muchas formas internas puras. Los autores organizan la unión de clases de conjugación semisimples regulares sobre formas internas puras fijando el signo de Kottwitz $e(G_\alpha)$. Demuestran la Proposición 3.2.4, describiendo explícitamente la unión de estas clases en términos de los datos del parámetro.
2. Fórmula de Multiplicidad Geométrica y Gérmenes: La demostración requiere recuperar el "germen" de un carácter de distribución a partir del carácter mismo.
   • En el caso $p$-ádico, esto dependía de una conjetura de Waldspurger.
   • Sobre $\mathbb{R}$, los autores demuestran el Lema 4.2.2, un análogo arquimediano de [Wal10b, Lem. 13.4 (ii)], utilizando la fórmula de Rossmann [Ros78] para integrales orbitales. Esto les permite expresar el germen $c_\Theta(x)$ como un límite del cuasi-carácter $\Theta$.
   • Establecen el Corolario 4.2.3, vinculando la multiplicidad geométrica estable con la multiplicidad estable.

D. Verificación de Casos Básicos

Tras las reducciones, el problema se reduce a "casos básicos" donde el parámetro L es irreducible o una suma de uno irreducible y su contragrediente (por ejemplo, $SO(2,2) \times SO(2,1)$).

• Los autores verifican estos casos de bajo rango directamente utilizando la correspondencia theta y coincidencias de bajo rango (por ejemplo, $SO(2,2) \cong SL_2 \times SL_2 / \{\pm 1\}$).
• Utilizan pares duales de tipo "see-saw" y la preservación de la genericidad bajo la correspondencia theta para mostrar que el miembro distinguido es efectivamente el genérico.

3. Contribuciones Clave

1. Demostración de la Dicotomía Épsilon sobre $\mathbb{R}$: El artículo completa la demostración de la Conjetura Local de Gross–Prasad para parámetros temperados sobre los números reales, resolviendo el último caso abierto de la conjetura en el contexto arquimediano.
2. Fórmula de Multiplicidad Geométrica Arquimediana: Los autores adaptan con éxito la fórmula de multiplicidad geométrica de Waldspurger al caso real. Esto implica:
   • Demostrar el análogo arquimediano del lema crucial sobre valores especiales de integrales orbitales (Lema 4.2.2) utilizando la fórmula de Rossmann.
   • Establecer la relación entre multiplicidades geométricas estables y multiplicidades estables (Corolario 5.3.6).
3. Parametrización de Formas Internas: Proporcionan una descripción precisa (Proposición 3.2.4) de la unión de clases de conjugación semisimples regulares sobre formas internas puras con un signo de Kottwitz fijo, un paso necesario para manejar el conjunto más grande de formas internas en $\mathbb{R}$ en comparación con los cuerpos $p$-ádicos.
4. Reducción Endoscópica sobre $\mathbb{R}$: Demuestran que la estrategia de reducción endoscópica, previamente exitosa en el caso $p$-ádico, puede adaptarse con éxito a $\mathbb{R}$ sin endoscopia torcida, siempre que los insumos geométricos se manejen correctamente.

4. Resultados Principales

• Teorema 1.0.2 / Teorema 2.3.2: Sobre $\mathbb{R}$, la Parte (2) de la Conjetura Local de Gross–Prasad se cumple para parámetros L locales temperados. Específicamente, si $\pi_\phi$ es la única representación en el paquete L de Vogan relevante con multiplicidad 1, entonces su carácter $\chi_{\pi_\phi}$ en el grupo de componentes $S_\phi$ coincide con el carácter explícito $\chi_\phi$ definido por Gross y Prasad.
• Proposición 3.2.4: Una clasificación de la unión de clases de conjugación semisimples regulares sobre formas internas puras con signo de Kottwitz fijo.
• Lema 4.2.2 y Corolario 4.2.3: La derivación del germen de un carácter de distribución a partir del carácter mismo en el contexto arquimediano, permitiendo el uso de la fórmula de multiplicidad geométrica.
• Proposición 5.3.4: La identidad endoscópica que relaciona la suma de multiplicidades ponderadas por caracteres con el producto de multiplicidades geométricas estables en grupos endoscópicos.

5. Significado

• Completitud de la Conjetura GP: Este trabajo, combinado con resultados anteriores (Luo [Luo21] para la Parte 1, Chen [Che21] para la reducción genérica, y Waldspurger para el caso $p$-ádico), establece la Conjetura Local de Gross–Prasad completa para representaciones temperadas tanto sobre $\mathbb{R}$ como sobre $\mathbb{C}$.
• Puente entre $p$-ádico y Arquimediano: El artículo demuestra que los resultados estructurales profundos del programa de Langlands (específicamente la endoscopia y la conjetura de Gross–Prasad) se mantienen uniformemente a través de cuerpos locales, a pesar de las diferencias técnicas significativas en el análisis armónico (integrales orbitales, fórmulas de caracteres) entre los cuerpos $p$-ádicos y los reales.
• Avance Metodológico: La aplicación exitosa de la fórmula de Rossmann para resolver el problema del "germen" en el caso real proporciona una plantilla para manejar problemas similares de multiplicidad geométrica en otros contextos arquimedianos donde las herramientas combinatorias $p$-ádicas fallan.
• Fundamento para Trabajos Futuros: Las técnicas desarrolladas aquí, particularmente el manejo de signos de Kottwitz y multiplicidades geométricas estables sobre $\mathbb{R}$, son esenciales para extender estos resultados a parámetros genéricos (no temperados) y para futuras investigaciones sobre la conjetura global de Gross–Prasad.