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

Resumen Técnico: Constancia de los Sistemas de Valores Propios de Hecke para las Formas de Cusp Drinfeld

Enunciado del Problema
El artículo investiga el comportamiento de los sistemas de valores propios de Hecke dentro del espacio de las formas de cusp Drinfeld, centrándose específicamente en cómo varían estos sistemas a medida que aumenta el nivel de las formas modulares. En la teoría clásica de las formas modulares elípticas, se sabe que los sistemas de valores propios de Hecke de pendiente $p$-ádica finita varían en familias analíticas $p$-ádicas a medida que cambian el peso y la valoración $p$-ádica del nivel. El autor contrasta esto con el contexto de Drinfeld, donde trabajos anteriores (específicamente [Hat2]) demostraron una "trivialidad" inesperada de la acción de Hecke sobre la parte $t$-ordinaria de las formas de cusp de nivel $\Gamma_1(t^r)$. El problema central abordado aquí es generalizar este fenómeno a la parte de pendiente $\wp$-ádica finita para niveles más generales de la forma $\Gamma_1(n\wp^r)$, donde $n$ es un elemento no nulo en el anillo de polinomios $A = \mathbb{F}_q[t]$, $\wp$ es un polinomio mónico irreducible, y $r \geq 1$. La pregunta específica es si los sistemas de valores propios de Hecke de pendiente $\wp$-ádica finita que aparecen en niveles superiores $\Gamma_1(n\wp^r)$ son meras repeticiones de los encontrados en el nivel base $\Gamma_1(n\wp)$.

Metodología
El autor emplea un enfoque combinatorio para las formas modulares de Drinfeld, utilizando la descripción de las formas de cusp mediante cociclos armónicos en el árbol de Bruhat–Tits $T$ para $SL_2(K_\infty)$, siguiendo el trabajo de Teitelbaum [Tei] y Böckle [Böc].

1. Marco Combinatorio: El espacio de las formas de cusp Drinfeld $S_k(\Gamma)$ se identifica con el espacio de los cociclos armónicos $\text{Char}_k(\Gamma)$, que a su vez es isomorfo a un producto tensorial que involucra el módulo de Steinberg y un espacio de polinomios homogéneos. Esto permite traducir el problema al lenguaje de módulos de grupo sobre el subgrupo de congruencia $\Gamma$.
2. Operadores Diamante y Anillos de Grupo: El artículo analiza la acción del grupo $\Theta_r = 1 + \wp(A/\wp^r A)$, un $p$-grupo conmutativo, sobre el espacio de las formas de cusp mediante operadores diamante. El espacio $S_k(\Gamma_1(n\wp^r))$ se considera como un módulo sobre el anillo de grupo $C_\infty[\Theta_r]$.
3. Libertad de los Módulos: Un paso técnico crítico consiste en demostrar que $S_k(\Gamma_1(n\wp^r))$ es un módulo libre de rango finito sobre el anillo local $C_\infty[\Theta_r]$. Esto se basa en el hecho de que $C_\infty$ tiene característica $p$, lo que convierte a $C_\infty[\Theta_r]$ en un anillo local donde los módulos proyectivos son libres. La demostración utiliza la sucesión exacta que relaciona el módulo de Steinberg con el complejo de cadenas del árbol y la libertad de los módulos inducidos.
4. Isomorfismo de las Partes de Pendiente Finita: El autor establece un isomorfismo compatible con Hecke entre las partes de pendiente $\wp$-ádica finita de los espacios de formas de cusp en los niveles $\Gamma_1(n\wp)$ y $\Gamma_1^\wp(n, \wp^r)$ (un nivel intermedio específico). Esto se logra construyendo un mapa entre los espacios y demostrando que el conúcleo se anula para los valores propios no nulos del operador $U_\wp$.

Contribuciones y Resultados Clave
El resultado principal es el Teorema 1.1, que establece una "constancia" de los sistemas de valores propios de Hecke para las formas de cusp Drinfeld a medida que aumenta el nivel. Específicamente:

• Fórmula de Multiplicidad: Para cualquier valor propio no nulo $\alpha$ del operador $U_\wp$ y cualquier pendiente $a$, la multiplicidad de $\alpha$ (o la dimensión del subespacio de pendiente $a$) en $S_k(\Gamma_1(n\wp^r))$ es exactamente $q^{(r-1)\deg(\wp)}$ veces la multiplicidad en $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)$$
• Constancia de los Sistemas de Valores Propios: Un sistema de valores propios de Hecke $\lambda = (\lambda_Q)_{Q \in \Pi}$ con $\lambda_\wp \neq 0$ aparece en el espacio $S_k(\Gamma_1(n\wp^r))$ si y solo si aparece en $S_k(\Gamma_1(n\wp))$.

Este resultado implica que el conjunto de valores propios no nulos de $U_\wp$ y el conjunto de pendientes finitas no cambian a medida que aumenta el exponente $r$ del nivel; simplemente escalan en multiplicidad.

Significado y Afirmaciones
El artículo afirma que este resultado destaca un "fuerte contraste" con la teoría de las formas modulares elípticas. En el caso elíptico, variar el nivel suele producir familias analíticas $p$-ádicas de formas propias. En el caso de Drinfeld, como demuestra este teorema, variar el nivel (específicamente la potencia de $\wp$) produce únicamente "familias constantes" de sistemas de valores propios de Hecke. Aunque el autor reconoce que existen familias continuas $\wp$-ádicas de formas propias de Drinfeld al variar el peso (citando [Hat1]), la variación del nivel en este contexto no genera nuevos sistemas de valores propios, sino que replica los existentes con una multiplicidad aumentada.

El trabajo generaliza los hallazgos anteriores del autor sobre la parte $t$-ordinaria (donde la acción era trivial) al contexto más amplio de la pendiente finita, sugiriendo una rigidez fundamental en la aritmética de las formas modulares de Drinfeld con respecto a la variación del nivel. La demostración depende en gran medida de las propiedades estructurales del anillo de grupo $C_\infty[\Theta_r]$ y de la descripción combinatoria de las formas de cusp, evitando la necesidad de familias analíticas $p$-ádicas en la variable del nivel.