A generalization of Barannikov-Kontsevich theorem

1. Il Problema e il Contesto

Il paper affronta lo studio della complessa di de Rham twistata associata a una funzione olomorfa $f$ su una varietà complessa $X$.
Sia $X$ una varietà complessa e $f: X \to \mathbb{C}$ una funzione olomorfa tale che l'insieme dei punti critici $\text{Cr}(f)$ sia compatto. Si considera il complesso di de Rham twistato definito come:
$$\Omega^\bullet_X[[\lambda]]_f = (\Omega^\bullet_X[[\lambda]], \lambda d + df)$$
dove $\lambda$ è una variabile formale e $d$ è la derivata esterna. Questo complesso è naturalmente un modulo su $\mathbb{C}[[\lambda]]$.

La domanda centrale (Question 1.1) è: La successione spettrale associata alla filtrazione naturale $F_\lambda$ di questo complesso degenera al livello $E_1$?
La degenerazione $E_1$ è equivalente alla condizione che i gruppi di coomologia $H^\ell(X, \Omega^\bullet_X[[\lambda]]_f)$ siano moduli liberi di rango finito su $\mathbb{C}[[\lambda]]$, isomorfi a $H^\ell(X, (\Omega^\bullet_X, df)) \otimes \mathbb{C}[[\lambda]]$.

Stato dell'arte:

• Teoria di Hodge classica: Se $X$ è proiettiva e $f=0$, la degenerazione segue dalla decomposizione di Hodge (Deligne).
• Teoria delle singolarità: Se $f$ ha un solo punto critico, la degenerazione è nota (lavori di Brieskorn, Saito).
• Teorema di Barannikov-Kontsevich (1998): Ha stabilito la degenerazione $E_1$ nel caso in cui $X$ e $f$ siano quasi-proiettivi. La prova originale si basava sull'analisi armonica e generalizzazioni delle identità di Kähler. Successivamente, sono state trovate dimostrazioni alternative usando moduli di Hodge (Sabbah) e corrispondenze di Hodge non abeliane in caratteristica positiva (Ogus-Vologodsky).

Il problema aperto affrontato da Mochizuki è generalizzare questo risultato rimuovendo l'ipotesi di proiettività globale o di comportamento asintotico specifico all'infinito, richiedendo solo che $X$ sia una varietà Kähler e che l'insieme dei punti critici sia compatto.

2. Metodologia

L'approccio di Mochizuki si basa sulla teoria dei moduli D misti di twistor integrabili (Integrable Mixed Twistor D-modules), un'estensione della teoria dei moduli di Hodge e dei moduli D di Hodge sviluppata da Sabbah e Mochizuki stesso.

I passaggi metodologici chiave includono:

1. Inquadramento nella Teoria dei Twistor:
   Il complesso twistato viene interpretato nel contesto dei moduli D su $X \times \mathbb{C}_\lambda$. Si utilizzano le triplette $R_X$ e i moduli D misti di twistor ($MTM$). In particolare, si considera la categoria dei moduli misti di twistor regolari e integrabili ($MTM^{int}_{reg}$).

2. Costruzione del Modulo Indotto:
   Si costruisce un modulo $M_f = M \otimes L(f)$, dove $L(f)$ è un modulo con connessione meromorpa legata a $f$. Si dimostra che se $M$ è un modulo D misto di twistor regolare (indotto da un modulo di Hodge misto), allora $M_f$ appartiene alla categoria $C_{reg}(X)$.

3. Utilizzo del Teorema di Proiezione:
   Il cuore della dimostrazione risiede nel teorema fondamentale sui moduli di twistor (Teorema 2.4): se $X$ è Kähler e il supporto di un modulo misto di twistor regolare è proprio su una varietà target, allora l'immagine diretta (push-forward) preserva la struttura di modulo misto di twistor regolare.
   Mochizuki applica questo teorema alla proiezione $X \to pt$ (o proiezioni su spazi parametrici estesi).

4. Analisi della Filtrazione e Degenerazione:
   Si studia la filtrazione $F_\lambda$ definita da potenze di $\lambda$. La degenerazione $E_1$ è collegata alla proprietà di "strettezza" (strictness) delle immagini dirette dei complessi filtrati.

   • Si introduce un'ulteriore variabile $u$ e si considera un complesso $C(M)$ su $\mathbb{C}_\lambda \times X \times \mathbb{C}_t \times \mathbb{C}_u$ per sfruttare l'azione di $\mathbb{C}^*$ e analizzare il comportamento vicino a $u=0$ e $\lambda=0$.
   • Si dimostra che le immagini dirette dei complessi filtrati sono moduli liberi su certi anelli, il che implica la degenerazione della successione spettrale.

5. Riduzione al caso locale:
   A differenza delle dimostrazioni precedenti che richiedevano proprietà globali (come la proiettività), Mochizuki mostra che la struttura locale attorno all'insieme compatto dei punti critici $\text{Cr}(f)$, combinata con la struttura Kähler globale, è sufficiente a garantire la degenerazione.

3. Risultati Principali

• Teorema 1.6 (Risultato Principale): Se $X$ è una varietà Kähler e $\text{Cr}(f)$ è compatto, allora la successione spettrale per il complesso filtrato $F_\lambda \Omega^\bullet_X[[\lambda]]_f$ degenera al livello $E_1$.

  • Implicazione: I gruppi di coomologia $H^\ell(X, \Omega^\bullet_X[[\lambda]]_f)$ sono moduli liberi di rango finito su $\mathbb{C}[[\lambda]]$.

• Teorema 3.6 (Generalizzazione): La degenerazione $E_1$ vale per la complessa filtrata $F_\lambda(M \otimes \tilde{\Omega}^\bullet_{X/\mathbb{C}})$ per qualsiasi modulo $M$ che sottende un modulo D misto di twistor regolare compatto. Questo include il caso $M = \mathcal{O}_X$ (il Teorema 1.6).

• Teorema 3.7 e Corollari: Si stabilisce un'uguaglianza tra le dimensioni dei gruppi di coomologia del complesso twistato e quelle dei cicli evanescenti (vanishing cycles) $\phi_f$. In particolare:
  $$\dim H^j(X, \iota_\lambda^*(M_f \otimes \tilde{\Omega}^\bullet_{X/\mathbb{C}})) = \dim H^j(X, \phi_f(\Xi_{DR}M) \otimes \Omega^\bullet_X)$$
  Questo collega la coomologia formale twistata alla geometria delle singolarità di $f$.

• Corollario 3.10: Si dimostra l'isomorfismo:
  $$H^j(X, \widehat{M_f} \otimes \tilde{\Omega}^\bullet_{X/\mathbb{C}}) \simeq H^j(X, \iota_\lambda^*(M_f \otimes \tilde{\Omega}^\bullet_{X/\mathbb{C}})) \otimes \mathbb{C}[[\lambda]]$$
  confermando la struttura libera dei moduli di coomologia.

4. Significato e Contributi

1. Generalizzazione del Teorema di Barannikov-Kontsevich:
   Il risultato rimuove l'ipotesi restrittiva che $X$ e $f$ debbano essere quasi-proiettivi o che $f$ debba essere una mappa proiettiva. Basta che $X$ sia Kähler e che i punti critici siano compatti. Questo amplia notevolmente l'applicabilità del teorema a varietà non compatte o con comportamento all'infinito arbitrario, purché i punti critici siano isolati in un compatto.

2. Metodologia Innovativa:
   L'uso sistematico dei moduli D misti di twistor integrabili fornisce un quadro unificato e potente per trattare problemi di degenerazione $E_1$. Questo approccio bypassa la necessità di analisi armonica globale o riduzioni in caratteristica positiva, offrendo una prova puramente complessa e geometrica basata sulla teoria dei moduli.

3. Connessione con la Simmetria Speculare:
   Il teorema è fondamentale per lo studio dei modelli di Landau-Ginzburg nella simmetria speculare. La degenerazione $E_1$ garantisce la buona definizione delle strutture di Frobenius e delle strutture di Hodge non commutative associate a questi modelli, anche in contesti locali o non compatti.

4. Risposta a una Domanda di Kontsevich:
   Il lavoro risponde positivamente a una domanda specifica posta da Maxim Kontsevich all'autore, chiudendo un capitolo importante nella teoria delle strutture di Hodge non commutative e nella teoria delle singolarità.

In sintesi, il paper di Mochizuki rappresenta un avanzamento teorico significativo, consolidando la connessione tra la teoria dei moduli di twistor, la teoria delle singolarità e la coomologia twistata, fornendo una prova robusta e generalizzata della degenerazione $E_1$ in un contesto geometrico più ampio rispetto ai risultati classici.