🔢 mathematics

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

This paper investigates the affineness of various naturally occurring division algebras, such as those arising from iterated skew polynomial rings, Weyl algebras, and quantum affine spaces, establishing that many transcendental examples are nonaffine and proving that division algebras of fractions of Weyl algebras and quantum affine spaces are affine over their centers if and only if they are finite-dimensional over those centers.

Original authors: K. R. Goodearl, E. S. Letzter

Published 2026-04-21

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: K. R. Goodearl, E. S. Letzter

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to build a massive, infinite library using only a small, finite set of building blocks. In the world of mathematics, specifically in a field called noncommutative algebra, this is the central puzzle this paper tackles.

The authors, Goodearl and Letzter, are investigating a specific type of mathematical structure called a skew field (or division algebra). Think of a skew field as a vast, infinite ocean of numbers where you can add, subtract, multiply, and divide, but the order in which you multiply things matters (unlike normal arithmetic where $2 \times 3$ is the same as $3 \times 2$ ).

Here is the breakdown of their discovery, explained through simple analogies:

1. The Big Question: Can You Build Infinity with Finite Bricks?

In math, if you can build a whole structure using just a finite list of "generators" (like a finite set of Lego bricks), we call it affine.

The Old Rule: In 1956, a mathematician named Amitsur proved that if your base field (the "ground" you are building on) is huge and uncountable (like the real numbers), you cannot build an infinite skew field using a finite set of bricks, unless the ocean of numbers is actually just a small, finite pool in disguise.
The New Mystery: What if the ground is small or "countable" (like the rational numbers)? Can you build an infinite ocean using a finite set of bricks there?

For decades, this was an open question. The authors say: "No, you can't." They found many new examples of these infinite oceans that cannot be built with a finite set of bricks, even on small grounds.

2. The "Infinite Variety" Test

How did they prove this? They used a clever trick involving types of simple modules.

The Analogy: Imagine your mathematical structure is a factory. A "simple module" is like a unique, indivisible product coming off the assembly line.
The Logic: If your factory produces infinitely many different types of unique products (infinite isomorphism classes), you cannot possibly describe the entire factory's output using just a finite list of instructions (generators).
The Result: The authors showed that for many famous mathematical structures (like those arising from Lie algebras and quantum groups), the factory produces an infinite variety of unique products. Therefore, the whole structure is too complex to be "affine" (built from finite bricks).

3. The Two Main Examples

The paper focuses on two famous families of mathematical structures:

A. The Weyl Skew Fields (The "Calculus" Ocean)

Think of these as the mathematical home of calculus (derivatives and variables).

The Finding: Whether you are in a world of characteristic zero (normal math) or characteristic $p$ (math with a twist), the "ocean" of fractions from these algebras is never affine over the base field.
The Twist: However, if the ground is "hot" (characteristic $p > 0$ ), the ocean is finite in size relative to its own center. But if the ground is "cold" (characteristic 0), the ocean is truly infinite and cannot be built from finite bricks.

B. Quantum Affine Spaces (The "Quantum" Ocean)

These come from "Quantum Mechanics" math, where variables don't commute (order matters).

The Finding: These structures are affine (buildable) only if the "quantum twist" parameters are roots of unity (like a clock that resets perfectly).
The Reality: If the parameters are "generic" (random or not resetting), the structure is infinite and cannot be built from a finite set of bricks.
The Conclusion: Just like the Weyl fields, these quantum oceans are never affine over the base field $k$ , no matter what.

4. Why Does This Matter?

You might ask, "Who cares if a math structure is affine?"

The "Kurosh Problem": This paper helps solve a 80-year-old riddle called the Kurosh Problem. It asks: "Can you have an infinite structure that is built from finite bricks AND where every single element eventually repeats itself?"
The Answer: By proving these structures are not affine, the authors are clearing the board. They are showing that for these specific, naturally occurring "infinite oceans," the answer is a hard "No." You can't have your cake (finite generation) and eat it too (infinite size).

Summary Metaphor

Imagine you are trying to describe the entire ocean using a single sentence.

Amitsur's old proof said: "If the ocean is made of water (uncountable field), you can't do it unless the ocean is actually just a puddle."
This paper says: "Even if the ocean is made of sand (countable field), if the ocean has infinite unique waves (infinite simple modules), you still can't describe it with a single sentence. You need an infinite dictionary."

The authors have identified many specific "oceans" (from Lie theory and Quantum groups) that were previously thought to be mysterious, and they have proven: These oceans are too vast to be captured by a finite description.

A Personal Note

The paper is dedicated to the memory of the second author's daughter and sister, who passed away in 2024. It is a testament to their mathematical legacy, turning a deep, abstract proof into a tribute to their loved ones.

1. Problem Statement and Context

The paper addresses a fundamental open problem in noncommutative algebra concerning affineness in division algebras.

Definition: A division algebra $D$ over a central subfield $k$ is called $k$ -affine if it is finitely generated as a $k$ -algebra.
The Core Question: Can a division algebra $D$ be infinite-dimensional over $k$ , finitely generated as a skew field over $k$ (i.e., generated by a finite set as a division ring), and yet not be $k$ -affine?
Historical Background:
- Amitsur's Theorem (1956): If $k$ is uncountable, any $k$ -affine division algebra must be algebraic over $k$ . Consequently, transcendental division algebras over uncountable fields are never $k$ -affine.
- The Gap: The status of this problem for countable fields remained unresolved. Specifically, it was unknown whether "naturally occurring" transcendental division algebras (like Weyl skew fields or quantum group fractions) over countable fields could be $k$ -affine.
- Kurosh Problem: A related open question asks if an infinite-dimensional, $k$ -affine division algebra can be algebraic over $k$ .

Goal of the Paper: To provide the first verified examples of naturally occurring transcendental division algebras over arbitrary fields (including countable ones) that are not $k$ -affine. The authors also investigate when these algebras are affine over their own centers.

2. Methodology

The authors employ a combination of ring-theoretic localization, module theory, and structural analysis of skew polynomial rings.

A. Localization of Hereditary Noetherian Prime (HNP) Rings

The primary tool is the theory of torsion-theoretic localizations developed for HNP rings (specifically referencing Goodearl and Warfield).

Key Insight: If a hereditary noetherian domain $R$ has infinitely many isomorphism classes of simple right modules, its quotient division ring $Q(R)$ cannot be generated by $R$ and finitely many elements of $Q(R)$ .
Mechanism:
1. Let $W$ be a set of representatives of simple right $R$ -modules.
2. For a subset $X \subseteq W$ , one can construct a localization $R_X$ between $R$ and $Q(R)$ .
3. If $R$ has infinitely many simple modules, any finitely generated subring $T$ of $Q(R)$ containing $R$ will fail to contain certain localizations $R_Y$ (where $Y$ is a specific infinite subset of simple modules).
4. Therefore, $T \neq Q(R)$ , proving $Q(R)$ is not finitely generated as a ring over $R$ , and consequently not affine over the base field.

B. Analysis of Skew Polynomial Rings ( $D[y; \tau, \delta]$ )

To apply the HNP results, the authors analyze iterated skew polynomial rings (Ore extensions) of the form $R = D[y; \tau, \delta]$ , where $D$ is a division algebra, $\tau$ is an automorphism, and $\delta$ is a derivation.

Strategy: They establish conditions under which $R$ possesses infinitely many non-isomorphic simple modules.
Eigenvalue Analysis:
- Simple modules of the form $R/(y-a)R$ are isomorphic if and only if $a$ and $b$ satisfy specific relations involving the eigenvalues of $\tau$ or $\delta$ .
- If the group of eigenvalues (e.g., $\tau$ -eigenvalues in $k^\times$ ) is "small" relative to the field $k$ , there are infinitely many distinct cosets, leading to infinitely many non-isomorphic simple modules.
Noetherian Condition: They utilize a result by Bavula stating that if $D \otimes_k D^{op}$ is Noetherian, the groups of eigenvalues for $\tau$ and $\delta$ are finitely generated. Since the additive and multiplicative groups of infinite fields are not finitely generated, this guarantees the existence of infinitely many simple modules.

C. Application to Specific Classes

The theoretical framework is applied to:

Iterated Skew Polynomial Rings: Generalizing the results to rings built over division algebras.
Weyl Algebras: $A_n(k)$ and their quotient division rings $D_n(k)$ .
Quantum Affine Spaces: $O_q(k^n)$ and their quotient division rings.
Enveloping Algebras: $U(\mathfrak{g})$ for Lie algebras $\mathfrak{g}$ .

3. Key Contributions and Results

A. General Non-Affineness Theorems

Theorem 2.2: If $R$ is a hereditary noetherian domain with infinitely many simple right modules, $Q(R)$ is not affine over its center.
Theorem 3.6: If $D$ $D$ is a division algebra over an infinite field $k$ $k$ such that $D \otimes_k D^{op}$ $D \otimes_{k} D^{o p}$ is Noetherian, then the skew field of fractions of $D[y; \tau]$ $D [y; τ]$ or $D[y; \delta]$ $D [y; δ]$ is not affine over $k$ .
- This resolves the problem for a vast class of transcendental division algebras, regardless of whether $k$ is countable or uncountable.

B. Results on Weyl Skew Fields ( $D_n(k)$ )

Theorem 4.3: Let $D_n(k)$ $D_{n} (k)$ be the Weyl skew field (quotient of the $n$ $n$ -th Weyl algebra).
- Over the Center: $D_n(k)$ is affine over its center $Z(D_n(k))$ if and only if it is finite-dimensional over its center.
- Characteristic 0: $Z(D_n(k)) = k$ . Since $D_n(k)$ is infinite-dimensional over $k$ , it is not affine over its center.
- Characteristic $p > 0$ : $D_n(k)$ is finite-dimensional over its center (which is a rational function field in $x_i^p, y_i^p$ ). Thus, it is affine over its center.
- Over the Base Field: In all characteristics, $D_n(k)$ is never affine over $k$ .

C. Results on Quantum Affine Spaces ( $O_q(k^n)$ )

Theorem 4.7: Let $R = O_q(k^n)$ $R = O_{q} (k^{n})$ be a quantum affine space with parameters $q_{ij}$ $q_{ij}$ .
- Roots of Unity: If all $q_{ij}$ are roots of unity, $Q(R)$ is finite-dimensional over its center (and thus affine over its center).
- Non-Roots of Unity: If at least one $q_{ij}$ is not a root of unity, $Q(R)$ is not affine over its center.
- Over the Base Field: In all cases, $Q(R)$ is never affine over $k$ .

D. Lie Theoretic Applications

Theorem 4.4 & Corollary 4.5: For enveloping algebras $U(\mathfrak{g})$ of finite-dimensional Lie algebras over infinite fields, if the algebra is extended by a derivation or automorphism, the resulting skew field is not affine over $k$ . Specifically, if $\mathfrak{g}$ has an ideal of codimension 1, $Q(U(\mathfrak{g}))$ is not affine over $k$ .

4. Significance

Resolution of the Countable Case: The paper provides the first concrete examples proving that transcendental division algebras over countable fields are not necessarily $k$ -affine. This extends Amitsur's 1956 result (which required uncountable fields) to arbitrary fields.
Distinction between Affineness and Skew Field Generation: The results clarify the subtle difference between being "finitely generated as a skew field" (which these algebras are) and being "finitely generated as an algebra" (which they are not).
Connection to the Gel'fand-Kirillov Conjecture: The paper addresses the structure of division algebras arising in the Gel'fand-Kirillov conjecture (and its quantum analog). It shows that even if these algebras are isomorphic to skew fields of fractions of polynomial rings, they generally fail to be affine over their base fields.
Center vs. Base Field: The authors rigorously distinguish between affineness over the base field $k$ and affineness over the center $Z(D)$ . They prove that for Weyl and quantum skew fields, affineness over the center is equivalent to finite dimensionality over the center, a property that fails over the base field.
Methodological Advancement: The use of HNP localization and the analysis of simple module isomorphism classes via eigenvalues provides a robust toolkit for analyzing the finiteness properties of quotient division rings in noncommutative algebra.

Conclusion

Goodearl and Letzter demonstrate that for a wide range of "naturally occurring" division algebras (Weyl, Quantum, and Lie-theoretic), the property of being finitely generated as a skew field does not imply being finitely generated as an algebra. These algebras are fundamentally "large" in the sense of algebra generation, even when they are "small" in the sense of skew field generation. This significantly deepens the understanding of the structure of infinite-dimensional division algebras.