Regulators in the Arithmetic of Function Fields

Probleemstelling

Dit artikel behandelt de ontwikkeling van een regulatortheorie voor Anderson $A$-motieven over functiekörperen, met als doel analogieën te vestigen voor de Beilinson-vermoedens die bekend zijn in de rekenkunde van getallenlichamen. Specifiek streeft de auteur ernaar om een regulator-morfisme te definiëren voor rigide analytisch triviale Anderson $A$-motieven en de eindigheid en rangeigenschappen van de geassocieerde motivische cohomologiegroepen te onderzoeken.

In de klassieke setting over getallenlichamen relateren de Beilinson-vermoedens de dimensie van extensiegroepen van gemengde motieven (specifiek $\text{Ext}^1_{\mathbb{Z}}(1, M)$) aan speciale waarden van $L$-functies via een regulator-map naar Hodge-realisatieruimtes. In de context van functiekörperen initieerde het eerdere werk van de auteur ([Gaz22]) de studie van $A$-motivische cohomologie, maar stuitte het op obstakels: het natuurlijke module van extensies, $\text{Ext}^1_{A}(1, M)$, is over het algemeen niet eindig gegenereerd. Dit falen komt voort uit twee bronnen: de niet-exactheid van het nemen van Hodge-filtraties en de oneindige aard van de absolute Galois-groep $G_\infty$ bij de plaats in het oneindige. Het artikel beoogt deze problemen op te lossen door een verfijnde module van extensies met "analytische reductie" te definiëren en een corresponderende regulator naar Hodge-Pink-structuren te construeren.

Methodologie

De auteur maakt gebruik van een synthese van rigide analytische meetkunde, Galois-cohomologie en de theorie van shtuka-modellen. De methodologie verloopt via verschillende cruciale stadia:

1. Rigide analytisch triviale $A$-motieven en Betti-realisatie: De studie wordt beperkt tot de subcategorie van rigide analytisch triviale $A$-motieven ($\text{AMot}^{\text{rat}}_K$). Voor dergelijke motieven is de Betti-realisatiefunctie $M \mapsto M_B$ exact. De auteur stelt vast dat $M_B$ een natuurlijke continue actie draagt van de profinietische Galois-groep $G_\infty = \text{Gal}(K_\infty^s | K_\infty)$.
2. Analytische reductie en gereguleerde extensies: Om de het gebrek aan eindige generatie aan te pakken, definieert de auteur "analytische reductie bij $\infty$" voor extensies. Een extensie heeft analytische reductie als deze splitst als een representatie van $G_\infty$. Dit leidt tot de definitie van de module \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M), de kern van de afbeelding van gereguleerde extensies naar Galois-cohomologie $H^1(G_\infty, M_B)$.
3. Hodge-Pink-structuren met oneindige Frobenii: Het artikel breidt de theorie van Pink over Hodge-Pink-structuren uit door "oneindige Frobenii" te introduceren, die continue representaties van $G_\infty$ zijn die compatibel zijn met de Hodge-Pink-lattice. Dit maakt de constructie mogelijk van een Hodge-Pink-realisatiefunctie $H^+$ van $\text{AMot}^{\text{rat}}_K$ naar de categorie van Hodge-Pink-structuren met oneindige Frobenii ($\text{HdgPk}^+$).
4. Shtuka-modellen: Een centraal technisch instrument is de associatie van $A$-motieven met shtuka-modellen.
   • $C$-shtuka-modellen: Geassocieerd aan elke $A$-motief over de oppervlakte $(\text{Spec } A) \times C$.
   • $C \times C$-shtuka-modellen: Geassocieerd aan $A$-motieven met negatieve gewichten over $C \times C$.
     De auteur bewijst dat het complex dat de motivische cohomologie berekent ($G_M$) quasi-isomorf is met de coherente cohomologie van deze shtuka-modellen. Deze verbinding maakt het gebruik van de stelling van Grothendieck over formele functies en de eindigheid van coherente cohomologie op propere schema's mogelijk om eindelijkheidsresultaten af te leiden.
5. Regulator-constructie: De exactheid van de Hodge-Pink-realisatiefunctie induceert een morfisme (de regulator) van de module van gereguleerde, analytisch gereduceerde extensies van $A$-motieven naar de ruimte van Hodge-additieve, analytisch gereduceerde extensies van Hodge-Pink-structuren.

Belangrijkste Bijdragen en Resultaten

Het artikel stelt twee hoofdtheorema's vast met betrekking tot de structuur van $A$-motivische cohomologie en de eigenschappen van de regulator:

1. Eindigheidstheorema (Theorem 6.1):

   • De $A$-modules \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) (integrale, gereguleerde extensies met analytische reductie) en de klasse-module $\text{Cl}(M)$ (de cokernel van de analytische reductie-afbeelding) zijn eindig gegenereerd.
   • Als de gewichten van $M$ allemaal negatief zijn, is de klasse-module $\text{Cl}(M)$ eindig.
   • Dit resultaat dient als het functiekörper-analogon voor de verwachting dat $\text{Ext}^1_{\mathbb{Z}}(1, M)$ eindig-dimensionaal is in de getallenlichaam-setting.

2. Ranggelijkheidstheorema (Theorem 6.2):

   • Onder de aanname dat de gewichten van $M$ allemaal negatief zijn, is de rang van \text{Ext}^1_{A, \infty}^{\text{reg}}(1, M) als een $A$-module gelijk aan de dimensie van de doelruimte \text{Ext}^1_{\infty}^{\text{ha}}(1^+, H^+(M)) als een $K_\infty$-vectorruimte.
   • Deze dimensie is expliciet berekenbaar in termen van de positieve Hodge-Pink-gewichten van $M$.

3. Falen van volledige rang:

   • In tegenstelling tot het conjecturale beeld over getallenlichamen (waar de regulator naar verwachting een dichte/volledige rang heeft), demonstreert de auteur dat de afbeelding van de Hodge-Pink-regulator $\text{Reg}(M)$ mogelijk faalt om een volledige rang te hebben in zijn doelruimte.
   • Dit falen wordt waargenomen zelfs in eenvoudige gevallen, zoals de $p$-de Carlitz-twist. Bijgevolg houdt een direct analoog van de Beilinson-vermoeden betreffende de dichtheid van de afbeelding niet in deze setting.

Betekenis en Claims

Het artikel claimt een rigoureus kader te bieden voor motivische cohomologie in de context van functiekörperen door de problemen van oneindige generatie die aanwezig waren in eerdere formuleringen te overwinnen. Door het concept van analytische reductie te introduceren en gebruik te maken van shtuka-modellen, slaagt de auteur erin eindelijkheidsresultaten te bewijzen die de klassieke verwachtingen weerspiegelen.

Het artikel merkt echter bescheiden op dat er een significante divergentie is met de getallenlichaam-analogie: de regulator heeft niet noodzakelijkerwijs een volledige rang. De auteur suggereert dat deze discrepantie impliceert dat de standaard Hodge-Pink-structuren mogelijk niet de juiste objecten zijn voor het formuleren van een volledig Beilinson-type vermoeden in functiekörperen. In plaats daarvan stelt de auteur voor dat "functiekörper Hodge-structuren" (zonder de lattice-data) mogelijk gerehabiliteerd moeten worden om een regulator met een volledige rang te definiëren. Het artikel concludeert dat hoewel de ranggelijkheid (Theorem 6.2) standhoudt, de precieze formulering van het analoog aan het Beilinson-vermoeden (het relateren van de regulator-afbeelding aan speciale $L$-waarden) een open probleem blijft dat verdere investigatie vereist. Het werk wordt gepresenteerd als een natuurlijk vervolg op [Gaz22], waarbij de kloof tussen Anderson $A$-motieven en het conjecturale landschap van gemengde motieven wordt overbrugd.