On cyclic invariants of the free associative algebra

Titolo: Invarianti Ciclici dell'Algebra Associativa Libera

1. Il Problema e il Contesto

Il lavoro si inserisce nel campo della teoria degli invarianti non commutativa. Mentre la teoria classica degli invarianti studia l'algebra dei polinomi commutativi $K[X_d]$ invariante sotto l'azione di un sottogruppo $G \subseteq GL_d(K)$, questo articolo si concentra sull'algebra associativa libera $K\langle X_d \rangle$ (polinomi non commutativi in $d$ variabili).

Il problema centrale è descrivere la struttura dell'algebra degli invarianti $K\langle X_d \rangle^G$ quando $G$ è un gruppo ciclico $C_d$ (generato da una permutazione ciclica delle variabili $x_1 \to x_2 \to \dots \to x_d \to x_1$) e $K$ è un campo di caratteristica zero.

Un aspetto cruciale introdotto da Kharchenko (1978) e studiato da Koryukin è l'azione aggiuntiva del gruppo simmetrico $Sym(n)$ sulla componente omogenea di grado $n$ di $K\langle X_d \rangle$, che permuta le posizioni delle variabili. Questo conferisce all'algebra degli invarianti la struttura di un S-algebra $(K\langle X_d \rangle^G, \circ)$. Il problema è determinare se questa S-algebra è finitamente generata e, in caso affermativo, trovare un insieme di generatori esplicito.

2. Metodologia

Gli autori adottano un approccio che combina algebra non commutativa, teoria dei gruppi e combinatoria:

• Cambio di Base (Diagonalizzazione): Per semplificare l'azione del generatore $\rho$ del gruppo ciclico $C_d$, gli autori cambiano la base dello spazio vettoriale da $\{x_1, \dots, x_d\}$ a $\{y_0, y_1, \dots, y_{d-1}\}$, dove $y_k$ sono combinazioni lineari delle $x_i$ basate sulle radici $d$-esime dell'unità $\varepsilon$. In questa nuova base, l'azione di $\rho$ è diagonale: $\rho(y_k) = \varepsilon^k y_k$.
• Analisi della Struttura Libera: Sfruttando il teorema di Lane e Kharchenko, che afferma che l'algebra degli invarianti $K\langle X_d \rangle^G$ è sempre un'algebra libera, gli autori costruiscono esplicitamente una base vettoriale e un insieme di generatori liberi.
• Serie di Hilbert: Viene calcolata la serie di Hilbert dell'algebra degli invarianti utilizzando il teorema di Dicks e Formanek (l'analogo non commutativo della formula di Molien).
• Algoritmo Induttivo: Viene sviluppato un algoritmo per costruire in modo ricorsivo l'insieme dei generatori liberi dell'algebra $C\langle Y_d \rangle^{C_d}$, basandosi sulla condizione di congruenza degli indici delle variabili $y_k$.
• Trasferimento tra Basi: I risultati ottenuti nella base diagonalizzata $\{y_k\}$ vengono trasferiti alla base canonica $\{x_i\}$ per descrivere i generatori in termini di somme cicliche di monomi.

3. Risultati Principali

A. Serie di Hilbert e Dimensione

Per un campo $K$ di caratteristica zero, gli autori dimostrano che la serie di Hilbert dell'algebra degli invarianti $K\langle X_d \rangle^{C_d}$ è:
$$H(K\langle X_d \rangle^{C_d}, t) = \frac{1 - (d-1)t}{1 - dt} = 1 + \sum_{n \ge 1} d^{n-1} t^n$$
Ciò implica che la dimensione dello spazio vettoriale della componente omogenea di grado $n$ è esattamente $d^{n-1}$.

B. Generatori Liberi (Base Libera)

Vengono identificati esplicitamente i generatori liberi dell'algebra $C\langle Y_d \rangle^{C_d}$:

• Base Vettoriale: L'algebra ha una base costituita da tutti i monomi $y_{i_1} \dots y_{i_n}$ tali che la somma degli indici sia congrua a 0 modulo $d$ ($i_1 + \dots + i_n \equiv 0 \pmod d$).
• Generatori Liberi: L'insieme dei generatori liberi è costituito dai monomi della base sopra citata che sono "irriducibili", ovvero tali che nessun prefisso del monomio (eccetto il monomio stesso) soddisfi la condizione di congruenza.
• Conteggio: Per ogni grado $n \ge 1$, il numero di generatori liberi omogenei è $(d-1)^{n-1}$.

C. Generatori come S-Algebra

Il contributo più significativo riguarda la struttura di S-algebra:

• Gli autori dimostrano che l'algebra degli invarianti $(C\langle Y_d \rangle^{C_d}, \circ)$ è generata come S-algebra dallo stesso insieme di monomi che generano l'algebra commutativa degli invarianti $C[Y_d]^{C_d}$ (come descritto nella Proposizione 2.5).
• Esempi Espliciti:
  • Per $d=3$, i generatori sono $y_0, y_1y_2, y_1^3, y_2^3$.
  • Per $d=4$, i generatori includono $y_0, y_1y_3, y_2^2, y_1^2y_2, y_2y_3^2, y_1^4, y_3^4$.
• Caso $d=3$ nella base canonica: Viene fornito un insieme minimale di generatori per l'S-algebra $(C\langle X_3 \rangle^{C_3}, \circ)$ in termini delle somme cicliche delle variabili originali:
  • $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$
    Viene dimostrato che questi quattro elementi generano l'intera S-algebra e che il sistema è minimale.

D. Indipendenza dal Campo

I risultati sulla dimensione e sui generatori liberi sono indipendenti dal campo $K$ (purché di caratteristica zero). Una base per $\mathbb{Q}\langle X_d \rangle^{C_d}$ funge anche da base per $K\langle X_d \rangle^{C_d}$.

4. Significato e Contributi

1. Estensione della Teoria Classica: Il lavoro estende i risultati noti sulla teoria degli invarianti commutativa (in particolare per i gruppi ciclici) al contesto non commutativo, fornendo una descrizione completa della struttura libera.
2. Conferma della Finitezza: Conferma e quantifica la finitezza della generazione per le S-algebre degli invarianti ciclici, un risultato che non è banale dato che per gruppi generali l'algebra degli invarianti non commutativi è spesso infinitamente generata come algebra ordinaria (ma qui si studia la generazione come S-algebra).
3. Costruzione Esplicita: A differenza di molti risultati teorici che garantiscono l'esistenza di generatori senza costruirli, questo articolo fornisce algoritmi espliciti e formule per i generatori minimi, sia nella base diagonalizzata che in quella canonica.
4. Congettura sui Generatori Minimi: Gli autori formulano la Congettura 5.2, suggerendo che il numero di generatori minimi di una S-sottoalgebra in un dato grado sia un invariante (indipendente dalla scelta del sistema di generatori), e forniscono evidenze a supporto di questa congettura nel caso $d=3$.

In sintesi, il paper risolve il problema della descrizione strutturale degli invarianti ciclici nell'algebra libera, fornendo strumenti computazionali precisi e collegando la teoria non commutativa a quella commutativa attraverso l'azione del gruppo simmetrico.