On amenability constants of Fourier algebras: new bounds and new examples

Dit artikel levert met behulp van niet-abeliaanse Fourier-analyse een scherpere bovengrens voor de amenabiliteitsconstante van de Fourier-algebra van discrete groepen en presenteert nieuwe voorbeelden van groepen waarvoor deze constante expliciet kan worden berekend, wat het vermoeden ondersteunt dat Runde's ondergrens een gelijkheid is.

De kern

Stel je voor dat je een groep mensen hebt die samenwerken, zoals een band, een sportteam of een familie. In de wiskunde noemen we zo'n groep een groep (in de zin van groepentheorie). Deze groepen hebben een eigen "muziek" of "taal" die ze spreken, die we de Fourier-algebra noemen. Deze algebra is als een soort vingerafdruk: hij onthoudt niet alleen wie de mensen zijn, maar ook hoe ze met elkaar omgaan (de structuur van de groep).

Sommige groepen zijn heel "vriendelijk" en makkelijk te analyseren; wiskundigen noemen dit amenabel (van het Franse amener, wat "leiden" of "brengen" betekent, maar hier staat het voor "makkelijk te hanteren"). Andere groepen zijn chaotisch en lastig.

De vraag die deze auteurs (Y. Choi en M. Ghandehari) beantwoorden, is: Hoe moeilijk is het om een specifieke groep te analyseren?

Om dit te meten, gebruiken ze een getal: de amenabiliteitsconstante.

• Als dit getal 1 is, is de groep supermakkelijk (zoals een rechte lijn of een abelse groep).
• Als het getal oneindig is, is de groep volledig onmogelijk te analyseren op deze manier.
• Als het getal ergens tussenin ligt (bijvoorbeeld 2,5), is de groep "netjes" maar niet perfect.

Het probleem: De formule ontbreekt

Voor kleine, eindige groepen (zoals een groep van 10 mensen) hebben wiskundigen al lang een perfecte formule om dit getal te berekenen. Het is als het oplossen van een simpele som: je telt de verschillende manieren waarop de mensen kunnen samenwerken en je hebt je antwoord.

Maar voor oneindige groepen (zoals de hele verzameling van gehele getallen of complexe symmetrieën) was er geen formule. We hadden alleen ruwe schattingen: een ondergrens (het kan niet kleiner dan X zijn) en een bovengrens (het kan niet groter zijn dan Y). De echte waarde zat ergens in het midden, maar niemand wist precies waar.

De nieuwe ontdekking: Een scherper mes

De auteurs van dit paper hebben een nieuw, scherper instrument ontwikkeld. Ze hebben een beter bovengrens gevonden voor een specifieke soort groepen: de discrete groepen (denk aan groepen met losse, afzonderlijke elementen, zoals de gehele getallen).

Hun nieuwe formule is als een precieze meetlat in plaats van een ruwe schatting. Ze zeggen: "We weten nu dat het getal voor deze groepen nooit hoger kan zijn dan deze specifieke waarde."

De grote gok: De onder- en bovengrens zijn gelijk

Er is een grote hypothese (een gok) in de wiskunde die zegt: "Voor elke groep is de ondergrens en de bovengrens voor dit getal eigenlijk hetzelfde getal."
Stel je voor dat je een doos hebt en je weet dat er iets tussen 10 en 12 gram weegt. De hypothese zegt: "Het weegt precies 11 gram."
De auteurs hebben bewezen dat hun nieuwe, scherpe bovengrens precies gelijk is aan de ondergrens voor een aantal nieuwe, interessante groepen. Dit is als bewijzen dat de doos inderdaad precies 11 gram weegt.

De nieuwe voorbeelden: De Heisenberg-groepen

Om hun theorie te testen, hebben ze gekeken naar groepen die gebaseerd zijn op de Heisenberg-groep.

• De analogie: Stel je een 3D-ruimte voor. Je kunt je verplaatsen naar voren/achteren (x), links/rechts (y) en omhoog/omlaag (z). In de "Heisenberg-wereld" is het echter zo dat als je eerst naar voren en dan naar links loopt, je op een iets andere plek eindigt dan als je eerst naar links en dan naar voren loopt. Er is een kleine "twist" in de ruimte.
• De auteurs hebben gekeken naar deze groepen, maar dan gebaseerd op getallen uit de gehele getallen (discreet) en de p-adische getallen (een vreemd soort getallenstelsel dat lijkt op een oneindig uitdijende boomstructuur).

Ze hebben berekend dat voor deze groepen de "moeilijkheidsgraad" (de constante) precies gelijk is aan een mooi getal: $p - 1 + \frac{1}{p}$ (waarbij $p$ een priemgetal is, zoals 2, 3, 5...).

Waarom is dit belangrijk?

1. Het bevestigt een theorie: Het geeft sterk bewijs dat de grote gok (dat onder- en bovengrens altijd gelijk zijn) waar is.
2. Het breekt oude patronen: Vroeger wisten we dit alleen voor groepen die simpelweg een "eindige groep" gecombineerd met een "heel simpele groep" waren. Nu hebben ze bewezen dat het ook geldt voor deze veel complexere, "twistige" Heisenberg-groepen.
3. Het werkt als een puzzelstukje: Ze tonen aan dat je de moeilijkheidsgraad van een enorme, oneindige groep kunt begrijpen door te kijken naar kleinere, telbare stukjes ervan. Het is alsof je de smaak van een hele grote soep kunt proeven door een lepel te nemen, in plaats van de hele pot te drinken.

Samenvatting in één zin

De auteurs hebben een nieuwe, nauwkeurigere manier gevonden om de "moeilijkheidsgraad" van complexe wiskundige groepen te meten, en hebben bewezen dat voor een aantal nieuwe, interessante groepen deze graad precies gelijk is aan wat we al vermoedden, wat een belangrijke stap is in het oplossen van een langdurig wiskundig raadsel.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "On amenability constants of Fourier algebras: new bounds and new examples" van Y. Choi en M. Ghandehari, geschreven in het Nederlands.

Titel: Over amenabiliteitsconstanten van Fourier-algebra's: nieuwe grenzen en nieuwe voorbeelden

Auteurs: Y. Choi, M. Ghandehari
Datum: 10 februari 2026

---

1. Probleemstelling en Achtergrond

Het artikel richt zich op de amenabiliteitsconstante $AM(A(G))$ van de Fourier-algebra $A(G)$ van een lokaal compacte groep $G$. De Fourier-algebra is een Banach-algebra die zowel de topologische structuur als de groepsstructuur van $G$ codeert.

• Definitie: Een Banach-algebra $A$ is amenabel als er een begrensde benaderingsdiagonaal bestaat. De amenabiliteitsconstante $AM(A)$ is het infimum van de supremum-normen van zulke netten. $A$ is amenabel dan en slechts dan als $AM(A) < \infty$.
• Bestaande kennis:
  • Voor eindige groepen $G$ gaf Johnson (1994) een expliciete formule:
    $$AM(A(G)) = \frac{1}{|G|} \sum_{\pi \in \widehat{G}} (d_\pi)^3$$
    waarbij $d_\pi$ de graad is van de irreducibele representatie $\pi$.
  • Voor oneindige groepen is geen algemene formule bekend. Runde (2006) gaf onder- en bovengrenzen:
    $$1 \leq AD(G) \leq AM(A(G)) \leq \maxdeg(G)$$
    Hierbij is $AD(G)$ de Fourier-Stieltjes-norm van de anti-diagonaal in $G \times G$, en $\maxdeg(G)$ het supremum van de graden van irreducibele unitaire representaties.
• Het centrale probleem: Er is een significant kennisgat over het exact berekenen van $AM(A(G))$ voor oneindige niet-abelse groepen. Een belangrijke open vraag is of $AM(A(G_1 \times G_2)) = AM(A(G_1))AM(A(G_2))$.
• De Conjecture: De auteurs focussen op de conjecture (Conjecture 1.2) dat voor elke lokaal compacte groep $G$ geldt:
  $$AM(A(G)) = AD(G)$$
  Tot nu toe was dit alleen bewezen voor eindige groepen en "degenerere" gevallen (zoals abelse groepen of groepen waarvoor $AD(G) = \maxdeg(G)$).

2. Methodologie

De auteurs combineren niet-abelse Fourier-analyse, operatorruimte-theorie en structurele eigenschappen van groepen om nieuwe resultaten te verkrijgen.

1. Verbeterde Bovengrens voor Discrete Groepen:

   • Ze bewijzen dat voor discrete, virtueel abelse groepen de bovengrens van Runde ($\maxdeg(G)$) kan worden verscherpt. Ze gebruiken de niet-commutatieve Fourier-transformatie en een "bootstrapping"-argument om het probleem te reduceren tot het telbare geval.
   • Ze maken gebruik van de Plancherel-maat $\nu$ op het dual $\widehat{G}$ en analyseren de normen van tensorproducten van Fourier-algebra's via operator-waardige Fourier-coëfficiënten.

2. Reductie tot Telbare Subgroepen:

   • Een cruciale techniek is het bewijzen dat voor elke discrete groep $G$ een telbare ondergroep $\Gamma \leq G$ bestaat zodat $AM(A(G)) = AM(A(\Gamma))$. Dit stelt hen in staat resultaten voor telbare groepen (waar de Plancherel-formule goed gedefinieerd is) toe te passen op algemene discrete groepen.

3. Constructie van Nieuwe Voorbeelden:

   • Ze analyseren specifieke groepen afgeleid van de Heisenberg-groep over de gehele getallen $\mathbb{Z}$ en de $p$-adische gehele getallen $\mathbb{Z}_p$.
   • Voor compacte profijne groepen (zoals $H_{rp}(\mathbb{Z}_p)$) gebruiken ze inverse limieten van eindige groepen om de constante te benaderen via Johnson's formule voor de eindige benaderingen.

3. Belangrijkste Resultaten

A. Een Scherpere Bovengrens (Theorema 4.1)

Voor een discrete, virtueel abelse groep $G$ bewijzen ze de volgende scherpe bovengrens:
$$AM(A(G)) \leq 1 + (\maxdeg(G) - 1) \left( 1 - \frac{1}{|[G, G]|} \right)$$
waarbij $[G, G]$ de commutatorondergroep is. Als $[G, G]$ oneindig is, is de term $1/|[G, G]|$ gelijk aan 0.

• Dit resultaat is verrassend omdat de oorspronkelijke afleiding voor eindige groepen (Johnson's formule) niet direct toepasbaar is op oneindige groepen. De nieuwe bewijsvoering maakt gebruik van de Plancherel-maat en de structuur van de Fourier-algebra.

B. Groepen met Twee Representatiegraden (Theorema 1.8)

Als $G$ een telbare groep is waarvan de graden van irreducibele representaties slechts twee waarden aannemen: $\{1, d\}$, dan geldt:
$$AM(A(G)) = AD(G) = 1 + (d - 1) \left( 1 - \frac{1}{|[G, G]|} \right)$$
Dit bevestigt de conjecture $AM(A(G)) = AD(G)$ voor deze klasse van groepen.

C. Minimale Waarde voor Discrete Groepen (Theorema 1.9)

Voor discrete niet-abelse groepen $G$ met $|G : Z(G)| = 4$ (waarbij $Z(G)$ de centrum is), geldt:
$$AM(A(G)) = \frac{3}{2}$$
Dit is de minimale mogelijke waarde voor een niet-abelse groep en bevestigt de conjecture voor deze specifieke klasse.

D. Nieuwe Voorbeelden: Heisenberg-quotiënten (Theorema 1.7)

De auteurs introduceren twee nieuwe groepen, $H_{rp}(\mathbb{Z})$ (discreet) en $H_{rp}(\mathbb{Z}_p)$ (compact), die quotiënten zijn van Heisenberg-groepen.

• Voor beide groepen geldt:
  $$AM(A(G)) = AD(G) = p - 1 + p^{-1}$$
• Belangrijk: Deze groepen zijn niet isomorf met producten van een eindige groep en een $AD$-maximale groep (een eerdere klasse van bekende voorbeelden). Dit toont aan dat de conjecture geldt voor een veel bredere en "natuurlijkere" klasse van groepen dan eerder bekend was.

E. Functoren en Producten

• Ze bewijzen dat $AM(A(\cdot))$ multiplicatief is voor producten met abelse groepen.
• Ze tonen aan dat als de conjecture geldt voor alle telbare groepen, deze ook geldt voor alle discrete groepen (Corollary 1.4).

4. Significance en Impact

1. Bevestiging van de Conjecture: Het artikel levert sterke empirische en theoretische bewijzen voor de conjecture dat $AM(A(G)) = AD(G)$ voor alle lokaal compacte groepen. De nieuwe voorbeelden vullen een gat in de kennis, aangezien eerdere resultaten beperkt waren tot eindige groepen of zeer specifieke constructies.
2. Verbinding met Vraag 1.1: Als de conjecture waar is, volgt hieruit dat $AM(A(G_1 \times G_2)) = AM(A(G_1))AM(A(G_2))$ voor alle groepen. Dit zou een fundamenteel probleem in de theorie van Banach-algebra's oplossen.
3. Technische Innovatie: De methode om de bovengrens voor oneindige groepen te verbeteren door gebruik te maken van de Plancherel-maat en tensorproduct-normen, opent nieuwe wegen voor het analyseren van amenabiliteitsconstanten in de niet-abelse harmonische analyse.
4. Classificatie: De resultaten helpen bij het classificeren van groepen op basis van hun amenabiliteitsconstante, met name door de relatie tussen de commutatorondergroep, de centrum en de representatiegraden te kwantificeren.

Conclusie

Choi en Ghandehari hebben een doorbraak geboekt in het begrip van amenabiliteitsconstanten van Fourier-algebra's. Door een scherpere bovengrens te bewijzen voor discrete virtueel abelse groepen en deze toe te passen op nieuwe, niet-triviale voorbeelden (Heisenberg-groepen), hebben ze de conjecture dat $AM(A(G)) = AD(G)$ aanzienlijk versterkt. Hun werk suggereert dat de ondergrens $AD(G)$ niet alleen een theoretische schatting is, maar de exacte waarde van de constante voor een brede klasse van groepen.