Non-Abelian p-Curvature and a Non-Abelian Katz's Formula

Titel: Non-Abelische p-Kromming en een Non-Abelse Katz's Formule

Auteur: Michael Barz
Context: Algebraïsche meetkunde, niet-abelse Hodge-theorie, $p$-adische Hodge-theorie.

1. Het Probleem

Het artikel adresseert een fundamenteel probleem in de algebraïsche meetkunde in karakteristiek $p$: het begrijpen van de relatie tussen de Gauss-Manin connectie en de $p$-kromming (p-curvature) in een niet-abelse context.

• Achtergrond: In zijn werk over de Grothendieck-Katz $p$-kromming conjectuur, bewees Katz een formule die de Kodaira-Spencer-klasse van een gladde, eigentijdse morfisme $f: X \to S$ relateert aan de $p$-kromming van de Gauss-Manin connectie op de relatieve de Rham-cohomologie $H^n_{dR}(X/S)$.
• De Uitdaging: Onlangs bewezen Lam en Litt een niet-abelse variant van deze formule en de bijbehorende conjectuur (de Ekedahl-Shepherd-Barron-Taylor conjectuur). Hun bewijs gebruikte echter complexe constructies. Lam en Litt suggereerden dat een meer conceptueel bewijs mogelijk zou zijn via de theorie van syntomificatie en de Rham-stacks.
• Doel: Het doel van Barz is om een conceptueel en vereenvoudigd bewijs te geven van de niet-abelse Katz-formule door systematisch gebruik te maken van de theorie van geschuinde de Rham-stacks (sheared de Rham stacks), ontwikkeld door Bhatt, Kanaev, Mathew, Vologodsky, Zhang en Drinfeld.

2. Methodologie

De kern van de methodologie ligt in het vertalen van differentiaalmeetkundige objecten (zoals connecties en filtraties) naar de taal van stapels (stacks) en functoren van punten.

• Geschuinde de Rham-stacks ($(S/k)^c_{dR}$):
  In plaats van de gebruikelijke de Rham-stack (die alleen connecties met nilpotente $p$-kromming beschrijft), gebruikt Barz de geschuinde variant. Deze stack is gedefinieerd door te quotiënteren door een groepoid van elementen met nilpotente gedeelde machten (divided powers), in plaats van alleen door nilpotente elementen.

  • Cruciaal inzicht: Vectorbundels op $(S/k)^c_{dR}$ corresponderen exact met vectorbundels met een platte connectie op $S$.

• Niet-abelse connecties:
  In plaats van lineaire connecties op vectorbundels, bestudeert Barz niet-abelse connecties op pre-stapels (prestacks). Een niet-abelse connectie op een prestack $E \to S$ wordt gedefinieerd als een Cartesiaans diagram met de geschuinde de Rham-stack. Dit generaliseert het idee van Simpson om niet-lineaire differentiaalvergelijkingen te bestuderen via stacks.

• Filtraties via Rees-construction:
  De auteur introduceert twee natuurlijke filtraties op de niet-abelse Gauss-Manin connectie:

  1. De Hodge-filtratie: Geassocieerd met de stack $(S/k)^c_{dR,+}$ over $\mathbb{A}^1/\mathbb{G}_m$. De "geassocieerde graad" (associated graded) van deze filtratie leidt tot de Hodge-stack $(S/k)_{Hodge}$, die een gesplitste gerbe is over $S \times B\mathbb{G}_m$.
  2. De Conjugate-filtratie: Specifiek voor karakteristiek $p$, geassocieerd met de stack $(S/k)^c_{dR,c}$. De geassocieerde graad hiervan is de Conjugate Hodge-stack $(S/k)_{Hodge,c}$.

• Constructie van invarianten:
  Door de specifieke structuur van deze stacks (gesplitste gerbes), kan Barz canonieke afbeeldingen construeren:

  • Een niet-abelse Higgs-veld $\Theta_{X/S}$ uit de Hodge-filtratie.
  • Een niet-abelse $p$-kromming $\psi_{X/S}|_{\lambda=0}$ uit de Conjugate-filtratie.

3. Belangrijkste Bijdragen

1. Conceptueel Bewijs: Barz levert een conceptueel bewijs van de niet-abelse Katz-formule dat veel eenvoudiger is dan de eerdere aanpak van Lam-Litt. Het bewijs volgt direct uit de geometrische eigenschappen van de geschuinde de Rham-stacks.
2. Vereenvoudiging van Constructies: De constructie van de objecten in de formule (zoals $\psi_{X/S}$) wordt directer. Waar Lam-Litt eerst een object $\Psi$ moesten construeren en vervolgens een deling door $\lambda$ moesten rechtvaardigen (wat alleen lokaal mogelijk is), construeert Barz $\psi$ direct via de stack-theorie.
3. Niet-Abelse Higgs-velden en $p$-kromming: Het artikel introduceert een algemene methode (via "Construction 3.2" en "Construction 4.1") om niet-abelse varianten van Higgs-velden en $p$-kromming te definiëren voor willekeurige niet-abelse connecties die voldoen aan een Griffiths-transversaliteitsvoorwaarde.
4. Tekens en Frobenius: Het artikel verduidelijkt de rol van tekenen (specifiek de $[-1]$-twist op $B\mathbb{G}_m$) en de Frobenius-twist in de vergelijking, wat essentieel is voor de consistentie van de formule.

4. Resultaten

Het hoofdstukresultaat is Stelling 5.12 (De niet-abelse Katz-formule).

Laat $f: X \to S$ een gladde, eigentijdse morfisme zijn van gladde $k$-schema's (met $k$ van karakteristiek $p$). Laat $M_{dR}(X/S, n)$ de moduli-stack zijn van $SL_n$-bundels met platte connectie.

Er bestaat een Cartesiaans diagram van stapels:
$$\begin{array}{ccc} M_{Dol,c} & \xrightarrow{\phi} & M_{Dol} \\ \downarrow & & \downarrow \\ S \times B\mathbb{G}_m & \xrightarrow{(F_{abs}, [-1])} & S \times B\mathbb{G}_m \end{array}$$
Waarbij:

• $M_{Dol}$ de Dolbeault-stack is (geassocieerd met de Hodge-filtratie).
• $M_{Dol,c}$ de stack is geassocieerd met de Conjugate-filtratie.
• $\Theta_{X/S}$ het niet-abelse Higgs-veld is (afgeleid van de Hodge-filtratie).
• $\psi_{X/S}|_{\lambda=0}$ de niet-abelse $p$-kromming is (afgeleid van de Conjugate-filtratie).

De formule stelt dat:
$$\phi^* \Theta_{X/S} = \psi_{X/S}|_{\lambda=0}$$

Dit betekent dat de niet-abelse $p$-kromming exact overeenkomt met het Higgs-veld, mits men de juiste Frobenius-twist en tekenverandering ($[-1]$) toepast.

5. Betekenis en Impact

• Verbinding tussen Theorieën: Het artikel verbindt de concrete observaties van Katz en Lam-Litt met de abstracte, krachtige framework van de $p$-adische Hodge-theorie en stack-geometrie.
• Toegang voor een Breder Publiek: Hoewel het onderwerp geavanceerd is, probeert de auteur de theorie van de geschuinde de Rham-stacks toegankelijk te maken voor lezers zonder voorafgaande kennis, door de basisconcepten (zoals nilpotente gedeelde machten en transmutatie) uit te leggen.
• Toekomstige Toepassingen: De technieken voor het construeren van niet-abelse Higgs-velden en $p$-kromming via stacks kunnen nuttig zijn in andere contexten binnen de niet-abelse Hodge-theorie en de studie van niet-lineaire differentiaalvergelijkingen in karakteristiek $p$.
• Bevestiging van Suggesties: Het artikel bevestigt de suggestie van Lam-Litt dat syntomificatie en de Rham-stacks de sleutel zijn tot een conceptueel inzicht in de niet-abelse $p$-kromming, hoewel Barz een iets andere, meer directe route kiest dan de oorspronkelijke suggestie.

Samenvattend biedt dit artikel een elegant, stack-theoretisch bewijs dat de diepe relatie tussen de Hodge-filtratie, de Conjugate-filtratie en de $p$-kromming in de niet-abelse wereld blootlegt, en het bewijs van de formule aanzienlijk vereenvoudigt.