Commuting probability of skew left braces

Titel: Commuteringswaarschijnlijkheid van Schuine Linker Braces

Auteurs: Susanta Mondal en Manoj K. Yadav

1. Probleemstelling en Achtergrond

De commuteringswaarschijnlijkheid (vaak aangeduid als $P(G)$) van een eindige groep $G$ is gedefinieerd als de kans dat twee willekeurig gekozen elementen uit de groep commuteren. Dit concept, geïntroduceerd door Erdős en Turán en verder ontwikkeld door Gustafson, is een fundamenteel meetinstrument in de groeps-theorie. Het is bekend dat voor niet-abelse eindige groepen $P(G) \leq 5/8$, met uitzondering van de waarde $3/4$ die optreedt in specifieke gevallen.

Het doel van dit artikel is het introduceren van een analoog concept voor schuine linker braces (skew left braces). Een schuine linker brace is een verzameling $B$ uitgerust met twee groepsstructuren, $(B, +)$ (de additieve groep) en $(B, \circ)$ (de multiplicatieve groep), die voldoen aan de voorwaarde:
$$a \circ (b + c) = (a \circ b) - a + (a \circ c)$$
waarbij $-a$ het inverse element is in $(B, +)$. Deze structuren spelen een cruciale rol in de studie van verzameling-theoretische oplossingen van de kwantum Yang-Baxter-vergelijking. De auteurs willen de beperkingen en eigenschappen van de commuteringswaarschijnlijkheid voor deze algebraïsche structuren vaststellen, zowel voor eindige als oneindige gevallen.

2. Methodologie

De auteurs hanteren een combinatie van algebraïsche analyse, meetkunde van groepen en maattheorie:

• Definitie van Commuteringswaarschijnlijkheid ($P_b(B)$):
  • Voor eindige braces: Gedefinieerd als de verhouding van het aantal paren $(x, y) \in B \times B$ die commuteren in zowel de additieve als de multiplicatieve structuur (d.w.z. $x+y-x-y = x \circ y \circ x^{-1} \circ y^{-1} = 1$) tot het totale aantal paren $|B|^2$.
  • Voor oneindige braces: De auteurs introduceren het concept van een compacte Hausdorff topologische schuine linker brace. Ze gebruiken een unieke Haar-maat $\mu$ (die zowel voor de additieve als multiplicatieve groep geldt) om de commuteringswaarschijnlijkheid te definiëren als $(\mu \times \mu)(Z)$, waarbij $Z$ de gesloten verzameling is van commuterende paren.
• Structuurtheorie: Er wordt gebruik gemaakt van concepten zoals:
  • Brace-centralisatoren ($C_bB(x)$): De verzameling elementen die commuteren met $x$ in beide structuren.
  • Annihilator ($Ann(B)$) en Socle ($Soc(B)$): Idealen die essentieel zijn voor de filtratie van de brace.
  • Nilpotentie: Onderzocht via de annihilatorreeks en de lagere centrale reeks.
  • Isoclinisme: Een equivalentierelatie tussen braces die de structuur van de commutator en de quotiëntgroep behoudt.
• Topologische Methoden: Voor oneindige braces worden eigenschappen van Borel-meetbare verzamelingen en eigenschappen van compacte topologische groepen gebruikt om limieten en dichtheden te analyseren.

3. Belangrijkste Bijdragen en Resultaten

A. Eindige Schuine Braces

1. Boven- en Ondergrenzen:
   • De auteurs bewijzen dat voor elke niet-triviale eindige schuine brace $B$, de commuteringswaarschijnlijkheid $P_b(B) \leq 3/4$.
   • Er wordt aangetoond dat er geen schuine brace bestaat met een commuteringswaarschijnlijkheid in het open interval $(5/8, 1)$, behalve de waarde $3/4$. Dit is een direct analoog aan het bekende resultaat voor groepen.
   • Een expliciet voorbeeld wordt geconstrueerd waar $P_b(B) = 3/4$.
2. Karakterisatie van Specifieke Waarden:
   • $P_b(B) = 3/4$ dan en slechts dan als de orde van de quotiëntbrace $B/Ann(B)$ gelijk is aan 2.
   • $P_b(B) = 5/8$ dan en slechts dan als zowel de additieve als de multiplicatieve groep van $B/Ann(B)$ isomorf zijn met $\mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z}$.
3. Nilpotentie en Commuteringswaarschijnlijkheid:
   • Een cruciaal resultaat is dat elke eindige schuine brace met $P_b(B) > 65/128$ noodzakelijkerwijs nilpotent is. Dit generaliseert het resultaat voor groepen (waar $P(G) > 5/8$ abels impliceert, en hier leidt het tot nilpotentie).
4. Isoclinisme:
   • Het wordt bewezen dat de commuteringswaarschijnlijkheid invariant is onder isoclinisme van schuine braces. Dit betekent dat braces binnen dezelfde isoclinisme-klasse dezelfde commuteringswaarschijnlijkheid hebben.

B. Oneindige (Topologische) Schuine Braces

1. Topologische Definitie:
   • De auteurs definiëren commuteringswaarschijnlijkheid voor compacte Hausdorff topologische braces.
   • Ze bewijzen dat de verzameling $FCI(B)$ (elementen met een eindige index van de centralisator) een Borel-ondergroep is van $(B, \circ)$.
2. Grensvoorwaarden voor Oneindige Gevallen:
   • Ook voor niet-triviale oneindige braces geldt dat $3/4$ de bovengrens is.
   • $3/4$ is het enige rationale getal in het interval $(5/8, 1)$ dat als commuteringswaarschijnlijkheid kan optreden.
   • Er wordt bewezen dat $P_b(B) > 0$ dan en slechts dan als $FCI(B)$ een open verzameling is in $B$.
3. Voorbeeld:
   • Er wordt een expliciet voorbeeld gegeven van een oneindige niet-triviale brace met $P_b(B) = 3/4$, geconstrueerd als het product van een triviale brace en een eindige brace met $P_b = 3/4$.

4. Significatie en Impact

Dit artikel is significant omdat het:

• Een brug slaat tussen de theorie van schuine braces en de klassieke theorie van commuteringswaarschijnlijkheid in groepen.
• Fundamentele grenzen vaststelt die de structuur van schuine braces beperken. Het feit dat waarden tussen $5/8$ en $1$ (behalve $3/4$) niet voorkomen, suggereert een sterke restrictie op de "niet-commutatieve" aard van deze structuren.
• Verbanden legt tussen algebraïsche eigenschappen (zoals nilpotentie) en probabilistische maten. De stelling dat $P_b(B) > 65/128$ nilpotentie impliceert, biedt een krachtig criterium voor het classificeren van deze structuren.
• De theorie uitbreidt naar de oneindige dimensie door het gebruik van topologische methoden en maattheorie, wat nieuwe inzichten biedt in de structuur van compacte braces.

Samenvattend introduceert dit werk een robuust raamwerk voor het meten van commutativiteit in schuine braces en levert het diepgaande structurele inzichten die vergelijkbaar zijn met, maar uniek zijn voor, deze algebraïsche objecten.