Rational Homotopy Type of Complements of Submanifold Arrangements

Sintesi Tecnica: Tipo di Omotopia Razionale dei Complementi di Disposizioni di Sottovarietà

Enunciato del Problema
Il saggio affronta il problema di determinare il tipo di omotopia razionale del complemento $U = X - \bigcup_{i \in N} Z_i$, dove $X$ è una varietà algebrica compatta e liscia su $\mathbb{C}$ e $\{Z_i\}$ è una collezione di sottovarietà tali che tutte le intersezioni set-teoretiche $Z_I = \bigcap_{i \in I} Z_i$ sono lisce. Sebbene il tipo di omotopia razionale dei complementi di divisori a incrocio normale (NCD) sia ben compreso tramite il lavoro di J. Morgan (utilizzando la successione spettrale di Leray), un modello di algebra differenziale graduata commutativa (cdga) unificato ed esplicito per arbitrarie disposizioni lisce (dove le intersezioni possono avere codimensione $>1$) è stato mancante. Gli approcci esistenti spesso si basano sulla riduzione del problema al caso NCD tramite risoluzioni delle singolarità (ad esempio, la risoluzione di Hironaka o la compatificazione meravigliosa di De Concini-Procesi), processi che possono essere computazionalmente intrattabili o oscurare la struttura combinatoria della disposizione.

Metodologia
L'autore sviluppa un approccio omologico che evita esplicite risoluzioni geometriche. La metodologia si basa sulla teoria dei Diagrammi di Hodge Misti (MHD) e dei Complessi di Hodge Misti (MHC), utilizzando specificamente il framework funzionale stabilito da Cirici e Horel.

1. Formalismo di Lattice: Il saggio introduce un formalismo per oggetti $(L, \leq)$ e algebra di catene $(L, \leq)$, dove $L$ è un reticolo (specificamente un reticolo locale di supremi o un reticolo geometrico) che rappresenta la struttura di intersezione della disposizione. Questo include la costruzione di algebre di Orlik-Solomon (OS) come algebra di catene $(L, \leq)$.
2. Risoluzione di Mayer-Vietoris: Viene costruito un "complesso di Mayer-Vietoris" $MV^\circ$ come una convoluzione di un fascio sulla disposizione con l'algebra OS, il quale modella il pushforward derivato $Rj_* j^* \mathbb{Q}$, ma è inizialmente non commutativo.
3. Costruzione di Čech: Per ottenere un modello commutativo, l'autore applica una costruzione di Čech per elevare il complesso di Mayer-Vietoris non commutativo in una vera cdga.
4. Diagrammi di Hodge Misti: L'innovazione tecnica centrale è la costruzione di un Diagramma di Hodge Misto (MVHD) basato su questa risoluzione. Applicando il teorema di Cirici-Horel (Teorema 1.2.13), il quale afferma che il termine $E_1$ di un diagramma di Hodge misto (rispetto alla filtrazione di peso) è quasi-isomorfo alla sottostante cdga razionale in modo funzionale, l'autore estrae direttamente un modello razionale dalla coomologia delle intersezioni.

Contributi Chiave e Risultati

• Modello di Morgan Generalizzato (Teorema 0.1.2): Il saggio costruisce una successione spettrale moltiplicativa nel secondo quadrante $(E_r, d_r)$ che converge al tipo di omotopia razionale del complemento $U$.

  • Il termine $E_1$ è dato da $E_1^{pq} = \bigoplus_{|I|=-p} H^q_{Z_I}(X) \otimes \mathbb{Z} \cdot d\nu_I$, dove $H^q_{Z_I}(X)$ è la coomologia relativa dell'intersezione $Z_I$.
  • La differenziale $d_1$ è definita tramite mappe naturali indotte da inclusioni e derivazioni sull'algebra di Grassmann.
  • Crucialmente, $E_2 = E_\infty$, ed esiste una quasi-isomorfia funzionale $E_1 \xrightarrow{\sim} A_{PL}(U)$. Questo generalizza il risultato di Morgan per gli NCD a arbitrarie disposizioni lisce senza richiedere una riduzione al caso NCD.

• Modello di Lattice per Disposizioni Localmente Geometriche (Teorema 0.1.6): Per le disposizioni in cui il reticolo di intersezione è un reticolo localmente geometrico (una condizione che generalizza le intersezioni pulite), l'autore fornisce un modello più economico.

  • Questo modello utilizza l'algebra di Orlik-Solomon $OS(L)$ associata al reticolo.
  • Recupera il tipo di omotopia razionale tramite una quasi-isomorfia $E_1 \xrightarrow{\sim} A_{PL}(U)$, dove il termine $E_1$ coinvolge la coomologia delle intersezioni tensore con le componenti graduate dell'algebra OS.
  • Questo risultato implica che il modello "cubico" (Teorema 0.1.2) è un corollario formale del modello di reticolo.

• Coomologia e Struttura di Hodge (Teorema 0.1.3): Il saggio stabilisce una successione spettrale moltiplicativa per la coomologia del complemento che rispetta la struttura di Hodge mista. Dimostra che il termine $E_2$ è isomorfo all'algebra graduata associata della coomologia rispetto alla filtrazione di peso (dopo decalage), fornendo una naturale scissione della struttura di algebra.

Applicazioni
Il saggio dimostra l'utilità di questi modelli recuperando e generalizzando diversi risultati noti in modo uniforme:

1. Disposizioni di Sotto spazi Affini: Generalizza il modello atomistico relativo di Yuzvinsky al caso affine. Dimostra che i complementi di disposizioni di codimensione uguale a $c$ sono formali (Teorema 0.2.1).
2. Spazi di Configurazione Cromatica: Generalizza il modello Kriz-Totaro per gli spazi di configurazione $F(M, n)$ agli spazi di configurazione cromatica $F(M, G)$ associati a un grafo $G$ (Teorema 0.2.4). Il saggio fornisce un modello cdga esplicito che coinvolge generatori corrispondenti agli archi di $G$ e relazioni derivate dai cicli in $G$, ed è equivariante rispetto al gruppo di automorfismi del grafo.

Significatività e Rivendicazioni
Il saggio rivendica di fornire un metodo uniforme, funzionale ed esplicito per calcolare il tipo di omotopia razionale dei complementi di disposizioni di sottovarietà lisce.

• Evitare le Risoluzioni: Una significatività primaria è l'evitare esplicite risoluzioni geometriche (come le compatificazioni meravigliose) che sono difficili da gestire negli esempi. L'approccio è puramente omologico e combinatorio.
• Funzionalità: I modelli costruiti sono funzionali rispetto alle morfismi di disposizioni, permettendo lo studio delle azioni di gruppi sul tipo di omotopia razionale.
• Unificazione: Il framework unifica modelli precedentemente disparati (Morgan per gli NCD, Yuzvinsky per le disposizioni lineari, Kriz-Totaro per gli spazi di configurazione) sotto un unico ombrello teorico basato su diagrammi di Hodge misti e combinatoria di reticoli.
• Struttura di Hodge: La costruzione incorpora naturalmente la struttura di Hodge mista del complemento, mostrando che il tipo di omotopia razionale può essere modellato da un complesso di Hodge puro nel senso della successione spettrale, anche quando la coomologia stessa non è pura.

Il lavoro è presentato come uno sviluppo della teoria dei diagrammi di Hodge misti di Cirici-Horel, applicato al contesto geometrico specifico dei complementi di disposizioni, offrendo uno strumento robusto per la teoria dell'omotopia razionale in geometria algebrica.