$L^2$-property for algebraic stacks over local non-archimedean fields

Resumen Técnico: Propiedad L2 para Estructuras Algebraicas sobre Campos Locales No Archimidianos

Planteamiento del Problema
El artículo aborda las propiedades analíticas de los espacios de Schwartz de semidensidades sobre estructuras algebraicas definidas sobre campos locales no archimidianos ($K$). Específicamente, investiga la propiedad L2: si la norma $L^2$ natural en el espacio de semidensidades de Schwartz, $S(X(K), |\omega|^{1/2})$, es finita para cada elemento del espacio. Esta cuestión surge en el contexto de la correspondencia de Langlands analítica, donde se conjetura que los operadores de Hecke actúan como operadores compactos en un espacio $L^2$ que contiene el espacio de Schwartz. Si bien la existencia de tal extensión compacta fue construida para casos específicos (por ejemplo, haces de $PGL_2$ sobre $\mathbb{P}^1$ con estructuras parabólicas en $N \ge 3$ puntos) en un trabajo previo [7], la pregunta fundamental de si el propio espacio de Schwartz se inserta en este espacio $L^2$ permanecía abierta. Los autores pretenden demostrar que, para $N \ge 3$, cada elemento del espacio de Schwartz define una función $L^2$ en el lóbulo muy estable (very stable locus).

Metodología
Los autores desarrollan un marco riguroso para definir y analizar normas $L^2$ en estructuras algebraicas, extendiendo conceptos de variedades a estructuras de tipo potencialmente infinito.

1. Definición de Estructuras $L^2$ (L2-Stacks):

   • Los autores definen un emparejamiento $L^2$ $\langle \cdot, \cdot \rangle_s$ para morfismos suaves $\pi: \mathcal{X} \to X$ sobre una variedad suave $X$, utilizando el producto de fibra $\mathcal{X} \times_X \mathcal{X}$.
   • Una estructura algebraica $\mathcal{X}$ se denomina estructura $L^2$ si, para cualquier recubrimiento suave admisible $\pi: \mathcal{X} \to X$, todos los elementos del espacio de Schwartz $S(\mathcal{X}(K), |\omega|^{1/2})$ tienen normas $L^2$ finitas con respecto a este recubrimiento.
   • Se demuestra que la definición es independiente de la elección del recubrimiento admisible (Proposición 2.7).

2. Análisis Local y Global:

   • Criterios Locales: El artículo establece que la propiedad $L^2$ puede verificarse localmente (Lema 2.11) y se preserva bajo morfismos representables suaves (Proposición 2.13).
   • Estructuras de Cociente: Para estructuras de la forma $[V/G]$ (donde $V$ es una representación de un grupo reductivo $G$), los autores derivan un criterio de convergencia basado en la descomposición de pesos de $V$ y el carácter modular de $G$ (Proposición 2.17). Esto reduce la propiedad $L^2$ a la convergencia de series específicas que involucran el carácter de la representación.
   • Gerbes: Se analiza el comportamiento de la propiedad $L^2$ bajo gerbes admisibles (específicamente gerbes $\mu_2$), mostrando que la propiedad $L^2$ se preserva bajo tales mapas (Lema 2.16).

3. Conexión con los Operadores de Hecke:

   • Los autores utilizan la construcción de operadores de Hecke acotados en el espacio $L^2$ del lóbulo muy estable (de [7]) como una herramienta.
   • Demuestran que el espacio de Schwartz se mapea al espacio de densidades suaves en el lóbulo muy estable mediante la aplicación de la imagen directa o push-forward (Teorema 3.1, un análogo parabólico de los resultados en [4]).
   • Crucialmente, muestran que la acción de los operadores de Hecke conmuta con la imagen directa hacia el lóbulo muy estable (Proposición 3.4).

Contribuciones Clave y Resultados

1. Teorema Principal (Teorema A):
   Para un campo local no archimediano $K$ con característica $\neq 2$, y para $N \ge 3$, la estructura de haces de $PGL_2$ sobre $\mathbb{P}^1$ con estructuras parabólicas en $N$ puntos, denotada $\text{Bun}_{PGL_2}(\mathbb{P}^1, p_1, \dots, p_N)$, es una estructura $L^2$.

   • Implicación: Para cualquier $\phi$ en el espacio de Schwartz $S(\text{Bun}_{PGL_2}(\dots)(K), |\omega|^{1/2})$, la densidad suavizada inducida en el lóbulo muy estable es de clase $L^2$.

2. Verificación para Estructuras de Configuración:
   Los autores demuestran que las estructuras de configuración $[(\mathbb{P}^1)^r / SL_2]$ y $[(\mathbb{P}^1)^r / PGL_2]$ son estructuras $L^2$ para cualquier $r \ge 3$ (Proposición 2.21 y Corolario 2.22). Esto se establece mediante el criterio de convergencia de pesos (Proposición 2.17).

3. Relación con la Propiedad "Muy Buena" (Very Good):
   El artículo investiga la relación entre la propiedad $L^2$ y la propiedad "muy buena" (introducida por Beilinson y Drinfeld), la cual requiere que los lóbulos de puntos con grupos de automorfismos de dimensión $n$ tengan codimensión $> n$.

   • Los autores muestran que, para representaciones de $SL_2$, la estructura $[V/SL_2]$ es $L^2$ si y solo si es muy buena (Proposición 2.23).
   • Sin embargo, proporcionan contraejemplos que muestran que las estructuras $L^2$ no tienen por qué ser muy buenas (por ejemplo, $[(\mathbb{P}^1)^3/SL_2]$ es $L^2$ pero no es muy buena).
   • Conjeturan (Conjetura B) que la propiedad "muy buena" generalmente implica la propiedad $L^2$.

4. Extensión a Género Superior:
   Los autores señalan que para curvas de género $g \ge 2$, el entorno del haz trivial en $\text{Bun}_G(C)$ está modelado por la estructura de cociente $[\mathfrak{g}^{\oplus r}/G]$. Demuestran que $[\mathfrak{g}^{\oplus r}/G]$ es una estructura $L^2$ para $r \ge 2$ (Proposición 2.19), lo que sugiere que la propiedad $L^2$ para curvas de género superior se reduce a la acotación de los operadores de Hecke.

Significado y Reivindicaciones
El artículo afirma resolver la cuestión específica de si el espacio de Schwartz de semidensidades para haces de $PGL_2$ sobre $\mathbb{P}^1$ con $N \ge 3$ puntos parabólicos se inserta en el espacio $L^2$ requerido para la correspondencia de Langlands analítica. Al demostrar la propiedad $L^2$ para estas estructuras, los autores validan el dominio sobre el cual actúan los operadores de Hecke (construidos como operadores compactos en [7]).

Los autores declaran explícitamente que se espera que sus resultados también se cumplan en el caso arquimediano, haciendo referencia al trabajo previo [1, 12] para las definiciones y la separación de variables en el caso complejo. No pretenden demostrar la correspondencia de Langlands analítica completa (es decir, la descomposición espectral de la álgebra de Hecke), sino más bien establecer la base funcional-analítica necesaria (la finitud de la norma $L^2$) para el espacio de Schwartz en el entorno no archimediano. El trabajo también proporciona un conjunto de herramientas generales para verificar la propiedad $L^2$ para diversas estructuras de cociente, vinculando datos de la teoría de representaciones (pesos de las representaciones) con las propiedades analíticas de las estructuras asociadas.