Coomologia

successione di gruppi abeliani associati a uno spazio topologico

In matematica, in particolare in teoria dell'omologia e in topologia algebrica, coomologia è un termine generale per indicare una successione di gruppi abeliani associati a uno spazio topologico, spesso definiti da un complesso di cocatene. La coomologia può essere vista come un metodo per assegnare a uno spazio topologico invarianti algebrici più ricchi rispetto all'omologia. Alcune versioni della coomologia nascono da un dualismo con la costruzione omologica. In altre parole, le cocatene sono funzioni sul gruppo delle catene della teoria omologica.

Dopo la sua nascita in ambito topologico, il concetto di coomologia è diventato un elemento fondamentale della matematica nella seconda metà del ventesimo secolo. Dall'idea iniziale di omologia come metodo per costruire invarianti algebrici di spazi topologici, il numero di applicazioni delle teorie dell'omologia e della coomologia si è ampliata sia in geometria che in algebra. La terminologia tende a nascondere il fatto che, in molte applicazioni, la coomologia, una teoria controvariante, è più naturale dell'omologia. Questo ha a che fare con funzioni e pullback in ambito geometrico: dati due spazi e e una funzione su per qualsiasi mappa la composizione con dà origine a una funzione su Le teorie della coomologia più importanti hanno un prodotto, il prodotto cup, che conferisce loro una struttura di anello. A causa di questa caratteristica, la coomologia è solitamente un invariante più forte dell'omologia.

Coomologia singolareModifica

La coomologia singolare è un potente invariante topologico che a ogni spazio topologico associa un anello anticommutativo graduato. Ogni funzione continua   determina un omomorfismo dall'anello di coomologia di   a quello di   Questo pone forti restrizioni sulle possibili mappe da   a   A differenza di invarianti più sottili come i gruppi di omotopia, l'anello di coomologia tende a essere effettivamente calcolabile per molti spazi comunemente considerati.

Per uno spazio topologico   la definizione di coomologia singolare inizia con il complesso di catene singolari:[1]

 

Per definizione, l'omologia singolare di   è l'omologia di questo complesso di catene (il nucleo di un omomorfismo modulo l'immagine del precedente). Più in dettaglio:   è il gruppo abeliano libero generato dall'insieme delle funzioni continue dall' -simplesso standard a   (chiamato  -simplesso singolare in  ), e   è l' -esimo omomorfismo di bordo. I gruppi   sono nulli per  

Si fissi un gruppo abeliano   e si sostituisca ogni gruppo   con il suo gruppo duale   e   con il suo omomorfismo duale

 

In questo modo si "invertono tutte le frecce" del complesso originale ottenendo un complesso di cocatene

 

Per un numero intero   il gruppo di coomologia  -esimo di   con coefficienti in   è   ed è indicato con   Il gruppo   è nullo per   Gli elementi di   sono chiamati  -cocatene singolari con coefficienti in   Equivalentemente, una  -cocatena su   può essere identificata con una funzione dall'insieme degli  -simplessi singolari di   ad   Gli elementi di   e   sono chiamati rispettivamente cocicli e cobordi, mentre gli elementi di   sono chiamati classi di coomologia (perché sono classi di equivalenza di cocicli).

Nel seguito, il gruppo dei coefficienti   a volte è omesso. Spesso si sceglie un anello commutativo   come gruppo dei coefficienti; in tal caso i gruppi di coomologia sono  -moduli. Una scelta standard è l'anello degli interi  

Alcune delle proprietà formali della coomologia derivano direttamente delle proprietà dell'omologia:

  • Una funzione continua   determina un omomorfismo pushforward   in omologia e un omomorfismo pullback   in coomologia. Questo rende la coomologia un funtore controvariante dagli spazi topologici ai gruppi abeliani (o  -moduli).
  • Due funzioni omotope da   a   inducono lo stesso omomorfismo in coomologia (proprio come in omologia).
  • La successione di Mayer-Vietoris è un importante strumento di calcolo in coomologia come in omologia. Si noti che l'omomorfismo di bordo aumenta (anziché diminuire) il grado in coomologia. Cioè, se uno spazio   è l'unione di due sottoinsiemi aperti   e   allora c'è una successione esatta lunga:
 
  • Esistono gruppi di coomologia relativi   per ogni sottospazio   di uno spazio   Sono legati agli usuali gruppi di coomologia da una successione esatta lunga:
 
 
Un risultato correlato è il seguente: per un campo   il gruppo   è precisamente lo spazio duale dello spazio vettoriale  .
  • Se   è una varietà topologica o un CW-complesso, allora i gruppi di coomologia   sono nulli per   maggiore della dimensione di  [2] Se   è una varietà compatta (eventualmente con bordo), o un CW-complesso con un numero finito di celle per ogni dimensione, e   è un anello noetheriano commutativo, allora l' -modulo   è finitamente generato per ogni  [3]

D'altra parte, la coomologia ha una struttura che l'omologia non ha: per ogni spazio topologico   e per ogni anello commutativo   esiste un operatore bilineare, chiamato prodotto cup:

 

definito da una formula esplicita su cocatene singolari. Il prodotto delle classi di coomologia   e   è scritto come   o semplicemente come   Questo prodotto rende la somma diretta

 

un anello graduato, chiamato anello di coomologia di   Esso è anticommutativo graduato nel senso che:[4]

 

Per ogni funzione continua   il pullback   è un omomorfismo di  -algebre graduate. Ne consegue che se due spazi sono omotopicamente equivalenti, allora i loro anelli di coomologia sono isomorfi.

Di seguito sono elencate alcune delle interpretazioni geometriche del prodotto cup. Nel seguito, le varietà sono intese senza bordo se non diversamente specificato. Per varietà chiusa si intende una varietà compatta (senza bordo), mentre per sottovarietà chiusa   di una varietà differenziabile   è una sottovarietà che è un sottoinsieme chiuso di   non necessariamente compatto (sebbene   sia automaticamente compatta se   lo è).

  • Sia   una varietà orientata chiusa di dimensione   Allora la dualità di Poincaré dà un isomorfismo   Di conseguenza, una sottovarietà orientata chiusa   di codimensione   in   determina una classe di coomologia in   indicata con   In questi termini, il prodotto cup descrive l'intersezione delle sottovarietà. Ossia se   e   sono sottovarietà di codimensione rispettivamente   e   che si intersecano trasversalmente, allora
 
dove l'intersezione   è una sottovarietà di codimensione   con un'orientazione determinata dalle orientazioni di   e   Nel caso di varietà differenziabili, se   e   non si intersecano trasversalmente, questa formula può ancora essere utilizzata per calcolare il prodotto cup   perturbando   o   per rendere trasversale l'intersezione.
Più in generale, senza supporre che   abbia un'orientazione, una sottovarietà chiusa di   con un'orientazione sul suo fibrato normale determina una classe di coomologia su   Se   è una varietà non compatta, allora una sottovarietà chiusa (non necessariamente compatta) determina una classe di coomologia su   In entrambi i casi, il prodotto cup può essere nuovamente descritto in termini di intersezioni di sottovarietà.
Thom ha costruito una classe di coomologia intera di grado 7 su una varietà differenziabile di dimensione 14 che non è la classe di nessuna sottovarietà differenziabile.[5] D'altra parte ha dimostrato che ogni classe di coomologia intera di grado positivo su una varietà differenziabile ha un multiplo positivo che è la classe di una sottovarietà differenziabile.[6] Inoltre, ogni classe di coomologia intera su una varietà differenziabile può essere rappresentata da una "pseudovarietà differenziabile", cioè un complesso simpliciale che è una varietà differenziabile al di fuori di un sottoinsieme chiuso di codimensione almeno 2.
  • Per una varietà differenziabile   il teorema di de Rham dice che la coomologia singolare di   con coefficienti reali è isomorfa alla coomologia di de Rham di   definita usando le forme differenziali. Il prodotto cup corrisponde al prodotto delle forme differenziali. Questa interpretazione ha il vantaggio che il prodotto su forme differenziali è anticommutativo graduato, mentre il prodotto su cocatene singolari è solo anticommutativo graduato a meno di omotopia di catene. Infatti è impossibile modificare la definizione di cocatene singolari con coefficienti negli interi   o in   per un numero primo   per definire correttamente il prodotto anticommutativo graduato. Il fallimento dell'anticommutatività graduata a livello di cocatene porta alle operazioni di Steenrod sulla coomologia modulo  

In modo molto informale, in ogni spazio topologico   un elemento di   può essere pensato come rappresentato da un sottospazio di codimensione   di   che possa muoversi liberamente su   Ad esempio, un modo per definire un elemento di   è dare una funzione continua   da   a una varietà differenziabile   e una sottovarietà chiusa   di codimensione   di   con un'orientazione sul fibrato normale. Sempre in modo informale, si può pensare alla classe risultante   come appartenente al sottospazio   di   Questo è motivato dal fatto che la classe   si restringe allo zero nella coomologia del sottoinsieme aperto   La classe di coomologia   può muoversi liberamente su   nel senso che   potrebbe essere sostituito da una qualsiasi deformazione continua di   all'interno di  

EsempiModifica

In quanto segue la coomologia è considerata con coefficienti negli interi   salvo diversamente specificato.

  • L'anello di coomologia di un punto è l'anello   di grado 0. Per invarianza omotopica, questo è anche l'anello di coomologia di qualsiasi spazio contraibile, come lo spazio euclideo  
  •  
    Il primo gruppo di coomologia del toro bidimensionale ha una base data dalle classi dei due cerchi mostrati.
    Per un intero positivo   l'anello di coomologia della sfera   è   (il quoziente di un anello polinomiale per l'ideale dato), con   di grado   In termini della dualità di Poincaré,   è la classe di un punto sulla sfera.
  • L'anello di coomologia del toro   è l'algebra esterna su   con   generatori di grado 1.[7] Ad esempio, sia   un punto sulla circonferenza   e   il punto   nel toro bidimensionale   Allora la coomologia di   ha una base come  -modulo libero data da: l'elemento 1 di grado 0,   e   di grado 1 e   di grado 2. Implicitamente, le orientazioni del toro e delle due circonferenze si considerano fissate. Notare che   per l'anticommutatività graduata.
  • Più in generale, sia   un anello commutativo e siano   e   spazi topologici qualsiasi tali che   sia un  -modulo libero finitamente generato in ogni grado (non è necessaria alcuna ipotesi su  ). Dalla formula di Künneth segue che l'anello di coomologia dello spazio prodotto   è un prodotto tensoriale di  -algebre:[8]
 
  • L'anello di coomologia dello spazio proiettivo reale   con coefficienti in   è   con   di grado 1.[9] Qui   è la classe di un iperpiano   in   Questo ha senso anche se   non è orientabile per   pari e positivo, perché la dualità di Poincaré con coefficienti in   vale per varietà arbitrarie.
L'anello di coomologia dello spazio proiettivo reale   con coefficienti interi è un po' più complicato. La coomologia intera di   ha un elemento   di grado 2 tale che l'intera coomologia è la somma diretta di una copia di   generata dall'elemento 1 di grado 0 insieme alle copie di   generate dagli elementi   con   La coomologia intera di   è la stessa insieme a una copia aggiuntiva di   di grado  [10]
  • L'anello di coomologia dello spazio proiettivo complesso   è   con   di grado 2.[9] Qui   è la classe di un iperpiano   in   Più in generale,   è la classe di un sottospazio lineare   in  
  • L'anello di coomologia di una superficie orientata chiusa   di genere   è uno  -modulo libero con base data da: l'elemento 1 di grado 0,   e   di grado 1 e la classe   di un punto di grado 2. I prodotti sono dati da:   per ogni   e     se   e   per ogni  [11] Dall'anticommutatività graduata, segue che  
  • Su qualsiasi spazio topologico, l'anticommutatività graduata dell'anello di coomologia implica che   per tutte le classi di coomologia   di grado dispari. Ne consegue che per un anello   contenente   tutti gli elementi di grado dispari di   hanno quadrato nullo. D'altra parte, gli elementi di grado dispari non devono necessariamente avere quadrato nullo se   è   o   come si vede nell'esempio di   (con coefficienti in  ) o   (con coefficienti in  ).

La diagonaleModifica

Il prodotto cup sulla coomologia può essere visto come proveniente dalla funzione diagonale   Più precisamente: per tutti gli spazi   e   con classi di coomologia   e   esiste una classe di coomologia del prodotto esterno (o prodotto incrociato)   Il prodotto cup delle classi   e   può essere definito come il pullback del prodotto esterno dalla diagonale:[12]

 

In alternativa, il prodotto esterno può essere definito in termini di prodotto cup. Dati due spazi   e   siano   e   le due proiezioni. Allora il prodotto esterno delle classi   e   è:

 

Dualità di PoincaréModifica

Un'altra interpretazione della dualità di Poincaré è che l'anello di coomologia di una varietà orientata chiusa è auto-duale in senso forte. Più precisamente: sia   una varietà orientata connessa chiusa di dimensione   e sia   un campo, allora   è isomorfo a   e il prodotto

 

è un accoppiamento perfetto per ogni numero intero  [13] In particolare, gli spazi vettoriali   e   hanno la stessa dimensione (finita). Allo stesso modo, il prodotto sulla coomologia intera modulo torsione con valori in   è un accoppiamento perfetto su  

Classi caratteristicheModifica

Un fibrato vettoriale reale orientato   di rango   su uno spazio topologico   determina una classe di coomologia su   la classe di Eulero   Informalmente, la classe di Eulero è la classe dell'insieme degli zeri di una sezione globale di   Questa interpretazione può essere resa più esplicita quando   è un fibrato vettoriale differenziabile su una varietà differenziabile   poiché allora una sezione differenziabile globale di   si annulla su una sottovarietà di codimensione   di  

Esistono molti altri tipi di classi caratteristiche per fibrati vettoriali a valori in coomologia tra cui: le classi di Chern, le classi di Stiefel–Whitney e le classi di Pontryagin.

Spazi di Eilenberg–MacLaneModifica

Per ogni gruppo abeliano   e per ogni numero naturale   c'è uno spazio   il cui  -esimo gruppo di omotopia è isomorfo ad   e gli altri gruppi di omotopia sono nulli. Tale spazio è chiamato spazio di Eilenberg-MacLane. Questo spazio ha la notevole proprietà di essere uno spazio di classificazione per la coomologia. Ossia esiste un elemento naturale   di   tale che ogni classe di coomologia di grado   su ogni spazio   è il pullback di   per qualche funzione continua  . Più precisamente, il pullback della classe   dà una biiezione

 

per ogni spazio   con il tipo di omotopia di un CW-complesso.[14] Qui   denota l'insieme delle classi di omotopia delle funzioni continue da   a  

Ad esempio, lo spazio   (definito a meno di equivalenza omotopica) può essere considerato il cerchio   Quindi la precedente descrizione dice che ogni elemento di   è il pullback della classe   di un punto su   rispetto a qualche funzione continua  

Questo permette di dare una descrizione del primo gruppo di coomologia con coefficienti in un gruppo abeliano   arbitrario per un CW-complesso   Ossia   è in corrispondenza biunivoca con l'insieme delle classi di isomorfismo dei rivestimenti di Galois di   con gruppo   chiamati anche A-fibrati principali su   Se   è connesso, si ha che   è isomorfo a  , dove   è il gruppo fondamentale di   Per esempio,   classifica i rivestimenti doppi di   con l'elemento   corrispondente al rivestimento doppio banale: l'unione disgiunta di due copie di  

Prodotto capModifica

Per ogni spazio topologico   il prodotto cap è una forma bilineare

 

per ogni   e   interi e per ogni anello commutativo   La funzione risultante

 

rende l'omologia singolare di   un modulo sull'anello di coomologia singolare di  

Se   il prodotto cap induce l'omomorfismo naturale

 

che è un isomorfismo se   è un campo.

Ad esempio, sia   una varietà orientata non necessariamente compatta. Allora una sottovarietà di codimensione   orientata chiusa   di   (non necessariamente compatta) determina un elemento di   e una sottovarietà compatta orientata  -dimensionale   di   determina un elemento di   Il prodotto cap   può essere calcolato perturbando   e   per farli intersecare trasversalmente e quindi prendendo la classe della loro intersezione, che è una sottovarietà orientata compatta di dimensione  

Una varietà   chiusa orientata di dimensione   ha una classe fondamentale   in   L'isomorfismo della dualità di Poincaré

 

è definito dal prodotto cap con la classe fondamentale di  

Storia della coomologia singolareModifica

Sebbene la coomologia sia fondamentale per la moderna topologia algebrica, la sua importanza non fu pienamente compresa per circa 40 anni dallo sviluppo dell'omologia. Il concetto di struttura cellulare duale, che Henri Poincaré usò nella dimostrazione del suo teorema di dualità di Poincaré, conteneva il germe dell'idea di coomologia, ma questo fu compreso solo in seguito.

Ci sono stai vari precursori della coomologia.[15] A metà degli anni '20, J.W. Alexander e Solomon Lefschetz fondarono la teoria dell'intersezione dei cicli su varietà differenziabili. Su una varietà differenziabile  -dimensionale orientata chiusa   un  -ciclo e un  -ciclo con intersezione non vuota avranno come intersezione, se in posizione generale, un  -ciclo. Questo porta a una moltiplicazione tra classi di omologia:

 

che retrospettivamente può essere identificato con il prodotto cup sulla coomologia di  

Nel 1930 Alexander aveva definito una prima nozione di cocatena, pensando a una  -cocatena su uno spazio   come una funzione su piccoli intorni della diagonale in  

Nel 1931 Georges De Rham mise in relazione l'omologia e le forme differenziali dimostrando il teorema di de Rham. Questo risultato può essere espresso in modo più semplice in termini coomologici.

Nel 1934 Lev Semënovič Pontrjagin dimostrò il teorema di dualità di Pontryagin; un risultato sui gruppi topologici. Questo (in casi piuttosto speciali) ha fornito un'interpretazione della dualità di Poincaré e della dualità di Alexander in termini di caratteri di gruppi.

In una conferenza del 1935 a Mosca, Andrey Kolmogorov e Alexander introdussero entrambi la coomologia e tentarono di costruire una struttura di prodotto in coomologia.

Nel 1936 Norman Steenrod costruì la coomologia di Čech dualizzando l'omologia di Čech.

Dal 1936 al 1938 Hassler Whitney ed Eduard Čech svilupparono il prodotto cup (trasformando la coomologia in un anello graduato) e il prodotto cap, e si resero conto che la dualità di Poincaré può essere espressa in termini di prodotto cap. La loro teoria era ancora limitata a complessi cellulari finiti.

Nel 1944 Samuel Eilenberg superò i precedenti limiti tecnici e diede la definizione moderna di omologia e coomologia singolare.

Nel 1945 Eilenberg e Steenrod hanno determinato gli assiomi, discussi di seguito, che definiscono una teoria dell'omologia o della coomologia. Nel loro libro del 1952, Foundations of Algebraic Topology, hanno dimostrato che le teorie esistenti di omologia e coomologia soddisfacevano effettivamente i loro assiomi.

Nel 1946 Jean Leray definì la coomologia di fasci.

Nel 1948 Edwin Spanier, basandosi sul lavoro di Alexander e Kolmogorov, sviluppò la coomologia di Alexander-Spanier.

Coomologia di fasciModifica

La coomologia di fasci è una generalizzazione della coomologia singolare, che consente "coefficienti" più generali rispetto a un semplice gruppo abeliano. Per ogni fascio   di gruppi abeliani su uno spazio topologico   si hanno gruppi di coomologia   per   intero. In particolare, nel caso del fascio costante su   associato a un gruppo abeliano   i gruppi risultanti   coincidono con la coomologia singolare se   è una varietà differenziabile o un CW-complesso (ma non per spazi   arbitrari). A partire dagli anni '50, la coomologia di fasci è diventata una parte centrale della geometria algebrica e dell'analisi complessa, anche a causa dell'importanza del fascio delle funzioni regolari e del fascio delle funzioni olomorfe.

Grothendieck ha elegantemente definito e caratterizzato la coomologia di fasci nel linguaggio dell'algebra omologica. Il punto essenziale è fissare lo spazio   e pensare alla coomologia di fasci come un funtore dalla categoria abeliana dei fasci su   ai gruppi abeliani. Si consideri il funtore che associa a un fascio   su   il gruppo abeliano delle sue sezioni globali su     Questo funtore è esatto a sinistra, ma non necessariamente esatto a destra. Grothendieck ha definito i gruppi di coomologia di fasci come i funtori derivati destri del funtore esatto a sinistra  [16]

Questa definizione suggerisce varie generalizzazioni. Ad esempio, si può definire la coomologia di uno spazio topologico   con coefficienti in qualsiasi complesso di fasci, precedentemente chiamata ipercoomologia (ma di solito ora solo "coomologia"). Da quel punto di vista, la coomologia di fasci diventa una successione di funtori dalla categoria derivata dei fasci su   ai gruppi abeliani.

In senso più ampio il termine "coomologia" è spesso usato per i funtori derivati destri di un funtore esatto a sinistra su una categoria abeliana, mentre "omologia" è usato per i funtori derivati sinistri di un funtore esatto a destra. Ad esempio, per un anello   i funtori derivati sinistri del prodotto tensoriale   di  -moduli, cioè i gruppi Tor   formano una "teoria dell'omologia" in ogni variabile. Allo stesso modo, i funtori derivati destri del funtore   cioè i gruppi Ext   possono essere visti come una "teoria della coomologia" in ogni variabile.

La coomologia di fasci può essere identificata con uno specifico gruppo Ext. Più precisamente: per un fascio   su uno spazio topologico     è isomorfo a   dove   denota il fascio costante associato agli interi   ed Ext è preso nella categoria abeliana dei fasci su  

Coomologia di varietà algebricheModifica

Esistono numerosi strumenti costruiti per calcolare la coomologia delle varietà algebriche. Il caso più semplice è la determinazione della coomologia per varietà proiettive lisce su un campo di caratteristica   Gli strumenti della teoria di Hodge, chiamati strutture di Hodge, aiutano a calcolare la coomologia di queste varietà (fornendo anche informazioni più raffinate). Nel caso più semplice, la coomologia di un'ipersuperficie liscia in   può essere determinata dal solo grado del polinomio che la definisce.

Quando si considerano le varietà su un campo finito o su un campo di caratteristica   le definizioni classiche di omologia e coomologia vengono meno e sono quindi necessari strumenti più potenti. Su campi finiti questo accade poiché le varietà sono formate solo da un insieme finito di punti. Grothendieck ha introdotto l'idea delle topologie di Grothendieck e ha utilizzato la coomologia di fasci sulla topologia étale (che è una particolare topologia di Grothendieck) per definire una teoria della coomologia per varietà su un campo finito. Usando la topologia étale si può costruire la coomologia  -adica per una varietà su un campo di caratteristica   per   Questa è definita come

 

Se si ha uno schema di tipo finito

 

allora c'è un'uguaglianza tra le dimensioni della coomologia di Betti di   e la coomologia  -adica di   ogni volta che la varietà è liscia su entrambi i campi. Oltre a queste teorie della coomologia, ci sono altre teorie coomologiche chiamate teorie della coomologia di Weil che si comportano in modo simile alla coomologia singolare. Esiste una congetturale teoria dei motivi che sta alla base di tutte le teorie della coomologia di Weil.

Un altro utile strumento di calcolo è la successione dei blow up. Dato un sottoschema   di codimensione maggiore o uguale a   esiste un quadrato cartesiano

 

A questo si associa una successione esatta lunga

 

Se la sottovarietà   è liscia, i morfismi di connessione sono tutti banali e quindi

 

Assiomi e teorie della coomologia generalizzataModifica

Esistono vari modi per definire la coomologia per gli spazi topologici come la coomologia singolare, la coomologia di Čech, la coomologia Alexander–Spanier o la coomologia di fasci (qui la coomologia di fasci è considerata solo con coefficienti in un fascio costante). Queste teorie danno risultati diversi per alcuni spazi, ma c'è una grande classe di spazi su cui coincidono. Questo è più chiaro se visto assiomaticamente: c'è un elenco di proprietà conosciute come assiomi di Eilenberg-Steenrod tali che due qualunque costruzioni che soddisfano queste proprietà coincideranno almeno su tutti i CW-complessi.[17] Esiste una versione degli assiomi per una teoria dell'omologia e una versione per una teoria della coomologia. Alcune teorie possono essere viste come strumenti per calcolare la coomologia singolare per spazi topologici particolari, come la coomologia simpliciale per complessi simpliciali, la coomologia cellulare per CW-complessi e la coomologia di de Rham per varietà differenziabili.

Uno degli assiomi di Eilenberg-Steenrod per una teoria della coomologia è l'assioma dimensionale: se   è un punto singolo, allora   per ogni   Intorno al 1960, George W. Whitehead osservò che è utile omettere completamente l'assioma dimensionale, così facendo si ha la nozione di teoria dell'omologia generalizzata o di teoria della coomologia generalizzata (definita di seguito). Esistono teorie della coomologia generalizzate come la teoria K o il cobordismo complesso che forniscono molte informazioni su uno spazio topologico non direttamente accessibili dalla coomologia singolare (in questo contesto, la coomologia singolare è spesso chiamata "coomologia ordinaria").

Per definizione, una teoria dell'omologia generalizzata è una successione di funtori   con   intero, dalla categoria delle CW-coppie   (dove   è un CW-complesso e   è un sottocomplesso) alla categoria dei gruppi abeliani, e una trasformazione naturale   chiamata omomorfismo di bordo (qui   è un'abbreviazione per  ). Gli assiomi sono:

  • Omotopia: se   è omotopo a  , allora gli omomorfismi indotti sull'omologia coincidono.
  • Esattezza: ogni coppia   induce una successione esatta lunga in omologia, tramite le inclusioni   e  
 
  • Escissione: se   è l'unione dei sottocomplessi   e   l'inclusione   induce un isomorfismo
 
per ogni  
  • Additività: se   è l'unione disgiunta di un insieme di coppie   allora le inclusioni   inducono un isomorfismo dalla somma diretta:
 
per ogni  

Gli assiomi per una teoria della coomologia generalizzata si ottengono essenzialmente invertendo le frecce. Più precisamente: una teoria della coomologia generalizzata è una successione di funtori controvarianti   (con   intero) dalla categoria delle CW-coppie alla categoria dei gruppi abeliani, con una trasformazione naturale   detta omomorfismo di bordo (dove   indica  ). Gli assiomi sono:

  • Omotopia: le funzioni omotope inducono lo stesso omomorfismo in coomologia.
  • Esattezza: ogni coppia   induce una successione esatta lunga in coomologia tramite le inclusioni   e  
 
  • Escissione: se   è l'unione dei sottocomplessi   e   l'inclusione   induce un isomorfismo
 
per ogni  
  • Additività: se   è l'unione disgiunta di un insieme di coppie   allora le inclusioni   inducono un isomorfismo sul prodotto diretto dei gruppi:
 
per ogni  

Uno spettro determina sia una teoria dell'omologia generalizzata che una teoria della coomologia generalizzata. Un risultato fondamentale di Brown, Whitehead e Adams afferma che ogni teoria dell'omologia generalizzata proviene da uno spettro e, allo stesso modo, ogni teoria della coomologia generalizzata proviene da uno spettro.[18] Questo generalizza la rappresentabilità della coomologia ordinaria per mezzo degli spazi di Eilenberg-MacLane.

Una questione sottile è che il funtore dalla categoria di omotopia stabile (la categoria di omotopia degli spettri) alle teorie dell'omologia generalizzata sulle CW-coppie non è un'equivalenza sebbene dia una biiezione sulle classi di isomorfismo. Ci sono funzioni diverse da zero nella categoria di omotopia stabile (chiamate mappe fantasma) che inducono la funzione nulla tra teorie dell'omologia su CW-coppie. Analogamente, il funtore dalla categoria di omotopia stabile alle teorie di coomologia generalizzata sulle CW-coppie non è un'equivalenza.[19] È la categoria di omotopia stabile, non queste altre categorie, che ha buone proprietà come essere una categoria triangolata.

Se si preferisce che le teorie dell'omologia o della coomologia siano definite su tutti gli spazi topologici e non solo su CW-complessi, un approccio standard è quello di includere l'assioma che ogni equivalenza di omotopia debole induce un isomorfismo in omologia o coomologia. Questo, ad esempio, è vero per l'omologia singolare o per la coomologia singolare, ma non per la coomologia di fasci. Poiché ogni spazio ammette un'equivalenza di omotopia debole da un CW-complesso, questo assioma riduce le teorie dell'omologia o della coomologia su tutti gli spazi alla corrispondente teoria sui CW-complessi.[20]

Alcuni esempi di teorie della coomologia generalizzata sono:

  • Gruppi di coomotopia stabili   La teoria dell'omologia corrispondente è usata più spesso: gruppi di omotopia stabili  
  • Diverse varianti dei gruppi di cobordismo. Sono basati sullo studio di uno spazio considerando tutte le funzioni da esso a una varietà differenziabile: cobordismo non orientato   cobordismo orientato   cobordismo complesso   e così via. Il cobordismo complesso si è rivelato particolarmente potente in teoria dell'omotopia. È strettamente correlato ai gruppi formali, tramite un teorema di Daniel Quillen.
  • Diverse varianti di teoria K topologica. Essa è basata sullo studio di uno spazio considerando tutti i fibrati vettoriali su di esso:   (teoria K periodica reale),   (teoria K connettiva reale),   (teoria K periodica complessa),   (teoria K connettiva complessa) e così via.
  • Coomologia di Brown–Peterson, teoria K di Morava, teoria E di Morava e altre teorie costruite dal cobordismo complesso.
  • Diverse varianti di coomologia ellittica.

Molte di queste teorie contengono più informazioni della coomologia ordinaria, ma sono più difficili da calcolare.

Si dice che una teoria della coomologia   sia moltiplicativa se   ha la struttura di un anello graduato per ogni spazio   Nel linguaggio degli spettri, ci sono molte nozioni che contengono più informazioni di quelle contenute nello spettro di un anello, come uno spettro di un  -anello, dove il prodotto è commutativo e associativo in senso forte.

NoteModifica

  1. ^ Hatcher (2001), p. 108.
  2. ^ Hatcher (2001), Theorem 3.5; Dold (1972), Proposition VIII.3.3 and Corollary VIII.3.4.
  3. ^ Dold (1972), Propositions IV.8.12 and V.4.11.
  4. ^ Hatcher (2001), Theorem 3.11.
  5. ^ Thom (1954), pp. 62–63.
  6. ^ Thom (1954), Theorem II.29.
  7. ^ Hatcher (2001), Example 3.16.
  8. ^ Hatcher (2001), Theorem 3.15.
  9. ^ a b Hatcher (2001), Theorem 3.19.
  10. ^ Hatcher (2001), p. 222.
  11. ^ Hatcher (2001), Example 3.7.
  12. ^ Hatcher (2001), p. 186.
  13. ^ Hatcher (2001), Proposition 3.38.
  14. ^ May (1999), p. 177.
  15. ^ Dieudonné (1989), section IV.3.
  16. ^ Hartshorne (1977), section III.2.
  17. ^ May (1999), p. 95.
  18. ^ Switzer (1975), Theorem 9.27; Corollary 14.36; Remarks, p. 117 and p. 331.
  19. ^ (EN) brown representability - Are spectra really the same as cohomology theories?, su MathOverflow. URL consultato il 29 novembre 2022.
  20. ^ Switzer (1975), 7.68.

BibliografiaModifica

Collegamenti esterniModifica

Voci correlateModifica

  Portale Matematica: accedi alle voci di Wikipedia che trattano di matematica