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
Verdrehte Rokhlin-Eigenschaft für Abbildungsklassengruppen
Diese Arbeit verallgemeinert das Konzept der Rokhlin-Eigenschaft und untersucht die verdrehte Rokhlin-Eigenschaft topologischer Gruppen. Eine topologische Gruppe besitzt die verdrehte Rokhlin-Eigenschaft, wenn für jeden Endomorphismus φ der Gruppe eine in der Gruppe dichte φ-verdrehte Konjugationsklasse existiert. Die Autoren liefern eine vollständige Klassifizierung der Abbildungsklassengruppen von zusammenhängenden, orientierbaren, randlosen Flächen unendlichen Typs mit verdrehter Rokhlin-Eigenschaft und beweisen, dass die Abbildungsklassengruppen der übrigen Flächen für keinen Endomorphismus φ eine dichte φ-verdrehte Konjugationsklasse besitzen. Dies ergänzt die aktuelle Arbeit von Lanier und Vlamis zur Rokhlin-Eigenschaft großer Abbildungsklassengruppen. Die Autoren beweisen außerdem, dass jede Abbildungsklassengruppe einer zusammenhängenden, orientierbaren, randlosen Fläche unendlichen Typs die R∞-Eigenschaft besitzt.
Rokhlin-Eigenschaft: Eine topologische Gruppe besitzt die Rokhlin-Eigenschaft, wenn sie eine dichte Konjugationsklasse enthält. Aus dynamischer Perspektive ist dies äquivalent zur Existenz einer dichten Bahn unter der Konjugationswirkung der Gruppe auf sich selbst.
Verdrehte Konjugation: Gegeben ein Endomorphismus φ einer Gruppe G heißen zwei Elemente x, y ∈ G φ-verdreht konjugiert, wenn ein g ∈ G existiert, so dass y = gxφ(g)^(-1). Dieses Konzept stammt aus Reidemeister's Arbeit und hat tiefe Verbindungen zur Nielsen-Fixpunkttheorie, Arthur-Selberg-Theorie und anderen Gebieten.
Abbildungsklassengruppen: Die Abbildungsklassengruppe einer zusammenhängenden orientierbaren Fläche ist die Gruppe der Homotopieklassen orientierungserhaltender Diffeomorphismen. Diese Gruppen erben eine nichttriviale Quotiententopologie von der kompakt-offenen Topologie der Diffeomorphismengruppe der Fläche.
Einführung der verdrehten Rokhlin-Eigenschaft: Erste systematische Definition und Untersuchung des Konzepts der verdrehten Rokhlin-Eigenschaft für topologische Gruppen
Vollständiger Klassifizierungssatz: Bereitstellung einer vollständigen Klassifizierung der Abbildungsklassengruppen von randlosen, zusammenhängenden, orientierbaren Flächen unendlichen Typs mit verdrehter Rokhlin-Eigenschaft
Negative Ergebnisse: Beweis, dass Abbildungsklassengruppen von Flächen, die bestimmte Bedingungen nicht erfüllen, keine φ-verdrehte Rokhlin-Eigenschaft besitzen
R∞-Eigenschaft: Beweis, dass alle Abbildungsklassengruppen von randlosen, zusammenhängenden, orientierbaren Flächen unendlichen Typs die R∞-Eigenschaft besitzen
Verdrehte Rokhlin-Eigenschaft: Sei G eine topologische Gruppe und φ ein Endomorphismus von G. G besitzt die φ-verdrehte Rokhlin-Eigenschaft, wenn G eine dichte φ-verdrehte Konjugationsklasse besitzt. G besitzt die verdrehte Rokhlin-Eigenschaft, wenn G für jeden Endomorphismus φ die φ-verdrehte Rokhlin-Eigenschaft besitzt.
φ-verdrehte gemeinsame Einbettungseigenschaft (φ-TJEP): Für beliebige zwei nichtleere offene Mengen U und V von G existiert g ∈ G, so dass U ∩ gVφ(g)^(-1) ≠ ∅.
Proposition 3.5: Sei G eine topologische Gruppe und φ, ψ zwei Endomorphismen von G mit ψ ∈ Inn(G)φ. Dann besitzt G die φ-verdrehte Rokhlin-Eigenschaft genau dann, wenn G die ψ-verdrehte Rokhlin-Eigenschaft besitzt. Insbesondere besitzt G die ψ-verdrehte Rokhlin-Eigenschaft genau dann, wenn G die Rokhlin-Eigenschaft besitzt, falls ψ ∈ Inn(G).
Proposition 3.10: Sei G eine polnische topologische Gruppe und φ ein Endomorphismus von G. Dann besitzt G die φ-verdrehte Rokhlin-Eigenschaft genau dann, wenn G die φ-TJEP besitzt.
Die Arbeit verwendet das folgende Klassifizierungsschema:
Flächen unendlichen Typs
├─ Jede kompakte Unterfläche ist verschiebbar
│ ├─ Eindeutiges maximales Ende → besitzt verdrehte Rokhlin-Eigenschaft
│ ├─ Zwei maximale Enden → besitzt keine verdrehte Rokhlin-Eigenschaft
│ └─ Raum der maximalen Enden ist Cantor-Raum → besitzt keine verdrehte Rokhlin-Eigenschaft
└─ Existiert kompakte nicht-verschiebbare Unterfläche → besitzt keine verdrehte Rokhlin-Eigenschaft
Vereinfachung von Endomorphismen: Unter Verwendung des Ergebnisses Out(MCG(S)) ≅ Z₂ wird das Problem auf die Betrachtung des Identitätsendomorphismus und des durch orientierungsumkehrende Diffeomorphismen induzierten Endomorphismus t̂ reduziert
Geometrische Konstruktionsmethoden: Durch konkrete geometrische Konstruktionen (wie Dehn-Drehungen, pseudo-Anosov-Abbildungen) werden Existenz- oder Nichtexistenzaussagen bewiesen
Anwendung der Endpunkttheorie: Tiefe Nutzung der topologischen Eigenschaften des Endpunktraums von Flächen zur Analyse der Struktur von Abbildungsklassengruppen
Diese Arbeit ist reine theoretische mathematische Forschung ohne numerische Experimente. Die Ergebnisse werden durch strenge mathematische Beweise etabliert.
Positive Ergebnisse (Satz 4.2): Für Flächen mit eindeutigem maximalem Ende und verschiebbaren kompakten Unterflächen wird durch konkrete Diffeomorphismen die t̂-TJEP bewiesen
Negative Ergebnisse:
Fall zweier maximaler Enden (Proposition 4.4): Nutzung der Offenheit normaler Stabilisatoruntergruppen
Fall Cantor-Raum (Satz 4.7): Konstruktion pseudo-Anosov'scher Abbildungen und Projektionsmethoden
Fall nicht-verschiebbarer Unterflächen (Satz 4.9): Ähnliche pseudo-Anosov-Konstruktionsmethoden
Satz 1.1: Die Abbildungsklassengruppe MCG(S) einer randlosen, zusammenhängenden, orientierbaren Fläche S besitzt die φ-verdrehte Rokhlin-Eigenschaft für einen Endomorphismus φ genau dann, wenn die Fläche die 2-Sphäre ist oder die folgenden Eigenschaften erfüllt: Jede kompakte Unterfläche von S ist verschiebbar und S besitzt ein eindeutiges maximales Ende.
Satz 1.2: Sei S eine randlose, zusammenhängende, orientierbare Fläche unendlichen Typs. Dann besitzt MCG(S) die R∞-Eigenschaft.
Satz 5.7: Alle Abbildungsklassengruppen von randlosen, zusammenhängenden, orientierbaren Flächen unendlichen Typs besitzen die R∞-Eigenschaft, d.h., für jeden Endomorphismus φ ist die Reidemeister-Zahl R(φ) unendlich.
Die Forschung beschränkt sich auf randlose Flächen; der Fall mit Rand ist komplexer
Die Methoden beruhen hauptsächlich auf konkreten geometrischen Konstruktionen, die möglicherweise schwer auf andere Gruppenklassen verallgemeinerbar sind
Konzeptuelle Innovation: Erste systematische Einführung der verdrehten Rokhlin-Eigenschaft, die eine neue Perspektive auf die Theorie topologischer Gruppen bietet
Vollständige Klassifizierung: Bereitstellung einer vollständigen Klassifizierung der Abbildungsklassengruppen von Flächen unendlichen Typs mit tiefgreifenden und konkreten Ergebnissen
Technische Tiefe: Geschickte Kombination von Methoden aus Gruppentheorie, Topologie und Geometrie
Theoretische Vollständigkeit: Nicht nur positive Ergebnisse, sondern auch strenge Beweise für negative Fälle
Anwendungsbereich: Konzentriert sich hauptsächlich auf Abbildungsklassengruppen; die Anwendbarkeit auf andere topologische Gruppen bleibt zu untersuchen
Konstruktionskomplexität: Einige Beweise beruhen auf komplexen geometrischen Konstruktionen, was die intuitive Verständlichkeit der Ergebnisse beeinträchtigen kann
Offene Fragen: Die aufgeworfenen offenen Fragen deuten darauf hin, dass die Theorie noch weiterer Verfeinerung bedarf
Die Arbeit zitiert 26 wichtige Arbeiten, die Kernarbeiten in den Bereichen Abbildungsklassengruppen-Theorie, verdrehte Konjugation, Endpunkttheorie und verwandten Feldern abdecken und eine solide theoretische Grundlage für die Forschung bieten.