Bessel Distributions and Kloosterman Sums

Resumen Técnico: Distribuciones de Bessel y Sumas de Kloosterman

Planteamiento del Problema
El artículo aborda la regularidad de las distribuciones de Bessel asociadas con representaciones genéricas irreducibles de un grupo reductivo dividido $G$ sobre un cuerpo $p$-ádico $F$. Una distribución de Bessel $B_{\ell_1, \ell_2}$ se define mediante funcionales de Whittaker $\ell_1$ y $\ell_2$ en una representación $\pi$ y su contragradiente $\pi^\vee$. El problema central es determinar si esta distribución es "regular", lo que significa que puede ser representada por una función suave localmente integrable $j_\pi$ en $G$ tal que $B_{\ell_1, \ell_2}(f) = \int_G j_\pi(g)f(g)dg$ para todas las funciones de Schwartz. Mientras que la regularidad está establecida para $GL_2$ y $GL_3$ (Baruch) y la suavidad en la celda de Bruhat abierta es conocida para grupos cuasi-divididos generales, la integrabilidad local de la función suave en todo el grupo sigue siendo una cuestión abierta para grupos reductivos divididos generales.

Metodología
Los autores emplean una estrategia que vincula las propiedades analíticas de las distribuciones de Bessel con las propiedades aritméticas de las sumas de Kloosterman. La metodología procede a través de los siguientes pasos:

1. Reducción a la Integrabilidad Local: Basándose en el trabajo de Baruch, Lapid-Mao y Chai, el artículo establece que la regularidad de la distribución de Bessel es equivalente a la integrabilidad local de una función específica $j_\pi$. Se demuestra que esta función es localmente expresable como una integral de Kloosterman $I(g, f)$.
2. Expansión de Germen de Shalika: Los autores desarrollan una expansión de germen de Shalika para las integrales de Kloosterman. Esta expansión expresa la integral $I(w_I^0 a, f)$ como una convolución de "gérmenes" $K_I^J$ (funciones suaves en subconjuntos específicos de subgrupos de Levi) con funciones de Schwartz. Crucialmente, el germen $K_\emptyset^J$ corresponde a la suma de Kloosterman $Kl_d$ en el subgrupo de Levi $M_J$ para niveles de filtración $d$ suficientemente grandes.
3. Estructura Inductiva: La expansión de gérmen posee una estructura inductiva, lo que permite reducir el estudio de las sumas de Kloosterman en $G$ a aquellas en sus subgrupos de Levi.
4. Enfoque de Stevens para Acotaciones: Para probar las acotaciones necesarias para las sumas de Kloosterman, los autores adaptan el enfoque de Stevens. Esto implica analizar la acción del toro dividido $A_d$ sobre el conjunto de Kloosterman $X_d(\dot{w}_0 a)$. Al descomponer la suma de Kloosterman en productos de sumas de Kloosterman restringidas en $GL_2$ (o $Sp_2$), el problema se reduce a un problema de conteo de las fibras del conjunto de Kloosterman.
5. Cotas de Weil y Conteo: Los autores aplican la cota de Weil para las sumas de Kloosterman de $GL_2$ y realizan un conteo combinatorio de las fibras del conjunto de Kloosterman (usando coordenadas de Plücker para $Sp_4$ y métodos análogos para $GL_4$) para derivar acotaciones superiores no triviales.

Contribuciones Clave y Resultados

• Teorema 1.2 (Teorema 3.19): El principal resultado teórico establece que si el sistema de sumas de Kloosterman para los subgrupos de Levi estándar $M_I$ de $G$ (con respecto a una terna específica que involucra un carácter genérico y una filtración) admite una "acotación no trivial" (específicamente, $|Kl_d(a) \cdot \delta^{1/2-\epsilon}(a)| \leq C$), entonces la distribución de Bessel para cualquier representación genérica irreducible en $G$ es regular. Esto reduce el problema global de la regularidad al establecimiento de acotaciones aritméticas en las sumas de Kloosterman para los subgrupos de Levi.
• Teorema 1.5 (Teoremas 2.10 y 2.20): El artículo construye un sistema único de gérmenes de Shalika para las integrales de Kloosterman. Demuestra que estos gérmenes pueden construirse de tal manera que el germen correspondiente al conjunto vacío sea igual a la suma de Kloosterman en el subgrupo de Levi relevante para un $d$ grande.
• Regularidad para $Sp_4$ y $GL_4$: Aplicando el teorema principal y el enfoque de Stevens, los autores prueban la regularidad de las distribuciones de Bessel para $G = Sp_4$ (Teorema 4.9, Corolario 4.15) y $G = GL_4$ (Teorema 4.16, Corolario 4.17).
  • Para $Sp_4$, derivan una acotación de la forma $|Kl_d(a)| \leq C \cdot q^{\frac{7}{8}(r+s)}$, donde $r, s$ se relacionan con la valoración del elemento del toro.
  • Para $GL_4$, derivan una acotación de la forma $|Kl_d(a)| \leq C \cdot q^{\frac{9}{10}(r+s+t)}$.
  • Estas acotaciones son suficientes para satisfacer la condición de acotación no trivial requerida por el Teorema 3.19, ya que los exponentes son estrictamente menores que el exponente de la acotación trivial (que sería 1 en el contexto normalizado).

Significancia y Reivindicaciones
El artículo pretende proporcionar un marco general para probar la regularidad de las distribuciones de Bessel en grupos reductivos divididos mediante la reducción del problema analítico a uno aritmético referente a las sumas de Kloosterman. La significancia radica en:

1. Unificación: Unifica el estudio de las distribuciones de Bessel con la teoría de las sumas de Kloosterman a través de la expansión de germen de Shalika, generalizando resultados previos conocidos para $GL_n$ ($n \leq 3$).
2. Pruebas Explícitas: Proporciona las primeras pruebas explícitas de regularidad para $Sp_4$ y $GL_4$ en el entorno $p$-ádico general (incluyendo un nivel $d$ arbitrario), extendiendo los resultados previamente conocidos solo para $GL_2$ y $GL_3$.
3. Extensión Metodológica: Demuestra que el enfoque de Stevens, desarrollado originalmente para $GL_n$, puede generalizarse a arbitrarios grupos reductivos divididos, específicamente manejando la complejidad combinatoria del conteo del conjunto de Kloosterman para grupos de rango superior como $Sp_4$.

Los autores señalan que, aunque han tratado $Sp_4$ y $GL_4$ como ejemplos, el caso general para arbitrarios grupos reductivos divididos sigue siendo un tema para trabajos futuros, supeditado al establecimiento de acotaciones no triviales similares para las sumas de Kloosterman en los subgrupos de Levi correspondientes. El artículo no pretende haber resuelto el problema de la regularidad para todos los grupos reductivos divididos, sino que lo ha reducido a un problema aritmético tratable y lo ha resuelto para casos específicos de bajo rango.