Relative Character Asymptotics Beyond Stability for $\mathrm{PGL}_2 \times \mathrm{GL}_1$

Resumen Técnico: Asintóticas de Caracteres Relativos Más Allá de la Estabilidad para PGL2 × GL1

1. El Problema y el Contexto

El artículo aborda el problema de determinar las asintóticas de los caracteres relativos para pares simétricos de grupos de Lie en el contexto no arquimediano. Específicamente, se estudia el par $(G, H) = (PGL_2(F), GL_1(F))$, donde $F$ es un campo local no arquimediano (como $\mathbb{Q}_p$).

• Antecedentes: Trabajos previos de Nelson y Venkatesh (2021) establecieron una teoría robusta para pares de representaciones $(\pi, \sigma)$ en el régimen estable. En este régimen, el carácter relativo $H_{\pi,\sigma}$ se comporta asintóticamente como una integral sobre una órbita coadjunta relativa suave (un fibrado principal bajo $H$).
• La Limitación: La teoría estable requiere que el conductor de la función L de Rankin-Selberg $L(s, \pi \times \sigma)$ no "caiga" (es decir, que los caracteres infinitesimales de $\pi$ y $\sigma$ no compartan eigenvalores). Cuando ocurre una caída de conductor (conductor dropping), la órbita coadjunta relativa se vuelve singular (por ejemplo, se convierte en una cruz con una singularidad en el origen) o deja de ser un fibrado principal, lo que rompe las técnicas de análisis microlocal estándar.
• La Pregunta Central: ¿Cómo se comportan los caracteres relativos cuando la estabilidad falla? ¿Existe una expansión geométrica análoga que controle estas asintóticas en regímenes inestables?

2. Metodología y Enfoque

El autor desarrolla un marco analítico en el contexto no arquimediano que evita el uso de la fórmula de traza relativa y se centra en el análisis directo de operadores y modelos de representaciones.

• Definición de Objetos:

  • Se define el carácter relativo $H_{\pi,\chi}(a)$ como una distribución asociada a un operador integral $Op(a)$ y un funcional lineal $\ell_\chi$ (relacionado con el modelo de Whittaker).
  • Se utilizan funciones de prueba $a$ que son "paquetes de onda" no arquimedianos (microlocalizados) en el álgebra de Lie dual $\mathfrak{g}^*$. Estas funciones son características de bolas alrededor de puntos escalados $T\tau$.

• Descomposición de Iwahori y Factorización:

  • El núcleo de la prueba es la factorización del operador $Op(a)$ utilizando la factorización de Iwahori del grupo congruente $K(N) = K_- K_0 K_+$.
  • Esto permite descomponer el cálculo del carácter relativo en componentes que actúan en las direcciones unipotente negativa ($K_-$), diagonal ($K_0$) y unipotente positiva ($K_+$).

• Modelos de Representación y Funcionales:

  • Se trabaja en el modelo de Kirillov para la representación $\pi$, donde la acción del subgrupo unipotente es diagonal.
  • Se identifica el funcional $\ell_\chi$ con vectores específicos en este modelo.
  • Se utiliza la ecuación funcional local de $GL_2 \times GL_1$ (relacionada con el elemento de Weyl $w$) para conectar las acciones en las direcciones positiva y negativa. Esto introduce factores $\gamma$ y $\epsilon$ (factores de epsilon) que son cruciales para el cálculo.

• Análisis de Casos:

  • El cálculo se realiza separadamente para representaciones supercuspidales y de serie principal.
  • Se analiza el comportamiento de los factores epsilon bajo giros por caracteres de pequeño conductor (Proposición 2.4), lo que permite manejar la "caída de conductor" de manera controlada.

3. Contribuciones Clave

La innovación principal del artículo es superar la hipótesis de estabilidad, permitiendo el estudio de casos donde el conductor de la función L de Rankin-Selberg cae significativamente.

1. Ruptura de la Hipótesis de Estabilidad: A diferencia de Nelson y Venkatesh, que requieren que los caracteres infinitesimales sean disjuntos, este trabajo permite que los conductores interactúen, cubriendo situaciones donde la órbita relativa es singular (una cruz) pero aún posee una estructura geométrica subyacente (una hipérbola).
2. Cálculo Explícito de Asintóticas: Se proporciona una fórmula explícita para el carácter relativo en términos de una integral sobre una hipérbola en el espacio de fases, incluso cuando la geometría de la órbita no es un fibrado principal suave.
3. Técnica de "Paquetes de Onda" No Arquimedianos: Se formaliza el uso de funciones características de bolas en el álgebra de Lie dual como análogos no arquimedianos de los vectores microlocalizados, permitiendo un cálculo preciso de las integrales oscilatorias mediante análisis de fase estacionaria discreta.

4. Resultados Principales

El resultado central es el Teorema 1.3, que establece lo siguiente:

• Hipótesis: Sea $\pi$ una representación unitaria de $PGL_2(F)$ (serie principal o supercuspidal) y $\chi$ un carácter unitario de $GL_1(F)$. Se asumen ciertas condiciones de no trivialidad para evitar casos degenerados triviales.

• Conclusión: Existe una hipérbola $Hyp(\pi, \chi) \subset \mathfrak{g}^*$ definida por ecuaciones algebraicas que dependen de los conductores y parámetros de $\pi$ y $\chi$, tal que:
  $$H_{\pi,\chi}(a) = \int_{Hyp(\pi,\chi)} a(\xi) \, d\xi$$
  donde $a$ es una función de prueba adecuada (constante a escalas $|T| = q^N$).

• Interpretación Geométrica:

  • En el caso estable (donde los conductores son muy diferentes), la hipérbola es una órbita coadjunta relativa suave.
  • En el caso inestable (donde los conductores son cercanos o iguales), la hipérbola puede degenerar o tener una estructura singular, pero la integral sobre esta variedad sigue controlando el carácter relativo.
  • El artículo demuestra que, incluso cuando la órbita no es un $H$-torsor (debido a estabilizadores no triviales o órbitas no cerradas), la asintótica está gobernada por la integración sobre esta variedad algebraica específica.

• Tabla de Resultados (Proposición 5.8): El autor clasifica el valor del producto interno (y por tanto del carácter) dependiendo de la posición de las coordenadas $\tau_y$ y $\tau_z$ de la frecuencia microlocal respecto al anillo de enteros $\mathcal{O}$ y sus potencias. Esto revela cómo la "caída de conductor" afecta el volumen de la intersección entre el soporte de la función de prueba y la hipérbola.

5. Significado e Impacto

• Avance Teórico: Este trabajo llena un vacío importante en la teoría de caracteres relativos para grupos p-ádicos, extendiendo la teoría de Nelson-Venkatesh más allá del régimen estable. Proporciona un modelo concreto para entender cómo la geometría de las órbitas coadjuntas relativas controla las asintóticas incluso en presencia de singularidades.
• Potencial para Subconvexidad: Aunque el artículo no aplica directamente sus resultados a problemas de subconvexidad (evitando la fórmula de traza relativa), el autor señala que los resultados de Nelson (2023) sobre subconvexidad dependen de asintóticas fuera del rango estable. Este trabajo proporciona la herramienta analítica necesaria para tratar casos donde el conductor de la función L cae, lo cual es crucial para mejorar los límites en problemas de subconvexidad de funciones L automorfas.
• Nuevas Herramientas Analíticas: La metodología de descomposición de operadores mediante la factorización de Iwahori y el uso de modelos de Kirillov para calcular acciones de elementos de Weyl ofrece un marco robusto que podría generalizarse a otros pares simétricos o grupos de rango superior.

En resumen, Hammonds demuestra que la "geometría" que gobierna los caracteres relativos persiste incluso cuando la estabilidad falla, reemplazando la noción de órbita suave por una integral sobre una hipérbola algebraica bien definida, abriendo la puerta a un análisis más profundo de las funciones L en regímenes de conductor bajo.