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

Resumen Técnico: Nuevos Ejemplos de Cuerpos Noetherianos No Afines

1. Planteamiento del Problema

El artículo aborda un problema fundamental y antiguo en el álgebra no conmutativa: determinar bajo qué condiciones un álgebra de división asociativa $D$ sobre un subcuerpo central $k$ puede ser afín (es decir, finitamente generada como $k$-álgebra) mientras es de dimensión infinita sobre $k$.

• Contexto Histórico: En 1956, Amitsur demostró que si $k$ es un cuerpo no numerable, un álgebra de división $D$ no puede ser $k$-afín a menos que sea algebraica sobre $k$.
• La Brecha: El problema de si existen álgebras de división que sean infinitas en dimensión, afines y algebraicas sobre $k$ (el Problema de Kurosh para álgebras de división) sigue abierto. Sin embargo, el foco de este trabajo es demostrar que, incluso cuando $k$ es numerable, existen clases naturales de álgebras de división transcendentes (no algebraicas) que son finitamente generadas como cuerpos de división (skew fields) pero no son afines como álgebras.
• Objetivo: Proporcionar los primeros ejemplos verificados de cuerpos de división no afines en clases naturales que surgen en la teoría de Lie y grupos cuánticos, y caracterizar cuándo estos cuerpos son afines sobre sus propios centros.

2. Metodología

Los autores emplean una combinación de teoría de localización torsional, teoría de anillos de polinomios skew (Ore) y análisis de módulos simples. La estrategia se divide en tres etapas lógicas:

1. Localización en Dominios Hereditarios Noetherianos (HNP):

   • Utilizan la teoría de localizaciones desarrollada para anillos HNP (Hereditary Noetherian Prime).
   • Demuestran que si un dominio hereditario noetheriano $R$ tiene infinitas clases de isomorfismo de módulos simples a la derecha, entonces su anillo de cocientes de Goldie $Q(R)$ (el cuerpo de división asociado) no puede ser generado como anillo por $R$ junto con un número finito de elementos de $Q(R)$.
   • Esto implica que $Q(R)$ no es afín sobre su centro ni sobre el cuerpo base.

2. Análisis de Extensiones de Ore Iteradas:

   • Aplican los resultados anteriores a anillos de polinomios skew de la forma $D[y; \tau, \delta]$, donde $D$ es un álgebra de división, $\tau$ es un automorfismo y $\delta$ es una derivación.
   • Establecen condiciones bajo las cuales estos anillos poseen infinitas clases de módulos simples. Esto se logra analizando los autovalores de $\tau$ y $\delta$.
   • Utilizan un teorema de Bavula que asegura que, bajo ciertas condiciones de noetherianidad ($D \otimes_k D^{op}$ noetheriano), los grupos de autovalores de $\tau$ y $\delta$ son subgrupos finitamente generados.
   • Dado que los grupos aditivos y multiplicativos de un cuerpo infinito no son finitamente generados, se deduce que existen infinitas clases de módulos simples no isomorfos.

3. Aplicación a Estructuras Específicas:

   • Se aplican los teoremas generales a casos concretos: álgebras de Weyl, espacios afines cuánticos y envolventes universales de álgebras de Lie.

3. Contribuciones Clave y Resultados Principales

El artículo establece varios teoremas que caracterizan la afinidad de cuerpos de división en contextos específicos:

• Teorema General (Sección 2 y 3): Si $R$ es un dominio hereditario noetheriano con infinitas clases de módulos simples, su cuerpo de fracciones $Q(R)$ no es afín. Esto se extiende a $D[y; \tau, \delta]$ si $D \otimes_k D^{op}$ es noetheriano y el cuerpo base $k$ es infinito.

• Cuerpos de Weyl ($D_n(k)$):

  • Sea $D_n(k) = \text{Fract } A_n(k)$ el cuerpo de fracciones del $n$-ésimo álgebra de Weyl.
  • Resultado: $D_n(k)$ nunca es afín sobre $k$.
  • Sobre su centro:
    • Si $\text{char}(k) = 0$, el centro es $k$ y $D_n(k)$ no es afín sobre su centro (ni sobre $k$).
    • Si $\text{char}(k) = p > 0$, $D_n(k)$ es de dimensión finita sobre su centro, pero sigue sin ser afín sobre $k$.

• Espacios Afines Cuánticos ($O_q(k^n)$):

  • Sea $R = O_q(k^n)$ un espacio afín cuántico definido por parámetros $q = (q_{ij})$.
  • Resultado: El cuerpo de fracciones $\text{Fract } R$ es afín sobre su centro si y solo si todos los $q_{ij}$ son raíces de la unidad (lo que implica que el cuerpo es de dimensión finita sobre su centro).
  • Si algún $q_{ij}$ no es raíz de la unidad, $\text{Fract } R$ no es afín sobre su centro.
  • En ningún caso es afín sobre el cuerpo base $k$.

• Álgebras Envolventes de Lie ($U(\mathfrak{g})$):

  • Para un álgebra de Lie de dimensión finita $\mathfrak{g}$ sobre un cuerpo infinito, si $\mathfrak{g}$ contiene un ideal de codimensión 1 (caso común en álgebras resolubles), entonces el cuerpo de fracciones $Q(U(\mathfrak{g}))$ no es afín sobre $k$.

4. Significado e Implicaciones

1. Resolución de Casos Concretos: El trabajo proporciona la primera verificación rigurosa de que muchas álgebras de división "naturales" (que surgen en física matemática y teoría de representaciones) no son afines, llenando un vacío en la literatura donde estos ejemplos existían pero su no-afinidad no estaba probada.
2. Contraste con el Caso Conmutativo: Refuerza la distinción entre el caso conmutativo (donde el Lema de Zariski establece que una extensión de cuerpos es afín si y solo si es algebraica y de dimensión finita) y el no conmutativo, donde la dimensión infinita y la no-afinidad son la norma para estructuras trascendentes.
3. Conjetura de Gel'fand-Kirillov: Los resultados son relevantes para la Conjetura de Gel'fand-Kirillov y su versión cuántica, que postulan isomorfismos entre cuerpos de fracciones de álgebras de envolventes y cuerpos de fracciones de espacios cuánticos o de Weyl. El papel de la afinidad es crucial para entender la estructura de estos isomorfismos.
4. Herramientas Nuevas: La metodología de contar clases de módulos simples mediante el análisis de autovalores de automorfismos y derivaciones en anillos de polinomios skew ofrece una herramienta poderosa para estudiar la estructura de anillos no conmutativos más allá de los ejemplos clásicos.

En conclusión, Goodearl y Letzter demuestran que la propiedad de ser "finitamente generada como cuerpo de división" es mucho más débil que ser "afín como álgebra" en el contexto de álgebras de división no conmutativas, estableciendo límites claros sobre cuándo estas estructuras pueden o no ser afines sobre sus centros o sobre el cuerpo base.