Co-Hopfianity is not a profinite property

Dit artikel toont aan dat co-Hopfianiteit geen profinite eigenschap is door twee eindig gegenereerde residueel eindige groepen met isomorfische profinite volmakingen te construeren, waarvan de ene co-Hopfiaans is en de andere niet.

De kern

Hier is een uitleg van het wetenschappelijke artikel "CO-HOPFIANITY IS NOT A PROFINITE PROPERTY" in eenvoudig Nederlands, met behulp van creatieve analogieën.

De Kernboodschap: Een Wiskundige "Vervalsing"

Stel je voor dat je twee groepen mensen hebt, laten we ze Groep G en Groep H noemen. In de wiskunde zijn deze groepen verzamelingen van objecten met specifieke regels voor hoe ze met elkaar kunnen "interageren" (zoals optellen of vermenigvuldigen).

De onderzoekers (Baik en Jang) hebben iets verrassends ontdekt: Je kunt niet altijd zeggen of een groep "uniek" is, alleen door te kijken naar zijn "stempel" of "afdruk".

In de wiskunde noemen ze die "afdruk" de profiniete voltooiing. Dit is een manier om een groep te bekijken door alleen te kijken naar alle mogelijke eindige versies (of "schaduwen") van die groep. Het is alsof je een complex gebouw bekijkt door alleen naar de schaduwen te kijken die het op de muur werpt.

De vraag die deze paper beantwoordt is: "Als twee groepen exact dezelfde schaduwen (profiniete voltooiingen) hebben, moeten ze dan ook exact hetzelfde gebouw zijn?"

Het antwoord is nee. En ze bewijzen dit met een specifiek kenmerk: Co-Hopfianiteit.

Wat is Co-Hopfianiteit? (De "Onvervangbare" Groep)

Om dit te begrijpen, moeten we eerst kijken naar wat een groep is en wat het betekent om "co-Hopfiaans" te zijn.

• Stel je een groep voor als een magische doos met knoppen. Je kunt de knoppen indrukken en er komen nieuwe combinaties uit.
• Co-Hopfiaans betekent: "Je kunt deze doos niet verkleinen zonder hem kapot te maken."
  • Als je een deel van de doos neemt (een subgroep) en dat deel is exact hetzelfde als de hele doos, dan is de doos niet co-Hopfiaans.
  • Als je de doos nooit kunt verkleinen tot een kleinere versie die er nog steeds precies hetzelfde uitziet, dan is hij co-Hopfiaans.

De Analogie van de Sieraden:

• Groep G (Co-Hopfiaans): Stel je een unieke diamant voor. Als je er een stukje van afknipt, is het geen diamant meer, of het is kleiner en anders. Je kunt de diamant niet "in zijn eigen schaduw" verkleinen. Hij is uniek en onvervangbaar.
• Groep H (Niet Co-Hopfiaans): Stel je een oneindige ladder voor. Als je de onderste sporten eraf haalt, heb je nog steeds een ladder die er precies hetzelfde uitziet en dezelfde eigenschappen heeft als de originele. Je kunt de ladder "in zijn eigen schaduw" verkleinen.

Het Experiment: Twee Zusters met dezelfde ID-kaart

De onderzoekers wilden bewijzen dat je aan de "ID-kaart" (de profiniete voltooiing) van een groep niet kunt zien of hij co-Hopfiaans is of niet.

Ze bouwden twee groepen, G en H, met de volgende eigenschappen:

1. Ze hebben exact dezelfde ID-kaart. Als je hun schaduwen vergelijkt, zijn ze identiek. Je kunt ze niet uit elkaar houden door alleen naar hun eindige versies te kijken.
2. Groep G is een "unieke diamant" (Co-Hopfiaans). Je kunt hem niet verkleinen.
3. Groep H is een "oneindige ladder" (Niet Co-Hopfiaans). Je kunt hem verkleinen en hij blijft zichzelf.

De conclusie: Omdat G en H dezelfde ID-kaart hebben, maar totaal verschillende eigenschappen hebben (de ene is uniek, de andere niet), betekent dit dat de eigenschap "Co-Hopfiaans zijn" niet te ontdekken is door alleen naar de ID-kaart te kijken. Het is dus geen "profiniete eigenschap".

Hoe hebben ze dit gedaan? (De Bouwtechniek)

De onderzoekers gebruikten een slimme constructie, gebaseerd op een techniek van de wiskundige Wise en een speciaal monster van een groep genaamd U (ontwikkeld door Bridson).

1. Het Monster U: Dit is een groep die heel raar is. Hij heeft geen "sporen" in de profiniete wereld (zijn ID-kaart is leeg/leeg), maar hij is wel heel krachtig. Hij kan elke andere groep in zich opnemen.
2. Het Bouwproject (G): Ze bouwden een grote groep G die een "schaduw" werpt op het monster U. Omdat U zo raar is, zorgt dit ervoor dat G een "unieke diamant" wordt (Co-Hopfiaans).
3. Het Kloonproject (H): Vervolgens namen ze een stukje van het monster U (laten we het A noemen) dat precies hetzelfde is als U, maar dan een beetje "schuins" geplaatst. Ze bouwden H als een kopie van G, maar dan gebaseerd op dit stukje A.
4. De Magie: Omdat A een stukje van U is dat door een beweging (conjugatie) in een nog kleiner stukje van zichzelf kan worden geduwd, kan H ook in een kleiner stukje van zichzelf worden geduwd.
   • G kan dit niet.
   • H kan dit wel.
   • Maar omdat ze beide gebaseerd zijn op hetzelfde raadselachtige monster U, hebben ze toch dezelfde ID-kaart.

Waarom is dit belangrijk?

In de wiskunde hopen we vaak dat als we twee dingen op één manier kunnen meten (in dit geval: hun eindige schaduwen), we alles over ze weten. Dit artikel zegt: "Nee, dat is niet zo."

Het is alsof je twee mensen hebt met exact dezelfde vingerafdrukken (wat in de echte wereld onmogelijk is, maar in de wiskundige wereld van deze paper wel gebeurt). Je zou denken dat ze dezelfde persoon zijn. Maar als je ze echt leert kennen, blijkt dat de ene persoon een onuitwisbare identiteit heeft (Co-Hopfiaans), terwijl de andere persoon zichzelf kan kopiëren en verkleinen zonder dat het opvalt.

Samenvattend in één zin:
De onderzoekers hebben bewezen dat je niet kunt weten of een wiskundige groep "uniek en onvervangbaar" is, alleen door naar zijn eindige schaduwen te kijken; je moet de groep zelf bekijken om dat te zien.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "CO-HOPFIANITY IS NOT A PROFINITE PROPERTY" van Hyungryul Baik en Wonyong Jang, in het Nederlands.

Probleemstelling

In de meetkundige groepentheorie is het classificeren van eindig gegenereerde, residuïel eindige groepen aan de hand van hun profijne voltooingen ($\hat{G}$) een centraal thema. De profijne voltooing van een groep $\Gamma$ codeert alle eindige quotiënten van $\Gamma$. Een fundamentele vraag is in hoeverre $\hat{G}$ algebraïsche of meetkundige eigenschappen van $G$ bepaalt.

Een groepseigenschap $P$ wordt een profinete eigenschap genoemd als voor elke twee eindig gegenereerde, residuïel eindige groepen $G_1$ en $G_2$ geldt: als $\hat{G}_1 \cong \hat{G}_2$, dan heeft $G_1$ eigenschap $P$ dan en slechts dan als $G_2$ eigenschap $P$ heeft.

Hoewel bekend is dat eigenschappen zoals abelsheid, nilpotentie en polycycliciteit profijne eigenschappen zijn, zijn veel meetkundige eigenschappen dat niet (bijv. amenabiliteit, eigenschap (T), torsie-vrij zijn). Het doel van dit artikel is om te bewijzen dat de co-Hopfische eigenschap geen profijne eigenschap is.

Een groep $G$ heet co-Hopfisch als elke injectieve homomorfisme $\phi: G \to G$ ook surjectief is (d.w.z. $G$ is niet isomorf met een eigenlijke ondergroep van zichzelf). Dit staat in contrast met de Hopfische eigenschap (waarbij elke surjectieve homomorfisme injectief is), die geldt voor alle eindig gegenereerde residuïel eindige groepen.

Methodologie

De auteurs construeren twee specifieke groepen, $G$ en $H$, die voldoen aan de volgende criteria:

1. Ze zijn beide eindig gegenereerd en residuïel eindig.
2. Ze hebben isomorf profijne voltooingen ($\hat{G} \cong \hat{H}$).
3. $G$ is co-Hopfisch, terwijl $H$ dat niet is.

De constructie maakt gebruik van de volgende componenten:

1. Wise's residuïel eindige Rips-constructie:
   De auteurs gebruiken een versie van de Rips-constructie (van D. Wise) die voor elke eindig gepresenteerde groep $Q$ een kort exacte rij produceert:
   $$1 \to K \to G \xrightarrow{\pi} Q \to 1$$
   waarbij $G$ een torsie-vrije, hyperbolische en residuïel eindige groep is, en $K$ een eindig gegenereerde kern is.

2. Bridson's universele acyclische groep ($U$):
   Ze kiezen $Q = U$, een specifiek door Bridson geconstrueerde groep met de volgende eigenschappen:

   • $U$ is eindig gepresenteerd.
   • $U$ is acyclisch ($H_i(U, \mathbb{Z}) = 0$ voor alle $i \geq 1$).
   • De profijne voltooing is triviaal: $\hat{U} = 1$.
   • Elke eindig gepresenteerde groep kan in $U$ ingebed worden.

3. De constructie van $G$:
   Door de Rips-constructie toe te passen op $U$, verkrijgen ze een groep $G$ met kern $K$. Omdat $G$ torsie-vrij, hyperbolisch en "one-ended" (één eind) is, is $G$ volgens een stelling van Z. Sela co-Hopfisch.

4. De constructie van $H$ (via conjugatie):
   De kern van de constructie is het vinden van een ondergroep $A < U$ en een element $t \in U$ zodanig dat $A \cong U$ maar $t^{-1}At \subsetneq A$.

   • Dit wordt bereikt door een inbedding van de vrije product $U * F_2$ in $U$ te combineren met een HNN-uitbreiding.
   • Vervolgens definiëren ze $H$ als de volledige preafbeelding van $A$ onder de projectie $\pi: G \to U$, d.w.z. $H = \pi^{-1}(A)$.
   • Door conjugatie met een lift van $t$ in $G$, wordt $H$ isomorf aan een eigenlijke ondergroep van zichzelf ($t^{-1}Ht \subsetneq H$), waardoor $H$ niet co-Hopfisch is.

5. Isomorfie van profijne voltooingen:
   Om te bewijzen dat $\hat{G} \cong \hat{H}$, gebruiken ze een criterium van Bridson en Grunewald. Omdat $\hat{U} = 1$ en $H_2(U, \mathbb{Z}) = 0$ (wegens acycliciteit), induceert de inbedding van de kern $K$ een isomorfisme op de profijne voltooingen: $\hat{K} \cong \hat{G}$. Omdat $H$ ook een uitbreiding is van $K$ door een groep isomorf met $U$ (namelijk $A$), geldt ook $\hat{K} \cong \hat{H}$. Hieruit volgt $\hat{G} \cong \hat{H}$.

Kernresultaten

• Hoofdstelling (Theorem 3.1): Er bestaan eindig gegenereerde, residuïel eindige groepen $G$ en $H$ zodanig dat $\hat{G} \cong \hat{H}$, waarbij $G$ co-Hopfisch is en $H$ niet.
• Gevolg: Co-Hopfianiteit is geen profijne eigenschap.
• Bijkomend resultaat (Propositie 2.9): De auteurs tonen ook aan dat "toral relative hyperbolicity" (hyperbolisch zijn ten opzichte van torale subgroepen) geen profijne eigenschap is. Ze construeren een groep $G$ die toraal relatief hyperbolisch is, en een ondergroep $K$ (de kern van de Rips-constructie) die dat niet is, hoewel ze isomorf profijne voltooingen hebben.

Technische Details en Bewijsstrategie

• Gebruik van Sela's Stelling: De co-Hopfianiteit van $G$ volgt direct uit het feit dat $G$ een torsie-vrije, one-ended hyperbolische groep is.
• Zelf-inbedding via HNN-uitbreiding: De constructie van $A$ en $t$ in $U$ is cruciaal. Omdat $U$ universeel is voor eindig gepresenteerde groepen, kan men een niet-surjectieve inbedding $\sigma: U \to U$ construeren. Door dit te combineren met een HNN-uitbreiding en deze weer in $U$ in te bedden, verkrijgt men de vereiste structuur $t^{-1}At \subsetneq A$.
• Vermijden van complexe analyse: Een belangrijk aspect van de methode is dat de niet-co-Hopfianiteit van $H$ direct volgt uit de constructie (conjugatie geeft een isomorfisme naar een eigenlijke ondergroep), zonder dat er een diepgaande analyse van de structuur van de Rips-kern $K$ nodig is.

Betekenis en Impact

Dit artikel vult een belangrijke lacune in de theorie van profijne rigiditeit op.

1. Beperkingen van profijne voltooingen: Het bewijst dat zelfs sterke meetkundige eigenschappen zoals co-Hopfianiteit (die gerelateerd is aan de "grootte" en inbeddingsmogelijkheden van een groep) niet bepaald kunnen worden door de verzameling van alle eindige quotiënten.
2. Contrast met Hopfianiteit: Het benadrukt het fundamentele verschil tussen de Hopfische eigenschap (die wel profijne is voor residuïel eindige groepen) en de co-Hopfische eigenschap.
3. Nieuwe tegenvoorbeelden: Het biedt een nieuwe methode om tegenvoorbeelden te construeren voor profijne eigenschappen door gebruik te maken van de combinatie van Wise's Rips-constructie en Bridson's universele groep, wat een krachtig hulpmiddel is voor toekomstig onderzoek in de meetkundige groepentheorie.

Samenvattend tonen Baik en Jang aan dat de profijne voltooing van een groep niet voldoende informatie bevat om te bepalen of de groep isomorf is met een van zijn eigenlijke ondergroepen.