Calcolare La Coomologia A Supporto Compatto Esercizi Svolti

Introduzione alla Coomologia a Supporto Compatto

La coomologia a supporto compatto rappresenta uno degli strumenti più potenti nella topologia algebrica e geometria algebrica moderna. Questo concetto, introdotto da Alexander Grothendieck nei suoi lavori fondamentali sulla teoria dei fasci, permette di studiare proprietà globali degli spazi topologici attraverso invarianti algebrici che “catturano” informazioni localizzate in sottoinsiemi compatti.

La principale motivazione dietro questa teoria è la necessità di:

• Generalizzare la dualità di Poincaré per spazi non compatti
• Studiare la struttura dei fasci su spazi localmente compatti
• Applicare tecniche omologiche a problemi di analisi globale
• Collegare la topologia con la teoria delle D-moduli in geometria algebrica

Definizione Formale

Sia X uno spazio topologico localmente compatto e F un fascio abeliano su X. La coomologia a supporto compatto H^k_c(X, F) è definita come:

H^k_c(X, F) = lim_{→ K⊂X} H^k(X, X\K; F)

dove il limite è preso su tutti i sottoinsiemi compatti K di X, ordinati per inclusione.

Proprietà Fondamentali

Proprietà	Descrizione	Formula/Teorema
Dualità di Poincaré	Relazione tra coomologia e omologia per varietà orientabili	H^kc(M) ≅ Hn-k(M, ∂M)
Invarianza per Omeomorfismi	La coomologia a supporto compatto è un invariante topologico	f: X → Y omeomorfismo ⇒ H^*c(X) ≅ H^*c(Y)
Sequenza Esatta Lunga	Derivata dalla successione esatta corta dei fasci	0 → F’ → F → F” → 0 ⇒ … → H^kc(F’) → H^kc(F) → H^kc(F”) → H^k+1c(F’) → …
Teorema di Künneth	Formula per il prodotto di spazi	H^*c(X×Y) ≅ H^*c(X) ⊗ H^*c(Y)

Confronto con Coomologia Ordinaria

La principale differenza tra coomologia standard e coomologia a supporto compatto risiede nel comportamento su spazi non compatti:

• Coomologia standard: Può essere banale per spazi non compatti (es. H^k(ℝⁿ) = 0 per k > 0)
• Coomologia a supporto compatto: Cattura informazioni “all’infinito” (es. Hⁿ_c(ℝⁿ) ≅ ℤ)

Metodi di Calcolo Pratico

Passo 1: Scegliere il Contesto Geometrico

Il metodo di calcolo dipende fortemente dalla natura dello spazio:

1. Varietà differenziabili: Usare la dualità di Poincaré e la successione di Mayer-Vietoris
2. Spazi algebrici: Applicare la teoria dei fasci coerenti e il teorema di finitudine di Grothendieck
3. Complessi CW: Utilizzare la coomologia cellulare con supporto compatto
4. Spazi analitici: Impiegare la risoluzione dolbeault con supporto compatto

Passo 2: Costruire la Risoluzione Iniettiva

Per calcolare H^k_c(X, F), è necessario:

1. Trovare una risoluzione iniettiva di F: 0 → F → I⁰ → I¹ → …
2. Applicare il funtore Γ_c(X, -) = {s ∈ Γ(X, -) | supp(s) è compatto}
3. Calcolare l’omologia del complesso risultante

Esempio Pratico:

Per X = ℝⁿ e F = ℤ (costante), la risoluzione canonica è:

0 → ℤ → Ω⁰_c(ℝⁿ) → Ω¹_c(ℝⁿ) → … → Ωⁿ_c(ℝⁿ) → 0

Dove Ω^k_c sono le k-forme differenziali a supporto compatto. L’omologia di questo complesso dà:

H^k_c(ℝⁿ, ℤ) ≅ ℤ per k = n, 0 altrimenti

Esercizi Svolti con Soluzioni Dettagliate

Esercizio 1: Coomologia di ℝⁿ a Supporto Compatto

Testo: Calcolare H^k_c(ℝⁿ, ℤ) per tutti i k ≥ 0.

Soluzione:

1. ℝⁿ è una varietà orientabile di dimensione n
2. Per la dualità di Poincaré con supporto compatto:

   H^k_c(ℝⁿ) ≅ H_n-k(ℝⁿ, ℝⁿ ∪ {∞}) ≅ H_n-k(Sⁿ)

3. La sfera Sⁿ ha omologia:

   H_i(Sⁿ) ≅ ℤ per i = 0, n e 0 altrimenti

4. Quindi:

   H^k_c(ℝⁿ) ≅ ℤ per k = n e 0 altrimenti

Esercizio 2: Coomologia di un Aperto in ℂ

Testo: Sia U ⊂ ℂ un aperto semplicemente connesso. Calcolare H^k_c(U, ℤ) per k = 0, 1, 2.

Soluzione:

1. U è una superficie di Riemann (dimensione reale 2)
2. Per k = 0: H⁰_c(U, ℤ) = {funzioni localmente costanti a supporto compatto} = 0 (U è connesso)
3. Per k = 2: Per dualità di Poincaré, H²_c(U) ≅ H₀(U) ≅ ℤ
4. Per k = 1: Usiamo la successione esatta di coomologia associata a:

   0 → ℤ → 𝒪 → 𝒪* → 0

   dove 𝒪 è il fascio delle funzioni olomorfe e 𝒪* delle funzioni olomorfe non nulle.
5. La successione lunga dà:

   … → H¹_c(U, ℤ) → H¹_c(U, 𝒪) → H¹_c(U, 𝒪*) → H²_c(U, ℤ) → …

6. Poiché U è semplicemente connesso, H¹(U, 𝒪*) = 0 (teorema di Weierstrass)
7. Inoltre H¹_c(U, 𝒪) = 0 per il teorema B di Cartan
8. Quindi H¹_c(U, ℤ) = 0

Risposta finale: H⁰_c = 0, H¹_c = 0, H²_c ≅ ℤ

Esercizio 3: Coomologia di un Fibrato

Testo: Sia π: E → B un fibrato localmente banale con fibra F. Supponiamo che B sia compatto e che le inclusioni delle fibre abbiano immagine compatta. Mostrare che:

H^k_c(E) ≅ ⊕_i+j=k Hⁱ_c(B, H^j_c(F))

Soluzione:

1. Usiamo la successione spettrale di Leray per π con supporto compatto:

   E₂^p,q = H^p_c(B, 𝑅^qπ_*ℤ) ⇒ H^p+q_c(E)

2. Poiché le fibre sono compatte e il fibrato è localmente banale:

   𝑅^qπ_*ℤ ≅ ℤ ⊗ H^q_c(F)

3. La successione spettrale collassa al secondo termine per ragioni di grado
4. Otteniamo quindi l’isomorfismo desiderato per additività della coomologia

Applicazioni Avanzate

Teoria dell’Indice

La coomologia a supporto compatto gioca un ruolo chiave nella formula dell’indice di Atiyah-Singer. Per un operatore differenziale ellittico P su una varietà compatta M:

ind(P) = ∫_M ch(σ(P)) · td(T_ℂM)

Per varietà non compatte, si usa la coomologia a supporto compatto per definire un indice “relativo” che cattura il comportamento all’infinito.

Teoria delle D-moduli

In geometria algebrica, la coomologia a supporto compatto è essenziale per:

• Definire il funtore f_! per morfismi propri
• Studiare la dualità di Verdier
• Costruire la corrispondenza di Riemann-Hilbert tra D-moduli olonomi e fasci perversi

Campo di Applicazione	Ruolo della Coomologia a Supporto Compatto	Riferimento Chiave
Topologia Differenziale	Generalizzazione della dualità di Poincaré per varietà non compatte	Bredon, “Sheaf Theory”
Geometria Algebrica	Definizione dei funtori f! e f^! per morfismi propri	Hartshorne, “Residues and Duality”
Analisi Globale	Studio degli spazi di funzioni/sezioni a supporto compatto	Hörmander, “The Analysis of Linear Partial Differential Operators”
Teoria delle Rappresentazioni	Coomologia dei gruppi di Lie con supporto compatto	Bump, “Lie Groups”
Fisica Matematica	Quantizzazione geometrica e integrali di Feynman	Woodhouse, “Geometric Quantization”

Errori Comuni e Come Evitarli

⚠️ Attenzione:

Gli errori più frequenti nel calcolo della coomologia a supporto compatto includono:

1. Confondere supporto compatto con supporto chiuso:

   Non tutti i chiusi sono compatti! In ℝⁿ, i compatti sono esattamente i chiusi e limitati.

2. Dimenticare la dipendenza dall’anello di coefficienti:

   H^k_c(X, ℤ) ≠ H^k_c(X, ℚ) in generale (es. per varietà con torsione).

3. Applicare la dualità di Poincaré senza verificare l’orientabilità:

   La dualità richiede che X sia orientabile. Per varietà non orientabili, si usa la coomologia a coefficienti torsiti.

4. Ignorare le ipotesi di finitezza:

   Molti teoremi (es. Künneth) richiedono che gli spazi siano localmente compatti o che i fasci siano costruttibili.

Checklist per il Calcolo Corretto

1. Verificare che lo spazio sia localmente compatto
2. Controllare le ipotesi di orientabilità se si usa la dualità
3. Scegliere l’anello di coefficienti appropriato
4. Considerare la struttura del supporto (punto, sottospazio, etc.)
5. Usare risoluzioni iniettive adatte (es. forme differenziali per varietà)
6. Verificare la convergenza delle successioni spettrali
7. Confrontare con casi noti (es. ℝⁿ, Sⁿ)

Risorse Autorevoli

Per approfondimenti accademici sulla coomologia a supporto compatto:

1. Stanford University – Notes on Cohomology

   Dettagliata introduzione alla coomologia dei fasci con particolare attenzione ai supporti compatti, a cura del Prof. Brian Conrad.

2. UC Davis – Sheaf Cohomology Lecture Notes

   Corso avanzato che copre la teoria dei fasci e le sue applicazioni in geometria algebrica, con esercizi risolti.

3. University of Edinburgh – Algebraic Topology Notes

   Trattazione rigorosa della coomologia a supporto compatto nel contesto della topologia algebrica, con esempi concreti.