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

Sintesi Tecnica: Il complesso p-adico bifiltrato di El Zein-Steenbrink-Zucker Zariskiano

Enunciato del Problema
Questo articolo affronta la formulazione e la verifica parziale della congettura del monodromia-peso log p-adica relativa. Questa congettura funge da generalizzazione della celebre congettura monodromia-peso p-adica (precedentemente studiata da Mokrane e dall'autore) nel contesto di schemi SNCL (semplici normali incrociati) propri su una base $S_0$ in caratteristica $p > 0$ dotati di un divisore SNCD (divisore normale incrociato semplice) relativo.

Il problema centrale consiste nel costruire un quadro coomologico adeguato per schemi SNCL propri $(X, D)$ su una base $S_0$ in caratteristica $p > 0$ che incorpori simultaneamente:

1. La filtrazione del peso derivante dalla struttura SNCL di $X$.
2. La filtrazione di monodromia relativa derivante dal SNCD relativo $D$.
3. L'operatore di monodromia $N$ che agisce sulla coomologia cristallina log.

L'autore mira a definire un complesso bifiltrato che catturi queste strutture e a dimostrare che l'operatore di monodromia indotto agisca come un isomorfismo tra specifici pezzi graduati delle filtrazioni del peso e della monodromia relativa, modulo torsione.

Metodologia
L'articolo impiega una costruzione rigorosa all'interno del quadro della coomologia cristallina log e degli inviluppi PD (divisione di Poisson), estendendo il lavoro precedente sulle filtrazioni del peso per schemi SNCL.

1. Costruzione del Complesso:
   L'autore costruisce il complesso p-adico bifiltrato di El Zein-Steenbrink-Zucker zariskiano, denotato con $(Azar((X, D)/S), P^D, P)$. Si tratta di un complesso bifiltrato nella categoria derivata $D^+F_2(f^{-1}(\mathcal{O}_S))$.

• La costruzione si basa sull'immersione dello schema in uno schema formale semistabile stretto simpliciale e sull'utilizzo di inviluppi log PD.
• Utilizza pre-filtrazioni del peso definite sulle forme differenziali log, distinguendo specificamente tra le filtrazioni legate alla struttura SNCL ($P$) e al SNCD relativo ($P^D$).
• Il complesso è definito tramite un complesso doppio cosimpliciale di forme differenziali log sull'inviluppo PD, quozientato da specifici passi di filtrazione.

2. Funzionalità e Cambio di Base:
   L'articolo stabilisce la funzionalità contravariante di questo complesso sotto morfismi di schemi log, gestendo attentamente il "twist di grado" (D-twist) richiesto quando il grado del morfismo è divisibile per $p$. Dimostra inoltre un teorema di cambio di base bifiltrato, garantendo che il complesso si comporti bene sotto il cambio di base dell'allargamento log PD.

3. Operatori di Monodromia:
   L'autore richiama l'operatore di monodromia $N$ definito in lavori precedenti (H. Kato e l'autore) e dimostra che induce un endomorfismo ben definito sul costruito complesso bifiltrato. Si mostra che tale operatore sposta la filtrazione del peso $P$ di $-2$ e preserva la filtrazione relativa $P^D$.

4. Sequenze Spettrali:
   Da questo complesso bifiltrato vengono derivate due nuove sequenze spettrali:

• Una sequenza spettrale di Poincaré relativa al divisore $D$.
• Una sequenza spettrale del peso (analoga alla degenerazione $E_1$ della sequenza spettrale del peso per gli schemi SNCL).

Contributi Chiave e Risultati

1. Il Teorema Principale (Teorema 1.4):
   L'articolo dimostra l'esistenza del complesso bifiltrato $(Azar((X, D)/S), P^D, P)$ con un isomorfismo canonico alla coomologia cristallina log $R u_{(X,D)/S*}(\mathcal{O}_{(X,D)/S})$. I pezzi graduati delle filtrazioni sono descritti esplicitamente in termini di coomologia cristallina log di intersezioni di componenti lisce di $X$ e $D$, ritorti (twisted) da fasci di orientazione cristallina.

2. La Congettura della Monodromia-Peso Relativa (Congettura 1.5):
   L'autore formula la congettura secondo cui, per uno schema SNCL proprio proiettivo con un SNCD relativo, il morfismo indotto
   $$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)$$
   è un isomorfismo modulo torsione. Ciò è equivalente all'esistenza di una filtrazione di monodromia relativa $M$ che coincide con la filtrazione del peso $P$ sulla coomologia razionale.

3. Dimostrazione in Casi Specifici (Teorema 1.6 e Corollari):

• Teorema 1.6: Se la congettura log p-adica della monodromia-peso (per lo schema $D(k)/S$ senza la struttura del divisore relativo) è vera, allora la congettura log p-adica della monodromia-peso relativa è vera.
• Corollario 1.7: La congettura è dimostrata vera se la dimensione relativa di $X$ su $S$ è $\le 2$, sfruttando i risultati noti per i casi a bassa dimensione.
• Corollario 1.8: La congettura è valida se le fibre dello schema sono fibre speciali log di famiglie semistabili strette proprie su anelli discreti di valuazione completa di uguale caratteristica.

4. Degenerazione $E_2$:
   L'articolo dimostra la degenerazione $E_2$ della sequenza spettrale del peso p-adica modulo torsione (Sezione 10), un passo cruciale per stabilire la compatibilità delle filtrazioni.

Significato e Rivendicazioni
L'articolo sostiene di fornire l'analogo p-adico dei complessi bifiltrati costruiti da El Zein, Steenbrink e Zucker nel contesto analitico complesso (specificamente per famiglie semistabili strette su il disco unitario).

• Generalizzazione: Esso generalizza il precedente lavoro dell'autore sulle filtrazioni del peso per schemi SNCL (senza divisori relativi) e la filtrazione di monodromia relativa $l$-adica costruita in [N6].
• Aspettativa Motivica: L'autore nota che la filtrazione di monodromia relativa è attesa essere "motivica", e questa costruzione p-adica fornisce una realizzazione concreta di tale aspettativa nel contesto della coomologia cristallina log.
• Fondamento Tecnico: La costruzione del "complesso p-adico bifiltrato di El Zein-Steenbrink-Zucker zariskiano" è presentata come lo strumento fondamentale necessario per formulare e investigare la congettura della monodromia-peso relativa in caratteristica $p$.

L'articolo non pretende di dimostrare la congettura in piena generalità, ma ne stabilisce la validità in casi significativi (bassa dimensione relativa, specifici tipi di deformazione) e la riduce il problema generale alla validità della congettura non relativa per i componenti del divisore. Il lavoro è inquadrato come una necessaria continuazione della teoria della coomologia cristallina log per gestire le singolarità relative (SNCD relativi).