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

1. Il Problema di Ricerca

Il lavoro si inserisce nel contesto dell'algebra non commutativa, affrontando una delle questioni più antiche e irrisolte: la problema di affinità per le algebre di divisione.

• Definizione: Un'algebra di divisione associativa $D$ su un sottocampo centrale $k$ è detta affine su $k$ se è finitamente generata come $k$-algebra.
• Il Problema: È possibile che un'algebra di divisione $D$ sia di dimensione infinita su $k$, sia affine su $k$, e sia anche algebrica su $k$? Questa è la versione per le algebre di divisione del famoso Problema di Kurosh (1941).
• Contesto Storico: Nel 1956, Amitsur dimostrò che se $k$ è un campo non numerabile, allora $D$ non può essere affine su $k$ a meno che non sia algebrica su $k$. Tuttavia, il caso in cui $k$ è numerabile rimaneva aperto per molte classi di algebre trascendentali.
• Obiettivo del Paper: Dimostrare che, anche quando $k$ è numerabile, esistono ampie classi di algebre di divisione trascendentali (finitamente generate come campi di divisione su $k$) che non sono affini su $k$. Inoltre, si indaga quando queste algebre sono affini sul loro centro.

2. Metodologia e Strumenti Teorici

Gli autori sviluppano una strategia basata sulla teoria dei moduli semplici e sulla localizzazione torsionale.

A. Localizzazione di Domini Ereditari Noetheriani (HNP)

Il cuore della metodologia risiede nello studio dei domini ereditari noetheriani primi (HNP).

• Si utilizza la teoria di localizzazione sviluppata per gli anelli HNP (basata su [8]).
• Teorema Chiave (2.2): Se $R$ è un dominio ereditario noetheriano che possiede infinitamente molte classi di isomorfismo di moduli semplici a destra, allora il suo anello di quozienti (il campo di divisione $Q(R)$) non può essere generato come anello da $R$ insieme a un numero finito di elementi di $Q(R)$.
• Corollario (2.3): Di conseguenza, se $R$ è un'algebra su $k$ con infinite classi di moduli semplici, $Q(R)$ non è affine su $k$.

B. Analisi degli Estensioni di Ore (Anelli di Polinomi Skew)

Per applicare il teorema sopra a casi concreti, gli autori studiano anelli della forma $R = D[y; \tau, \delta]$, dove $D$ è un'algebra di divisione, $\tau$ è un automorfismo e $\delta$ è una derivazione.

• Si analizzano le condizioni sotto le quali $R$ possiede infinite classi di moduli semplici.
• Lemma 3.1: Fornisce criteri per l'isomorfismo tra moduli semplici del tipo $R/(y-a)R$. L'isomorfismo dipende dagli autovalori di $\tau$ o $\delta$.
• Teorema 3.6: Se $D \otimes_k D^{op}$ è noetheriano (una condizione soddisfatta da molte algebre di interesse, come anelli di polinomi skew iterati e algebre di enveloping), e $k$ è infinito, allora $R$ ha infinite classi di moduli semplici. Questo implica che il campo di quozienti $Q(R)$ non è affine su $k$.

3. Contributi Chiave e Risultati Principali

Il paper fornisce nuovi esempi verificati di campi di divisione non affini e risolve questioni di affinità sul centro per strutture specifiche.

A. Campi di Weyl ($D_n(k)$)

• Risultato (Teorema A): Per il campo di Weyl $D_n(k)$ (campo di frazioni dell'algebra di Weyl $A_n(k)$):
  • $D_n(k)$ non è mai affine su $k$, indipendentemente dalla caratteristica del campo.
  • $D_n(k)$ è affine sul suo centro $Z(D_n(k))$ se e solo se è di dimensione finita sul centro.
  • Questo accade se e solo se $\text{char}(k) > 0$. Se $\text{char}(k) = 0$, il centro è $k$ e l'algebra non è affine.

B. Spazi Affini Quantici ($O_q(k^n)$)

• Risultato (Teorema B): Per il campo di frazioni di uno spazio affine quantico $O_q(k^n)$:
  • È affine sul suo centro se e solo se è di dimensione finita sul centro.
  • Questo accade se e solo se tutti i parametri di deformazione $q_{ij}$ sono radici dell'unità.
  • Se almeno un $q_{ij}$ non è una radice dell'unità, il campo non è affine sul suo centro.
  • In ogni caso, il campo non è mai affine su $k$.

C. Generalizzazioni e Applicazioni

• Algebre di Enveloping: Si dimostra che per un'algebra di enveloping $U(\mathfrak{g})$ di un'algebra di Lie di dimensione finita, se $\mathfrak{g}$ contiene un ideale di codimensione 1, il campo di frazioni $Q(U(\mathfrak{g}))$ non è affine su $k$.
• Estensioni Iterate: I risultati si applicano a una vasta classe di anelli di polinomi skew iterati che appaiono naturalmente nella teoria dei gruppi quantistici e nella teoria delle algebre di Lie.

4. Significato e Implicazioni

1. Nuovi Esempi Verificati: Sebbene i campi di divisione in questione (come i campi di Weyl o quelli quantici) non fossero nuovi in sé, la loro non-affinità su $k$ (e le condizioni precise di affinità sul centro) è stata verificata per la prima volta in modo sistematico per campi arbitrari (inclusi quelli numerabili).
2. Distinzione tra Affinità su $k$ e sul Centro: Il lavoro chiarisce la relazione tra l'affinità su un campo base e l'affinità sul centro. Dimostra che per molte algebre trascendentali, l'affinità sul centro è strettamente legata alla finitezza della dimensione sul centro (condizione che spesso non è soddisfatta in caratteristica zero).
3. Conferma di Congetture: I risultati supportano e generalizzano aspetti delle congetture di Gel'fand-Kirillov (classica e quantistica), che ipotizzano isomorfismi tra campi di frazioni di algebre di enveloping e campi di frazioni di spazi affini quantici o campi di Weyl.
4. Metodologia Robusta: L'uso della teoria dei moduli semplici e della localizzazione torsionale fornisce un potente strumento per dimostrare la non-finitezza generativa di campi di divisione, superando le limitazioni dei metodi puramente algebrici tradizionali.

In sintesi, il paper risolve positivamente la domanda sulla non-affinità per ampie classi di algebre di divisione trascendentali, fornendo un quadro teorico unificato che collega la struttura dei moduli semplici alla generazione finitaria delle algebre, con applicazioni dirette alla teoria dei gruppi quantistici e delle algebre di Lie.