On some constancy of Hecke eigensystems for Drinfeld cuspforms of level $\Gamma_1(\mathfrak{n}\wp^r)$

Resumo Técnico: Constância dos Sistemas de Autovalores de Hecke para Cuspiformes de Drinfeld

Enunciado do Problema
O artigo investiga o comportamento dos sistemas de autovalores de Hecke no espaço das cuspiformes de Drinfeld, focando especificamente em como esses sistemas variam à medida que o nível das formas modulares aumenta. Na teoria clássica das formas modulares elípticas, sabe-se que os sistemas de autovalores de Hecke de inclinação $p$-ádica finita variam em famílias analíticas $p$-ádicas à medida que o peso e a valoração $p$-ádica do nível mudam. O autor contrasta isso com o cenário de Drinfeld, onde trabalhos anteriores (especificamente [Hat2]) demonstraram uma "trivialidade" inesperada da ação de Hecke na parte $t$-ordinária das cuspiformes de nível $\Gamma_1(t^r)$. O problema central abordado aqui é generalizar esse fenômeno para a parte de inclinação $\wp$-ádica finita para níveis mais gerais da forma $\Gamma_1(n\wp^r)$, onde $n$ é um elemento não nulo no anel de polinômios $A = \mathbb{F}_q[t]$, $\wp$ é um polinômio irredutível mônico e $r \geq 1$. A questão específica é saber se os sistemas de autovalores de Hecke de inclinação $\wp$-ádica finita que aparecem em níveis mais altos $\Gamma_1(n\wp^r)$ são meramente repetições daqueles encontrados no nível base $\Gamma_1(n\wp)$.

Metodologia
O autor emprega uma abordagem combinatória para as formas modulares de Drinfeld, utilizando a descrição das cuspiformes via cociclos harmônicos na árvore de Bruhat–Tits $T$ para $SL_2(K_\infty)$, seguindo o trabalho de Teitelbaum [Tei] e Böckle [Böc].

1. Estrutura Combinatória: O espaço das cuspiformes de Drinfeld $S_k(\Gamma)$ é identificado com o espaço de cociclos harmônicos $\text{Char}_k(\Gamma)$, que por sua vez é isomorfo a um produto tensorial envolvendo o módulo de Steinberg e um espaço de polinômios homogêneos. Isso permite traduzir o problema para a linguagem de módulos de grupo sobre o subgrupo de congruência $\Gamma$.
2. Operadores Diamante e Anéis de Grupo: O artigo analisa a ação do grupo $\Theta_r = 1 + \wp(A/\wp^r A)$, um $p$-grupo comutativo, no espaço das cuspiformes através de operadores diamante. O espaço $S_k(\Gamma_1(n\wp^r))$ é visto como um módulo sobre o anel de grupo $C_\infty[\Theta_r]$.
3. Livreza dos Módulos: Uma etapa técnica crítica envolve provar que $S_k(\Gamma_1(n\wp^r))$ é um módulo livre de posto finito sobre o anel local $C_\infty[\Theta_r]$. Isso depende do fato de $C_\infty$ ter característica $p$, tornando $C_\infty[\Theta_r]$ um anel local onde módulos projetivos são livres. A prova utiliza a sequência exata que relaciona o módulo de Steinberg ao complexo de cadeias da árvore e a livreza dos módulos induzidos.
4. Isomorfismo das Partes de Inclinação Finita: O autor estabelece um isomorfismo compatível com Hecke entre as partes de inclinação $\wp$-ádica finita dos espaços de cuspiformes nos níveis $\Gamma_1(n\wp)$ e $\Gamma_1^\wp(n, \wp^r)$ (um nível intermediário específico). Isso é alcançado construindo um mapa entre os espaços e mostrando que o cokernel se anula para autovalores não nulos do operador $U_\wp$.

Principais Contribuições e Resultados
O resultado primário é o Teorema 1.1, que estabelece uma "constância" dos sistemas de autovalores de Hecke para cuspiformes de Drinfeld à medida que o nível aumenta. Especificamente:

• Fórmula de Multiplicidade: Para qualquer autovalor não nulo $\alpha$ do operador $U_\wp$ e qualquer inclinação $a$, a multiplicidade de $\alpha$ (ou a dimensão do subespaço de inclinação $a$) em $S_k(\Gamma_1(n\wp^r))$ é exatamente $q^{(r-1)\deg(\wp)}$ vezes a multiplicidade em $S_k(\Gamma_1(n\wp))$.
  $$m(\Gamma_1(n\wp^r), k, \wp, \alpha) = q^{(r-1)\deg(\wp)} m(\Gamma_1(n\wp), k, \wp, \alpha)$$
• Constância dos Sistemas de Autovalores: Um sistema de autovalores de Hecke $\lambda = (\lambda_Q)_{Q \in \Pi}$ com $\lambda_\wp \neq 0$ aparece no espaço $S_k(\Gamma_1(n\wp^r))$ se e somente se aparecer em $S_k(\Gamma_1(n\wp))$.

Esse resultado implica que o conjunto de autovalores não nulos de $U_\wp$ e o conjunto de inclinações finitas não mudam à medida que o expoente $r$ do nível aumenta; eles apenas escalam em multiplicidade.

Significado e Afirmações
O artigo afirma que esse resultado destaca um "contraste marcante" com a teoria das formas modulares elípticas. No caso elíptico, variar o nível tipicamente produz famílias analíticas $p$-ádicas de formas próprias. No caso de Drinfeld, como demonstrado por este teorema, variar o nível (especificamente a potência de $\wp$) produz apenas "famílias constantes" de sistemas de autovalores de Hecke. Embora o autor reconheça que famílias contínuas $\wp$-ádicas de formas próprias de Drinfeld existam ao variar o peso (citando [Hat1]), a variação do nível neste contexto não gera novos sistemas de autovalores, mas sim replica os existentes com multiplicidade aumentada.

O trabalho generaliza as descobertas anteriores do autor sobre a parte $t$-ordinária (onde a ação era trivial) para o contexto mais amplo de inclinação finita, sugerindo uma rigidez fundamental na aritmética das formas modulares de Drinfeld em relação à variação do nível. A prova depende fortemente das propriedades estruturais do anel de grupo $C_\infty[\Theta_r]$ e da descrição combinatória das cuspiformes, evitando a necessidade de famílias analíticas $p$-ádicas na variável do nível.