Superficie incompressibile

Da Wikipedia, l'enciclopedia libera.

In geometria, e più precisamente in topologia, una superficie incompressibile è una superficie contenuta in una 3-varietà che non può essere "compressa" ad una superficie di genere minore. Questa proprietà può essere espressa efficacemente usando il gruppo fondamentale.

Le superfici incompressibili sono importanti nello studio di una 3-varietà. Una 3-varietà irriducibile contenente una superficie incompressibile è detta di Haken: le varietà di Haken soddisfano molte proprietà.

Benché il termine corretto in italiano sia incomprimibile, è invalso l'uso di incompressibile come traduzione del termine inglese incompressible surface.

Definizione[modifica | modifica wikitesto]

Compressione[modifica | modifica wikitesto]

Compressione di una superficie lungo un disco . In questo caso, la superficie risultante ha due componenti connesse, entrambe con genere minore della precedente.

Sia una 3-varietà e una superficie bilatera connessa compatta, con o senza bordo, propriamente contenuta in . Vale quindi

Un disco di compressione per è un disco contenuto in con

tale che è una curva semplice chiusa disgiunta da , che non borda un disco in .

L'operazione di compressione consiste nel rimuovere da un anello intorno alla curva , e sostituirlo con due copie del disco . Il risultato è una nuova superficie più semplice di : può avere una o due componenti connesse, ciascuna delle quali ha genere minore di .

Le varietà , e sono tutte supposte differenziabili, in modo da garantire l'esistenza di un intorno tubolare. La superficie è certamente bilatera se e sono entrambe orientabili.

Superficie incompressibile[modifica | modifica wikitesto]

Una superficie come sopra e con caratteristica di Eulero è incompressibile se vale una delle seguenti richieste equivalenti:

  • Non esistono dischi di compressione per .
  • L'omomorfismo
    indotto dalla funzione è iniettivo per qualsiasi punto base in .

Come accade spesso in topologia algebrica, la prima definizione è generalmente più utile dal punto di vista geometrico, mentre la seconda, più algebrica, risulta più facile da dimostrare (o confutare). L'equivalenza fra le due definizioni è garantita dal lemma di Dehn.

La richiesta che abbia caratteristica di Eulero non positiva equivale a chiedere che non sia una sfera, un disco o un piano proiettivo; equivale cioè a chiedere che il suo gruppo fondamentale abbia cardinalità infinita. Queste tre superfici non possono in nessun caso avere dischi di compressione, e per questo vengono esclusi dalla definizione.

Esempi[modifica | modifica wikitesto]

Nello spazio[modifica | modifica wikitesto]

Lo spazio euclideo è semplicemente connesso. Quindi per ogni superficie l'omomorfismo

è banale. Quindi può essere iniettivo solo se è semplicemente connessa: non esistono quindi superfici incompressibili nello spazio.

Dall'equivalenza delle due definizioni, segue il fatto non banale che ogni superficie chiusa di genere positivo nello spazio ha un disco di compressione.

Spazi lenticolari[modifica | modifica wikitesto]

Quanto appena espresso si applica quindi anche ad una 3-varietà con gruppo fondamentale finito, poiché non può esserci una mappa iniettiva da un insieme infinito ad uno finito. In particolare, non esistono quindi superfici incompressibili nella sfera (che è semplicemente connessa) e in nessuno spazio lenticolare (che ha gruppo fondamentale ciclico finito).

Prodotti[modifica | modifica wikitesto]

Sia una superficie compatta (con o senza bordo) avente . Il prodotto è una 3-varietà, contenente la superficie . Quest'ultima è incompressibile: infatti

e l'omomorfismo è del tipo

e quindi è iniettivo. In particolare, il 3-toro contiene molti tori incompressibili.

Bibliografia[modifica | modifica wikitesto]

  • Anatolij Fomenko, Sergej Matveev, Algorithmic and computer methods for three-manifolds, Dordrecht, Kluwer, 1997.

Voci correlate[modifica | modifica wikitesto]

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