Regulators of canonical extensions are torsion:the case of two transversally intersecting smooth divisors

Riassunto Tecnico: Regolatori delle Estensioni Canoniche per Due Divisori Lisci Trasversalmente Intersecanti

Enunciato del Problema
Questa nota affronta la proprietà di torsione delle classi di regolatore estese (classi di Chern–Simons) associate all'estensione canonica di Deligne di un fascio piatto $(E, \nabla)$ su una varietà quasi-proiettiva liscia $U = X \setminus D$, dove $D$ è un divisore a incrocio normale. Nello specifico, essa estende il risultato principale del lavoro precedente degli autori [IS] dal caso in cui $D$ è un singolo divisore irriducibile liscio al caso in cui $D = D_1 \cup D_2$ consiste di due componenti irriducibili lisce che si incontrano trasversalmente lungo un centro liscio $Z = D_1 \cap D_2$.

L'oggetto centrale di studio è la rappresentazione $\rho: \pi_1(U) \to GL_r(\mathbb{C})$ che è unipotente all'infinito (ovvero $\rho(\gamma_1)$ e $\rho(\gamma_2)$ sono unipotenti, dove $\gamma_i$ sono i loop attorno a $D_i$). L'obiettivo è definire le classi canoniche $\widehat{c}_p(\rho/X) \in H^{2p-1}(X, \mathbb{C}/\mathbb{Z})$ e dimostrare che esse siano di torsione per $p \ge 2$.

Metodologia e Ostacoli
Gli autori identificano due ostacoli specifici che sorgono nel passaggio da un singolo divisore a un divisore a incrocio normale con due componenti (un "angolo"):

1. Mancanza di un Affinamento Comune: Nel caso del singolo divisore, le costruzioni di patching si basano su un affinamento comune di filtranti su vicinati sovrapposti. In un angolo $Z$, le filtranti naturali sono le filtranti del nucleo (o della monodromia di peso) $W^{(1)}$ e $W^{(2)}$ associate agli operatori nilpotenti commutanti $N_1 = \log \rho(\gamma_1)$ e $N_2 = \log \rho(\gamma_2)$. Queste due filtranti generalmente non ammettono un affinamento comune.

   • Risoluzione: Invece di affinare, gli autori mantengono la coppia di filtranti. Essi utilizzano il fatto di algebra lineare per cui qualsiasi coppia di filtranti di uno spazio vettoriale ammette una scissione simultanea (una bigradazione $V = \bigoplus V_{a,b}$). Ciò porta a un formalismo di patching bifiltrato dove il vicinato dell'angolo porta la coppia $(W^{(1)}, W^{(2)})$ e una connessione piatta sul bundle associato-graduato doppio.

2. Mancanza dell'Argomento di Codimensione: Nel caso del singolo divisore, la scomparsa delle classi di Chern superiori su un collar di deformazione $S \times [0,1]$ è dedotta da argomenti di codimensione. Per un collar di deformazione a due parametri $S \times [0,1]^2$ all'angolo, la curvatura di una connessione piatta su ogni fetta può contenere termini $dt_1 \wedge dt_2$, impedendo la scomparsa delle forme di Chern tramite il conteggio della codimensione.

   • Risoluzione: Gli autori costruiscono una deformazione specifica utilizzando la coniugazione per sottogruppi monoparametrici attaccati alla bigradazione simultanea. Questa deformazione preserva una coppia fissa di flag ed è strettamente triangolare rispetto alla filtrante del grado totale. Di conseguenza, la curvatura (inclusi i termini $dt_i$) è strettamente triangolare, causando la scomparsa identica di tutti i polinomi invarianti (forme di Chern) senza necessità di un argomento di codimensione.

Costruzioni Chiave

• Collezioni di Patching Bifiltrate (Sezioni 3–4): Gli autori definiscono una "collezione di 2-patching" consistente in coperture aperte dove i patch degli angoli portano una coppia di filtranti e una connessione piatta sul graduato doppio. Costruiscono una "connessione di patching" globale $\nabla^\#$ compatibile con questa collezione. Un lemma chiave stabilisce che la curvatura di tale connessione diminuisce strettamente la filtrante del grado totale, garantendo che tutte le forme di Chern scompaiano.
• Deformazione Cubica in K-Teoria (Sezione 6): Per confrontare la costruzione analitica con la K-teoria algebrica, gli autori introducono uno spazio di "pushout omotopico cubico" $BGL(F[t_1, t_2])^+_{def,2}$. Questo spazio modella la deformazione della rappresentazione $\rho$ attraverso l'angolo usando l'anello polinomiale a due variabili. Dimostrano che le classi di regolatore definite tramite la connessione di patching coincidono con quelle estratte da questo spazio universale di K-teoria.
• K-Teoria Ermitiana e Variazioni di Struttura di Hodge (Sezione 7): Per le rappresentazioni che sottendono una variazione di struttura di Hodge complessa polarizzata (VHS), gli autori utilizzano una scissione auto-duale delle filtranti di peso (Proposizione 7.3). Ciò permette di vedere la deformazione come una famiglia nel gruppo unitario $O_{p,q}(\mathbb{C}[t_1, t_2])$. Utilizzando l'invarianza di omotopia di Karoubi per la K-teoria ermitiana e i risultati di vanishing di Reznikov per i polinomi invarianti su $\mathfrak{u}(p,q)$, dimostrano la scomparsa dei regolatori di volume estesi per le VHS.

Risultati Principali

• Teorema 1.1: Per un fascio piatto con monodromia unipotente attorno a due divisori lisci che si intersecano trasversalmente, le classi di regolatore estese $\widehat{c}_p(\rho/X) \in H^{2p-1}(X, \mathbb{C}/\mathbb{Z})$ sono ben definite, additive, funzoriali e rigide sotto deformazioni che preservano l'unipotenza. Crucialmente, per $p \ge 2$, queste classi sono di torsione.
• Classi di Chern di Deligne: Se $X$ è proiettiva, queste classi sollevano le classi di Chern di Deligne $c_p^D(E) \in H^{2p}_D(X, \mathbb{Z}(p))$, implicando che anche queste classi di Deligne sono di torsione per $p \ge 2$.
• Confronto con la Costruzione Multi-Rees (Sezione 9): Gli autori confrontano il loro approccio di "bundle incollato" con la costruzione "multi-Rees" utilizzata nel loro lavoro successivo [IS2] per arbitrari incroci normali. Dimostrano che per $k=2$ (due divisori), le due costruzioni sono incarnazioni algebriche e $C^\infty$ della stessa geometria di degenerazione. La differenza primaria risiede nel dato dell'angolo: questo articolo usa la coppia di filtranti $(W^{(1)}, W^{(2)})$, mentre [IS2] usa la filtrante di peso totale della monodromia $W(N_1+N_2)$.

Significato e Limitazioni
Il documento sostiene di risolvere le specifiche difficoltà tecniche incontrate all' "angolo" di un divisore a incrocio normale con molteplicità due. Gli autori dichiarano esplicitamente che i loro metodi sono specifici per la molteplicità due e falliscono ai punti tripli ($D_1 \cap D_2 \cap D_3$) perché:

1. Tre filtranti generalmente non ammettono una scissione simultanea.
2. La complessità combinatoria dell'argomento della stringa di Jordan-Hölder per tripie di filtranti rimane un problema aperto.

Gli autori notano che il caso completo di incrocio normale (arbitrario numero di componenti) è trattato in un preprint separato [IS2] utilizzando un approccio diverso (costruzione iterata di multi-Rees e compatibilità sequenziale delle filtranti di peso). Questa nota serve come trattamento specializzato e dettagliato del caso a due divisori, chiarendo i meccanismi geometrici e algebrici (bifiltranti e deformazioni triangolari) che permettono al risultato di torsione di valere in questo specifico contesto.