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

Technische Samenvatting: Constantie van Hecke-eigensystemen voor Drinfeld-cuspvormen

Probleemstelling
Het artikel onderzoekt het gedrag van Hecke-eigensystemen binnen de ruimte van Drinfeld-cuspvormen, met name gericht op hoe deze systemen variëren naarmate het niveau van de modulaire vormen toeneemt. In de klassieke theorie van elliptische modulaire vormen is bekend dat Hecke-eigensystemen van eindige $p$-helling variëren in $p$-adische analytische families naarmate het gewicht en de $p$-adische waardering van het niveau veranderen. De auteur contrasteert dit met de Drinfeld-setting, waar eerdere werken (specifiek [Hat2]) een onverwachte "trivialiteit" van de Hecke-actie op het $t$-ordinale deel van cuspvormen van niveau $\Gamma_1(t^r)$ hebben aangetoond. Het centrale probleem dat hier wordt aangepakt, is het generaliseren van dit fenomeen naar het eindige $\wp$-helling-deel voor meer algemene niveaus van de vorm $\Gamma_1(n\wp^r)$, waarbij $n$ een niet-nul element is in de polynoomring $A = \mathbb{F}_q[t]$, $\wp$ een monische irreducibele polynoom is, en $r \geq 1$. De specifieke vraag is of Hecke-eigensystemen van eindige $\wp$-helling die voorkomen in hogere niveaus $\Gamma_1(n\wp^r)$ louter herhalingen zijn van die welke worden aangetroffen in het basale niveau $\Gamma_1(n\wp)$.

Methodologie
De auteur hanteert een combinatorische aanpak voor Drinfeld-modulaire vormen, gebruikmakend van de beschrijving van cuspvormen via harmonische cocycli op de Bruhat-Tits-boom $T$ voor $SL_2(K_\infty)$, in navolging van het werk van Teitelbaum [Tei] en Böckle [Böc].

1. Combinatorisch Kader: De ruimte van Drinfeld-cuspvormen $S_k(\Gamma)$ wordt geïdentificeerd met de ruimte van harmonische cocycli $\text{Char}_k(\Gamma)$, die op haar beurt isomorf is met een tensorproduct dat de Steinberg-module en een ruimte van homogene polynomen omvat. Dit maakt het mogelijk het probleem te vertalen naar de taal van groepmodules over de congruentieondergroep $\Gamma$.
2. Diamantoperatoren en Groepsringen: Het artikel analyseert de actie van de groep $\Theta_r = 1 + \wp(A/\wp^r A)$, een commutatieve $p$-groep, op de ruimte van cuspvormen via diamantoperatoren. De ruimte $S_k(\Gamma_1(n\wp^r))$ wordt beschouwd als een module over de groepsring $C_\infty[\Theta_r]$.
3. Vrijheid van Modules: Een kritieke technische stap bestaat uit het bewijzen dat $S_k(\Gamma_1(n\wp^r))$ een vrije module is van eindige rang over de lokale ring $C_\infty[\Theta_r]$. Dit berust op het feit dat $C_\infty$ karakteristiek $p$ heeft, waardoor $C_\infty[\Theta_r]$ een lokale ring is waarbij projectieve modules vrij zijn. Het bewijs maakt gebruik van de exacte rij die de Steinberg-module relateert aan de ketencomplex van de boom en de vrijheid van geïnduceerde modules.
4. Isomorfisme van Eindige Helling-Deelen: De auteur stelt een Hecke-equivariante isomorfisme vast tussen de eindige $\wp$-helling-deelen van de cuspvormruimten op niveaus $\Gamma_1(n\wp)$ en $\Gamma_1^\wp(n, \wp^r)$ (een specifiek intermediair niveau). Dit wordt bereikt door een afbeelding tussen de ruimten te construeren en aan te tonen dat de cokern verdwijnt voor niet-nul eigenwaarden van de $U_\wp$-operator.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat is Stelling 1.1, die een "constantie" van Hecke-eigensystemen voor Drinfeld-cuspvormen vaststelt naarmate het niveau toeneemt. Specifiek:

• Multipliciteitsformule: Voor elke niet-nul eigenwaarde $\alpha$ van de operator $U_\wp$ en elke helling $a$, is de multipliciteit van $\alpha$ (of de dimensie van de helling $a$-deelruimte) in $S_k(\Gamma_1(n\wp^r))$ exact $q^{(r-1)\deg(\wp)}$ keer de multipliciteit in $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)$$
• Constantie van Eigensystemen: Een Hecke-eigensysteem $\lambda = (\lambda_Q)_{Q \in \Pi}$ met $\lambda_\wp \neq 0$ komt voor in de ruimte $S_k(\Gamma_1(n\wp^r))$ dan en slechts dan als het voorkomt in $S_k(\Gamma_1(n\wp))$.

Dit resultaat impliceert dat de verzameling van niet-nul $U_\wp$-eigenwaarden en de verzameling van eindige hellingen niet veranderen naarmate de exponent $r$ van het niveau toeneemt; ze schalen uitsluitend in multipliciteit.

Betekenis en Aanspraken
Het artikel beweert dat dit resultaat een "scherp contrast" benadrukt met de theorie van elliptische modulaire vormen. In het elliptische geval levert het variëren van het niveau doorgaans $p$-adische analytische families van eigenvormen op. In het Drinfeld-geval, zoals aangetoond door deze stelling, levert het variëren van het niveau (specifiek de macht van $\wp$) uitsluitend "constante families" van Hecke-eigensystemen op. Hoewel de auteur erkent dat $\wp$-adische continue families van Drinfeld-eigenvormen wel bestaan bij variatie van het gewricht (verwijzend naar [Hat1]), levert de variatie van het niveau in deze context geen nieuwe eigensystemen op, maar repliceert eerder bestaande systemen met een verhoogde multipliciteit.

Het werk generaliseert de eerdere bevindingen van de auteur over het $t$-ordinale deel (waar de actie triviaal was) naar de bredere context van eindige helling, wat wijst op een fundamentele rigiditeit in de aritmetiek van Drinfeld-modulaire vormen met betrekking tot niveauvariatie. Het bewijs steunt zwaar op de structurele eigenschappen van de groepsring $C_\infty[\Theta_r]$ en de combinatorische beschrijving van cuspvormen, waarbij de noodzaak van $p$-adische analytische families in de niveauvariabele wordt vermeden.