$S$-arithmetic groups acting simply transitively on products of Bruhat-Tits trees

Technische Samenvatting: S-arithmetische groepen die simpel transitief handelen op producten van Bruhat–Tits-bomen

Probleemstelling
Het artikel behandelt een vraag gesteld door Lubotzky over het bestaan van simpel transitieve handelingen door $p$-arithmetische groepen op de knopen van Bruhat–Tits-bomen. Terwijl Margulis en Lubotzky–Phillips–Sarnak (LPS) vaststelden dat bepaalde arithmetische groepen transitief handelen op deze bomen, en dat hoofdcongruentie-subgroepen vaak simpel transitief handelen, bleef een algemene methode voor het construeren van dergelijke simpel transitieve subgroepen voor maximale orden van klasse-getal één in totaal definitieve quaternionenalgebra's over willekeurige getalvelden open.

Het probleem breidt zich uit naar hogere dimensies: het construeren van $S$-arithmetische roosteren die simpel transitief handelen op producten van Bruhat–Tits-bomen (specifiek, producten van bomen met dezelfde valentie). Dergelijke handelingen zijn cruciaal voor het genereren van Ramanujan Cayley-grafen en Ramanujan Cayley reguliere kubische complexen, die toepassingen hebben in de coderingstheorie en bij de studie van roosteren die handelen op producten van bomen (Burger–Mozes groepen).

Methodologie
De auteurs maken gebruik van een combinatie van arithmetische classificatie, eindige groepentheorie en computationele algebra om het probleem op te lossen.

1. Classificatie van orden: Het werk steunt op de classificatie van totaal definitieve quaternionenalgebra's met maximale orden van klasse-getal één, zoals geënumereerd door Kirschmer en Voight. Dit levert een eindige lijst van algebra's over getalvelden van graad ten hoogste 5.
2. Complementaire triples: De kern van de technische innovatie is de introductie van complementaire triples $(T, \pi, H)$.
   • $T$ is een verzameling ramifieerde priemidealen.
   • $\pi$ is een injectieve homomorfisme van de $T$-arithmetische groep $\Gamma_{O,T}$ naar een eindige groep $G$ (doorgaans een reductie modulo een ideaal $C$).
   • $H$ is een subgroep van $G$ die complementair is aan het beeld $\pi(\Gamma_{O,T})$ (d.w.z. $H \cap \pi(\Gamma_{O,T}) = \{1\}$ en $H \cdot \pi(\Gamma_{O,T}) = G$).
   • Het bestaan van een dergelijke triple maakt de constructie van een subgroep $\Gamma = \pi^{-1}(H)$ mogelijk die simpel transitief handelt op de knopen van het product van bomen.
3. Eindige groepberekeningen: De auteurs maken gebruik van het computeralgebrasysteem Magma om:
   • Eenheden en normalisatoren te enumereren voor de specifieke orden in de Kirschmer–Voight classificatie.
   • Permutatievoorstellingen van de eindige quotienten $G[C]$ te berekenen.
   • Te zoeken naar complementaire subgroepen $H$ binnen deze eindige groepen.
   • Torsievrijheid te verifiëren met behulp van torsie-obstruction sets afgeleid van spoor-nul elementen en gereduceerde normen.
4. Metacommutatie: Het artikel maakt gebruik van de theorie van metacommutatie (Chari) om expliciete presentaties voor de resulterende roosteren af te leiden, waardoor wordt gegarandeerd dat zij de noodzakelijke Cayley-structuur bezitten.

Belangrijkste Bijdragen en Resultaten

• Theorem A (Enkele boom-geval): Voor elk totaal reëel getalveld $K$, totaal definitieve quaternionenalgebra $B/K$, en maximale orde $O$ van klasse-getal één, bestaat er een congruentie-arithmetisch rooster $\Gamma$ dat commensurabel is met $\Gamma_{O,p}$ en dat simpel transitief handelt op de knopen van de Bruhat–Tits-boom $T(K_p)$ voor bijna alle priemidealen $p$. Dit bevestigt de vraag van Lubotzky positief voor deze klasse van orden.
• Theorem B (Product van bomen): Het resultaat wordt uitgebreid naar $S$-arithmetische settings. Voor elke eindige verzameling priemidealen $S$ (disjunct van een vaste eindige verzameling), bestaat er een congruentie-rooster dat simpel transitief handelt op het product van bomen $T_{S_0} = \prod_{p \in S_0} T(K_p)$.
• Theorem C (Dezelfde valentie): De auteurs construeren oneindig veel $S$-arithmetische roosteren afgeleid van quaternionenalgebra's over getalvelden die simpel transitief handelen op een product van $n$ bomen van de dezelfde valentie voor $1 \leq n \leq 5$. Dit levert de eerste expliciete voorbeelden van irreducibele arithmetische groepen met deze eigenschap die gedefinieerd zijn over getalvelden (voorheen alleen bekend in positieve karakteristiek via Stix en Vdovina).
• Torsievrijheid: Het artikel stelt criteria vast (Proposition 43) om te garanderen dat de geconstrueerde roosteren torsievrij zijn door de intersectie van het beeld van de groep met de verzameling van spoor-nul gereduceerde normen in eindige quotienten te analyseren. Theorem 50 bewijst dat er voor definitieve klasse-getal één algebra's over $\mathbb{Q}$ oneindig veel torsievrije $S$-arithmetische groepen voortvloeien uit deze constructies.
• Expliciete Presentaties: Het artikel biedt expliciete groepspresentaties voor deze roosteren (bijv. Voorbeelden 18 en 19), waarbij wordt gedemonstreerd hoe metacommutatie-relaties de groepsstructuur definiëren.

Betekenis
Het artikel claimt betekenis op verschillende gebieden:

1. Oplossing van een Open Probleem: Het beantwoordt de vraag van Lubotzky over het bestaan van simpel transitieve handelingen voor maximale orden van klasse-getal één, een probleem dat grotendeels open was gebleven.
2. Nieuwe Voorbeelden van Ramanujan-objecten: De constructies leveren oneindige families van nieuwe Ramanujan Cayley-grafen en Ramanujan Cayley reguliere kubische complexen op. Deze zijn significant in de spectrale grafentheorie en de studie van hoog-dimensionale expanders.
3. Arithmetische Roosteren op Producten van Bomen: Door voorbeelden te bieden over getalvelden waar de boomfactoren dezelfde valentie hebben, vult het werk een gat in de theorie van roosteren die handelen op producten van bomen (Burger–Mozes groepen), die voorheen sterk leunden op functiekroon-analogen of specifieke gevallen over $\mathbb{Q}$ met verschillende valenties.
4. Computationele Classificatie: Het artikel biedt een volledige computationele classificatie van minimale complementaire triples voor de 49 totaal definitieve quaternionenalgebra's van klasse-getal één geïdentificeerd door Kirschmer en Voight, wat dient als een fundamentele bron voor het construeren van dergelijke groepen.
5. Verbindingen met Andere Gebieden: De auteurs merken de relevantie van deze constructies op voor de niet-archimedische uniformisering van complexe oppervlakken, de studie van Ramanujan-subshifts, en de ontwikkeling van lossless vertex expanders en potentiële quantum locally testable codes.

Het werk wordt gepresenteerd als een rigoureuze arithmetische constructie, die steunt op de classificatie van orden en eindige groepberekeningen, zonder nieuwe experimentele protocollen of ongeverifieerde toepassingen voor te stellen buiten de gevestigde verbindingen met coderingstheorie en expanders die in de introductie worden genoemd.