Cell decomposition and dual boundary complexes of character varieties

Sintesi Tecnica di "Cell Decomposition and Dual Boundary Complexes of Character Varieties" di Tao Su

Enunciato del Problema
Il saggio affronta la congettura geometrica debole P=W, proposta da Katzarkov, Noll, Pandit e Simpson. Questa congettura afferma che per un modulo di Betti liscio $M_B$ (una varietà di caratteri) di dimensione complessa $d$ su una superficie di Riemann con fori, il complesso di bordo duale $D_{\partial}M_B$ è omotopicamente equivalente a una sfera di dimensione $(d-1)$ ($S^{d-1}$).

La versione completa della congettura geometrica P=W mette in relazione la "fibrazione di Hitchin all'infinito" sul lato Dolbeault con una fibrazione intrinseca al lato Betti, mentre la forma debole si concentra specificamente sulla topologia del complesso di bordo duale. Risultati precedenti hanno stabilito questo per casi specifici (ad esempio, $G=SL_2(\mathbb{C})$, casi di Painlevé, e certe varietà di caratteri singolari o selvagge), ma una prova generale per gruppi di rango superiore con monodromie generiche rimaneva aperta.

Metodologia
L'autore impiega una strategia che combina tecniche di decomposizione in celle con la coomologia motivica e il calcolo dei diagrammi. L'approccio centrale prevede:

1. Decomposizione in Celle Raffinata: Il saggio migliora il teorema di decomposizione in celle di A. Mellit per le varietà di caratteri. Invece di decomporre un fibrato vettoriale sopra la varietà, l'autore costruisce una decomposizione in celle diretta della varietà di caratteri $M_\rho$ molto generica stessa. Ciò viene ottenuto tramite:

   • L'introduzione di un calcolo dei diagrammi di matrici (diagrammi di matrici di treccia) per relazionare le varietà di caratteri alle varietà di trecce.
   • L'utilizzo della decomposizione di Bruhat e di specifiche variazioni di coordinate per ridurre le equazioni definenti della varietà di caratteri a quelle delle varietà di trecce ritorti ristrette.
   • L'instaurazione del fatto che $M_\rho$ si decompone in sottovarietà affini localmente chiuse della forma $(\mathbb{C}^\times)^a \times A$, dove $A$ è una varietà stabilmente isomorfa a uno spazio affine $\mathbb{A}^b$.

2. Calcolo Induttivo dei Complessi di Bordo Duali:

   • L'autore utilizza un lemma di rimozione/riduzione (Lemma 3.7/3.8). Questo lemma afferma che se una varietà liscia $X$ contiene una sottovarietà chiusa $Z$ il cui complesso di bordo duale è contrattile, allora il complesso di bordo duale di $X$ è omotopicamente equivalente a quello del complemento $X \setminus Z$.
   • Ordinando le celle nella decomposizione, l'autore dimostra che tutte le celle eccetto quella di dimensione massima hanno complessi di bordo duali contrattili (a causa della presenza di fattori di spazio affine).
   • La cella massima viene mostrata essere un toro algebrico aperto e denso $(\mathbb{C}^\times)^d$, il cui complesso di bordo duale è noto essere $S^{d-1}$.

3. Caratterizzazione Motivica: La prova si basa su una proprietà chiave derivata dal lavoro successivo dell'autore [59]: se una varietà $A$ è stabilmente isomorfa a $\mathbb{A}^b$ (per $b \ge 1$), il suo complesso di bordo duale è contrattile. Ciò è stabilito tramite una caratterizzazione motivica della coomologia integrale dei complessi di bordo duali.

Contributi Chiave e Risultati

• Teorema 0.5 (Teorema 2.10): Il saggio stabilisce una forma forte della decomposizione in celle per le varietà di caratteri $GL_n(\mathbb{C})$ "molto generiche". Una varietà è "molto generica" se le monodromie locali sono specificate da classi congiugate semisemplici generiche, con almeno una di esse semisemplice regolare.

  • La decomposizione è $M_\rho = \bigsqcup M_\rho(\vec{w}, p)$, dove ogni strato è isomorfo a $(\mathbb{C}^\times)^a \times A_\rho(\vec{w}, p)$.
  • Crucialmente, $A_\rho(\vec{w}, p)$ è stabilmente isomorfa a $\mathbb{A}^b$.
  • Esiste un unico strato massimale (corrispondente a un particolare cammino nel gruppo di treccia) che è un toro aperto e denso $(\mathbb{C}^\times)^d$.

• Teorema 0.4 (Teorema 3.10): Il risultato principale prova la congettura geometrica debole P=W per tutte le varietà di caratteri molto generiche.

  • Per una $M_\rho$ molto generica di dimensione $d$, il complesso di bordo duale $D_{\partial}M_\rho$ è omotopicamente equivalente a $S^{d-1}$.
  • La prova procede rimuovendo induttivamente gli strati di dimensione inferiore (che hanno complessi di bordo duali contrattili) fino a quando non rimane solo il toro massimale.

• Connessione con il Problema della Cancellazione di Zariski: Il saggio nota che le varietà $A_\rho(\vec{w}, p)$ che compaiono nella decomposizione sono stabilmente isomorfe a spazi affini ma non sono necessariamente isomorfe ad essi. L'autore suggerisce che queste forniscano potenziali controesempi sistematici al problema della cancellazione di Zariski in caratteristica zero per dimensioni $\ge 3$, sebbene ciò sia presentato come un'osservazione piuttosto che come un teorema risolto.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la congettura geometrica debole P=W per la classe delle varietà di caratteri molto generiche. Questo estende i risultati precedenti che erano limitati al rango 2 o a specifici casi di bassa dimensione.

La significatività risiede nel:

1. Verifica Topologica: Conferma che il complesso di bordo duale di questi spazi moduli ha il tipo di omotopia di una sfera, supportando la più ampia filosofia geometrica P=W secondo cui la topologia del modulo di Betti all'infinito rispecchia la topologia della base di Hitchin.
2. Avanzamento Metodologico: Fornisce una decomposizione in celle rigorosa e autosufficiente per la varietà di caratteri stessa (non solo un fibrato sopra di essa), utilizzando un nuovo calcolo dei diagrammi che connette le varietà di caratteri alle varietà di trecce in modo più diretto rispetto agli approcci precedenti.
3. Intuizione Motivica: Il lavoro colma il divario tra la coomologia razionale (spesso studiata tramite la congettura P=W) e la coomologia integrale del complesso di bordo duale, utilizzando la coomologia del peso motivico per stabilire la contrattilità.

Limitazioni e Problemi Aperti
L'autore dichiara esplicitamente che il risultato vale per le varietà molto generiche (dove almeno una classe congiugata è semisemplice regolare). Il caso in cui la varietà sia solo generica (ma non molto generica) rimane aperto.

• Per il caso generico, il saggio nota che $D_{\partial}M_B$ è nota per essere una sfera razionale di omologia, ma provare che sia una sfera topologica richiede di dimostrare che la coomologia integrale è priva di torsione e che il gruppo fondamentale è banale.
• L'autore identifica due ostacoli specifici per il caso generico generale: (I) dimostrare che la coomologia integrale del complesso di bordo duale è priva di torsione, e (II) dimostrare che il gruppo fondamentale è banale.
• L'autore specula che potrebbe essere necessario un miglioramento motivico degli argomenti di degenerazione utilizzati nel teorema di Hard Lefschetz curioso per risolvere queste questioni di coomologia integrale.