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

Resumo Técnico: Propriedade L2 para Stacks Algébricos sobre Campos Locais Não Arquimedianos

Enunciado do Problema
O artigo aborda as propriedades analíticas de espaços de Schwartz de densidades semidensas sobre stacks algébricos definidos sobre campos locais não arquimedianos ($K$). Especificamente, investiga a propriedade L2: se a norma $L^2$ natural no espaço de semidensidades de Schwartz, $S(X(K), |\omega|^{1/2})$, é finita para cada elemento no espaço. Esta questão surge no contexto da correspondência de Langlands analítica, onde se conjectura que os operadores de Hecke atuam como operadores compactos em um espaço $L^2$ contendo o espaço de Schwartz. Embora a existência de tal extensão compacta tenha sido construída para casos específicos (por exemplo, bundles de $PGL_2$ em $\mathbb{P}^1$ com estruturas parabólicas em $N \ge 3$ pontos) em trabalhos anteriores [7], a questão fundamental de saber se o próprio espaço de Schwartz se incorpora a este espaço $L^2$ permanecia em aberto. Os autores visam provar que, para $N \ge 3$, cada elemento do espaço de Schwartz define uma função $L^2$ no locus muito estável.

Metodologia
Os autores desenvolvem um arcabouço rigoroso para definir e analisar normas $L^2$ em stacks algébricos, estendendo conceitos de variedades para stacks de tipo potencialmente infinito.

1. Definição de $L^2$-Stacks:

   • Os autores definem um emparelhamento $L^2$, $\langle \cdot, \cdot \rangle_s$, para morfismos suaves $\pi: \mathcal{X} \to X$ sobre uma variedade suave $X$, utilizando o produto fibrado $\mathcal{X} \times_X \mathcal{X}$.
   • Um stack algébrico $\mathcal{X}$ é denominado um $L^2$-stack se, para qualquer cobertura suave admissível $\pi: \mathcal{X} \to X$, todos os elementos do espaço de Schwartz $S(\mathcal{X}(K), |\omega|^{1/2})$ possuem normas $L^2$ finitas em relação a esta cobertura.
   • A definição mostra-se independente da escolha da cobertura admissível (Proposição 2.7).

2. Análise Local e Global:

   • Critérios Locais: O artigo estabelece que a propriedade $L^2$ pode ser verificada localmente (Lema 2.11) e é preservada sob morfismos representáveis suaves (Proposição 2.13).
   • Stacks de Quociente: Para stacks da forma $[V/G]$ (onde $V$ é uma representação de um grupo redutivo $G$), os autores derivam um critério de convergência baseado na decomposição de pesos de $V$ e no caractere modular de $G$ (Proposição 2.17). Isso reduz a propriedade $L^2$ à convergência de séries específicas envolvendo o caractere da representação.
   • Gerbes: O comportamento da propriedade $L^2$ sob gerbes admissíveis (especificamente gerbes $\mu_2$-gerbes) é analisado, mostrando que a $L^2$-ness é preservada sob tais aplicações (Lema 2.16).

3. Conexão com Operadores de Hecke:

   • Os autores utilizam a construção de operadores de Hecke limitados no espaço $L^2$ do locus muito estável (de [7]) como uma ferramenta.
   • Eles provam que o espaço de Schwartz mapeia para o espaço de densidades suaves no locus muito estável via push-forward (Teorema 3.1, um análogo parabólico de resultados em [4]).
   • Crucialmente, eles mostram que a ação dos operadores de Hecke comuta com o push-forward para o locus muito estável (Proposição 3.4).

Principais Contribuições e Resultados

1. Teorema Principal (Teorema A):
   Para um campo local não arquimediano $K$ com característica $\neq 2$, e para $N \ge 3$, o stack de bundles de $PGL_2$ em $\mathbb{P}^1$ com estruturas parabólicas em $N$ pontos, denotado por $\text{Bun}_{PGL_2}(\mathbb{P}^1, p_1, \dots, p_N)$, é um $L^2$-stack.

   • Implicação: Para qualquer $\phi$ no espaço de Schwartz $S(\text{Bun}_{PGL_2}(\dots)(K), |\omega|^{1/2})$, a densidade semidensa suave induzida no locus muito estável é de classe $L^2$.

2. Verificação para Stacks de Configuração:
   Os autores provam que os stacks de configuração $[(\mathbb{P}^1)^r / SL_2]$ e $[(\mathbb{P}^1)^r / PGL_2]$ são $L^2$-stacks para qualquer $r \ge 3$ (Proposição 2.21 e Corolário 2.22). Isso é estabelecido via o critério de convergência de pesos (Proposição 2.17).

3. Relação com a Propriedade "Muito Boa":
   O artigo investiga a relação entre a propriedade $L^2$ e a propriedade "muito boa" (introduzida por Beilinson e Drinfeld), que exige que os loci de pontos com grupos de automorfismo de dimensão $n$ tenham codimensão $> n$.

   • Os autores mostram que, para representações de $SL_2$, o stack $[V/SL_2]$ é $L^2$ se, e somente se, é muito bom (Proposição 2.23).
   • No entanto, eles fornecem contraexemplos mostrando que $L^2$-stacks não precisam ser muito bons (por exemplo, $[(\mathbb{P}^1)^3/SL_2]$ é $L^2$ mas não é muito bom).
   • Eles conjecturam (Conjectura B) que a propriedade "muito boa" geralmente implica a propriedade $L^2$.

4. Extensão para Gênero Superior:
   Os autores observam que para curvas de gênero $g \ge 2$, a vizinhança do bundle trivial em $\text{Bun}_G(C)$ é modelada pelo stack de quociente $[\mathfrak{g}^{\oplus r}/G]$. Eles provam que $[\mathfrak{g}^{\oplus r}/G]$ é um $L^2$-stack para $r \ge 2$ (Proposição 2.19), sugerindo que a propriedade $L^2$ para curvas de gênero superior reduz-se à limitação dos operadores de Hecke.

Significância e Alegações
O artigo afirma resolver a questão específica de se o espaço de Schwartz de semidensidades para bundles de $PGL_2$ em $\mathbb{P}^1$ com $N \ge 3$ pontos parabólicos se incorpora ao espaço $L^2$ exigido pela correspondência de Langlands analítica. Ao provar a propriedade $L^2$ para esses stacks, os autores validam o domínio sobre o qual os operadores de Hecke (construídos como operadores compactos em [7]) atuam.

Os autores declaram explicitamente que seus resultados espera-se que ocorram também no caso arquimediano, referenciando trabalhos anteriores [1, 12] para definições e separação de variáveis no caso complexo. Eles não alegam provar a correspondência de Langlands analítica completa (isto é, a decomposição espectral da álgebra de Hecke), mas sim estabelecer o fundamento funcional-analítico necessário (a finitude da norma $L^2$) para o espaço de Schwartz no cenário não arquimediano. O trabalho também fornece um conjunto de ferramentas gerais para verificar a propriedade $L^2$ para vários stacks de quociente, vinculando dados de representação (pesos de representações) a propriedades analíticas dos stacks associados.