On André periods of mixed Tate motives

Technische Samenvatting: Over André-perioden van gemengde Tate-motieven

Probleemstelling
Het artikel behandelt de relatie tussen twee verschillende noties van $p$-adische perioden in de context van gemengde Tate-motieven (MTM). Enerzijds is er de "klassieke" notie van $p$-adische perioden, ontwikkeld door Yamashita, Chatzistamatiou en Üner, die voortkomt uit het onderzoek naar $p$-adische iteratieve integralen en de Chabauty-Kim-theorie. Deze theorie berust op het vergelijken van de Hodge-filtratie en de Frobenius-automorfisme op de $p$-adische de Rham-realizatie. Anderzijds hebben Ancona en Frătilă onlangs een notie van "$p$-adische perioden" (genaamd "André-perioden") geïntroduceerd voor pure motieven, geïnspireerd door het werk van Y. André. Deze benadering vergelijkt de rationale de Rham-realizatie met de kristallijne realizatie, met nadruk op de factorisatie door de categorie van motieven over het residuveld.

Hoewel de klassieke theorie goed gevestigd is voor gemengde Tate-motieven, werd het Ancona-Frătilă-raamwerk voornamelijk ontwikkeld voor pure motieven, waarbij gemengde motieven als een nagedachte werden behandeld. Het centrale probleem is om te bepalen of de Ancona-Frătilă-definitie, wanneer toegepast op de specifieke context van gemengde Tate-motieven, de klassieke $p$-adische perioden herwint die geassocieerd zijn met $p$-adische meervoudige zèta-waarden en polylogaritmen.

Methodologie
De auteur, Ishai Dan-Cohen, maakt gebruik van de taal van Tannakiaanse categorieën en vezelfunctoren om deze twee definities te overbruggen. De methodologie omvat:

1. Vertaling van Raamwerken: De Ancona-Frătilă-constructie wordt getransporteerd naar de context van gemengde Tate-motieven over een open geheel getalschema $Z \subset \text{Spec } \mathcal{O}_K$. Dit omvat het definiëren van een functor $H(Z)$ die de ruimte van $\otimes$-compatibele natuurlijke transformaties voorstelt tussen de specialisatie van de kristallijne realizatie (via een functor $\zeta$) en de de Rham-realizatie.
2. Constructie van Periode-afbeeldingen:
   • De Ancona-Frătilă-periode-afbeelding ($per_{AF}$) wordt gedefinieerd via het "Berthelot-punt" ($c_{Ber}$), een specifiek $K_p$-punt van $H(Z)$ geconstrueerd met behulp van de Berthelot-vergelijkingsisomorfisme tussen kristallijne en de Rham-realizaties.
   • De klassieke periode-afbeelding ($per_{Cl}$) wordt gedefinieerd via de "klassieke $p$-adische periode-lus" ($u$), die het arithmetische Hodge-pad en het arithmetische kristallijne pad vergelijkt binnen de unipotente radical $U_{dR}(Z)$ van de Tannakiaanse Galois-groep.
3. Tannakiaanse Vergelijking: Het kernachtige technische werk bestaat uit het bewijzen dat de presheaf $H(Z)$ een triviale torsor is onder de prounipotente groep $U_{dR}(Z)$. Dit wordt bereikt door:
   • Gebruik te maken van de equivalentie tussen de categorie van semisimple gemengde Tate-motieven en representaties van $\mathbb{G}_m$.
   • Een algemeen Tannakiaans resultaat toe te passen (Propositie 4.2) met betrekking tot de isomorfisme tussen quotiënt-schema's en ruimten van natuurlijke transformaties.
   • Aan te tonen dat de orbit-afbeelding geïnduceerd door een specifiek de Rham-punt ($c_{dR}$) een isomorfisme biedt tussen $U_{dR}(Z)$ en $H(Z)$ dat de twee periode-lussen verweeft.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Equivalentie van Periode-afbeeldingen): Het primaire resultaat vestigt een isomorfisme van $K$-algebra's tussen de ring van "formele André-perioden" ($\mathcal{O}_{H(Z)}$) en de ring van "formele klassieke perioden" ($\mathcal{O}_{U_{dR}(Z)}$). Deze isomorfisme commuteert met de respectievelijke periode-afbeeldingen $per_{AF}$ en $per_{Cl}. Bijgevolg zijn de twee ogenschijnlijk verschillende definities van$p$-adische perioden equivalent in de context van gemengde Tate-motieven.
• Onafhankelijkheid van het Eerste Getal: Een opmerkelijke corollarium is dat de ring van formele André-perioden, hoewel a priori gedefinieerd met behulp van een specifiek priemgetal $p$, onafhankelijk is van $p$ tot op canoniek isomorfisme, aangezien deze isomorf is met de coördinatenring van de unipotente groep $U_{dR}(Z)$, die niet afhankelijk is van $p$.
• Motivische Aard van Frobenius-gefixeerde Paden: Het artikel lost een conceptuele ambiguïteit op met betrekking tot de Frobenius-gefixeerde de Rham-paden geïdentificeerd door Besser en Vologodsky. Door aan te tonen dat deze paden voortkomen uit motivische paden in karakteristiek $p$ (specifiek, uit de specialisatie van motivische pad-torsoren), demonstreert de auteur dat deze paden "toch motivisch" zijn, mits men motieven over een arithmetische basis vervangt door motieven over een residuveld.
• Realisatie van Polylogaritmen: De auteur construeert expliciet functies op de principale homogene ruimte $H(Z)$ die corresponderen met motivische iteratieve integralen. Er wordt aangetoond dat de André-perioden van deze functies de speciale waarden opleveren van $p$-adische meervoudige polylogaritmen en $p$-adische meervoudige zèta-waarden (Coleman-functies).

Betekenis
Het artikel claimt betekenis in het verenigen van twee onderzoekstrengen: de klassieke theorie van $p$-adische perioden gebruikt in de arithmetische meetkunde (Chabauty-Kim-theorie) en het nieuwere, meer algemene raamwerk van André-perioden voorgesteld door Ancona en Frătilă. Door hun equivalentie in de context van gemengde Tate-motieven te bewijzen, valideert het werk de uitbreiding van de Ancona-Frătilă-mechanica naar gemengde motieven zonder verlies van de klassieke eigenschappen.

Bovendien biedt het artikel een concrete realisatie van $p$-adische meervoudige polylogaritmen als André-perioden. Dit verbindt het abstracte Tannakiaanse formalisme van Ancona en Frătilă direct met de berekenbare objecten van $p$-adische integratie. De auteur merkt op dat deze connectie de "inwendige mechanismen" van de Chabauty-Kim-theorie voor gemengde Tate-motieven verduidelijkt en een $p$-adisch perspectief biedt op Goncharov's conjecturen met betrekking tot motivische iteratieve integralen. Het werk legt ook een fundament voor het potentieel uitbreiden van de Chabauty-Kim-theorie buiten de context van gemengde Tate-motieven, hoewel de huidige resultaten strikt beperkt blijven tot het geval van gemengde Tate-motieven.