Mapping class group

Da Wikipedia, l'enciclopedia libera.

In matematica, e più precisamente in topologia, il mapping class group (letteralmente, gruppo delle classi di applicazioni) è un importante invariante algebrico di uno spazio topologico. Detto brevemente, è un gruppo discreto di "simmetrie" dello spazio.

Definizione[modifica | modifica wikitesto]

Il termine "mapping class group" ha un utilizzo flessibile; nella maggior parte dei casi è usato riferendosi a una varietà M. Il mapping class group di M viene interpretato come il gruppo delle classi di isotopia degli automorfismi di M. Cioè, se M è una varietà topologica, il mapping class group di M è il gruppo delle classi di isotopia degli omeomorfismi da M in sé; se M è una varietà differenziabile, il mapping class group è il gruppo delle classi di isotopia dei diffeomorfismi da M in sé.

Ogni volta che (il gruppo degli automorfismi di uno spazio X) possiede una topologia naturale (nel caso di X spazio topologico, generalmente si tratta della topologia compatto-aperto), il mapping class group di uno spazio X è definito come il gruppo quoziente , dove è la componente connessa di , e assume quindi la topologia quoziente.

Nella letteratura riguardante la topologia in dimensione bassa, il mapping class group di X viene denotato di solito con . Altre volte viene denotato , sostituendo ad la nozione appropriata di automorfismo per la categoria di cui X è un oggetto. in questo contesto denota lo 0-esimo gruppo di omotopia di uno spazio.

Si ha quindi la seguente successione esatta corta:

la quale, frequentemente, non spezza [1].

Se si sta lavorando nella

categoria di omotopia, il mapping class group di X è il gruppo delle classi di omotopia di equivalenze di omotopia di X.

Varianti[modifica | modifica wikitesto]

Vi sono molti sottogruppi dei mapping class group che sono frequentemente studiati. Se M è una varietà orientata, può essere considerato come il gruppo degli omeomorfismi o diffeomorfismi di M che ne preservano l'orientazione: è questa la definizione standard del mapping class group di una varietà orientata, chiamato anche gruppo modulare (), visto come generalizzazione del gruppo modulare classico. Il mapping class group definito a partire da omeomorfismi o diffeomorfismi che non preservano necessariamente l'orientazione è detto talvolta mapping class group generalizzato (e viene denotato o ). Chiaramente è un sottogruppo di , di indice 2 se M ammette almeno un automorfismo che ne inverte l'orientazione.

Analogamente, il sottogruppo del mapping class group che agisce banalmente sull'omologia di M è detto gruppo di Torelli di M; può essere considerato come il mapping class group definito a partire dagli automorfismi di una varietà marcata non con un'orientazione ma tramite l'omologia.

Esempi[modifica | modifica wikitesto]

Sfera[modifica | modifica wikitesto]

In qualunque categoria (differenziabile, lineare a tratti, topologica, di omotopia)[2] vale

corrispondente alle applicazioni di grado .

Toro[modifica | modifica wikitesto]

Nella categoria dell'omotopia,

Ciò è dovuto al fatto che è uno spazio di Eilenberg-MacLane.

Per [3], ci sono successioni esatte che spezzano:

dove i sono i gruppi abeliani finiti di Kervaire-Milnor delle sfere di omotopia, e è il gruppo di ordine 2.

Superfici orientabili[modifica | modifica wikitesto]

I mapping class group delle superfici sono stati ampiamente studiati. Citiamo qui solo alcuni risultati:

  • il teorema di Dehn-Nielsen-Baer afferma che per ogni superficie (topologica o differenziabile) S compatta, chiusa, orientata, di genere almeno 1, l'omomorfismo naturale è un isomorfismo ( è il gruppo degli automorfismi esterni di S).
  • se S è una varietà senza bordo, si definisce il mapping class group puro di S come il sottogruppo di degli automorfismi che fissano ogni puntura di S. il teorema di Dehn afferma che tale sottogruppo è generato da un numero finito di Dehn twists attorno a curve su S che non la sconnettono.
  • è noto che ogni gruppo finito è sottogruppo del mapping class group di un'opportuna superficie orientabile e chiusa[4]. Inoltre è possibile realizzare ogni gruppo finito come gruppo delle isometrie di qualche superficie di Riemann compatta.

Superfici non orientabili[modifica | modifica wikitesto]

Alcune superfici non orientabili hanno mapping class groups con presentazioni semplici. Per esempio, ogni omeomorfismo del piano proiettivo reale è isotopo all'identità:

Il mapping class group della bottiglia di Klein è:

i quattro elementi sono l'identità, un Dehn twist attorno alla curva che non borda un nastro di Möbius (e che quindi ha due lati), lo y-omeomorfismo di Lickorish, e la composizione di questi ultimi due. Mostrare che il Dehn twist al quadrato è isotopo all'identità è un esercizio interessante.

Inoltre, la superficie chiusa compatta non orientabile di genere 3 ha:

Questo perché ha un'unica curva con un lato solo (cioè, tale che un suo intorno piccolo è omeomorfo al nastro di Möbius); tagliando la superficie lungo questa, si ottiene un toro con una componente di bordo. Ciò viene discusso in un articolo di Martin Scharlemann.

3-varietà[modifica | modifica wikitesto]

Anche i mapping class group delle 3-varietà sono stati molto studiati, e sono fortemente legati a quelli delle 2-varietà. Per esempio, ogni gruppo finito può essere realizzato come il mapping class group (e anche il gruppo di isometrie) di una 3-varietà iperbolica[5].

Mapping class groups di coppie[modifica | modifica wikitesto]

Data una coppia di spazi , il mapping class group della coppia è costituito dalle classi di isotopia degli automorfismi della coppia, dove un automorfismo di è definito come un automorfismo di X che preserva A: vale a dire, è invertibile e .

Gruppi di simmetria di nodi e link[modifica | modifica wikitesto]

Se è un nodo o un link, il gruppo di simmetria del nodo (o link) è definito come il mapping class group cella coppia . È noto che il gruppo di simmetria di un nodo iperbolico è diedrale o ciclico, e che ogni gruppo diedrale o ciclico può essere realizzato come gruppo di simmetria di nodi. Il gruppo di simmetria di un nodo torico è .

Gruppo di Torelli[modifica | modifica wikitesto]

Il mapping class group induce un'azione sull'omologia (e sulla coomologia) di uno spazio X: infatti la (co) omologia è funtoriale e agisce banalmente (tutti i suoi elementi sono isotopi all'identità, e l'azione sulla (co) omologia è invariante per omotopia).

Il nucleo di quest'azione è il "gruppo di Torelli", indicato con

Nel caso di una superficie orientabile di genere g, l'azione di cui sopra è di fatto l'azione sul primo gruppo di omologia , in quanto le applicazioni che preservano l'orientazione sono esattamente quelle che agiscono banalmente sul gruppo di coomologia più elevato . possiede una struttura simplettica, proveniente dal prodotto cup; visto che le applicazioni che stiamo considerando sono automorfismi, e preservano il prodotto cup, il mapping class group agisce tramite automorfismi simplettici; e tutti gli automorfismi simplettici vengono realizzati. Si ha quindi una successione esatta corta:

che può essere estesa a

Il gruppo simplettico ha una struttura in gran parte conosciuta, dunque il problema di capire la struttura algebrica del mapping class group spesso si riconduce a problemi sul gruppo di Torelli.

Si noti che per il toro (), l'applicazione verso il gruppo simplettico è un isomorfismo, e il gruppo di Torelli è nullo.

Mapping class group stabile[modifica | modifica wikitesto]

La superficie orientabile di genere g e a bordo connesso può essere inclusa con un embedding in attaccando un ulteriore buco alla fine (vale a dire, incollando fra loro e ); dunque gli automorfismi della superficie più piccola che lasciano invariati i punti del bordo si estendono alla superficie più grande. Il limite diretto dei gruppi al variare di g è detto mapping class group stabile. L'anello di coomologia di tale gruppo[non chiaro] è stato congetturato da David Mumford. L'anello di coomologia su è stato calcolato nel 2002 da Ib Madsen e Michael Weiss, provando la congettura di Mumford.

Voci correlate[modifica | modifica wikitesto]

Bibliografia[modifica | modifica wikitesto]

  1. ^ S.Morita, Characteristic classes of surface bundles, Invent. Math. 90 (1987)
  2. ^ MR0212840 (35 #3705) Earle, C. J.; Eells, J. The diffeomorphism group of a compact Riemann surface. Bull. Amer. Math. Soc. 73 1967 557--559.
  3. ^ MR0520490 (80f:57014) Hatcher, A. E. Concordance spaces, higher simple-homotopy theory, and applications. Algebraic and geometric topology (Proc. Sympos. Pure Math., Stanford Univ., Stanford, Calif., 1976), Part 1, pp. 3--21, Proc. Sympos. Pure Math., XXXII, Amer. Math. Soc., Providence, R.I., 1978. (Reviewer: Gerald A. Anderson) 57R52
  4. ^ L. Greenberg, Maximal groups and signatures, Ann. Math. Studies 79 (1974) 207--226
  5. ^ S.Kojima, Topology and its Applications Volume 29, Issue 3, August 1988, Pages 297-307

Mapping class group stabile[modifica | modifica wikitesto]

Collegamenti esterni[modifica | modifica wikitesto]

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