Logarithmic Crystalline Representations

Technische Samenvatting: Logaritmische Kristallijne Representaties

Probleemstelling
In 1989 stelde Faltings een vergelijkingsstelling vast tussen étale cohomologie en kristallijne cohomologie door de introductie van de categorie van Fontaine-Faltings-modules ($MF^{\nabla}$) en een volledig trouwe functor ($D$) die deze modules afbeeldt op representaties van de étale fundamentele groep van de generieke vezel. Hoewel Faltings in [Fal89] beweerde dat deze theorie zich uitstrekt naar de logaritmische context (betreffende normaal kruisende divisoren), gaf hij geen details. Gevolgelijk bleven de expliciete constructie van logaritmische Fontaine-Faltings-modules en de bijbehorende logaritmische vergelijkingsfunctor afwezig in de literatuur. Dit artikel beoogt deze kloof te vullen door deze objecten expliciet te construeren en de volledige trouw van de resulterende functor te bewijzen.

Methodologie
De auteurs gaan te werk in twee hoofdfasen: eerst het bespreken van de niet-logaritmische theorie en vervolgens het uitbreiden ervan naar de logaritmische setting.

1. Review van de Niet-Logaritmische Theorie: Het artikel begint met het herinneren aan de definitie van niet-logaritmische Fontaine-Faltings-modules over een kleine affiene basis en een globale basis. Dit zijn quadruples $(V, \nabla, \text{Fil}, \phi)$ bestaande uit een de Rham-module, een Hodge-filtratie en een semi-lineaire Frobenius-isomorfisme. De auteurs bespreken Faltings' $D$-functor, die periodenringen ($B^+(R)$) gebruikt en de constructie van een horizontale actie van de étale fundamentele groep om deze modules af te beelden op continue representaties. Een cruciaal technisch instrument is de "gluing functor" (lijmfunctor), die vaststelt dat de categorie van modules onafhankelijk is van de keuze van de Frobenius-lifting $\Phi$ (mits de Hodge-Tate gewicht-range $b-a \leq p-2$ geldt).

2. Constructie van Logaritmische Modules:

   • Definitie: Een logaritmische Fontaine-Faltings-module over een paar $(Y, Z)$ (waarbij $Z$ een normaal kruisende divisor is) wordt vergelijkbaar met het klassieke geval gedefinieerd, maar de verbinding $\nabla$ moet logaritmische polen hebben langs $Z$. De Frobenius-lift $\Phi$ moet de logaritmische structuur respecteren (d.w.z. $\Phi(T_i) = w_i T_i^p$).
   • Gluing Theorem: De auteurs bewijzen een logaritmische versie van Faltings' gluing theorem (Theorem 2.3). Ze construeren een canonieke isomorfisme $\alpha_{\Phi, \Psi}$ tussen modules gedefinieerd door verschillende Frobenius-liftsities met behulp van een logaritmische Taylor-formule met behulp van logaritmische afgeleiden $\partial_i = T_i \frac{\partial}{\partial T_i}$. Dit zorgt ervoor dat de categorie van logaritmische modules goed gedefinieerd is, onafhankelijk van de keuze van $\Phi$.

3. Constructie van de Logaritmische $D_{\log}$-Functor:

   • Lokale Constructie: Voor een logaritmisch kleine affiene $(Y, Z)$ construeren de auteurs de lokale functor $D_{\log}$. De kern van het idee is om gebruik te maken van het feit dat voor een $p$-torsie module $M$, de logaritmische polen van zijn pullback langs een specifieke toren van eindige vlakke covers (involvende $p^n$-de wortels van de lokale coördinaten die $Z$ definiëren) verdwijnen.
   • Descent (Afstammeling): Op deze covers wordt de pullback een standaard (niet-logaritmische) Fontaine-Falsings-module. De auteurs passen de klassieke Faltings $D$-functor toe om een lokaal systeem op de cover te verkrijgen. Gebruikmakend van het feit dat de fundamentele groep van de complement $Y^\circ_K$ op deze systemen werkt, laten zij het lokale systeem vanuit de cover afstammen naar $Y^\circ_K = Y_K - Z_K$.
   • Globalisering: Door de globale schema $(Y, Z)$ te bedekken met logaritmisch kleine affiene ruimtes, lijmen de auteurs deze lokale $D_{\log}$ functoren aan elkaar. Ze maken gebruik van faithfully flat descent voor rigide ruimtes om te waarborgen dat de resulterende lokale systemen samenklonteren tot een globale $p$-adische étale lokale systeem op $Y^\circ_K$.

4. Volledige Trouw: De auteurs bewijzen dat de globale $D_{\log}$ functor volledig trouw is. Het bewijs steunt op de volledige trouw van de niet-logaritmische $D$-functor. Ze tonen aan dat een morfisme (of isomorfisme) tussen logaritmische modules lokaal op de complement $U = Y - Z$ gedetecteerd kan worden, waar de logaritmische structuur triviaal is, en vervolgens teruggeëxtrapoleerd kan worden naar de gehele ruimte met behulp van de abelse natuur van de categorie van torsie-modules en de verdwijning van cokernels op de open dichte verzameling.

Belangrijkste Bijdragen en Resultaten

• Expliciete Constructie: Het artikel biedt de eerste expliciete definitie van logaritmische Fontaine-Faltings-modules en de constructie van de logaritmische $D_{\log}$-functor.
• Theorem 2.10: Het hoofdresultaat vestigt een functor $D_{\log}$ van de categorie van logaritmische Fontaine-Faltings-modules over $(Y, Z)$ naar de categorie van continue representaties van $\pi_1^{\text{ét}}(Y^\circ_K)$.
  • Deze functor is compatibel met de klassieke Faltings $D$-functor: $D_{\log}(M)|_{U_K} \cong D(M|_U)$.
  • Indien $Y$ proper is over $W$, algebraïseert de functor naar een representatie van $\pi_1^{\text{ét}}(Y^\circ_K)$.
• Volledige Trouw (Proposition 2.11): De functor $D_{\log}$ wordt bewezen volledig trouw te zijn. Bijgevolg worden representaties in de essentiële afbeelding gedefinieerd als "logaritmische kristallijne representaties".
• Onafhankelijkheid van Frobenius: Theorem 2.3 bevestigt dat de categorie van logaritmische Fontaine-Faltings-modules onafhankelijk is van de keuze van de Frobenius-lifting, analoog aan het niet-logaritmische geval.

Significantie
Het artikel claimt het theoretische kader te voltooien dat in 1989 door Faltings werd geïnitieerd met betrekking tot de logaritmische uitbreiding van kristallijne representaties. Door de constructie van de $D_{\log}$-functor expliciet te detailleren en de volledige trouw ervan te bewijzen, bieden de auteurs de noodzakelijke instrumenten om $p$-adische representaties te bestuderen die voortkomen uit logaritmische geometrie (zoals die geassocieerd met variëteiten met semistabiele reductie) op een wijze die parallel loopt aan de klassieke Fontaine-Laffaille theorie. Het werk dient als een fundamenteel referentiekader voor de logaritmische context, die voorheen slechts gesuggereerd werd zonder rigoureuze constructie.