`New' examples of skew fields not finitely generated as algebras

Resumo Técnico: Novos Exemplos de Corpos de Divisão Não Finitamente Gerados como Álgebras

1. O Problema e o Contexto

O artigo aborda um dos problemas mais antigos e não resolvidos na álgebra não comutativa: determinar se uma álgebra de divisão associativa $D$ sobre um subcorpo central $k$ pode ser simultaneamente:

1. De dimensão infinita sobre $k$.
2. Affine sobre $k$ (ou seja, finitamente gerada como uma $k$-álgebra).

O problema é historicamente ligado à Problema de Kurosh para Álgebras de Divisão (1941), que questiona se uma álgebra de divisão que é finitamente gerada e algébrica sobre $k$ deve ser de dimensão finita.

Um resultado fundamental de Amitsur (1956) estabeleceu que, se o corpo base $k$ for não enumerável, então $D$ não pode ser $k$-affine a menos que seja algébrica sobre $k$. No entanto, o caso em que $k$ é enumerável (ou arbitrário) permaneceu aberto para muitas classes naturais de álgebras de divisão transcendentes.

O objetivo deste trabalho é provar que, mesmo para corpos $k$ enumeráveis, certas classes amplas de corpos de divisão transcendentes (finitamente gerados como corpos de divisão, mas não como álgebras) não são affines sobre $k$. Além disso, os autores investigam quando esses corpos são affines sobre seus próprios centros.

2. Metodologia

A abordagem dos autores combina teoria de anéis não comutativos, localizações de torsão e teoria de módulos simples. A estrutura da prova segue três etapas principais:

• Seção 2: Domínios Hereditários Noetherianos (HNP):
  Os autores utilizam a teoria de localizações de torsão desenvolvida para anéis HNP. O ponto central é o Teorema 2.2, que afirma: se um domínio hereditário noetheriano $R$ possui infinitas classes de isomorfismo de módulos simples à direita, então seu anel de quocientes de Goldie $Q(R)$ (o corpo de frações) não pode ser gerado por $R$ junto com um número finito de elementos de $Q(R)$.

  • Lema Chave: A existência de infinitas classes de módulos simples impede que o corpo de frações seja finitamente gerado como anel sobre o domínio base.

• Seção 3: Extensões de Ore Iteradas e Autovalores:
  Para aplicar o resultado anterior a corpos de frações de anéis de polinômios torcidos ($D[y; \tau, \delta]$), os autores estabelecem condições sob as quais esses anéis possuem infinitas classes de módulos simples.

  • Eles analisam os autovalores do automorfismo $\tau$ e da derivação $\delta$.
  • Utilizam o Teorema de Bavula (3.4) para mostrar que, para certas álgebras (onde $D \otimes D^{op}$ é noetheriano), o grupo de autovalores é finitamente gerado.
  • Combinando isso com o fato de que os grupos aditivos e multiplicativos de corpos infinitos não são finitamente gerados (Lema 3.3), provam que existem infinitas classes de módulos simples quando o corpo base é infinito.

• Seção 4: Aplicações Específicas:
  Os resultados teóricos são aplicados a exemplos concretos surgidos na teoria de Lie e em grupos quânticos, incluindo anéis de Weyl, espaços afins quânticos e álgebras envelopantes.

3. Contribuições e Resultados Principais

O artigo fornece a primeira verificação explícita de não-affinidade para várias classes de corpos de divisão transcendentes sobre corpos arbitrários (incluindo enumeráveis).

A. Corpos de Frações de Anéis de Weyl ($D_n(k)$):

• Teorema A: Seja $D_n(k)$ o corpo de frações do $n$-ésimo anel de Weyl $A_n(k)$.
  • $D_n(k)$ é affine sobre seu centro se e somente se é de dimensão finita sobre seu centro (o que ocorre apenas se $\text{char}(k) > 0$).
  • Resultado Crucial: $D_n(k)$ nunca é affine sobre $k$, independentemente da característica do corpo.

B. Espaços Afins Quânticos ($O_q(k^n)$):

• Teorema B: Seja $R = O_q(k^n)$ um espaço afim quântico.
  • O corpo de frações $\text{Fract}(R)$ é affine sobre seu centro se e somente se todos os parâmetros de deformação $q_{ij}$ são raízes da unidade (o que implica dimensão finita sobre o centro).
  • Resultado Crucial: $\text{Fract}(R)$ nunca é affine sobre $k$.

C. Generalizações para Álgebras Envelopantes e Extensões de Ore:

• O artigo prova que o corpo de frações de extensões de Ore iteradas $D[y; \tau, \delta]$ (onde $D$ satisfaz certas condições de noetherianidade) não é affine sobre $k$ se o corpo base for infinito.
• Aplica-se a álgebras envelopantes $U(\mathfrak{g})$ de álgebras de Lie de dimensão finita. Especificamente, se $\mathfrak{g}$ possui um ideal de codimensão 1, o corpo de frações $Q(U(\mathfrak{g}))$ não é affine sobre $k$.

D. Contraexemplos e Limites:

• O artigo também discute casos onde a não-affinidade não se aplica ou onde a affinidade sobre o centro é possível, fornecendo uma visão completa das fronteiras do problema. Por exemplo, mostra-se que se $D$ é affine e "matrix-algebraic" sobre seu centro, então $D(z)$ pode ser affine sobre o centro estendido.

4. Significado e Impacto

1. Resolução Parcial de Problemas Abertos: O trabalho fornece exemplos concretos e verificados de corpos de divisão que são finitamente gerados como corpos de divisão (skew fields) sobre $k$, mas não como álgebras sobre $k$. Isso esclarece a distinção entre "finitamente gerado como corpo" e "finitamente gerado como álgebra".
2. Independência da Enumerabilidade: Diferente do teorema de Amitsur, que exigia um corpo não enumerável para garantir a não-affinidade de álgebras transcendentes, este trabalho demonstra que a não-affinidade ocorre mesmo em corpos enumeráveis para classes naturais de álgebras.
3. Conexão com Conjecturas de Gel'fand-Kirillov: Os resultados são relevantes para a conjectura de Gel'fand-Kirillov (clássica e quântica), que relaciona o corpo de frações de álgebras envelopantes e coordenadas quânticas a corpos de frações de espaços de Weyl ou espaços afins quânticos. Ao determinar a estrutura de affinidade desses corpos, o artigo ajuda a entender as propriedades de finitude dessas estruturas algébricas.
4. Ferramentas Novas: A aplicação sistemática da teoria de localizações de torsão em anéis HNP para provar não-affinidade oferece uma nova ferramenta metodológica para a álgebra não comutativa.

Em suma, o artigo estabelece que, para uma vasta gama de álgebras de divisão naturais na teoria de Lie e grupos quânticos, a propriedade de ser finitamente gerada como álgebra é extremamente restritiva, ocorrendo apenas quando a álgebra é de dimensão finita sobre seu centro.