Averaging formulas for the Reidemeister trace, Lefschetz and Nielsen numbers of $n$-valued maps

Dit artikel bewijst een gemiddelde formule voor de Reidemeister-sporen, Lefschetz-getallen en Nielsen-getallen van $n$-waardige afbeeldingen op gesloten variëteiten, en leidt voor infra-nilvariëteiten expliciete formules voor deze invarianten af.

De kern

De Reis van de Meerdere Paden: Een Verhaal over Vaste Punten

Stel je voor dat je een kaart van een stad hebt (in de wiskunde noemen we dit een manifold of een oppervlak). Je wilt weten: als je een bepaalde route door de stad loopt, kom je dan ergens op een plek uit waar je precies bent waar je bent begonnen?

In de wiskunde noemen we zo'n punt een vast punt (fixed point). Als je een kaart van de stad hebt en je tekent er een lijn op die aangeeft waar mensen naartoe gaan, dan is een vast punt een plek waar de pijl precies op het punt zelf wijst.

1. Het oude probleem: De "Enige" Route

Vroeger keken wiskundigen alleen naar situaties waar één persoon op elk moment precies één bestemming had.

• De Lefschetz-getal: Dit is een soort "voorspelling". Als dit getal niet nul is, dan moet er ergens een vast punt zijn. Het is als een weersvoorspelling die zegt: "Er is een 90% kans op regen", dus pak maar een paraplu.
• De Nielsen-getal: Dit is preciezer. Het telt niet alleen of er regen is, maar hoeveel onafhankelijke regenbuien er zijn. Het zegt: "Er zijn minstens 3 plekken waar het gaat regenen."
• De Reidemeister-spore: Dit is de "detaillijst". Het is niet alleen een getal, maar een lijstje met namen van alle mogelijke regenbuien, elk met een gewicht erbij.

Wiskundigen hebben al lang een slimme truc (een gemiddelde formule) om deze getallen te berekenen. In plaats van de hele stad te bekijken, kijken ze naar een kleinere, eenvoudiger versie van de stad (een overdekking of cover). Ze tellen de routes in die kleine stad en delen het resultaat door het aantal kopieën. Dit werkt perfect voor de "enige route".

2. Het nieuwe probleem: De "Meerdere" Routes

Maar wat als je niet één persoon hebt, maar een groepje?
Stel je voor dat je een n-waardige kaart hebt. Op elke plek in de stad wijst de kaart niet naar één bestemming, maar naar n verschillende bestemmingen tegelijk.

• Voorbeeld: Je staat op het plein. De kaart zegt: "Je kunt naar de bibliotheek, de bakker, of de markt." (Dit is een 3-waardige kaart).
• Een vast punt in dit geval is een plek waar je zelf op de kaart staat, én die plek is ook een van de bestemmingen die de kaart aangeeft. (Je staat op het plein, en de kaart zegt: "Ga naar het plein". Dan heb je een vast punt).

Het probleem is: De oude "gemiddelde formule" werkt hier niet.
Waarom? Omdat als je naar die kleinere, eenvoudige stad kijkt, de "groepje-kaart" daar vaak niet meer bestaat als een nette lijst met opties. De regels breken. Het is alsof je probeert een complexe dans met 5 personen te analyseren door alleen naar één danser te kijken; de dynamiek gaat verloren.

3. De Oplossing: De "Split Lift" (Het Opdelen)

De auteurs van dit paper, Karel en Lore, hebben een nieuwe manier gevonden om dit op te lossen. Ze gebruiken een slimme truc die we de "Split Lift" kunnen noemen.

De Analogie van de Koekjesbakker:
Stel je voor dat je een grote, ingewikkelde koek (de n-waardige kaart) hebt. Je wilt weten hoeveel suikerkorrels (vast punten) erin zitten, maar de koek is te groot en te rommelig om direct te tellen.

• De oude methode: Probeer de hele koek te snijden in kleine stukjes. Maar de koek is zo raar gevormd dat de stukjes niet netjes passen.
• De nieuwe methode (Split Lift): In plaats van de hele koek te houden, splitst de wiskundige de koek op in losse, simpele lagen.
  • De ene laag is "Ga naar de bibliotheek".
  • De andere laag is "Ga naar de bakker".
  • De derde laag is "Ga naar de markt".

Elke laag is nu een gewone, enkele route (een 1-waardige kaart). Deze zijn veel makkelijker te analyseren!

Maar er is een addertje onder het gras: Als je de koek splitst, moet je rekening houden met hoe de lagen op elkaar liggen. De auteurs tonen aan dat je deze losse lagen kunt vergelijken met een spiegelbeeld van de stad.

• Ze kijken niet naar "Waar ga ik naartoe?", maar naar "Waar kruisen mijn paden elkaar met de spiegel van de stad?"
• In wiskundetaal noemen ze dit een coïncidentie (een ontmoeting).

4. De Nieuwe Formule: Het Gemiddelde van de Ontmoetingen

De kern van het paper is dit:
Om te weten hoeveel vaste punten er zijn in die complexe "groepje-kaart", hoef je niet naar de hele groep te kijken. Je kunt:

1. De kaart opsplitsen in losse, simpele routes.
2. Voor elke losse route kijken waar die ontmoet met een spiegelbeeld van de stad.
3. Al deze ontmoetingen optellen en het gemiddelde nemen.

Dit werkt als een magische formule:

"Het totale aantal vaste punten van de groep is gelijk aan het gemiddelde van de ontmoetingen van de losse delen."

5. Waarom is dit belangrijk? (De Infra-Nilmanifolds)

Het paper gaat nog een stap verder. Er is een speciale klasse van steden (wiskundige oppervlakken) die infra-nilmanifolds heten. Denk hierbij aan vormen als een torus (een bagel) of een Klein-fles (een oppervlak dat in 3D niet zonder zelfkruisingen kan).

• Voor deze speciale vormen weten we al precies hoe we de "enkele routes" moeten tellen.
• Omdat de auteurs nu weten hoe ze de "groepje-kaart" kunnen opsplitsen in "enkele routes", kunnen ze nu direct het antwoord geven voor deze speciale vormen.

Het resultaat:
Ze hebben een recept geschreven. Als je een n-waardige kaart hebt op zo'n speciale vorm, hoef je alleen maar een paar matrices (een soort rekenlijstjes) op te tellen en te vermenigvuldigen. Dan weet je exact hoeveel vaste punten er zijn, zonder dat je de hele kaart hoeft te tekenen.

Samenvatting in één zin

De auteurs hebben een manier gevonden om complexe, meervoudige routes (waar je op elke plek meerdere opties hebt) op te splitsen in simpele, losse routes, zodat ze de bekende "gemiddelde formule" kunnen gebruiken om precies te voorspellen waar deze routes elkaar kruisen en waar ze stilstaan.

Het is alsof je een ingewikkeld orkest (de n-waardige kaart) niet als één groot geluid hoort, maar elk instrument apart, en dan berekent hoe het totale geluid klinkt door de losse noten op te tellen.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Averaging Formulas for the Reidemeister Trace, Lefschetz and Nielsen Numbers of n-valued Maps" van Karel Dekimpe en Lore De Weerdt, geschreven in het Nederlands.

1. Probleemstelling

Het artikel adresseert een fundamentele uitdaging in de vaste punttheorie: het berekenen van topologische invarianten (zoals het Lefschetz-getal, het Nielsen-getal en de Reidemeister-sporen) voor n-waardige afbeeldingen op gesloten variëteiten.

• Context: Voor enkelvoudige (single-valued) afbeeldingen $f: X \to X$ zijn er welbekende "gemiddelde formules" (averaging formulas). Deze stellen de invarianten van $f$ in verband met de som van de invarianten van zijn liften naar een eindige overdekking $\bar{X}$. Bijvoorbeeld: $L(f) = \frac{1}{|F|} \sum L(\bar{\alpha}\bar{f})$.
• Het probleem: Deze formules zijn niet direct toepasbaar op n-waardige afbeeldingen ($f: X \multimap X$, waarbij $f(x)$ een verzameling van $n$ punten is).
  • In de theorie van infra-nilvariëteiten (een belangrijke klasse van variëteiten) kunnen enkelvoudige afbeeldingen altijd gelift worden naar een nilvariëteit (een eindige overdekking), waar lineaire homotopieën gebruikt kunnen worden voor berekeningen.
  • Voor n-waardige afbeeldingen faalt deze aanpak: ze hebben in het algemeen geen lift naar een nilvariëteit die de structuur van een n-waardige afbeelding behoudt. Bestaande formules voor n-waardige afbeeldingen (zoals in eerdere werken van de auteurs) vereisen dus een lift die vaak niet bestaat, waardoor de formules in de praktijk onbruikbaar zijn voor veel interessante ruimten.

2. Methodologie

De auteurs ontwikkelen een nieuwe aanpak door de vaste punten van een n-waardige afbeelding te relateren aan coïncidenties van enkelvoudige afbeeldingen tussen verschillende overdekkingen.

• De "Split Lift" (Gesplitste Lift):
  • Zij $X$ een compact polyeder met universele overdekking $\tilde{X}$ en overkoppelingsgroep $\pi$.
  • Zij $\Gamma$ een normaal ondergroep van eindige index in $\pi$, en $\bar{X} = \Gamma \backslash \tilde{X}$ de corresponderende eindige overdekking.
  • Voor een n-waardige afbeelding $f$ met een lift $\tilde{f}: \tilde{X} \to F_n(\tilde{X}, \pi)$ (de geordende configuratieruimte), definiëren de auteurs een f-Γ-invariante ondergroep $S \subseteq \Gamma$. Deze ondergroep moet voldoen aan specifieke voorwaarden ten opzichte van de geïnduceerde morfismen van de lift.
  • Hierdoor ontstaat een nieuwe eindige overdekking $\hat{X} = S \backslash \tilde{X}$.
  • De kern van de methode is het construeren van een gesplitste lift $\bar{f} = (\bar{f}_1, \dots, \bar{f}_n): \hat{X} \to F_n(\bar{X}, \pi/\Gamma)$. Dit is een verzameling van $n$ enkelvoudige afbeeldingen $\bar{f}_i: \hat{X} \to \bar{X}$.
• Relatie Vaste Punten en Coïncidenties:
  • Een punt $x \in X$ is een vast punt van de n-waardige afbeelding $f$ dan en slechts dan als er een index $i$ en een element $\bar{\alpha} \in \pi/\Gamma$ bestaat zodat $\bar{\alpha}\bar{f}_i$ en de projectie $q: \hat{X} \to \bar{X}$ een coïncidentie hebben.
  • Hierdoor wordt het probleem van vaste punten van $f$ gereduceerd tot het probleem van coïncidenties van enkelvoudige afbeeldingen tussen $\hat{X}$ en $\bar{X}$.

3. Belangrijkste Bijdragen en Resultaten

De paper levert drie hoofdtypes formules, allemaal gebaseerd op de hierboven beschreven "split lift":

A. Formule voor de Reidemeister-Spoor (Theorem 4.1)

De auteurs bewijzen een exacte gemiddelde formule voor de Reidemeister-spoor $RT(f, \tilde{f})$ van een n-waardige afbeelding.
$$RT(f, \tilde{f}) = \frac{1}{[\pi:S]} \sum_{i=1}^n \sum_{\bar{\alpha} \in \pi/\Gamma} \hat{r}_{\alpha, i} \left( RT(\bar{\alpha}\bar{f}_i, \alpha\tilde{f}_i; q, \text{id}) \right)$$

• Hierbij is $RT(\bar{\alpha}\bar{f}_i, \alpha\tilde{f}_i; q, \text{id})$ de Reidemeister-coïncidentiespoor van de enkelvoudige afbeeldingen.
• De afbeelding $\hat{r}_{\alpha, i}$ is een natuurlijke projectie van de Reidemeister-classes van de coïncidenties naar die van de oorspronkelijke n-waardige afbeelding.
• Significantie: Dit is een exacte formule (geen ongelijkheid), wat een groot verschil is met eerdere pogingen.

B. Formule voor het Lefschetz-getal (Theorem 5.1)

Door de som van de coëfficiënten van de spoorformule te nemen, verkrijgen ze een formule voor het Lefschetz-getal:
$$L(f) = \frac{1}{[\pi:S]} \sum_{i=1}^n \sum_{\bar{\alpha} \in \pi/\Gamma} L(\bar{\alpha}\bar{f}_i, q)$$

• Hierbij is $L(\bar{\alpha}\bar{f}_i, q)$ het Lefschetz-coïncidentiegetal van de enkelvoudige afbeeldingen.

C. Formule voor het Nielsen-getal (Theorem 6.1)

Voor het Nielsen-getal $N(f)$ (het aantal essentiële vaste puntklassen) geldt in het algemeen een ongelijkheid:
$$N(f) \geq \frac{1}{[\pi:S]} \sum_{i=1}^n \sum_{\bar{\alpha} \in \pi/\Gamma} N(\bar{\alpha}\bar{f}_i, q)$$

• Gelijkheid geldt onder specifieke voorwaarden (als de coïncidentie-subgroepen triviaal zijn voor essentiële klassen).

D. Toepassing op Infra-Nilvariëteiten (Theorems 7.1 & 7.3)

Dit is de meest praktische bijdrage. Voor infra-nilvariëteiten (waarbij $X = \pi \backslash G$ en $\bar{X} = \Gamma \backslash G$ een nilvariëteit is):

• De auteurs tonen aan dat de ongelijkheid voor het Nielsen-getal altijd een gelijkheid wordt.
• Ze leiden expliciete formules af die gebruikmaken van determinanten van Lie-algebra morfismen.
  • Lefschetz: $L(f) = \frac{1}{[\pi:\Gamma]} \sum_{i=1}^n \sum_{\bar{\alpha} \in \pi/\Gamma} \det(I - (\tau_\alpha \varphi'_i)_*)$
  • Nielsen: $N(f) = \frac{1}{[\pi:\Gamma]} \sum_{i=1}^n \sum_{\bar{\alpha} \in \pi/\Gamma} |\det(I - (\tau_\alpha \varphi'_i)_*)|$
• Hierbij is $(\tau_\alpha \varphi'_i)_*$ de lineaire afbeelding op het Lie-algebra $\mathfrak{g}$ geïnduceerd door de unieke extensie van de morfismen van de lift.
• Robuustheid: De auteurs bewijzen dat deze formules onafhankelijk zijn van de keuze van de ondergroep $S$, de referentielift $\tilde{f}$, en de representanten $\alpha$.

4. Significatie en Impact

1. Oplossing voor een bestaand probleem: De paper lost het probleem op dat bestaande gemiddelde formules voor n-waardige afbeeldingen niet toepasbaar waren op infra-nilvariëteiten omdat de vereiste liften niet bestonden. De nieuwe methode gebruikt liften naar enkelvoudige afbeeldingen tussen overdekkingen, wat altijd mogelijk is.
2. Praktische berekenbaarheid: Voor infra-nilvariëteiten worden de topologische invarianten gereduceerd tot het berekenen van determinanten van matrixtransformaties. Dit maakt het mogelijk om $L(f)$ en $N(f)$ expliciet en computatie-efficiënt te berekenen voor elke n-waardige afbeelding op deze ruimten.
3. Verbinding van theorieën: De paper creëert een sterke link tussen de vaste punttheorie van n-waardige afbeeldingen en de coïncidentietheorie van enkelvoudige afbeeldingen. Dit opent de deur voor het toepassen van krachtige resultaten uit de coïncidentietheorie op het complexere domein van n-waardige afbeeldingen.
4. Voorbeeld: De auteurs illustreren hun theorie met een concreet voorbeeld op de Klein-fles (een infra-nilvariëteit), waarbij ze de formules succesvol toepassen om $L(f)=1$ en $N(f)=1$ te verkrijgen, wat consistent is met eerdere resultaten maar nu via een meer robuuste methode.

Kortom, dit werk levert een fundamenteel nieuw gereedschap voor de topologische analyse van n-waardige afbeeldingen, met name binnen de context van geometrische groepentheorie en de theorie van nilvariëteiten.