On the $\mathrm{GL}(n)$-module structure of Lie nilpotent associative relatively free algebras

Resumo Técnico

1. Problema e Contexto

O artigo investiga a estrutura de módulos sobre o grupo linear geral $GL(n, K)$ (onde $K$ é um corpo de característica zero) de álgebras associativas relativamente livres que satisfazem identidades polinomiais de Lie nilpotentes.

Especificamente, o autor considera:

• $K\langle X \rangle$: A álgebra associativa livre gerada por um conjunto $X = \{x_1, \dots, x_n\}$.
• $I_p$: O ideal bilateral gerado por todos os comutadores de comprimento $p$, definidos como $[u_1, \dots, u_p]$.
• $F_n(N_p) = K\langle X \rangle / I_{p+1}$: A álgebra relativamente livre de posto $n$ na variedade $N_p$ de álgebras associativas que satisfazem a identidade $[x_1, \dots, x_{p+1}] = 0$ (álgebras de Lie nilpotentes de classe $\le p$).

O objetivo principal é descrever a decomposição de $F_n(N_p)$ em módulos irredutíveis de $GL(n)$ e utilizar essa estrutura para obter limites superiores explícitos para o grau dos geradores das álgebras de invariantes $F_n(N_p)^G$, onde $G$ é um subgrupo clássico (como $SL(n)$, $O(n)$, $SO(n)$, $Sp(2s)$) ou o grupo unitriangular $UT(n)$.

2. Metodologia

A abordagem combina teoria de representações de grupos, teoria de álgebras de Lie e teoria de invariantes clássica. Os passos metodológicos incluem:

1. Análise de Produtos de Comutadores: O autor utiliza e aprimora resultados conhecidos sobre inclusões de produtos de ideais gerados por comutadores ($I_m I_k \subseteq I_{m+k-c}$).
   • Relembra resultados de Jennings (1947), Latyshev (1965) e Gupta-Levin (1983) sobre como produtos de comutadores caem em ideais de maior índice.
   • Prova um novo lema (Lema 3.1) que melhora a inclusão para produtos de comutadores com parâmetros pares, estabelecendo que $[c_1, y][c_2, y] \in I_{m_1+m_2-1}$ quando $m_1, m_2$ são pares.
2. Decomposição de Módulos $GL(n)$:
   • Utiliza o teorema de Drensky que decompõe $F_n(N_p)$ como $S(V) \otimes \phi_p(B_n)$, onde $B_n$ é a subálgebra gerada por comutadores puros (polinômios próprios).
   • Estabelece limites para os índices das partições $\lambda = (\lambda_1, \dots, \lambda_n)$ que aparecem na decomposição de $B_n$ e, consequentemente, de $F_n(N_p)$.
3. Teoria de Invariantes:
   • Aplica os limites obtidos nas partições $\lambda$ para calcular as séries de Hilbert das álgebras de invariantes $F_n(N_p)^G$.
   • Utiliza regras de ramificação (como a regra de Pieri) e propriedades de grupos redutivos e unipotentes para determinar o grau máximo dos geradores necessários para gerar a álgebra de invariantes.

3. Principais Contribuições e Resultados

A. Estrutura do Módulo $GL(n)$ (Seção 3)

• Teorema 3.3: Estabelece que, na decomposição de $\phi_p(B_n)$ (a parte "própria" da álgebra) em módulos irredutíveis $V_\lambda$, o primeiro índice da partição satisfaz $\lambda_1 \le p - 1$.
• Corolário 3.4: Estende o resultado para a álgebra inteira $F_n(N_p)$, mostrando que na decomposição em $V_\lambda$, o segundo índice satisfaz $\lambda_2 \le p - 1$.
• Caso $n=3: O autor apresenta uma prova mais curta e forte para o caso de 3 variáveis, aproveitando propriedades específicas de inclusões de comutadores em dimensão 3.

B. Álgebras de Invariantes e Limites de Grau (Seção 4)
O autor determina limites superiores explícitos para $\beta(A)$, definido como o menor inteiro tal que a álgebra $A$ é gerada por elementos de grau $\le \beta(A)$.

• Grupos Redutivos ($SL(n)$, $Sp(2s)$):
  • A álgebra de invariantes $F_n(N_p)^G$ é de dimensão finita.
  • O limite para o grau dos geradores é $\beta(F_n(N_p)^G) \le n(p-1)$.
  • Para $Sp(2s)$, o limite é $2s(p-1)$.
• Grupos Ortogonais ($O(n)$, $SO(n)$):
  • A série de Hilbert tem a forma de um polinômio dividido por $(1-t^2)$.
  • Os limites dependem da paridade de $p-1$. Por exemplo, para $O(n)$, se $p-1$ é ímpar, o limite é $n(p-2)$.
• Grupo Unitriangular ($UT(n)$):
  • A álgebra de invariantes é finitamente gerada.
  • O limite para o grau dos geradores é $\beta(F_n(N_p)^{UT(n)}) \le n(p-1)$ (para $p > 1$).

C. Aplicações à Teoria Clássica de Invariantes (Seção 5)
Os resultados são traduzidos para a linguagem de invariantes da álgebra livre $T(V) = K\langle X \rangle$:

• Critério de Pertencimento a $I_p$: O artigo fornece critérios para determinar quando um invariante $G$ de $T(V)$ pertence ao ideal $I_p$.
• Teoremas 5.2 a 5.5: Estabelecem que, se um invariante tem grau superior a um certo limite (ex: $n(p-1)$ para $SL(n)$), então ele pertence ao ideal $I_{p+1}$ (ou seja, é zero na álgebra relativamente livre) ou pode ser expresso como combinação de invariantes de grau menor. Isso generaliza resultados clássicos de Weyl para o contexto de álgebras não-comutativas com identidades de Lie.

4. Significância e Impacto

• Explicitação de Limites: Diferente de resultados anteriores que forneciam limites gerais (e muitas vezes não explícitos) para a geração de invariantes, este trabalho oferece fórmulas exatas e computáveis baseadas em $n$ e $p$.
• Conexão entre Estrutura e Invariantes: Demonstra como a estrutura de módulo $GL(n)$ de uma álgebra quociente controla diretamente a complexidade (grau dos geradores) da álgebra de invariantes.
• Generalização: Estende o conhecimento sobre álgebras de invariantes para variedades de álgebras associativas definidas por identidades de Lie nilpotentes, cobrindo tanto grupos redutivos clássicos quanto o grupo unipotente $UT(n)$.
• Ferramenta Computacional: Os limites obtidos são úteis para algoritmos de computação de invariantes, pois definem um "teto" de grau além do qual não é necessário procurar novos geradores independentes.

Em resumo, o artigo fornece uma descrição precisa da estrutura de representações de álgebras de Lie nilpotentes relativamente livres e utiliza essa descrição para resolver problemas fundamentais na teoria de invariantes não-comutativa, estabelecendo limites superiores rigorosos para a geração dessas álgebras.