On cyclic invariants of the free associative algebra

Titel: Over cyclische invarianten van de vrije associatieve algebra

Auteurs: Silvia Boumova en Vesselin Drensky
Trefwoorden: Niet-commutatieve invariantentheorie, vrije associatieve algebra, cyclische groep, Hilbert-serie, S-algebra, Kharchenko-Koryukin actie.

---

1. Probleemstelling en Achtergrond

Het artikel behandelt de structuur van de algebra van invarianten $K\langle X_d \rangle^G$ onder de werking van een ondergroep $G$ van de lineaire groep $GL_d(K)$, waarbij $K\langle X_d \rangle$ de vrije associatieve algebra is van rang $d \geq 2$ over een veld $K$ van karakteristiek 0.

In de klassieke (commutatieve) invariantentheorie is de algebra van invarianten $K[X_d]^G$ goed begrepen: voor eindige groepen is deze eindig gegenereerd (Noether), en voor reductieve groepen is de structuur vaak een polynoomalgebra (Chevalley-Shephard-Todd). In de niet-commutatieve setting (vrije associatieve algebra) is de situatie echter fundamenteel anders:

• De algebra van invarianten $K\langle X_d \rangle^G$ is altijd een vrije algebra (Lane, Kharchenko).
• Echter, voor eindige groepen $G$ is $K\langle X_d \rangle^G$ niet eindig gegenereerd als gewone algebra, tenzij $G$ uitsluitend uit scalaire matrices bestaat (Dicks, Formanek, Kharchenko).

Om dit probleem van eindige generatie in de niet-commutatieve context te omzeilen, introduceerde Kharchenko een extra actie van de symmetrische groep $Sym(n)$ op de homogene componenten van graad $n$. Hierdoor wordt $K\langle X_d \rangle$ een S-algebra. Koryukin bewees later dat de algebra van invarianten $(K\langle X_d \rangle^G, \circ)$ wel eindig gegenereerd is als S-algebra voor elke reductieve groep $G$.

Het specifieke doel van dit artikel is het bestuderen van het geval waarbij $G$ de cyclische groep $C_d$ is (gegenereerd door cyclische verschuiving van variabelen $x_1 \to x_2 \to \dots \to x_d \to x_1$). De auteurs willen:

1. De Hilbert-serie van $K\langle X_d \rangle^{C_d}$ berekenen.
2. Een vectorruimte-basis en een expliciete verzameling vrije generatoren vinden voor deze algebra.
3. Een eindige verzameling generatoren vinden voor de S-algebra $(K\langle X_d \rangle^{C_d}, \circ)$, specifiek voor $d=3$ en over een willekeurig veld van karakteristiek 0.

---

2. Methodologie

De auteurs hanteren een combinatie van lineaire algebra, representatietheorie en combinatorische algebra:

• Basisverandering: Net als in de commutatieve theorie, transformeren ze de basis van de vectorruimte $X_d = \{x_1, \dots, x_d\}$ naar een nieuwe basis $Y_d = \{y_0, y_1, \dots, y_{d-1}\}$ bestaande uit eigenvectoren van de generator $\rho$ van de cyclische groep. Hierbij geldt $\rho(y_k) = \varepsilon^k y_k$, waarbij $\varepsilon$ een primitieve $d$-de eenheidswortel is.
• Combinatorische Analyse: In de nieuwe basis wordt de voorwaarde voor invariantie (dat een monoom $y_{i_1} \dots y_{i_n}$ invariant is) gereduceerd tot een congruentievoorwaarde op de som van de indices: $i_1 + \dots + i_n \equiv 0 \pmod d$.
• Constructie van Vrije Generatoren: Ze gebruiken een inductief algoritme om een verzameling "vrije generatoren" te construeren. Een monoom is een vrije generator als het niet ontbonden kan worden in een product van twee kortere invarianten. Dit wordt bepaald door te controleren of een beginstuk van het monoom al invariant is.
• S-algebra Actie: Ze analyseren de actie van de symmetrische groep $Sym(n)$ (die posities van variabelen verwisselt) om te bepalen welke verzameling elementen de S-algebra voortbrengt. Ze tonen aan dat de generatoren van de commutatieve variant $K[Y_d]^{C_d}$ ook de S-algebra $K\langle Y_d \rangle^{C_d}$ voortbrengen.
• Overdracht naar de oorspronkelijke basis: De resultaten die in de basis $Y_d$ worden verkregen, worden vertaald naar de canonieke basis $X_d$ (cyclische sommen) voor het geval $d=3$.

---

3. Belangrijkste Resultaten

A. Hilbert-serie en Dimensie

Voor een willekeurig veld $K$ van karakteristiek 0 is de Hilbert-serie van de algebra van invarianten $K\langle X_d \rangle^{C_d}$:
$$H(K\langle X_d \rangle^{C_d}, t) = \frac{1 - (d-1)t}{1 - dt}$$
Dit impliceert dat de dimensie van de homogene component van graad $n$ gelijk is aan:
$$\dim((K\langle X_d \rangle^{C_d})(n)) = d^{n-1} \quad \text{voor } n \geq 1.$$

B. Vrije Generatoren

De auteurs geven een expliciete beschrijving van een verzameling vrije generatoren voor $K\langle Y_d \rangle^{C_d}$:

• Een monoom $y_{i_1} \dots y_{i_n}$ is een vrije generator dan en slechts dan als:
  1. $i_1 + \dots + i_n \equiv 0 \pmod d$ (invariantie).
  2. Voor alle $1 \leq m < n$ geldt dat $i_1 + \dots + i_m \not\equiv 0 \pmod d$ (geen beginstuk is invariant).
• Het aantal vrije generatoren van graad $n$ is $(d-1)^{n-1}$.

C. Generatoren van de S-algebra

Voor de S-algebra $(K\langle Y_d \rangle^{C_d}, \circ)$ tonen ze aan dat dezelfde verzameling monomiale generatoren die de commutatieve algebra $K[Y_d]^{C_d}$ voortbrengen, ook de niet-commutatieve S-algebra voortbrengen.

• Voor $d=3$ worden de generatoren gegeven door: $y_0, y_1y_2, y_1^3, y_2^3$.
• Voor $d=4$ en $d=5$ worden expliciete verzamelingen gegeven.

D. Het geval $d=3$ in de canonieke basis

Voor $d=3$ en $K=\mathbb{C}$ (en door overdracht voor elke $K$ van karakteristiek 0) wordt een minimale verzameling generatoren voor de S-algebra $(K\langle X_3 \rangle^{C_3}, \circ)$ geconstrueerd in termen van cyclische sommen:
$$v_1 = x_1 + x_2 + x_3$$
$$v_2 = x_1x_2 + x_2x_3 + x_3x_1$$
$$v_{31} = x_1^2x_2 + x_2^2x_3 + x_3^2x_1$$
$$v_{32} = x_1x_2^2 + x_2x_3^2 + x_3x_1^2$$
De auteurs tonen aan dat deze vier elementen de S-algebra voortbrengen en dat dit systeem minimaal is (geen element kan worden weggelaten).

---

4. Significatie en Bijdrage

1. Oplossing van een specifiek open probleem: Het artikel vult een gat in de literatuur door de expliciete structuur van cyclische invarianten in de vrije algebra te beschrijven, een geval dat complexer is dan de symmetrische of dihedrale gevallen die eerder bestudeerd waren.
2. Expliciete constructie: In plaats van alleen existentiebewijzen te geven, leveren de auteurs een constructief algoritme voor het vinden van vrije generatoren en een concrete basis.
3. Verband tussen commutatief en niet-commutatief: Het artikel illustreert hoe resultaten uit de commutatieve invariantentheorie (via de basisverandering naar eigenvectoren) kunnen worden "geheven" naar de niet-commutatieve S-algebra context.
4. Minimale generatoren voor S-algebra's: Voor het specifieke geval $d=3$ wordt een minimale verzameling generatoren gevonden. Dit ondersteunt de conjectuur van de auteurs dat het aantal generatoren van een bepaalde graad voor een S-subalgebra onafhankelijk is van de keuze van het genererend systeem.
5. Onafhankelijkheid van het veld: De resultaten voor de Hilbert-serie en de structuur van de vrije generatoren gelden voor elk veld van karakteristiek 0, wat de robuustheid van de theorie benadrukt.

Samenvattend biedt dit artikel een diepgaand inzicht in de algebraïsche structuur van cyclische invarianten in niet-commutatieve settingen en levert het concrete gereedschap (Hilbert-serie, basis, generatoren) voor verdere onderzoek in de niet-commutatieve invariantentheorie.