Out(Fn)

Da Teknopedia, l'enciclopedia libera.
Vai alla navigazione Vai alla ricerca
Il titolo di questa pagina non è corretto per via delle caratteristiche del software MediaWiki. Il titolo corretto è Out(Fn).

In matematica, Out(Fn) è il gruppo degli automorfismi esterni di un gruppo libero su n generatori. Questi gruppi svolgono un ruolo importante nella teoria geometrica dei gruppi.

Spazio esterno

[modifica | modifica wikitesto]

Out(Fn) agisce geometricamente su un complesso di celle noto come spazio esterno di Culler-Vogtmann, che può essere definito come lo spazio di Teichmüller per una rosa.

Un punto dello spazio esterno è essenzialmente un -grafo omotopicamente equivalente ad una rosa di n cerchi unitamente ad una classe scelta libera, omotopicamente equivalente da alla rosa di n cerchi. Un -grafo è solo un grafo ponderato con pesi in . La somma di tutti i pesi dovrebbe essere 1 e tutti i pesi dovrebbero essere positivi. Per evitare ambiguità (e per ottenere uno spazio di dimensione finita) è inoltre richiesto che la valenza di ciascun vertice sia almeno 3.

Una definizione più descrittiva che evita l'equivalenza dell'omotopia è la seguente.

Possiamo fissare un'identificazione del gruppo fondamentale di una rosa di n cerchi con il gruppo libero in variabili. Inoltre, possiamo scegliere un albero massimale in e una direzione per ogni arco rimanente. Assegneremo ora a ciascun bordo rimanente una stringa in nel seguente modo. Consideriamo il cammino chiuso che inizia con e poi ritorna all'origine di nell'albero massimale. Componendo questo cammino con otteniamo un cammino chiuso in una rosa di n cerchi e quindi un elemento del suo gruppo fondamentale . Questo elemento non è ben definito; se sostituiamo con un'omotopia libera otteniamo un altro elemento. Si scopre che questi due elementi sono coniugati tra loro, e quindi possiamo scegliere l'unico elemento ciclicamente ridotto in questa classe di coniugio. Da questi dati è possibile ricostruire il tipo di omotopia libera di . Questa versione ha il vantaggio di evitare la scelta extra di e ha lo svantaggio di creare ulteriore ambiguità, perché bisogna scegliere un albero massimale e un orientamento degli archi rimanenti.

L'operazione di Out(Fn) sullo spazio esterno è definita come segue. Ogni automorfismo di induce un'equivalenza automotopica della rosa di n cerchi. Comporre con dà l'azione desiderata. E nell'altro modello si tratta semplicemente dell'applicazione di e della riduzione ciclica della parola risultante.

Collegamento alle funzioni di lunghezza

[modifica | modifica wikitesto]

Ciascun punto nello spazio esterno determina un'unica funzione di lunghezza . Una parola in determina tramite l'equivalenza di omotopia scelta un cammino chiuso in . La lunghezza della parola è quindi la lunghezza minima di un cammino nella classe di omotopia libera di quel cammino chiuso. Tale funzione di lunghezza è costante su ciascuna classe di coniugio.

L'assegnazione definisce un inserimento dello spazio esterno in uno spazio proiettivo di dimensione infinita.

Struttura simpliciale sullo spazio esterno

[modifica | modifica wikitesto]

Nel secondo modello tutti questi hanno un simplesso aperto, dato da tutti quei -grafi che hanno contemporaneamente lo stesso grafo sottostante e gli stessi spigoli sono rappresentati con le stesse parole (solo la lunghezza dei collegamenti/spigoli può differire). Il complesso simpliciale di tale simplesso è costituito da tutti i grafi che derivano da questo grafo collassando uno spigolo. Se quello spigolo è un anello non può essere collassato senza cambiare il tipo di omotopia del grafo, per cui non esiste un simplesso al confine. Quindi si può equiparare lo spazio esterno ad un complesso simpliciale con alcuni simplessi rimossi. È facile verificare che l'azione di è semplice e ha gruppi isotropi finiti.

La mappa dell’abelianizzazione induce un omomorfismo da al gruppo lineare generale , quest'ultimo essendo il gruppo degli automorfismi di . Questa mappa diventa, creando un'estensione di gruppo,

.

Il nucleo è il gruppo Torelli di .

Nel caso , la mappa è un isomorfismo.

Analogia con i mapping class group

[modifica | modifica wikitesto]

Siccome è il gruppo fondamentale di una rosa di n cerchi, può essere descritto topologicamente come il mapping class group di una rosa di n cerchi (nella categoria dell'omotopia), in analogia al mapping class group di una superficie chiusa che è isomorfa al gruppo di automorfismo esterno del gruppo fondamentale di quella superficie.

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