Superficie incompressibile

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

Compressione

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

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

$\partial S=S\cap \partial M.$

Un disco di compressione per $S$ è un disco $D$ contenuto in $M$ con

$D\cap S=\partial D$

tale che $\partial D$ è una curva semplice chiusa disgiunta da $\partial S$, che non borda un disco in $S$.

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

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

Superficie incompressibile

Una superficie $S$ come sopra e con caratteristica di Eulero $\chi (S)\le 0$ è incompressibile se vale una delle seguenti richieste equivalenti:

• Non esistono dischi di compressione per $S$.
• L'omomorfismo

  $i_{*}:{\pi }_1(S,x_0)\to {\pi }_1(M,x_0)$

  indotto dalla funzione $i:S\to M$ è iniettivo per qualsiasi punto base $x_0$ in $S$.

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 $S$ 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

Nello spazio

Lo spazio euclideo ${ℝ}^3$ è semplicemente connesso. Quindi per ogni superficie $S$ l'omomorfismo

$i_{*}:{\pi }_1(S,x_0)\to {\pi }_1({ℝ}^3,x_0)$

è banale. Quindi può essere iniettivo solo se $S$ è 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 ${ℝ}^3$ ha un disco di compressione.

Spazi lenticolari

Quanto appena espresso si applica quindi anche ad una 3-varietà $M$ con gruppo fondamentale finito, poiché non può esserci una mappa iniettiva $i_{*}$ da un insieme infinito ${\pi }_1(S,x_0)$ ad uno finito. In particolare, non esistono quindi superfici incompressibili nella sfera $S^3$ (che è semplicemente connessa) e in nessuno spazio lenticolare $L(p,q)$ (che ha gruppo fondamentale ciclico finito).

Prodotti

Sia $S$ una superficie compatta (con o senza bordo) avente $\chi (S)⩽0$. Il prodotto $S\times S^1$ è una 3-varietà, contenente la superficie $S\times \{1\}$. Quest'ultima è incompressibile: infatti

${\pi }_1(S\times S^1)\cong {\pi }_1(S)\times {\pi }_1(S^1)\cong {\pi }_1(S)\times \mathbb{Z}$

e l'omomorfismo $i_{*}$ è del tipo

$i_{*}(a)=(a,0)$

e quindi è iniettivo. In particolare, il 3-toro $S^1\times S^1\times S^1$ contiene molti tori incompressibili.

Bibliografia

• Template:Cita libro

Voci correlate

• 3-varietà