A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line

Dit artikel presenteert een obstructie voor groepen met relatieve eigenschap (T) om op de reële lijn te handelen via bi-Lipschitz-homeomorfismen, uitgedrukt in termen van Lipschitz- en Kazhdan-constanten, en levert hierdoor expliciete onder- en bovengrenzen voor deze constanten bij specifieke groepen.

De kern

Stel je voor dat je een groep mensen hebt die allemaal samenwerken. In de wiskunde noemen we zo'n groep een groep. Soms hebben deze groepen een heel speciale eigenschap: ze zijn zo "stevig" en "vastgezet" dat ze moeilijk te veranderen zijn zonder dat er iets kapot gaat. Wiskundigen noemen dit Property (T) (of "Eigenschap T"). Het is alsof de groep een onzichtbaar, onbreekbaar frame heeft.

Aan de andere kant hebben we de reële lijn (de getallenlijn). Stel je voor dat deze groep mensen probeert om op deze lijn te dansen of te bewegen. Ze kunnen de lijn uitrekken, samendrukken of verschuiven, maar ze moeten het doen op een manier die logisch en continu blijft.

Dit artikel, geschreven door Ignacio Vergara, onderzoekt wat er gebeurt als je deze twee dingen probeert te combineren: een super-stevige groep die probeert te dansen op de getallenlijn.

Hier is de uitleg in simpele taal, met een paar creatieve vergelijkingen:

1. Het probleem: De "Stevige" groep vs. De "Vloeibare" lijn

Stel je voor dat je een groep hebt die zo vastzit in zijn structuur dat je ze niet kunt "rekken" of "trekken" zonder dat ze weer in hun oorspronkelijke vorm springen. Dat is een groep met Property (T).

Nu probeer je deze groep te laten werken op de getallenlijn. Ze mogen de lijn vervormen, maar ze moeten het doen met bi-Lipschitz-homeomorfismen. Wat betekent dat?

• De Analogie: Stel je voor dat je een elastiekje hebt. Als je erop trekt, mag het niet meer dan een bepaalde hoeveelheid rekken (bijvoorbeeld niet meer dan 2 keer zo lang) en niet meer dan een bepaalde hoeveelheid krimpen (niet minder dan de helft). Als je dit doet, noem je het een "bi-Lipschitz" beweging.
• De wiskundigen willen weten: Kan zo'n super-stevige groep (Property T) op de getallenlijn dansen zonder dat het elastiekje uitrekt tot het punt van breken?

2. De ontdekking: Een onmogelijke dans

Vergara ontdekt dat er een fundamenteel conflict is.
Als een groep met Property (T) probeert om op de getallenlijn te bewegen, moet ze de lijn noodzakelijk een beetje uitrekken of samendrukken. Ze kunnen niet "perfect" bewegen alsof ze op een gladde, onveranderlijke vloer lopen.

• De Metafoor: Stel je voor dat je een zware, stalen kist (de groep met Property T) probeert te rollen over een rubberen mat (de getallenlijn). Je kunt de kist niet rollen zonder dat het rubber een beetje vervormt. Hoe "steviger" de kist is (hoe groter de Property T), hoe meer het rubber moet vervormen.
• Vergara bewijst dat als de groep "te stevig" is (Property T), de vervorming van het rubber (de Lipschitz-constante) een bepaalde ondergrens moet hebben. Je kunt niet zomaar met een constante van 1 (geen vervorming) werken. Er is altijd een minimale hoeveelheid "rek" nodig.

3. De meetlat: Kazhdan-constanten

Hoe meet men nu hoe "stevig" de groep is? De auteurs gebruiken een maatstaf die ze de Kazhdan-constante noemen.

• De Vergelijking: Denk aan de Kazhdan-constante als de "stijfheid" van een veer. Hoe hoger de constante, hoe stijver de veer.
• De auteurs vinden een formule die de stijfheid van de veer (Kazhdan) koppelt aan de minimale vervorming van het elastiekje (Lipschitz).
• De conclusie: Als je een groep hebt met een hoge stijfheid (hoge Kazhdan-constante), dan moet de vervorming van de lijn ook groot zijn. Je kunt niet een stijve veer op een elastiekje leggen zonder dat het elastiekje flink uitzet.

4. Een concreet voorbeeld: De "F2 ⋉ Z2" groep

De auteurs kijken naar een specifieke groep, genaamd $F_2 \ltimes \mathbb{Z}^2$. Dit is een complexe constructie, maar het is een bekend voorbeeld van een groep met deze "stevige" eigenschappen.

• Ze berekenen precies hoeveel het elastiekje moet rekken voor deze specifieke groep.
• Het resultaat is verrassend: zelfs voor deze groep moet de vervorming minimaal ongeveer 1,24 zijn. Dat betekent dat als je een punt op de lijn beweegt, het niet zomaar 1 meter kan worden 1,001 meter; het moet minstens 1,24 keer zo ver gaan. Dit is een harde, wiskundige grens.

5. Waarom is dit belangrijk? (De "Orde" vraag)

Er is een groot open vraagstuk in de wiskunde: Bestaat er een groep die zowel "stevig" is (Property T) als "ordelijk" (Orderable)?

• Orde: Een groep is ordelijk als je de elementen in een rijtje kunt zetten (1, 2, 3...) zonder dat de regels van de groep in de war raken. Veel groepen die op de getallenlijn kunnen bewegen, zijn ordelijk.
• Het dilemma: Als een groep ordelijk is, kan hij op de getallenlijn bewegen. Maar als hij ook Property (T) heeft, moet hij de lijn vervormen.
• De conclusie van het artikel: Als zo'n groep bestaat, dan moet de "stijfheid" (Kazhdan-constante) van die groep klein genoeg zijn om nog net op de lijn te passen. Als de groep te stijf is, kan hij niet ordelijk zijn. Dit geeft wiskundigen een nieuwe manier om te testen of dergelijke groepen bestaan: kijk of hun stijfheid binnen de limieten valt die Vergara heeft berekend.

Samenvatting in één zin

Dit artikel laat zien dat te stevige groepen (Property T) niet te soepel op de getallenlijn kunnen bewegen; ze moeten de lijn noodzakelijk een beetje uitrekken, en hoe stijver de groep is, hoe meer de lijn moet rekken. Dit geeft wiskundigen een nieuwe regel om te bepalen welke groepen wel of niet op de getallenlijn kunnen "dansen".

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "A connection between Lipschitz and Kazhdan constants for groups of homeomorphisms of the real line" van Ignacio Vergara, in het Nederlands.

Titel: Een verband tussen Lipschitz- en Kazhdan-constanten voor groepen van homeomorfismen van de reële lijn

Auteur: Ignacio Vergara
Publicatie: arXiv:2407.03579v3 (Dec 2025)

---

1. Het Probleem en Context

Het artikel adresseert een fundamenteel open probleem in de groepentheorie en dynamische systemen: Kan een groep met Eigenschap (T) (Property (T)) getrouw (faithfully) werken op de reële lijn $\mathbb{R}$ door middel van oriëntatiebehoudende homeomorfismen?

• Eigenschap (T): Een groep $G$ heeft Eigenschap (T) als elke unitaire representatie die bijna-invariante vectoren heeft, ook echte invariante vectoren moet hebben. Dit impliceert een zekere "stijfheid" van de groep.
• Ordeerbare groepen: Een groep is links-ordbaar als er een totale orde op bestaat die links-invariant is. Het is bekend dat een groep getrouw op $\mathbb{R}$ kan werken door oriëntatiebehoudende homeomorfismen dan en slechts dan als de groep ordbaar is.
• De spanning: Veel bekende groepen met Eigenschap (T) zijn niet ordbaar. Het is echter onbekend of er enige ordbare groep met Eigenschap (T) bestaat.
• Bi-Lipschitz beperking: Het artikel focust op acties door bi-Lipschitz homeomorfismen met begrenste verplaatsing (bi-Lipschitz homeomorphisms with bounded displacement), aangeduid als $BiLip_{bd}^+(\mathbb{R})$. De auteur onderzoekt of Eigenschap (T) een obstakel vormt voor dergelijke acties, specifiek gerelateerd aan de grootte van de Lipschitz-constanten.

2. Methodologie

De auteur gebruikt een combinatie van representatietheorie, maattheorie en dynamische systemen om kwantitatieve ongelijkheden af te leiden. De kernmethodologie omvat:

1. Koopman-representaties op $L^p$-ruimten:
   De auteur analyseert de actie van een groep $G \subset BiLip_{bd}^+(\mathbb{R})$ via de Koopman-representatie op $L^p(\mathbb{R})$. Voor een element $g$ en een functie $\xi$ wordt de representatie gedefinieerd als:
   $$\pi(g)\xi(x) = \xi(g^{-1}(x)) \cdot (Dg^{-1}(x))^{1/p}$$
   waarbij $Dg$ de afgeleide is.

2. De Mazur-afbeelding:
   Om de eigenschappen van Eigenschap (T) over te brengen van Hilbertruimten ($L^2$) naar $L^p$-ruimten ($p \geq 2$), maakt de auteur gebruik van de Mazur-afbeelding. Dit is een niet-lineaire homeomorfisme tussen de eenheidssferen van $L^q$ en $L^p$ dat orthogonale representaties conjugert. Dit stelt de auteur in staat om kwantitatieve schattingen voor de Kazhdan-constante in $L^p$ af te leiden uit die in $L^2$.

3. Ultralimieten:
   In Sectie 2 wordt bewezen dat als een groep een rij injectieve homomorfismen naar $BiLip_{bd}^+(\mathbb{R})$ toelaat waarbij de Lipschitz-constanten naar 1 convergeren, de groep een niet-triviale homomorfisme naar $(\mathbb{R}, +)$ moet hebben (en dus een oneindige abelse kwotiënt). Dit vormt de basis voor de stelling dat Eigenschap (T) groepen niet willekeurig dicht bij de identiteit kunnen werken met Lipschitz-constanten.

4. Spectrale maattheorie en Shalom's argument:
   Voor het specifieke geval van de semidirecte product $F_2 \ltimes \mathbb{Z}^2$, past de auteur een argument van Y. Shalom toe. Dit omvat het analyseren van projectie-waarde-maten (projection-valued measures) geassocieerd met de representatie van de $\mathbb{Z}^2$-subgroep en het tonen dat bijna-invariante vectoren leiden tot een maat op de torus die bijna invariant is onder de actie van $F_2$. Door een partitie van $\mathbb{R}^2$ te gebruiken, wordt een contradictie afgeleid als de verstoring te klein is.

3. Belangrijkste Bijdragen en Resultaten

Hoofdstelling (Stelling 1.4)

De auteur bewijst een fundamentele ongelijkheid die de maximale Lipschitz-constante van een genererende verzameling $S$ relateert aan de Kazhdan-constante $\kappa(G, \Gamma, S)$ van een paar $(G, \Gamma)$ met Eigenschap (T).

Als $G$ een eindig gegenereerde subgroep is van $BiLip_{bd}^+(\mathbb{R})$ en $\Gamma$ een subgroep zonder globale vaste punten, dan geldt voor elke eindige genererende verzameling $S$:
$$\max_{g \in S} \text{BiLip}(g) \geq \Phi(\kappa(G, \Gamma, S))$$
Waarbij $\Phi: [0, \sqrt{2}) \to [1, \infty)$ een strikt stijgende functie is gedefinieerd als:
$$\Phi(t) = \max \left\{ e^{2t}, 4(2-t^2)^{-2} \right\}$$
Dit betekent dat als een groep Eigenschap (T) heeft, de Lipschitz-constanten van haar actie op $\mathbb{R}$ een ondergrens hebben die afhangt van de "stijfheid" (Kazhdan-constante) van de groep. Ze kunnen niet willekeurig dicht bij 1 liggen.

Toepassing op $F_2 \ltimes \mathbb{Z}^2$ (Stelling 1.6)

Voor het specifieke paar $(F_2 \ltimes \mathbb{Z}^2, \mathbb{Z}^2)$, waarbij $F_2$ de vrije groep op twee generatoren is (realiseerbaar als Sanov-subgroep van $SL_2(\mathbb{Z})$), leidt de auteur een expliciete ondergrens af.
Gegeven een injectief homomorfisme $\sigma: F_2 \ltimes \mathbb{Z}^2 \to BiLip_{bd}^+(\mathbb{R})$ waarbij $\sigma(\mathbb{Z}^2)$ geen globale vaste punten heeft, geldt voor een specifieke genererende verzameling $S$:
$$\max_{g \in S} \text{BiLip}(\sigma(g)) \geq \exp\left( \frac{\sqrt{26}-4}{5} \right) \approx 1.24$$
Dit is een kwantitatieve beperking op hoe "zacht" deze groep op de reële lijn kan werken.

Resultaat voor Ordeerbare Groepen (Corollarium 1.8)

Als een gevolg van de hoofdstelling en een bestaand resultaat van Deroin-Kleptsyn-Navas-Parwani (dat elke ordbare groep in $BiLip_{bd}^+(\mathbb{R})$ kan worden ingebed met Lipschitz-constanten begrensd door de grootte van de genererende verzameling $|S|$), leidt de auteur een bovengrens af voor de Kazhdan-constanten van eventuele ordbare groepen met Eigenschap (T):
$$\kappa(G, \Gamma, S) \leq \Phi^{-1}(|S|)$$
Waarbij $\Phi^{-1}$ de inverse is van de eerder genoemde functie. Dit betekent dat als er een ordbare groep met Eigenschap (T) bestaat, de Kazhdan-constante noodzakelijkerwijs klein moet zijn en afhangt van de grootte van de genererende verzameling.

4. Significantie en Implicaties

• Kwantificering van Stijfheid: Het artikel vertaalt het abstracte concept van Eigenschap (T) naar een concrete, meetbare beperking op de meetkunde van acties op de reële lijn. Het laat zien dat Eigenschap (T) groepen "ruw" moeten werken op $\mathbb{R}$ als ze dat al doen; ze kunnen niet "glad" (met Lipschitz-constante dicht bij 1) werken.
• Beperking voor het Open Probleem: Hoewel het artikel niet direct oplost of er een ordbare groep met Eigenschap (T) bestaat, schraapt het het mogelijke landschap van dergelijke groepen. Het bewijst dat als zo'n groep bestaat, de Kazhdan-constanten voor grote genererende verzamelingen noodzakelijkerwijs klein moeten zijn. Dit biedt een nieuwe test voor mogelijke kandidaat-groepen.
• Technische Innovatie: De combinatie van de Mazur-afbeelding met de Koopman-representatie voor $L^p$-ruimten biedt een krachtig nieuw gereedschap om Eigenschap (T) te bestuderen in de context van niet-lineaire dynamische systemen en groepen van homeomorfismen.
• Relatie met Bestaande Literatuur: Het werk bouwt voort op resultaten van Shalom (over $SL_2(\mathbb{Z}) \ltimes \mathbb{Z}^2$) en Deroin et al., en verduidelijkt de relatie tussen de algebraïsche eigenschap (T) en de analytische eigenschappen van de actie (Lipschitz-constanten).

Samenvattend biedt dit artikel een sterke obstructie voor groepen met Eigenschap (T) om "zacht" op de reële lijn te werken, en levert het kwantitatieve grenswaarden op die essentieel zijn voor het verdere onderzoek naar de relatie tussen Eigenschap (T) en ordbaarheid.