A note on the rational homotopy type of the projectivization of the tangent bundle of complex projective spaces

Sintesi Tecnica: Tipo di Omotopia Razionale della Proiettivizzazione del Fascio Tangente delle Spazi Proiettivi Complessi

Enunciato del Problema
Il saggio affronta una lacuna nella comprensione esaustiva del tipo di omotopia razionale dello spazio totale $P(E)$ della proiezione del fascio $P(\xi)$ sopra spazi proiettivi complessi $\mathbb{C}P^n$. Mentre il lavoro precedente di Lupton e Oprea ha stabilito che $P(E)$ è formale quando la base $B$ è formale, e Thomas ha dimostrato che tali fasci sono fibrati puri, il tipo di omotopia razionale specifico di $P(E)$ quando la base è $\mathbb{C}P^n$ e il fascio è il fascio tangente $\tau$ non era stato esplicitamente determinato in termini di spazi omogenei. Gli autori mirano a identificare il tipo di omotopia razionale dello spazio totale $P(E)$ per la proiezione del fascio tangente $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$.

Metodologia
Gli autori utilizzano il quadro della Teoria dell'Omotopia Razionale, nello specifico utilizzando i modelli minimi di Sullivan. La metodologia procede attraverso i seguenti passaggi:

1. Costruzione del Modello di Sullivan per il Fascio:
   Utilizzando la teoria delle estensioni di Sullivan di Koszul, gli autori costruiscono un'algebra di Sullivan relativa che modella il fibrato di proiezione $P(\tau): \mathbb{C}P^{n-1} \to P(E) \to \mathbb{C}P^n$.

   • Utilizzano il modello di Sullivan noto per la base $\mathbb{C}P^n$, dato da $(\Lambda(y_2, y_{2n+1}), d)$ con $dy_2=0$ e $dy_{2n+1}=y_2^{n+1}$.
   • Incorporano la classe di Chern totale del fascio tangente, $c(\tau) = (1+y_2)^{n+1}$, per definire la differenziale sui generatori del fibrato.
   • Ciò risulta in un modello per $P(E)$ della forma $(\Lambda(y_2, y_{2n+1}) \otimes \Lambda(x_2, x_{2n-1}), D)$, dove la differenziale $D$ codifica le classi di Chern del fascio.

2. Costruzione del Modello di Sullivan per lo Spazio Omogeneo:
   Gli autori costruiscono indipendentemente il modello minimo di Sullivan per lo spazio omogeneo $U(n+1)/U(1) \times U(1) \times U(n-1)$.

   • Applicano il Teorema 2.1 (relativo alla coomologia degli spazi omogenei rispetto alle mappe di classificazione dei loro sottogruppi).
   • Analizzando la mappa di classificazione $Bi: BH \to BG$ per l'inclusione $H = U(1) \times U(1) \times U(n-1) \hookrightarrow G = U(n+1)$, derivano un'algebra di Sullivan complessa coinvolgente generatori corrispondenti alla coomologia degli spazi classificanti.
   • Attraverso un processo sistematico di sostituzione di variabili e cancellazione di ideali aciclici (generatori che formano coppie esatte), riducono questa algebra a un modello di Sullivan minimo della forma $(\Lambda(a_2, b_2, v_{2n-1}, v_{2n+1}), d)$.

3. Confronto e Isomorfismo:
   Il nucleo della prova consiste nell'stabilire un isomorfismo tra il modello minimo di Sullivan dello spazio omogeneo e il modello minimo del fibrato proiettivizzato $P(E)$.

   • Gli autori definiscono un morfismo $f$ che mappa i generatori del modello dello spazio omogeneo ai generatori del modello del fibrato.
   • Verificano che il morfismo commuti con le differenziali.
   • Utilizzando argomenti di sequenza spettrale e filtrando per lunghezza di parola, dimostrano che $f$ induce un isomorfismo sui rispettivi moduli bigradati, provando così che i due spazi condividono lo stesso tipo di omotopia razionale.

Contributi Chiave e Risultati
Il risultato primario del saggio è il Teorema 3.2 (indicato anche come Teorema 4.2), che afferma:
Sia $\tau: \mathbb{C}^n \to E \to \mathbb{C}P^n$ il fascio tangente su $\mathbb{C}P^n$ con $n \geq 2$. Lo spazio totale $P(E)$ del fibrato di proiezione $P(\tau)$ ha il tipo di omotopia razionale dello spazio omogeneo:
$$U(n+1) / (U(1) \times U(1) \times U(n-1))$$

Risultati tecnici specifici includono:

• Modelli Espliciti: Il saggio fornisce le strutture esplicite di algebra differenziale graduata (DGA) sia per il fibrato proiettivizzato che per lo spazio omogeneo target.
  • Per $P(E)$, l'algebra di coomologia è identificata come $H^*(P(E), \mathbb{Q}) \cong \Lambda(x_2, y_2)/I$, dove $I$ è generato da polinomi specifici derivati dalle classi di Chern.
  • Per lo spazio omogeneo, il modello minimo è ridotto a generatori nei gradi 2, 2, $2n-1$ e $2n+1$, con differenziali definite da somme polinomiali specifiche che coinvolgono i generatori di grado 2.
• Formalità: Gli autori osservano che, poiché il modello di Sullivan di $P(E)$ è sia puro che simplettico, lo spazio $P(E)$ è formale. Ciò si allinea con i precedenti risultati generali riguardanti i fibrati di proiezione su basi formali.

Significato e Rivendicazioni
Il saggio sostiene di risolvere la mancanza di una conoscenza esaustiva riguardo al tipo di omotopia razionale specifico di $P(E)$ su $\mathbb{C}P^n$. Identificando esplicitamente $P(E)$ con lo spazio omogeneo $U(n+1)/U(1)^2 \times U(n-1)$, gli autori forniscono una caratterizzazione geometrica concreta della struttura di omotopia razionale di questo fibrato. Il lavoro si basa sugli strumenti fondamentali dei modelli di Sullivan e sulle proprietà degli spazi formali, estendendo l'applicazione di tali strumenti a un caso specifico e non banale di proiezione di fasci vettoriali. Lo studio è presentato come parte della tesi di dottorato del primo autore, contribuendo alla comprensione più ampia della topologia dei fibrati su spazi proiettivi complessi.