Co-Hopfianity is not a profinite property

Die Autoren zeigen, dass die Co-Hopfian-Eigenschaft keine profinite Invariante ist, indem sie zwei endlich erzeugte, residual endliche Gruppen mit isomorphen profiniten Vervollständigungen konstruieren, von denen die eine co-Hopfian ist und die andere nicht.

Das Wesentliche

Hier ist eine einfache Erklärung der wissenschaftlichen Arbeit von Baik und Jang, übersetzt in die deutsche Alltagssprache, mit ein paar kreativen Vergleichen.

Die große Frage: Kann man Gruppen am „Schatten" erkennen?

Stellen Sie sich vor, Sie haben zwei verschiedene Maschinen (in der Mathematik nennt man sie Gruppen). Diese Maschinen können viele verschiedene kleine Modelle produzieren (das sind die endlichen Quotienten).

Nun bauen Sie für jede Maschine eine Art „Schattenriss" oder ein Profil aus all diesen kleinen Modellen zusammen. In der Mathematik nennt man diesen Schatten die profinite Vervollständigung.

Die große Frage der Forscher war: Wenn zwei Maschinen exakt denselben Schatten werfen, müssen sie dann auch im Inneren identisch sein?

Die Antwort der Autoren ist ein klares „Nein". Sie haben zwei Maschinen gebaut, die denselben Schatten haben, aber völlig unterschiedliches Verhalten zeigen.

---

Das Hauptthema: Die „Selbst-Verkleinerungs"-Eigenschaft

Um das zu beweisen, konzentrieren sich die Autoren auf eine spezielle Eigenschaft, die sie „co-Hopfian" nennen. Das ist ein sehr sperriger Begriff, den wir uns so vorstellen können:

• Eine co-Hopfianische Maschine: Sie ist wie ein unzerstörbarer Gummiball. Wenn Sie versuchen, ihn in sich selbst hineinzuziehen (eine Abbildung von der Maschine auf einen Teil von ihr), passt er nicht hinein, es sei denn, Sie lassen ihn genau so, wie er ist. Er kann sich nicht „verkleinern" und trotzdem noch die ganze Maschine sein. Er ist starr.
• Eine nicht-co-Hopfianische Maschine: Diese ist wie ein Zaubertrick. Sie können die Maschine in sich selbst hineinschieben, und sie passt perfekt in einen kleineren Teil von sich selbst, ohne dass etwas kaputtgeht. Sie ist flexibel und kann sich „verkleinern".

Das Ziel des Papiers: Beweisen, dass man am Schatten (der profiniten Vervollständigung) nicht erkennen kann, ob eine Maschine starr (co-Hopfian) oder flexibel (nicht-co-Hopfian) ist.

---

Wie haben sie das gemacht? (Die Baupläne)

Die Autoren nutzen einen cleveren Trick, den sie „Rips-Konstruktion" nennen. Stellen Sie sich das wie einen Baukasten vor:

1. Der Grundstein (Gruppe U): Sie nehmen eine sehr seltsame, aber perfekte Maschine namens U. Diese Maschine hat zwei besondere Eigenschaften:

   • Sie ist so komplex, dass sie keine „Löcher" hat (mathematisch: sie ist azyklisch).
   • Wenn man ihren Schatten betrachtet, sieht er aus wie nichts (der Schatten ist trivial). Das ist wichtig, weil es bedeutet, dass U im Schatten-Universum unsichtbar ist.

2. Maschine G (Die Starre):

   • Sie bauen eine große Maschine G, die auf U projiziert wird.
   • Dank eines mathematischen Theorems (von Sela) wissen sie: Da G eine bestimmte Art von „hyperbolischer" Struktur hat und keine Löcher, ist sie starr (co-Hopfian). Sie kann sich nicht verkleinern.
   • Da der Schatten von U unsichtbar ist, ist der Schatten von G fast identisch mit dem Schatten des inneren Kerns (K).

3. Maschine H (Die Flexible):

   • Jetzt kommt der geniale Teil. Sie nehmen einen Teil der unsichtbaren Maschine U, nennen wir ihn A.
   • Sie finden einen Hebel (ein Element t), der A so dreht, dass es in einen kleineren Teil von sich selbst passt (A wird zu einem echten Teil von A).
   • Dann bauen sie H als eine Kopie von G, aber nur für diesen Teil A.
   • Weil A sich verkleinern kann, kann sich auch H verkleinern. H ist also nicht co-Hopfian.

Der Clou: Warum sehen sie im Schatten gleich aus?

Das ist der magische Moment.

• Maschine G hat den Schatten von K.
• Maschine H hat auch den Schatten von K (weil der Unterschied zwischen G und H nur im unsichtbaren Teil U/A liegt, der keinen Schatten wirft).

Ergebnis:

• G und H haben exakt denselben Schatten (isomorphe profinite Vervollständigungen).
• Aber G ist starr (kann sich nicht verkleinern).
• Und H ist flexibel (kann sich verkleinern).

Fazit für den Alltag

Die Autoren haben bewiesen, dass man, wenn man nur die „Fotos" (die endlichen Teile) einer mathematischen Gruppe betrachtet, nicht sagen kann, ob diese Gruppe starr oder flexibel ist.

Es ist, als würdest du zwei Autos sehen, die auf einem Foto exakt gleich aussehen. Du könntest denken, sie sind baugleich. Aber beim ersten Testfahren stellt sich heraus: Das eine Auto hat eine starre Federung, die sich nicht biegen lässt, während das andere Auto wie ein Gummi ist, das sich in sich selbst falten lässt.

Die Botschaft: Das, was wir sehen (die endlichen Quotienten), reicht nicht aus, um das wahre, tiefere Wesen (die algebraische Struktur) einer Gruppe vollständig zu verstehen. Die Eigenschaft „co-Hopfian" ist also keine Eigenschaft, die man am Schatten ablesen kann.

Technische Zusammenfassung

Hier ist eine detaillierte technische Zusammenfassung des Artikels „CO-HOPFIANITY IS NOT A PROFINITE PROPERTY" von Hyungryul Baik und Wonyong Jang auf Deutsch.

1. Problemstellung und Motivation

Das zentrale Thema der Arbeit liegt im Bereich der geometrischen Gruppentheorie, speziell in der Untersuchung profiniter Eigenschaften (profinite properties). Eine Gruppeneigenschaft $P$ wird als profinite Eigenschaft bezeichnet, wenn sie durch den profiten Abschluss $\widehat{G}$ einer endlich erzeugten, residuell endlichen Gruppe $G$ eindeutig bestimmt ist. Das bedeutet: Wenn zwei solche Gruppen $G_1$ und $G_2$ isomorphe profite Abschlüsse haben ($\widehat{G_1} \cong \widehat{G_2}$), dann muss $G_1$ genau dann die Eigenschaft $P$ besitzen, wenn $G_2$ sie besitzt.

Während bekannt ist, dass viele algebraische Eigenschaften (wie Abelschheit oder Nilpotenz) profinit sind, gibt es zahlreiche geometrische und asymptotische Eigenschaften, die dies nicht sind (z. B. Amenabilität oder Eigenschaft (T)).

Die Autoren konzentrieren sich auf die co-Hopfische Eigenschaft. Eine Gruppe $G$ heißt co-Hopfisch, wenn sie nicht isomorph zu einem ihrer echten Untergruppen ist (d. h., jede injektive Endomorphismus ist bereits ein Isomorphismus). Dies ist das duale Konzept zur Hopfischen Eigenschaft. Da endlich erzeugte residuell endliche Gruppen stets Hopfisch sind (Mal'cev), ist die co-Hopfische Eigenschaft eine subtilere und schwerer zu handhabende Invariante.

Die zentrale Frage: Ist die co-Hopfische Eigenschaft eine profinite Eigenschaft?
Die Autoren beantworten diese Frage verneinend und konstruieren ein Gegenbeispiel.

2. Methodik und Konstruktion

Die Konstruktion der Gegenbeispiele stützt sich auf eine Kombination aus drei Hauptkomponenten:

1. Die Rips-Konstruktion (Wise-Version):
   Die Autoren nutzen eine von Wise modifizierte Version der klassischen Rips-Konstruktion. Diese erlaubt es, zu einer beliebig endlich präsentierten Gruppe $Q$ eine kurze exakte Sequenz
   $$1 \to K \to G \xrightarrow{\pi} Q \to 1$$
   zu konstruieren, wobei:

   • $G$ eine torsionsfreie, hyperbolische und residuell endliche Gruppe ist.
   • $K$ eine endlich erzeugte (von 3 Elementen erzeugte) Normaluntergruppe ist.
   • $G$ residuell endlich ist (eine Eigenschaft, die in der klassischen Rips-Konstruktion nicht garantiert ist).

2. Der universelle azyklische Gruppe $U$ (Bridson):
   Als Quotient $Q$ wählen sie eine spezifische, endlich präsentierte Gruppe $U$, die von Bridson konstruiert wurde. Diese Gruppe besitzt folgende entscheidende Eigenschaften:

   • Azylizität: $H_i(U, \mathbb{Z}) = 0$ für alle $i \ge 1$.
   • Trivialer profiter Abschluss: $\widehat{U} = 1$.
   • Universalität: Jede endlich präsentierte Gruppe lässt sich in $U$ einbetten.

3. Die Konstruktion der Gruppe $H$:
   Anstatt $G$ und $K$ direkt zu vergleichen (was bereits gezeigt hat, dass bestimmte Eigenschaften nicht profinit sind), konstruieren die Autoren eine Untergruppe $H < G$.

   • Aufgrund der Universalität von $U$ existiert eine Untergruppe $A < U$ und ein Element $t \in U$, sodass $A \cong U$ und $t^{-1}At \subsetneq A$ (eine echte Inklusion durch Konjugation).
   • $H$ wird definiert als das Urbild von $A$ unter dem Homomorphismus $\pi$: $H := \pi^{-1}(A)$.
   • Durch Konjugation mit einem Lift von $t$ in $G$ wird $H$ isomorph zu einer echten Untergruppe von sich selbst gemacht.

3. Schlüsselbeiträge und Ergebnisse

Der Hauptbeitrag des Papiers ist der Beweis des folgenden Satzes:

Satz 3.1: Es existieren endlich erzeugte, residuell endliche Gruppen $G$ und $H$, sodass:

1. $\widehat{G} \cong \widehat{H}$ (ihre profiten Abschlüsse sind isomorph).
2. $G$ ist co-Hopfisch.
3. $H$ ist nicht co-Hopfisch.

Beweisstrategie im Detail:

• Isomorphie der profiten Abschlüsse ($\widehat{G} \cong \widehat{H}$):
  Da $U$ azyklisch ist ($H_2(U, \mathbb{Z}) = 0$) und einen trivialen profiten Abschluss hat, liefert ein Kriterium von Bridson–Grunewald (basierend auf der exakten Sequenz $1 \to K \to G \to U \to 1$), dass die Inklusion$K \hookrightarrow G$einen Isomorphismus der profiten Abschlüsse induziert:$\widehat{K} \cong \widehat{G}$.
  Da $H = \pi^{-1}(A)$ und $A \cong U$, gilt für die Sequenz $1 \to K \to H \to A \to 1$dasselbe:$\widehat{K} \cong \widehat{H}$.
  Daraus folgt transitiv $\widehat{G} \cong \widehat{H}$.

• $G$ ist co-Hopfisch:
  $G$ ist nach Konstruktion torsionsfrei und hyperbolisch. Um zu zeigen, dass $G$ co-Hopfisch ist, nutzen die Autoren einen Satz von Z. Sela, der besagt, dass jede torsionsfreie, hyperbolische Gruppe mit einem Ende (one-ended) co-Hopfisch ist.
  Die Autoren beweisen, dass $G$ genau ein Ende hat. Wäre $G$ nicht ein-endig, würde es nach dem Satz von Stallings in ein nicht-triviales freies Produkt zerfallen. Da $K$ eine endlich erzeugte, nicht-triviale Normaluntergruppe von $G$ ist, müsste $K$ dann endlichen Index in $G$ haben. Dies würde bedeuten, dass $U \cong G/K$ endlich ist, was im Widerspruch zur Konstruktion von $U$ (als unendliche Gruppe) steht. Also ist $G$ ein-endig und somit co-Hopfisch.

• $H$ ist nicht co-Hopfisch:
  In $U$ existiert nach Lemma 3.3 eine Untergruppe $A \cong U$ und ein Element $t$, sodass $t^{-1}At \subsetneq A$.
  Sei $g \in G$ ein Lift von $t$. Die Konjugation $c_g(x) = g^{-1}xg$ bildet $H = \pi^{-1}(A)$ auf $\pi^{-1}(t^{-1}At)$ ab.
  Da $t^{-1}At$ eine echte Untergruppe von $A$ ist, ist auch das Urbild $\pi^{-1}(t^{-1}At)$ eine echte Untergruppe von $\pi^{-1}(A) = H$.
  Somit ist $H$ isomorph zu einer echten Untergruppe von sich selbst, also nicht co-Hopfisch.

4. Signifikanz und Implikationen

• Auflösung einer offenen Frage: Das Papier beweist endgültig, dass die co-Hopfische Eigenschaft keine profinite Eigenschaft ist. Dies schließt eine Lücke in der Klassifikation profiner Invarianten.
• Technische Eleganz: Ein besonderer Aspekt der Methode ist die Konstruktion von $H$ als eine Untergruppe von $G$, die durch Konjugation in sich selbst eingebettet wird. Dies macht die Nicht-co-Hopfische Eigenschaft von $H$ „sofortig" (immediate) und vermeidet die Notwendigkeit einer tiefgehenden strukturellen Analyse des Rips-Kerns $K$, was in früheren Ansätzen oft notwendig war.
• Erweiterung auf torale relative Hyperbolizität: Als Nebenergebnis zeigen die Autoren (Proposition 2.9), dass auch die Eigenschaft, „toral relativ hyperbolisch" zu sein, keine profinite Eigenschaft ist. Dies wird durch den Vergleich von $G$ (hyperbolisch, also toral relativ hyperbolisch) und $K$ (nicht endlich präsentiert, also nicht hyperbolisch) gezeigt, wobei $\widehat{G} \cong \widehat{K}$ gilt.
• Kontext: Die Arbeit unterstreicht die Grenzen der profiten Rigidity. Während sie für bestimmte Klassen von Gruppen (z. B. virtuell kompakte spezielle Gruppen) gilt, versagt sie für die allgemeine Klasse der endlich erzeugten, residuell endlichen Gruppen, selbst bei sehr starken Eigenschaften wie der co-Hopfischen Struktur.

Zusammenfassend demonstrieren Baik und Jang, dass der profite Abschluss einer Gruppe nicht ausreicht, um zu bestimmen, ob die Gruppe isomorph zu einer ihrer echten Untergruppen ist, und liefern damit ein fundamentales Gegenbeispiel in der Theorie der profinen Eigenschaften.