Kemer-type Theorems in PI-Theory

• Kemer-type theorems are structural results in PI-theory that describe affine PI-algebras using polynomial identities, radicals, and Capelli identities to ensure nilpotence.
• They integrate combinatorial techniques and the representation theory of symmetric groups to derive sparse identities that strengthen arbitrary polynomial identities to Capelli identities.
• Their unified approach extends the Braun–Kemer–Razmyslov theorem to affine PI-algebras over Noetherian rings, offering deep insights into T-ideal theory and algebraic structure.

Searching arXiv for the cited paper and closely related Kemer/PI-algebra work to ground the article. Kemer-type theorems are deep structural results in PI-theory that describe affine PI-algebras through the interaction of polynomial identities, radicals, and representability phenomena. In the framework developed around the Braun–Kemer–Razmyslov theorem, the characteristic conclusion is that nil behavior in affine PI-algebras is forced into nilpotence: for an affine PI-algebra over a commutative Noetherian ring, every nil ideal is nilpotent, and over a Jacobson Noetherian base ring the Jacobson radical is nilpotent (Belov et al., 2014). In this setting, the phrase “Kemer-type theorem” refers to results proved by combining representation theory of symmetric groups, combinatorics of alternating identities, and reductions to finite or finite-dimensional models, with the Braun–Kemer–Razmyslov theorem serving as a canonical example (Belov et al., 2014).

1. Canonical statements and the Braun–Kemer–Razmyslov synthesis

Let $C$ be a commutative ring, and let $A$ be affine over $C$, meaning that it is generated as a $C$-algebra by finitely many elements $a_1,\dots,a_\ell$, written $A=C\{a_1,\dots,a_\ell\}$. An algebra is finite over $C$ if it is a finitely generated $C$-module. Over a field $F$, $A$ is a PI-algebra if it satisfies some nontrivial polynomial identity in the free algebra $A$0. The Capelli polynomial of degree $A$1 is

$A$2

and a Capelli identity of degree $A$3 means that $A$4 vanishes under all evaluations in the algebra (Belov et al., 2014).

The classical field-theoretic form of the Braun–Kemer–Razmyslov theorem states that the Jacobson radical $A$5 of any affine PI-algebra $A$6 over a field is nilpotent (Belov et al., 2014). Within the same narrative, several precursor statements are distinguished. Razmyslov’s theorem asserts that if an affine algebra over a field satisfies a Capelli identity, then its Jacobson radical is nilpotent (Belov et al., 2014). Kemer’s theorem supplies the missing hypothesis by proving that affine PI-algebras satisfy some Capelli identity, first in characteristic zero and then in positive characteristic (Belov et al., 2014). Braun’s theorem extends the nilpotence phenomenon to arbitrary commutative Noetherian base rings by showing that any nil ideal of an affine PI-algebra is nilpotent (Belov et al., 2014).

Belov–Rowen organize these results into a unified statement: if $A$7 is an affine PI-algebra over a commutative Noetherian ring $A$8, then any nil ideal of $A$9 is nilpotent; in particular, if $C$0 is Jacobson, then $C$1 is nilpotent (Belov et al., 2014). This formulation is the most general version presented there and is the sense in which the theorem is treated as a central Kemer-type result.

2. Meaning of “Kemer-type theorem” in PI-theory

Kemer’s theory concerns the structure and classification of PI-algebras and their $C$2-ideals of identities. The relevant themes include $C$3-ideal representability, reduction to finite-dimensional and basic algebras, and finite basis and codimension growth (Belov et al., 2014). In this context, a Kemer-type theorem is not merely a statement about existence of identities; it is a structural theorem asserting that affine PI-algebras are governed by rigid constraints on radicals and semisimple quotients, together with strong consequences for $C$4-ideals (Belov et al., 2014).

The Braun–Kemer–Razmyslov theorem is archetypal in this sense. It identifies nilpotence of the Jacobson radical, or more generally of nil ideals, as a universal structural constraint in affine PI-algebras (Belov et al., 2014). Its proof is Kemer-type because it proceeds from an arbitrary polynomial identity to a Capelli identity, then exploits the highly structured form of Capelli identities to control radicals by combinatorial and integrality arguments (Belov et al., 2014). The passage from “some PI” to “a Capelli identity” is mediated by sparse identities and the representation theory of $C$5, while the passage from Capelli identities to nilpotence uses Zubrilin’s doubly alternating module, generic integrality, and Shirshov’s height theorem (Belov et al., 2014).

A plausible implication is that the phrase “Kemer-type” functions less as a narrow theorem label than as a methodological designation. In the present setting it denotes an overview of representation-theoretic, combinatorial, and structural techniques that convert polynomial identities into strong algebraic consequences about radicals and representability (Belov et al., 2014).

3. Fundamental constructions: $C$6-ideals, Capelli identities, and doubly alternating modules

A polynomial identity for a $C$7-algebra $C$8 is a nonzero polynomial $C$9 such that $C$0 for all evaluations in $C$1, with at least one coefficient equal to $C$2. The identities of $C$3 form a $C$4-ideal $C$5, meaning an ideal stable under all endomorphisms of the free algebra. The corresponding relatively free algebra is $C$6 for a $C$7-ideal $C$8 (Belov et al., 2014).

Capelli polynomials are alternating in the $C$9-variables. More generally, a polynomial $a_1,\dots,a_\ell$0 is alternating in $a_1,\dots,a_\ell$1 if

$a_1,\dots,a_\ell$2

for all $a_1,\dots,a_\ell$3, equivalently if substituting $a_1,\dots,a_\ell$4 gives zero. It is doubly alternating if it is alternating separately in the $a_1,\dots,a_\ell$5’s and in the $a_1,\dots,a_\ell$6’s (Belov et al., 2014).

The central object in Zubrilin’s approach is the module $a_1,\dots,a_\ell$7 generated by all doubly alternating polynomials in the free algebra $a_1,\dots,a_\ell$8, together with the double Capelli polynomial

$a_1,\dots,a_\ell$9

Modulo the $A=C\{a_1,\dots,a_\ell\}$0-ideal generated by $A=C\{a_1,\dots,a_\ell\}$1, the image of $A=C\{a_1,\dots,a_\ell\}$2 is denoted $A=C\{a_1,\dots,a_\ell\}$3 (Belov et al., 2014). The importance of $A=C\{a_1,\dots,a_\ell\}$4 lies in the fact that it carries a module structure encoding generalized integrality relations, and these relations become the mechanism by which one annihilates products involving the obstruction ideal and Capelli-generated ideals (Belov et al., 2014).

This construction is characteristic of Kemer-type arguments: alternating and doubly alternating polynomials are not treated as isolated identities but as carriers of module-theoretic and representation-theoretic structure. That structure is then transferred, via specialization and relatively free products, to the algebra under study (Belov et al., 2014).

4. $A=C\{a_1,\dots,a_\ell\}$5-operators, integrality obstruction, and the nilpotence mechanism

Fix $A=C\{a_1,\dots,a_\ell\}$6 and a polynomial $A=C\{a_1,\dots,a_\ell\}$7 multilinear in $A=C\{a_1,\dots,a_\ell\}$8. For a new noncommuting indeterminate $A=C\{a_1,\dots,a_\ell\}$9, the operators $C$0 are defined by

$C$1

where $C$2 is the homogeneous component of degree $C$3 in $C$4, equivalently

$C$5

Analogous operators $C$6 act on the $C$7-variables. If $C$8 is alternating in $C$9, then each $C$0 is again alternating (Belov et al., 2014).

The crucial symmetry is that if $C$1 is doubly alternating in $C$2 and $C$3, then for any polynomial $C$4,

$C$5

This allows one to define commuting operators $C$6 on $C$7 by

$C$8

The resulting module action is the algebraic core of Zubrilin’s method (Belov et al., 2014).

For a $C$9-algebra $F$0, Belov–Rowen introduce commuting variables $F$1 for each $F$2, form

$F$3

and define the integrality ideal

$F$4

The obstruction to integrality is

$F$5

If every element of $F$6 is $F$7-integral over the base ring, or some central subring, then $F$8, and $F$9 (Belov et al., 2014).

The link between the combinatorics and radical theory is the assertion that

$A$0

so the generic integrality relations annihilate the module of doubly alternating polynomials modulo Capelli (Belov et al., 2014). For a PI-algebra satisfying $A$1, this leads to the central vanishing theorem

$A$2

where $A$3 is the ideal generated by evaluations of $A$4 in $A$5 (Belov et al., 2014). Combined with two additional inclusions,

$A$6

for suitable integers $A$7, one obtains nilpotence: for a nil ideal $A$8,

$A$9

This proves that nil ideals are nilpotent in the Capelli case over a commutative Noetherian base ring (Belov et al., 2014).

5. Sparse identities, symmetric groups, and the derivation of Capelli identities

The second major ingredient is the derivation of Capelli identities from arbitrary polynomial identities. Let $A$00 denote the multilinear polynomials in $A$01; it is identified with the group algebra $A$02 by

$A$03

A polynomial

$A$04

is a sparse identity for $A$05 if for any monomial $A$06,

$A$07

Capelli polynomials are sparse identities (Belov et al., 2014).

Sparse identities have a decisive combinatorial property: they yield a lexicographic reduction on words, allowing monomials involving many long words to be rewritten as linear combinations with fewer long words. Coupled with Shirshov’s height theorem, this gives spanning and representability consequences (Belov et al., 2014). To construct sparse identities, Belov–Rowen use Young symmetrizers, dimensions $A$08 from the hook formula, codimension estimates, and Regev’s bound

$A$09

for algebras satisfying a PI of degree $A$10 (Belov et al., 2014).

In characteristic zero, rectangular partitions are used to obtain strong identities and hence sparse identities of degree bounded by

$A$11

up to constants, leading to an explicit Capelli bound in Theorem 3.17 (Belov et al., 2014). In characteristic $A$12, wide staircases and Fayers’ criterion yield sparse identities with degree roughly

$A$13

with $A$14 chosen in terms of $A$15, producing the positive-characteristic Capelli theorem of Theorem 4.5 (Belov et al., 2014).

These sparse identities feed into the statement that every affine algebra satisfying a sparse identity of degree $A$16 and generated by $A$17 elements satisfies a Capelli identity $A$18 for

$A$19

This is the mechanism by which Kemer’s theorem is realized in the paper: arbitrary polynomial identities are first strengthened to sparse identities and then converted into Capelli identities (Belov et al., 2014).

6. Extension from fields to arbitrary commutative Noetherian rings

The extension from fields to arbitrary commutative Noetherian rings requires both field-theoretic reduction and Noetherian induction. In the Capelli case, the combinatorial proof of Razmyslov’s theorem works over arbitrary commutative Noetherian $A$20, with Noetherianity entering through finiteness arguments and applications of Shirshov’s height theorem (Belov et al., 2014). This yields the theorem that if $A$21 is affine over a commutative Noetherian ring $A$22 and satisfies a Capelli identity, then every nil ideal of $A$23 is nilpotent (Belov et al., 2014).

For a general affine PI-algebra over Noetherian $A$24, Belov–Rowen prove that $A$25 satisfies a product of Capelli identities. When $A$26 is an integral domain, one tensors with its field of fractions $A$27 to obtain $A$28, applies the field-based Capelli theorem to $A$29, and deduces that a multiple $A$30 vanishes in $A$31 for some nonzero $A$32 (Belov et al., 2014). Passing to $A$33, one invokes Noetherian induction and a lemma showing that appropriate products of Capelli identities produce a single Capelli identity on $A$34 (Belov et al., 2014). For a general Noetherian ring $A$35, the nilradical is expressed as an intersection of finitely many prime ideals, and the same argument is applied to each quotient $A$36, after which a Capelli identity on $A$37 is recovered (Belov et al., 2014).

Once the existence of a Capelli identity is established over arbitrary Noetherian $A$38, the Capelli-case nilpotence theorem implies the full Braun–Kemer–Razmyslov conclusion (Belov et al., 2014). If $A$39 is Jacobson Noetherian, Amitsur–Procesi imply that affine algebras over $A$40 are Jacobson and that their Jacobson radicals are nil, so Braun’s theorem upgrades nil to nilpotent (Belov et al., 2014). This is the precise point at which the stronger statement about $A$41 is obtained.

7. Structural consequences, examples, and mathematical significance

The central structural consequence is that for any affine PI-algebra $A$42 over a Noetherian Jacobson ring $A$43, the Jacobson radical $A$44 is nilpotent (Belov et al., 2014). Consequently,

$A$45

is a semiprime PI-algebra, and under further standard hypotheses it decomposes into a subdirect product of prime PI-algebras finite over their centers (Belov et al., 2014). Even without the Jacobson hypothesis, the fact that every nil ideal is nilpotent imposes strong restrictions on the radical structure of affine PI-algebras (Belov et al., 2014).

Several special cases clarify the theorem’s range. If $A$46 is a commutative affine algebra over a field, then $A$47 is nilpotent; this is the base case $A$48, since $A$49 forces commutativity (Belov et al., 2014). If $A$50 for a commutative $A$51-algebra $A$52, then any nil subalgebra $A$53 is nilpotent of index $A$54, where $A$55 is the nilpotence index of the nilradical of $A$56; if $A$57 is reduced, then any nil subalgebra must be zero (Belov et al., 2014). If $A$58 is finite over an affine commutative subalgebra $A$59 over a field, then $A$60 is nilpotent (Belov et al., 2014).

The theorem also interacts with $A$61-ideal theory. The paper does not re-derive finite basis or representability of $A$62-ideals, but its use of sparse identities, symmetric group representations, Young diagrams, hook formula, and Specht modules is the same kind of machinery used in Kemer’s classification of $A$63-ideals and in the proof of the Specht problem for PI-algebras (Belov et al., 2014). This suggests that radical nilpotence is one manifestation of a broader principle: affine PI-algebras are accessible because their identities admit a highly rigid combinatorial organization.

Relative to the earlier literature, Razmyslov’s theorem addressed affine algebras over fields satisfying Capelli identities, while Braun’s theorem treated affine PI-algebras over arbitrary Noetherian rings by structural methods involving Azumaya algebras and central closure (Belov et al., 2014). Belov–Rowen’s contribution is to provide a complete combinatorial proof of Razmyslov’s theorem and its Noetherian generalization, to integrate Kemer’s Capelli theorem in all characteristics, and to give a characteristic-free, self-contained exposition that unifies Razmyslov’s combinatorics, Kemer’s sparse identities, and Braun’s nilpotence theorem into a single framework (Belov et al., 2014).

In this sense, Kemer-type theorems are best understood as structural PI-theorems obtained by a characteristic blend of methods: combinatorics of words and alternating identities, representation theory of $A$64, reduction to finite and basic algebras, and integrality arguments over commutative Noetherian rings (Belov et al., 2014). The Braun–Kemer–Razmyslov theorem remains a flagship instance because it converts the existence of polynomial identities into a definitive statement about radicals: in affine PI-algebras, nil ideals cannot remain merely nil; they are forced to be nilpotent (Belov et al., 2014).