Waring problems across algebra

Dit artikel geeft een overzicht van verschillende Waring-problemen in groepen, Lie-algebra's en associatieve algebra's.

De kern

Waring-problemen in de algebra: Een reis door wiskundige puzzels

Stel je voor dat wiskunde een enorm, onontgonnen landschap is. In 1770 stelde een man genaamd Edward Waring een simpele, maar diepzinnige vraag over dit landschap: "Kan elk getal worden geschreven als de som van een paar derdemachten (of vierdemachten, enzovoort)?"

Hij dacht bijvoorbeeld: "Is elk getal de som van hoogstens 9 derdemachten?" Het antwoord bleek ja te zijn. Dit werd het klassieke Waring-probleem.

De auteurs van dit artikel, Matej Brešar en Consuelo Martínez, nemen je mee op een tocht door de moderne wiskunde. Ze vragen zich af: "Wat gebeurt er als we dit idee niet alleen toepassen op gewone getallen, maar op complexe wiskundige structuren zoals groepen, Lie-algebra's en matrixen?"

Hier is een uitleg in gewone taal, met een paar creatieve vergelijkingen.

1. De Basis: Het "Bouwen" met Woorden

In de wiskunde werken we vaak met "woorden". Dit zijn geen zinnen in een taal, maar formules met variabelen (zoals $x$ en $y$).

• Het idee: Je neemt een formule, bijvoorbeeld $x \cdot y \cdot x^{-1} \cdot y^{-1}$ (een commutator, oftewel een manier om te meten hoe ongelijk twee dingen zijn).
• De actie: Je vult deze formule in met echte getallen of matrixen uit een bepaalde verzameling.
• Het doel: Kijk of je elk mogelijk resultaat in die verzameling kunt maken door een beperkt aantal van deze resultaten bij elkaar op te tellen (of te vermenigvuldigen).

Als je met een beperkt aantal "stapels" (sommen) elk mogelijk resultaat kunt bouwen, noemen we dat elliptisch. Het aantal stapels dat je nodig hebt, heet de breedte (width).

2. Groepen: De Dans van de Elementen

In de wereld van groepen (wiskundige structuren die draaiingen en spiegelingen beschrijven), kijken ze naar een specifieke formule: de commutator.

• De vraag: Kunnen we elk element in een groep zien als het product van slechts een paar commutators?
• De ontdekking: Voor simpele, eindige groepen (zoals de symmetrieën van een veelhoek) bleek het antwoord verrassend simpel: Ja, vaak is 1 genoeg!
  • Vergelijking: Stel je een dansvloer voor waar elke danser een unieke beweging heeft. De onderzoekers ontdekten dat je elke beweging kunt nabootsen door simpelweg twee andere dansers te laten "ruilen" (een commutator). Je hebt geen hele parade nodig; soms is één paar dansers al genoeg om de hele vloer te vullen.
• Het resultaat: Voor heel grote, simpele groepen is het bewezen dat elk element een commutator is. Dit was een enorme doorbraak die decennia lang een raadsel was.

3. Lie-algebra's: De Bouwstenen van de Natuur

Lie-algebra's zijn de wiskundige taal achter de natuurkunde (zoals hoe deeltjes bewegen). Hier kijken ze naar haakjes in plaats van producten.

• De vraag: Kunnen we elk element in deze structuur schrijven als een som van een paar "haakjes" (commutators)?
• De ontdekking: Net als bij groepen, blijkt dat voor bepaalde complexe structuren (zoals die verbonden zijn met pro-p-groepen) de "breedte" vaak heel klein is.
  • Vergelijking: Denk aan een Lego-set. Je wilt weten of je elke mogelijke constructie kunt maken door slechts een paar specifieke Lego-blokjes (de haakjes) aan elkaar te plakken. De auteurs tonen aan dat voor bepaalde sets, je maar een heel klein aantal blokken nodig hebt om alles te bouwen.

4. Associatieve Algebra's: De Matrix-Magie

Dit is misschien het meest visuele deel. Hier werken ze met matrixen (rechthoekige tabellen van getallen).

• De vraag: Als ik een willekeurige formule neem (bijvoorbeeld $x^2$ of $xy - yx$) en ik vul deze in met matrixen, kan ik dan elke matrix in de wereld maken door een paar van deze resultaten bij elkaar op te tellen?
• Het mysterie:
  • Soms is het antwoord 1: Je kunt alles maken met één resultaat (bijvoorbeeld als je formule een "commutator" is).
  • Soms is het 2 of 3: Je moet twee of drie resultaten optellen.
  • Soms is het oneindig: Je kunt bepaalde dingen nooit maken, hoe vaak je ook probeert.
• De L'vov-Kaplansky-gissing: Dit is een beroemde gok in de wiskunde. Ze zeggen: "Als je een 'veelterm' (een formule met meerdere variabelen) gebruikt, dan vormt de verzameling van alle mogelijke resultaten altijd een 'veilig' gebied (een vectorruimte)."
  • Vergelijking: Stel je voor dat je met een magische printer (de formule) kaarten print. De gissing zegt: "Als je deze printer gebruikt, krijg je altijd een perfect rechthoekig veld van kaarten, nooit een rare vorm of een gat." Dit is voor kleine matrixen bewezen, maar voor grotere matrixen is het nog een groot raadsel.

5. De "Breedte" van Commutators

Een specifiek probleem is het tellen van hoe vaak je commutators moet optellen om een matrix te krijgen.

• Voorbeeld: In de wereld van eindige matrixen (bijvoorbeeld 2x2 of 3x3 tabellen) is bewezen dat je maximaal 2 commutators nodig hebt om elke "spoorloze" matrix te maken.
• De verrassing: Bij oneindig grote matrixen (zoals in quantummechanica) kan het zijn dat je er oneindig veel nodig hebt. Het landschap verandert drastisch als je van eindig naar oneindig gaat.

Conclusie: Waarom is dit belangrijk?

Dit artikel is een overzicht van een enorme zoektocht. De onderzoekers proberen te begrijpen hoe "rijk" of "arm" bepaalde wiskundige structuren zijn.

• Kunnen we alles bouwen met weinig bouwstenen? (Kleine breedte = efficiënt).
• Of hebben we een onbeperkt aantal nodig? (Grote breedte = complex).

Het is alsof ze proberen de bouwregels van het universum te decoderen. Of je nu kijkt naar getallen, groepen of matrixen: de vraag blijft hetzelfde. "Hoeveel basisbewegingen heb ik nodig om de hele wereld te beschrijven?"

Hoewel ze veel antwoorden hebben gevonden (zoals het bewijs dat simpele groepen vaak met 1 commutator kunnen worden beschreven), blijven er nog veel mysterieuze hoeken in dit wiskundige landschap die wachten op ontdekking.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Waring Problems Across Algebra" van Matej Brešar en Consuelo Martínez, geschreven in het Nederlands.

Titel: Waring-problemen in Groepen, Lie-algebra's en Associatieve Algebra's

1. Probleemstelling en Context

Het klassieke Waring-probleem, geformuleerd door Edward Waring in 1770, vraagt of elk positief geheel getal $b$ geschreven kan worden als een som van $N$ $n$-de machten ($b = a_1^n + \dots + a_N^n$). David Hilbert bewees in 1909 dat een dergelijk getal $N$ (aangeduid als $g(n)$) altijd bestaat.

De auteurs van dit artikel onderzoeken de algebraïsche generalisatie van dit probleem. In plaats van machten in de ring van gehele getallen, kijken ze naar het "Waring-type" probleem in bredere algebraïsche structuren:

• Groepen: Kan elk element van een groep geschreven worden als een product van een beperkt aantal waarden van een woord $w$?
• Lie-algebra's: Kan elk element van de afgeleide algebra geschreven worden als een som van een beperkt aantal Lie-haakjes (commutatoren)?
• Associatieve algebra's: Kan elk element van een algebra geschreven worden als een lineaire combinatie (of som) van waarden van een polynoom $f$?

Het centrale concept is de breedte (width) van een woord of polynoom: het kleinste getal $N$ zodat elke element in de door de waarden gegenereerde ondergroep/onderruimte geschreven kan worden als een product/som van ten hoogste $N$ elementen uit de beeldverzameling.

2. Methodologie

De auteurs gebruiken een multidisciplinaire aanpak die technieken combineert uit:

• Groepentheorie: Specifiek de theorie van pro-$p$ groepen, residu-p groepen, en de studie van "elliptische" woorden (woorden met eindige breedte).
• Lie-algebra theorie: Gebruik van de lagere centrale rij van groepen om verbindingen te leggen met Lie-algebra's over $\mathbb{Z}_p$.
• PI-theorie (Polynomial Identity): Analyse van polynoomidentiteiten en centrale polynomen in matrixalgebra's.
• Lineaire algebra en meetkunde: Gebruik van karaktertheorie, algebraïsche meetkunde en de theorie van centrale simple algebra's.
• C-algebra's:* Toepassing van structurele resultaten uit de operator-algebra-theorie.

De paper is een survey die bestaande resultaten synthetiseert en nieuwe inzichten biedt, met name door verbanden te leggen tussen de breedte van woorden in groepen en de breedte van polynomen in de bijbehorende algebra's.

3. Belangrijkste Bijdragen en Resultaten

A. Waring-problemen in Groepen

• Definitie: Een woord $w$ is elliptisch op een groep $G$ als de verbaal ondergroep $\langle w(G) \rangle$ gelijk is aan een eindig product van $w(G)$ en zijn inversen. De kleinste $N$ hiervoor is de breedte.
• Eindige Groepen:
  • De Ore-conjectuur (elk element in een eindige simpele groep is een commutator) is bewezen door Liebeck, O'Brien, Shalev en Tiep (2010). Dit impliceert breedte 1 voor het commutatorwoord in deze groepen.
  • Voor willekeurige woorden $w$ in eindige simpele groepen van voldoende grote orde is de breedte begrensd door 3 (Shalev, 2009).
• Oneindige Groepen en pro-$p$ Groepen:
  • Er wordt bewezen dat eindig gegenereerde residu-p torsie-groepen en hun pro-$p$-completies verbally elliptic zijn (Theorema 2.2).
  • Het concept van sterke ellipticiteit wordt geïntroduceerd voor woorden in pro-$p$ groepen. Multilineaire woorden zijn sterk elliptisch op de pro-$p$-completie van eindig gegenereerde residu-p torsie-groepen (Theorema 2.6).

B. Waring-problemen in Lie-algebra's

• Bracket-breedte: Voor een Lie-algebra $L$ is de bracket-breedte het supremum van het aantal termen nodig om elementen in $[L, L]$ te schrijven als sommen van commutatoren.
• Resultaten:
  • Voor de huidige algebra $L \otimes_K A$ (waarbij $L$ een eindig dimensionale simpele Lie-algebra is en $A$ een commutatieve algebra) is de bracket-breedte $\le 2$.
  • Specifiek voor $L = \mathfrak{sl}_2$ en $A = K[[t]]$ is de breedte 1; voor andere typen is deze 2.
• Verband met Groepen: Er wordt een directe link gelegd tussen de ellipticiteit van woorden in pro-$p$ groepen en de ellipticiteit van multilineaire elementen in de bijbehorende Lie-algebra's (Theorema 3.6).
• Nil-algebra's: In eindig gegenereerde nil-algebra's is elke niet-nul multilineaire element sterk elliptisch (Theorema 3.9 en 3.10).

C. Waring-problemen in Associatieve Algebra's

• Definitie: De Waring-constante $W_A$ van een algebra $A$ is het supremum van de breedte $W_{f,A}$ over alle polynomen $f$. $W_{f,A}$ is het kleinste $N$ zodat elke element in de lineaire span van $f(A)$ een lineaire combinatie is van $N$ elementen uit $f(A)$.
• Matrixalgebra's ($M_n(K)$):
  • Voor de commutator $[X_1, X_2]$ is de breedte 1 als $K$ een veld is (elk spoor-0 matrix is een commutator).
  • Voor algemene polynomen $f$ die geen identiteit of centrale polynoom zijn, is de breedte eindig.
  • Boven- en ondergrenzen: Voor $M_n$ is de breedte $W_{M_n}$ begrensd door 5 (Theorema 4.5), maar voor specifieke polynomen (zoals 2-centrale polynomen) kan de breedte $\ge 3$ zijn.
  • Voor grote $n$ geldt dat de beeldverzameling van een niet-constante polynoom bijna de hele algebra beslaat: elke niet-scalaire matrix is een lineaire combinatie van twee elementen uit $f(M_n)$ (Theorema 4.7).
• L'vov-Kaplansky Vermoeden:
  • Dit vermoeden stelt dat voor elke multilineaire polynoom $f$, de beeldverzameling $f(M_n(K))$ een vectorruimte is (d.w.z. breedte 1).
  • Het is bewezen voor $n=2$ (over kwadratisch gesloten velden) en voor polynomen van graad $\le 3$ (over algebraïsch gesloten velden van karakteristiek 0). Voor $n > 3$ en hogere graden blijft het een open probleem.
• Commutator-breedte in Oneindige Dimensionale Algebra's:
  • Er bestaan simple algebra's met oneindige commutator-breedte (Theorema 4.12).
  • Er bestaan divisie-algebra's met commutator-breedte 2.
• Product van Commutatoren:
  • Voor het product van twee commutatoren $h = [X_1, X_2][X_3, X_4]$ is de breedte in matrixalgebra's over een veld gelijk aan 1.
  • Voor divisie-algebra's is de breedte $\le 2$, maar het is open of deze altijd 1 is.
• Multiplicatieve Waring-problemen:
  • Elementen kunnen ook geschreven worden als producten van waarden van polynomen. Voor grote $n$ is elke inverteerbare niet-scalaire matrix een product van twee waarden van polynomen. Elke matrix is een product van 12 waarden van een polynoom met een nulpunt (Theorema 4.17).

4. Significatie

Deze paper biedt een omvattend overzicht van de stand van zaken rondom Waring-problemen in de moderne algebra. De belangrijkste bijdragen zijn:

1. Unificatie: Het toont de diepe connecties tussen problemen in groepentheorie (ellipticiteit van woorden) en algebra (breedte van polynomen), vooral via de theorie van pro-$p$ groepen en hun bijbehorende Lie-algebra's.
2. Kwantificering: Het levert scherpe boven- en ondergrenzen voor de breedte van polynomen in matrixalgebra's, wat essentieel is voor het begrijpen van de structuur van deze algebra's.
3. Open Problemen: Het identificeert cruciale open vragen, zoals de volledige oplossing van het L'vov-Kaplansky vermoeden voor $n > 2$ en de exacte waarde van de commutator-breedte in eindig dimensionale simpele algebra's.
4. Methodologische Diversiteit: Het demonstreert hoe technieken uit verschillende takken van de wiskunde (van karaktertheorie tot operator-algebra's) noodzakelijk zijn om deze fundamentele vragen te beantwoorden.

Samenvattend vult dit artikel de literatuur aan door de versnippering van Waring-problemen in verschillende algebraïsche domeinen samen te brengen in één coherent kader, waarbij zowel historische resultaten als de meest recente doorbraken worden belicht.