Forester's lattices and small non-Leighton complexes

In dit artikel construeren de auteurs twee CW-complexen die een gemeenschappelijke, maar niet-finite overdekking toelaten, waarbij het ene complex homeomorf is aan een complex met slechts één 2-cel.

De kern

Stel je voor dat wiskunde een wereld is van mysterieuze landschappen en onzichtbare trappen. In dit nieuwe artikel van de wiskundigen Natalia Dergacheva en Anton Klyachko, verkennen ze twee van deze landschappen, die we K en L noemen.

Het verhaal gaat over een oude regel in de wiskunde, de "Leighton-stelling", die zegt: "Als twee eindige kaarten (grafieken) een gemeenschappelijke, grotere kaart hebben die ze beide bedekt, dan moeten ze ook een gemeenschappelijke, eindige kaart hebben."

Dit klinkt logisch, maar in de wereld van 3D-vormen (of preciezer: 2D-vormen die in de ruimte leven) werkt deze regel niet. Wiskundigen hebben al eerder bewezen dat je twee vormen kunt maken die wel een oneindig grote "moederkaart" delen, maar geen enkele eindige kaart. Dergacheva en Klyachko hebben nu een nieuw, opvallend voorbeeld gevonden.

Hier is de uitleg in simpele taal, met behulp van analogieën:

1. De Twee Landschappen (K en L)

Stel je twee verschillende gebouwen voor:

• Gebouw K: Dit is een heel simpel, compact gebouwtje. Het heeft eigenlijk maar één grote kamer (een "2-cel"). Als je erin kijkt, lijkt het op een bol met een ingewikkeld patroon erop. Wiskundig gezien is dit een heel bekend en "vriendelijk" gebouw.
• Gebouw L: Dit is een veel groter, complexer gebouw. Het heeft twee ingangen (twee hoekpunten), zes gangen (randen) en vier grote kamers (2-cellen). Het ziet er rommeliger uit dan K.

2. Het Grote Geheim: De Oneindige Trap

Het verrassende is dit: als je beide gebouwen uitrolt tot hun oneindige versie (hun "universale overdekking"), blijken ze exact hetzelfde te zijn!

• De Analogie: Denk aan een spiraaltrap die oneindig hoog is.
  • Gebouw K is alsof je een klein stukje van die trap bekijkt en zegt: "Ah, dit is een trap met een bepaald patroon."
  • Gebouw L is alsof je een ander stukje van dezelfde trap bekijkt, maar dan met een ander kleurenschema of een andere indeling van de treden.
  • Als je de hele trap uitrolt, zie je dat het precies dezelfde trap is. Ze delen dezelfde "moederstructuur".

3. Het Probleem: Waarom kunnen ze niet samenkomen?

Hoewel ze dezelfde oneindige moeder hebben, kunnen K en L nooit samenkomen in een gemeenschappelijk eindig gebouw.

• De Analogie: Stel je voor dat K een snelheid van 2 heeft en L een snelheid van 4 (in een wiskundige zin).
  • Als je probeert een eindig gebouw te maken dat beide dekt, moet je een patroon vinden dat zowel met 2 als met 4 "meebeweegt".
  • De auteurs bewijzen dat de "snelheden" (de fundamentele groepen) van deze twee gebouwen onverenigbaar zijn. Ze zijn als twee muziekstukken die in verschillende toonsoorten spelen; je kunt ze niet samenvoegen tot één harmonieus eindig liedje, zelfs niet als je ze in een groter orkest zet. Ze zijn "incommensurabel" (niet te meten met elkaar).

4. De "Magische" Knip en Plak

Het meest fascinerende deel van hun ontdekking is hoe ze dit voorbeeld hebben gemaakt:

• Ze begonnen met een heel simpel, bekend gebouw (K) dat eigenlijk maar één kamer had.
• Vervolgens hebben ze een extra lijn getrokken die die ene kamer in tweeën deelde.
• Het effect: Door die ene extra lijn toe te voegen, veranderde het karakter van het gebouw volledig. Het oorspronkelijke gebouw was "veilig" (het kon wel een eindige dekkingspartner hebben), maar het nieuwe, opgesplitste gebouw is nu "onveilig" (het kan nooit een eindige dekkingspartner hebben met zijn buurman L).

Dit is een verrassende ontdekking: een kleine verandering (een extra lijn) kan een drastisch effect hebben op de globale eigenschappen van een vorm.

5. Waarom is dit belangrijk?

Voor de leek klinkt dit misschien als abstract gedoe, maar het is als het vinden van een nieuwe wet in de natuurkunde.

• Het laat zien dat de wereld van 3D-vormen (of 2D-complexen) veel vreemder is dan die van simpele lijnen en punten.
• Het beantwoordt een vraag die wiskundigen al jaren stelden: "Kunnen we zo'n vreemd paar vinden waarbij één van de vormen zo simpel mogelijk is?" Het antwoord is: Ja, je kunt het zo simpel maken als één kamer, zolang je die kamer maar slim verdeelt.
• Het toont aan dat je niet zomaar kunt aannemen dat als twee dingen een grote gemeenschappelijke oorsprong hebben, ze ook een kleine gemeenschappelijke oorsprong moeten hebben.

Samenvattend:
De auteurs hebben twee vreemde gebouwen ontdekt die als tweeling zijn als je ze oneindig groot maakt, maar als je ze probeert te vergelijken in hun normale grootte, blijken ze totaal onverenigbaar te zijn. En het beste deel? Ze hebben dit gedaan door een heel simpel gebouwtje met één extra lijn te "kapot te knippen", wat een volledig nieuw wiskundig fenomeen onthulde.

Technische samenvatting

Titel: Forester's Roosters en Kleine Niet-Leighton Complexen

Auteurs: Natalia S. Dergacheva en Anton A. Klyachko
Bron: arXiv:2407.06680v3 [math.GT]

---

1. Het Probleem en de Achtergrond

Het artikel adresseert een fundamenteel vraagstuk binnen de algebraïsche topologie en de theorie van groepen, specifiek gerelateerd aan Leighton's Stelling (1982).

• Leighton's Stelling: Als twee eindige grafen een gemeenschappelijke overdekking hebben, dan hebben ze ook een gemeenschappelijke eindige overdekking.
• De Uitdaging: Voor twee-dimensionale CW-complexen (cellulaire complexen) is deze stelling onwaar. Er bestaan paren van eindige complexe $(K, L)$ die een gemeenschappelijke overdekking hebben, maar geen gemeenschappelijke eindige overdekking. Dergelijke paren worden niet-Leighton paren genoemd.

Eerdere voorbeelden van niet-Leighton paren vereisten complexe structuren met meerdere 2-cellen (eerst 6, later 4, en recentelijk 2). De open vraag die dit artikel aanpakt, is of er een niet-Leighton paar bestaat waarbij ten minste één van de complexe slechts één 2-cel heeft.

2. Methodologie

De auteurs construeren een specifiek voorbeeld van een niet-Leighton paar $(K, L)$ door gebruik te maken van de theorie van Baumslag-Solitar groepen en hun bijbehorende complexe ruimten. De aanpak bestaat uit de volgende stappen:

1. Constructie van de Complexen:

   • Complex $K$: Dit is een 2-complex met twee 2-cellen, maar het is homeomorf aan een complex met slechts één 2-cel. Het correspondeert met de standaardpresentatie van de Baumslag-Solitar groep $BS(2, 4) = \langle c, d \mid c^2d = c^4 \rangle$.
   • Complex $L$: Een groter complex met twee hoekpunten (zwart en wit), zes randen en vier 2-cellen ($A, B, C, D$). De structuur is afgeleid van de quotiëntcomplexen van Forester's rooster $X_{2,4}$.

2. Analyse van Fundamentele Groepen:

   • De auteurs tonen aan dat de fundamentele groep van $K$ gelijk is aan $BS(2, 4)$.
   • Voor $L$ wordt de fundamentele groep $\pi_1(L)$ geanalyseerd via Tietze-transformaties. Ze tonen aan dat $\pi_1(L)$ commensurabel is met de groep $BS(4, 16)$.
   • Kernargument: Er wordt verwezen naar een classificatie van Baumslag-Solitar groepen (CKZ21, Fo24) die stelt dat $BS(2, 4)$ en $BS(4, 16)$ incommensurabel zijn. Dit betekent dat geen enkele eindige index ondergroep van de ene groep isomorf is met een eindige index ondergroep van de andere. Omdat een gemeenschappelijke eindige overdekking zou impliceren dat de fundamentele groepen commensurabel zijn, volgt hieruit dat $K$ en $L$ geen gemeenschappelijke eindige overdekking kunnen hebben.

3. Constructie van de Universele Overdekking:

   • De auteurs demonstreren dat de universele overdekkingen van zowel $K$ als $L$ isomorf zijn aan het Baumslag-Solitar complex $X_{2,4}$ (geconstrueerd door Max Forester).
   • Dit complex is gebaseerd op het Cartesische product van een reguliere gerichte boom $T$ en de reële lijn $\mathbb{R}$.
   • Ze beschrijven expliciet de overdekkingen $X_{2,4} \to K$ en $X_{2,4} \to L$ door de cellen van $X_{2,4}$ te mappen naar de cellen van $K$ en $L$ op basis van pariteit en kleuring van de boom $T$.

3. Belangrijkste Bijdragen en Resultaten

Het artikel levert de volgende specifieke resultaten:

• Bestaan van een "Bijna"-Minimaal Voorbeeld: Er bestaat een niet-Leighton paar $(K, L)$ waarbij $K$ homeomorf is aan een complex met slechts één 2-cel. Dit is een "bijna" antwoord op de open vraag, omdat $K$ technisch gezien twee cellen heeft (door een rand toe te voegen aan de ene cel), maar topologisch equivalent is aan een één-cel complex.
• Cellulaire Subdivisie als Oorzaak: Het is het eerste voorbeeld waarbij een cellulaire subdivisie (het verdelen van één 2-cel in twee delen door een nieuwe rand) leidt tot een dramatisch effect: het verandert een Leighton-complex ($BS(2,4)$) in een niet-Leighton complex.
• Extremale Eigenschappen:
  • $K$ heeft de minimale bekende structuur (homeomorf aan één 2-cel).
  • $L$ heeft vier 2-cellen (wat groter is dan eerdere minimale voorbeelden waar beide complexen twee cellen hadden, maar het is een noodzakelijke prijs voor de eigenschap van $K$).
• Groeps-theoretische Resultaten:
  • De fundamentele groep van $K$ is een één-relator groep ($BS(2, 4)$).
  • De fundamentele groep van $L$ is commensurabel met een één-relator groep.
  • Dit leidt tot de conclusie dat er een niet-Leighton paar $(K, \tilde{L})$ bestaat waarbij $\pi_1(K)$ een één-relator groep is en $\pi_1(\tilde{L})$ een ondergroep van eindige index is in een één-relator groep.
  • Dit contrasteert met de stelling van Bridson-Shepherd, die stelt dat in een niet-Leighton paar geen van de fundamentele groepen vrij (of zelfs virtueel vrij) kan zijn.

4. Betekenis en Impact

• Verduidelijking van Leighton's Stelling: Het werk verrijkt het begrip van de grenzen van Leighton's stelling in hogere dimensies. Het toont aan dat de eigenschap "gemeenschappelijke eindige overdekking" zeer gevoelig is voor de cellulaire structuur, zelfs bij complexe met minimale topologische complexiteit.
• Rol van Baumslag-Solitar Groepen: Het artikel bevestigt en benut de diepe connectie tussen de commensurabiliteit van Baumslag-Solitar groepen en de topologie van hun bijbehorende complexe. Het gebruik van Forester's roosters ($X_{2,4}$) als universele overdekking biedt een krachtig mechanisme om dergelijke tegenvoorbeelden te construeren.
• Open Vraag: Hoewel het artikel een sterk resultaat levert, blijft de vraag open of er een niet-Leighton paar bestaat waarbij beide fundamentele groepen écht één-relator groepen zijn (zonder de noodzaak van commensurabiliteit met een andere groep). Het huidige voorbeeld lost dit niet volledig op, maar schuift de grenzen van wat mogelijk is aanzienlijk op.

Samenvattend biedt dit artikel een elegante constructie van een niet-Leighton paar met extremale cellulaire eigenschappen, gebruikmakend van de subtiliteiten van Baumslag-Solitar groepen en Forester's roostertheorie.