Kummer Subspaces in Central Simple Algebras

• Kummer subspaces are linear subspaces of central simple algebras where each nonzero element satisfies a Kummer equation (xⁿ – λ) with its n-th power in the base field.
• Maximal dimension results in generic tensor products—such as 2n+1, 3n+1, and 4n+1 for degrees 2, 3, and 4 respectively—highlight the role of combinatorial and valuation-theoretic methods.
• Classification through monomials and directed graphs provides clear criteria for standard Kummer subspaces, aiding in bounding symbol lengths and addressing open algebraic problems.

A Kummer subspace is a linear subspace of a central simple algebra in which all nonzero elements are Kummer—i.e., each element has minimal polynomial $x^n - \lambda$ over the base field $F$ for prescribed $n$, so its $n$th power lies in $F$ while no lower positive power does. The structure, maximal dimension, and classification of such subspaces have connections to the theory of central simple algebras, symbol length problems, and the algebraic geometry and combinatorics of algebras with involution and group actions. Kummer subspaces have received intensive study in the context of cyclic algebras of arbitrary degree, particularly degrees $p$ (prime), $3$, and $4$, and their generic tensor products.

1. Definitions and Fundamental Properties

Given a field $F$ containing a primitive $n$th root of unity $\omega$, a cyclic algebra of degree $n$ over $F$ is the $F$-algebra

$$A = (a, b)_{n,F} = F\langle x, y \mid x^n = a,\; y^n = b,\; yx = \omega x y \rangle, \quad a, b \in F^\times.$$

Within a central simple $F$-algebra $A$ of exponent dividing $n$, a Kummer element is an element $v \in A$ such that $v^n \in F$ and $v^k \notin F$ for $1 \leq k \leq n-1$ (Chapman, 2014, Chapman et al., 2014). An $F$-linear subspace $V \subseteq A$ is a Kummer subspace if every nonzero $v \in V$ is Kummer. For pure exponent-$n$ cases such as cyclic algebras and their tensor products, monomial Kummer subspaces are those with a basis of standard monomials (products of generators) (Chapman, 2014). The dimension and structure of Kummer subspaces reflect the algebra’s arithmetic and combinatorial properties.

2. Maximal Dimension Results in Generic Tensor Products

For the generic tensor product of $n$ cyclic algebras of degree $d$,

$A = \bigotimes_{k=1}^n (\alpha_k, \beta_k)_{d,F},$

where each factor is as above with independent parameters $\alpha_k, \beta_k \in F$, the search for maximal Kummer subspaces reduces to combinatorial and valuation-theoretic arguments. For $d=2$ (quaternion), the classical bound is $2n+1$; for $d=3$, it is $3n+1$ (Chapman, 2014); and for $d=4$ the bound $4n+1$ holds (Chapman et al., 2015).

Explicitly, in the degree $d$ case, maximal Kummer subspaces in the generic $n$-fold tensor product have dimension $dn+1$ for $d=2,3,4$ :

Degree $d$	Maximal Dimension	Reference
$2$	$2n+1$	(Chapman et al., 2015)
$3$	$3n+1$	(Chapman, 2014)
$4$	$4n+1$	(Chapman et al., 2015)

The construction is inductive. For $d=4$, e.g., begin with $V_0 = F$ (dim 1), then for each $k$,

$V_k = F[x_k] y_k \oplus (V_{k-1}\cdot x_k),$

where $F[x_k] y_k$ comprises all $y_k$, $x_k y_k, x_k^2 y_k, x_k^3 y_k$. This yields a sequence of subspaces $V_k$ with $\dim_F V_k = 4k+1$ (Chapman et al., 2015).

3. Classification of Kummer Subspaces: Monomial and Standard Subspaces

For cyclic algebras of prime degree $p$, every monomial Kummer subspace is standard—there exists a Kummer element $x$ and $0 \leq k < p$ such that

$$V \subseteq V_k(x) = F x + \{ w \in A : w x = \rho^k x w \}$$

and $\dim_F V \leq p+1$ (Chapman et al., 2014). The symmetric-product criterion governs whether a subspace is Kummer: for $V = Fv_1 + \cdots + Fv_t$, all symmetrized products with total degree $p$ must land in $F$.

For degree $n=3$, classification uses graph-theoretic techniques. Associate to the set of Kummer monomials a directed graph encoding conjugation relations: $y \to x$ whenever $y x y^{-1} = \rho x$. Maximal Kummer bases correspond to admissible subgraphs, in particular, sets with disjoint directed 3-cycles and a “hub” (Chapman, 2014).

4. Combinatorial and Valuation-Theoretic Methods

Upper bounds on Kummer subspace dimension are enforced by combinatorial obstructions. In the generic algebra, one can approximate arbitrary Kummer subspaces by monomial subspaces via valuation theory. The commutation relations among basis elements are encoded in multi-colored directed graphs; certain cycles or configurations are forbidden by centrality constraints. For degree 4, a direct analysis using these graphs shows that a Kummer basis can have at most $4n+1$ elements (Chapman et al., 2015).

For degree 3, the classification hinges on ensuring that all directed cycles in the conjugation graph have length exactly 3 and are vertex-disjoint. The connection between symmetrized products and group commutation properties is central (Chapman, 2014, Chapman et al., 2014). For degree $p$, additive number theory (zero-sum sequences mod $p$) appears in the argument.

5. Explicit Constructions and Examples

For $n=1$ (a single cyclic algebra), maximal Kummer subspaces are classical: in degree 4,

$V_1 = F + F x + F x^2 + F x^3 + F y$

with $\dim_F V_1 = 5$ (Chapman et al., 2015).

For $n=2$ (tensor of two degree-4 symbols), a basis of the $9$-dimensional Kummer subspace is

$$\{ y_2, x_2 y_2, x_2^2 y_2, x_2^3 y_2, x_2, x_1 x_2, x_1^2 x_2, x_1^3 x_2, y_1 x_2 \}.$$

This follows the inductive construction outlined above (Chapman et al., 2015). All proper subspaces with the Kummer property must be included in the standard construction; any monomial subspace outside this is not Kummer-maximal.

For general prime degree, all dimensions $1 \leq d \leq p+1$ are realizable as standard Kummer subspaces (Chapman et al., 2014):

Dimension $d$	Canonical Basis Elements
$1$	$F x$
$2$	$F x \oplus F y^k$
$3$	$F x \oplus F y^k \oplus F x y^k$
$\cdots$	$\cdots$
$p$	$$F x \oplus F y^k \oplus \cdots \oplus F x^{p-2} y^k$$
$p+1$	$V_k(x) = F x \oplus F[x] y^k$

6. Connections, Significance, and Open Problems

Kummer subspaces provide explicit bounds on symbol length for exponent-$n$ central simple algebras. For instance, the existence of a maximal Kummer subspace of dimension $d n + 1$ in the generic $n$-fold tensor product of degree $d$ symbols implies that any exponent-$d$ algebra of index dividing $d^n$ admits no larger Kummer family, which bounds symbol length in cohomological problems and Galois cohomology over $C_r$-fields (Chapman et al., 2015).

The degree $4$ case resolves a previously open problem left by the degree $2$ (classical, quadratic forms) and degree $3$ cases. It remains an open question whether for arbitrary $d$, the maximal Kummer subspace dimension is $d n + 1$ (the generic case is established only for $d = 2,3,4$), with partial evidence for other $d$ and small $n$ (Chapman, 2014, Chapman et al., 2015). The combinatorial-graph technique, tied to valuation-theoretic reduction, is the principal tool and appears promising for further generalizations, particularly for prime degrees and for higher $n$.

7. References and Key Literature

• "Tensor Products of Cyclic Algebras of Degree 4 and their Kummer Subspaces" (Chapman et al., 2015)—explicit bounds, constructions, and combinatorial classification for degree $4$, main source for the inductive construction and bound $4n+1$.
• "Kummer Spaces in Cyclic Algebras of Prime Degree" (Chapman et al., 2014)—classification and structure theorem for monomial and standard Kummer subspaces for any prime degree $p$, proving dimension bound $p+1$.
• "Kummer Subspaces of Tensor Products of Cyclic Algebras" (Chapman, 2014)—graph-theoretical approach to combinatorial structure, explicit classification and construction of maximal Kummer subspaces for degree $3$ and general results.

These works collectively illuminate the interplay of abstract algebra, combinatorics, and valuation theory in the study of Kummer subspaces, symbol lengths, and the arithmetic of noncommutative algebras.