In this paper, generalising the idea of the Rokhlin property, we explore the concept of the twisted Rokhlin property of topological groups. A topological group is said to exhibit the twisted Rokhlin property if, for each automorphism $Ï$ of the group, there exists a $Ï$-twisted conjugacy class that is dense in the group. We provide a complete classification of connected orientable infinite-type surfaces without boundaries whose mapping class groups possess the twisted Rokhlin property. Additionally, we prove that the mapping class groups of the remaining surfaces do not admit any dense $Ï$-twisted conjugacy class for any automorphism $Ï$. This supplements the recent work of Lanier and Vlamis on the Rokhlin property of big mapping class groups. We also prove that the mapping class group of each connected orientable infinite-type surface without boundary possesses the $R_\infty$-property.
academic
Proprietà di Rokhlin Ritorta per Gruppi di Classi di Mapping
Questo articolo generalizza il concetto della proprietà di Rokhlin, esplorando la proprietà di Rokhlin ritorta per gruppi topologici. Un gruppo topologico possiede la proprietà di Rokhlin ritorta se, per ogni endomorfismo φ del gruppo, esiste una classe di coniugazione φ-ritorta densa nel gruppo. Gli autori forniscono una classificazione completa dei gruppi di classi di mapping di superfici orientabili connesse senza bordo di tipo infinito che possiedono la proprietà di Rokhlin ritorta, e provano che i gruppi di classi di mapping delle superfici rimanenti non possiedono classi di coniugazione φ-ritorte dense per alcun endomorfismo φ. Questo complementa il lavoro recente di Lanier e Vlamis sulla proprietà di Rokhlin per grandi gruppi di classi di mapping. Gli autori provano inoltre che ogni gruppo di classi di mapping di una superficie orientabile connessa senza bordo di tipo infinito possiede la proprietà R∞.
Proprietà di Rokhlin: Un gruppo topologico possiede la proprietà di Rokhlin se contiene una classe di coniugazione densa. Dal punto di vista dinamico, ciò equivale all'esistenza di un'orbita densa sotto l'azione di coniugazione del gruppo su se stesso.
Coniugazione Ritorta: Dato un endomorfismo φ di un gruppo G, due elementi x, y ∈ G si dicono φ-coniugati in modo ritorto se esiste g ∈ G tale che y = gxφ(g)^(-1). Questo concetto origina dal lavoro di Reidemeister ed è profondamente connesso alla teoria dei punti fissi di Nielsen, alla teoria di Arthur-Selberg e ad altri ambiti.
Gruppi di Classi di Mapping: Il gruppo di classi di mapping di una superficie orientabile connessa è il gruppo delle classi di omotopia di omeomorfismi che preservano l'orientazione. Questi gruppi ereditano una topologia quoziente non banale dalla topologia compatta-aperta del gruppo degli omeomorfismi della superficie.
Introduzione della Proprietà di Rokhlin Ritorta: Prima definizione e studio sistematico della proprietà di Rokhlin ritorta per gruppi topologici
Teorema di Classificazione Completa: Fornisce una classificazione completa dei gruppi di classi di mapping di superfici orientabili connesse senza bordo di tipo infinito che possiedono la proprietà di Rokhlin ritorta
Risultati Negativi: Prova che i gruppi di classi di mapping di superfici che non soddisfano condizioni specifiche non possiedono alcuna proprietà φ-Rokhlin ritorta
Proprietà R∞: Prova che tutti i gruppi di classi di mapping di superfici orientabili connesse senza bordo di tipo infinito possiedono la proprietà R∞
Proprietà di Rokhlin Ritorta: Sia G un gruppo topologico e φ un endomorfismo di G. Si dice che G possiede la proprietà φ-Rokhlin ritorta se G contiene una classe di coniugazione φ-ritorta densa. Si dice che G possiede la proprietà di Rokhlin ritorta se possiede la proprietà φ-Rokhlin ritorta per ogni endomorfismo φ.
Proprietà di Incorporamento Congiunto φ-Ritorto (φ-TJEP): Per qualsiasi due insiemi aperti non vuoti U e V di G, esiste g ∈ G tale che U ∩ gVφ(g)^(-1) ≠ ∅.
Proposizione 3.5: Sia G un gruppo topologico e φ, ψ due endomorfismi di G con ψ ∈ Inn(G)φ. Allora G possiede la proprietà φ-Rokhlin ritorta se e solo se possiede la proprietà ψ-Rokhlin ritorta. In particolare, se ψ ∈ Inn(G), allora G possiede la proprietà ψ-Rokhlin ritorta se e solo se possiede la proprietà di Rokhlin.
Proposizione 3.10: Sia G un gruppo topologico polacco e φ un endomorfismo di G. Allora G possiede la proprietà φ-Rokhlin ritorta se e solo se possiede la proprietà φ-TJEP.
L'articolo impiega il seguente schema di classificazione:
Superfici di tipo infinito
├─ Ogni sottosuperficie compatta è spostabile
│ ├─ Estremità massimale unica → Possiede proprietà di Rokhlin ritorta
│ ├─ Due estremità massimali → Non possiede proprietà di Rokhlin ritorta
│ └─ Spazio delle estremità massimali è spazio di Cantor → Non possiede proprietà di Rokhlin ritorta
└─ Esiste sottosuperficie compatta non spostabile → Non possiede proprietà di Rokhlin ritorta
Semplificazione degli Endomorfismi: Utilizza il risultato Out(MCG(S)) ≅ Z₂ per ridurre il problema a considerare solo l'endomorfismo identità e l'endomorfismo t̂ indotto da omeomorfismi che invertono l'orientazione
Metodo di Costruzione Geometrica: Attraverso costruzioni geometriche esplicite (come torsioni di Dehn e mappe pseudo-Anosov) prova l'esistenza o l'inesistenza
Applicazione della Teoria delle Estremità: Utilizza profondamente le proprietà topologiche dello spazio delle estremità della superficie per analizzare la struttura del gruppo di classi di mapping
Questo articolo è ricerca matematica puramente teorica e non coinvolge esperimenti numerici, ma stabilisce i risultati attraverso prove matematiche rigorose.
Risultati Positivi (Teorema 4.2): Per superfici con estremità massimale unica e ogni sottosuperficie compatta spostabile, costruisce omeomorfismi espliciti per provare la proprietà t̂-TJEP
Risultati Negativi:
Caso di due estremità massimali (Proposizione 4.4): Utilizza la proprietà di normalità aperta dei sottogruppi di stabilizzazione
Caso di spazio di Cantor (Teorema 4.7): Costruisce mappe pseudo-Anosov e tecniche di proiezione
Caso di sottosuperficie non spostabile (Teorema 4.9): Metodi di costruzione pseudo-Anosov simili
Teorema 1.1: Il gruppo di classi di mapping MCG(S) di una superficie orientabile connessa senza bordo S possiede la proprietà φ-Rokhlin ritorta per qualche endomorfismo φ se e solo se la superficie è la 2-sfera oppure soddisfa le seguenti proprietà: ogni sottosuperficie compatta di S è spostabile e S ha un'unica estremità massimale.
Teorema 1.2: Sia S una superficie orientabile connessa senza bordo di tipo infinito. Allora MCG(S) possiede la proprietà R∞.
Teorema 5.7: Tutti i gruppi di classi di mapping di superfici orientabili connesse senza bordo di tipo infinito possiedono la proprietà R∞, cioè per ogni endomorfismo φ, il numero di Reidemeister R(φ) è infinito.
La proprietà di Rokhlin ritorta fornisce un nuovo invariante topologico per lo studio dei gruppi di classi di mapping
Per superfici di tipo infinito, l'esistenza della proprietà di Rokhlin ritorta è completamente determinata dalla struttura delle estremità della superficie
Tutti i gruppi di classi di mapping di tipo infinito possiedono infinitamente molte classi di coniugazione ritorte
Innovazione Concettuale: Prima introduzione sistematica della proprietà di Rokhlin ritorta, fornendo una nuova prospettiva alla teoria dei gruppi topologici
Classificazione Completa: Fornisce una classificazione completa dei gruppi di classi di mapping di superfici di tipo infinito, con risultati profondi e concreti
Profondità Tecnica: Combina abilmente metodi dalla teoria dei gruppi, topologia e geometria
Completezza Teorica: Non solo fornisce risultati positivi, ma prova rigorosamente anche i casi negativi
Ambito di Applicazione: Si concentra principalmente sui gruppi di classi di mapping; l'applicabilità ad altri gruppi topologici rimane da esplorare
Complessità della Costruzione: Alcune prove si basano su costruzioni geometriche complesse, che potrebbero influire sulla comprensione intuitiva dei risultati
Problemi Aperti: I problemi aperti proposti indicano che la teoria rimane incompleta
L'articolo cita 26 importanti riferimenti, coprendo i lavori fondamentali nei campi correlati della teoria dei gruppi di classi di mapping, coniugazione ritorta e teoria delle estremità, fornendo una base teorica solida per la ricerca.