The zariskian p-adic bifiltered El Zein-Steenbrink-Zucker complex of a proper SNCL scheme with a relative SNCD

Technische Samenvatting: De Zariskiaanse p-adische bifiltrerende El Zein-Steenbrink-Zucker complex

Probleemstelling
Dit artikel behandelt de formulering en gedeeltelijke verificatie van de log p-adische relatieve monodromie-gewicht conjectuur. Deze conjectuur dient als een generalisatie van de beroemde p-adische monodromie-gewicht conjectuur (voorheen bestudeerd door Mokrane en de auteur) naar de setting van de propere eenvoudige normale kruisende log (SNCL) schema's uitgerust met een relatieve eenvoudige normale kruisende divisor (SNCD).

Het kernprobleem betreft de constructie van een geschikte cohomologische framework voor propere SNCL-schema's $(X, D)$ over een basis $S_0$ in karakteristiek $p > 0$ die simultaan de volgende zaken incorporeert:

1. De gewichtfiltratie voortvloeiend uit de SNCL-structuur van $X$.
2. De relatieve monodromiefiltratie voortvloeiend uit de relatieve SNCD $D$.
3. De monodromieoperator $N$ werkend op log kristallijne cohomologie.

De auteur beoogt een bifiltrerende complex te definiëren die deze structuren vastlegt en te bewijzen dat de geïnduceerde monodromieoperator een isomorfisme vormt tussen specifieke gegradeerde stukken van de gewichts- en de relatieve monodromiefiltraties, modulo torsie.

Methodologie
Het artikel maakt gebruik van een rigoureuze constructie binnen het kader van log kristallijne cohomologie en PD-envelopen, waarbij het eerdere werk over gewichtsfiltraties voor SNCL-schema's wordt uitgebreid.

1. Constructie van de complex:
   De auteur construeert de zariskiaanse p-adische bifiltrerende El Zein-Steenbrink-Zucker complex, aangeduid als $(Azar((X, D)/S), P^D, P)$. Dit is een bifiltrerende complex in de afgeleide categorie $D^+F_2(f^{-1}(\mathcal{O}_S))$.

   • De constructie steunt op het inbedden van het schema in een simpliciaal strikt semistabiel formeel schema en het gebruik van log PD-envelopen.
   • Het maakt gebruik van pregewichtsfiltraties gedefinieerd op log differentiaalvormen, waarbij specifiek onderscheid wordt gemaakt tussen filtraties gerelateerd aan de SNCL-structuur ($P$) en de relatieve SNCD ($P^D$).
   • De complex wordt gedefinieerd via een cosimpliciale dubbele complex van log differentiaalvormen op de PD-envelope, gekwadrateerd door specifieke filtratiestappen.

2. Functorialiteit en Base Change:
   Het artikel vestigt de contravariante functorialiteit van deze complex onder morfismen van log-schema's, waarbij zorgvuldig rekening wordt gehouden met de "graad-twist" (D-twist) die vereist is wanneer de graad van het morfisme deelbaar is door $p$. Tevens wordt een bifiltrerende base change stelling bewezen, die garandeert dat de complex goed gedraagt onder base change van de log PD-vergroting.

3. Monodromieoperatoren:
   De auteur herinnert de monodromieoperator $N$ die in eerdere werken (H. Kato en de auteur) is gedefinieerd en demonstreert dat deze een welgedefinieerde endomorfisme induceert op de geconstrueerde bifiltrerende complex. Deze operator verschuift de gewichtsfiltratie $P$ met $-2$ en behoudt de relatieve filtratie $P^D$.

4. Spectrale sequenties:
   Twee nieuwe spectrale sequenties worden afgeleid uit de bifiltrerende complex:

   • Een Poincaré spectrale sequentie relatief aan de divisor $D$.
   • Een gewichts spectrale sequentie (analoog aan de $E_1$-degeneratie van de gewichts spectrale sequentie voor SNCL-schema's).

Kernbijdragen en Resultaten

1. De Hoofdstelling (Stelling 1.4):
   Het artikel bewijst het bestaan van de bifiltrerende complex $(Azar((X, D)/S), P^D, P)$ met een canoniek isomorfisme tot de log kristallijne cohomologie $R u_{(X,D)/S*}(\mathcal{O}_{(X,D)/S})$. De gegradeerde stukken van de filtraties worden expliciet beschreven in termen van de log kristallijne cohomologie van intersecties van gladde componenten van $X$ en $D$, getwist door kristallijne oriëntatie-sheaves.

2. De Relatieve Monodromie-Gewicht Conjectuur (Conjectuur 1.5):
   De auteur formuleert de conjectuur dat voor een projectief proper SNCL-schema met een relatieve SNCD, de geïnduceerde morfisme
   $$N^e: \text{gr}^P_{q+k+e} \text{gr}^{P^D}_k R^q f_* (\mathcal{O}) \to \text{gr}^P_{q+k-e} \text{gr}^{P^D}_k R^q f_* (\mathcal{O})(-e)$$
   een isomorfisme is modulo torsie. Dit is equivalent aan het bestaan van een relatieve monodromiefiltratie $M$ die samenvalt met de gewichtsfiltratie $P$ op de rationale cohomologie.

3. Bewijs in Specifieke Gevallen (Stelling 1.6 en Corollaria):

   • Stelling 1.6: Indien de log p-adische monodromie-gewicht conjectuur (voor het schema $D(k)/S$ zonder de relatieve divisorstructuur) waar is, dan is de log p-adische relatieve monodromie-gewicht conjectuur waar.
   • Corolarium 1.7: De conjectuur is bewezen waar indien de relatieve dimensie van $X$ over $S$ $\le 2$ is, gebruikmakend van bekende resultaten voor laag-dimensionale gevallen.
   • Corolarium 1.8: De conjectuur houdt stand indien de vezels van het schema log speciale vezels zijn van propere strikte semistabiele families over complete discrete waardekringen van gelijke karakteristiek.

4. $E_2$-Degeneratie:
   Het artikel bewijst de $E_2$-degeneratie van de p-adische gewichts spectrale sequentie modulo torsie (Sectie 10), een cruciale stap in het vaststellen van de compatibiliteit van de filtraties.

Betekenis en Claims
Het artikel claimt een p-adische analogon te bieden van de bifiltrerende complexen geconstrueerd door El Zein, Steenbrink en Zucker in de complexe analytische setting (specifiek voor strikt semistabiele families over de eenheidsdisk).

• Generalisatie: Het generaliseert het eerdere werk van de auteur over gewichtsfiltraties voor SNCL-schema's (zonder relatieve divisors) en de $l$-adische relatieve monodromiefiltratie geconstrueerd in [N6].
• Motivische Verwachting: De auteur merkt op dat de relatieve monodromiefiltratie naar verwachting "motivisch" is, en deze p-adische constructie biedt een concrete realisatie van deze verwachting in de context van log kristallijne cohomologie.
• Technisch Fundament: De constructie van de "zariskiaanse p-adische bifiltrerende El Zein-Steenbrink-Zucker complex" wordt gepresenteerd als het fundamentele instrument dat vereist is om de relatieve monodromie-gewicht conjectuur in karakteristiek $p$ te formuleren en te onderzoeken.

Het artikel claimt niet de conjectuur in volledige algemeenheid te bewijzen, maar stelt de geldigheid ervan vast in significante gevallen (lage relatieve dimensie, specifieke deformatie-typen) en reduceert het algemene probleem tot de geldigheid van de niet-relatieve conjectuur voor de componenten van de divisor. Het werk is ingekaderd als een noodzakelijk vervolg van de theorie van de log kristallijne cohomologie om relatieve singulariteiten (relatieve SNCD's) te behandelen.