🔢 mathematics

Group graded algebras and varieties with quadratic codimension growth

This paper classifies unitary $G$ -graded varieties with quadratic codimension growth over a field of characteristic zero, demonstrating that they can be described as direct sums of algebras generating minimal $G$ -graded varieties.

Original authors: Wesley Quaresma Cota

Published 2026-02-03

📖 4 min read🧠 Deep dive

CC BY 4.0

Original authors: Wesley Quaresma Cota

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 a detective trying to understand the "personality" of a mysterious mathematical object called an algebra. In the world of math, these algebras have rules they must follow, known as identities. Some algebras are very strict and follow many rules; others are more relaxed.

This paper is about measuring how "strict" or "complex" these algebras are by counting their rules. The author, Wesley Quaresma Cota, uses a specific measuring tape called codimension growth to see how the number of rules increases as the algebra gets bigger.

Here is the breakdown of the paper's story, using simple analogies:

1. The Two Types of Algebras: The Slow Walkers and the Sprinters

Imagine you are watching a race.

The Sprinters (Exponential Growth): Some algebras are chaotic. As you add more variables (more pieces to the puzzle), the number of rules they follow explodes like a firework. They grow so fast they are impossible to predict easily.
The Walkers (Polynomial Growth): Other algebras are orderly. Their rules grow at a steady, manageable pace, like a person walking up a hill.

The paper focuses entirely on the Walkers. Specifically, it looks at a special group of Walkers whose rules grow at a quadratic rate. In math terms, if the size of the algebra is $n$ , the number of rules grows roughly like $n^2$ (like the area of a square).

2. The "Graded" Twist: Color-Coded Blocks

The algebras in this paper aren't just plain blocks; they are graded. Imagine you have a set of building blocks, but every block is painted a specific color (representing a group element).

The rule is: You can only stack a Red block on a Blue block if the math says "Red + Blue = Green."
This adds a layer of complexity. The author is studying these color-coded algebras to see how their "rule-count" behaves when they grow quadratically.

3. The Goal: Finding the "Lego Bricks"

The main problem the author tackles is: "What do all these quadratic-growing algebras look like?"

In the past, mathematicians knew how to describe algebras that grew very slowly (linearly). But once you hit the "quadratic" speed, the possibilities seemed endless and messy.

The author's big discovery is that these complex algebras aren't actually messy. They are built from a specific, finite set of fundamental building blocks (which the author calls minimal varieties).

Think of it like this:

You might see a giant, complex castle.
The author proves that every single one of these castles is actually just a direct sum (a simple stacking) of a few specific, small Lego structures.
If you know the shapes of these small Lego structures, you can describe any castle in this category.

4. The "Minimal" Building Blocks

The paper identifies exactly what these Lego bricks are. They are specific types of small algebras (like $C^g_2$ , $K^g,h_7$ , $G^{g,h}_2$ , etc.).

These are the "atoms" of the quadratic world.
If an algebra grows quadratically, it is essentially a combination of these atoms.
The author provides a "menu" of these atoms. Depending on the specific "colors" (the group $G$ ) involved, you might have a few different types of atoms to choose from, but the list is finite and well-defined.

5. The "Recipe" for Classification

The paper acts like a cookbook.

Input: You have a unitary algebra (one with a "1" or identity element) that grows quadratically.
Process: The author shows you how to break it down. You don't need to look at the whole giant algebra; you just need to look at its "proper" parts (the core rules that don't involve the identity).
Output: You will find that your algebra is mathematically identical (isomorphic) to a pile of the specific minimal building blocks mentioned above.

The Bottom Line

The paper solves a classification puzzle. It says:

"If you have a color-coded algebra that grows at a quadratic speed, don't panic. It is not a unique monster. It is simply a combination of a few specific, well-understood 'minimal' algebras. We have listed all the possible combinations, so you can now describe any such algebra by just saying which Lego bricks it is made of."

This is a significant step because, before this, mathematicians knew these algebras existed but didn't have a complete map of what they looked like. Now, they have the map and the key to the building blocks.

Technical Summary: Group Graded Algebras and Varieties with Quadratic Codimension Growth

Problem Statement
The paper addresses the classification of unitary $G$ -graded varieties of associative algebras over a field of characteristic zero, specifically those exhibiting quadratic codimension growth. While the theory of polynomial identities (PI-theory) has established that the sequence of codimensions for any PI-algebra is either polynomially bounded or grows exponentially (Kemer's dichotomy), the systematic classification of varieties with specific polynomial growth rates remains incomplete. In the ordinary (non-graded) case, unitary varieties with polynomial growth $n^k$ have been classified only for small $k$ (up to $k=4$ ). In the $G$ -graded setting, where algebras are decomposed into subspaces indexed by a finite group $G$ , the classification is even less developed, with general results currently limited to varieties of at most linear growth. This work seeks to fill the gap by classifying unitary $G$ -graded varieties where the $n$ -th graded codimension $c_n^G(A)$ grows asymptotically as $qn^2$ .

Methodology
The author employs the representation theory of the symmetric group and the theory of proper polynomials to analyze the structure of these varieties. The methodology proceeds through several key steps:

Reduction to Proper Polynomials: For unitary algebras, the space of multilinear $G$ -graded polynomials is analyzed via the subspace of "proper" polynomials (linear combinations of commutators and products where degree-1 variables appear only within commutators). The paper utilizes the relationship between the total codimensions $c_n^G(A)$ and the proper codimensions $\gamma_n^G(A)$ , noting that polynomial growth of degree $t$ implies $\gamma_m^G(A) = 0$ for all $m > t$ .
Cocharacter Decomposition: The study focuses on the decomposition of proper cocharacters $\pi_{n_1, \dots, n_k}(A)$ into irreducible characters of the product of symmetric groups $S_{n_1} \times \dots \times S_{n_k}$ . For quadratic growth ( $t=2$ ), the analysis is restricted to the multiplicities of irreducible characters corresponding to partitions of $n=1$ and $n=2$ .
Construction of Minimal Varieties: The paper constructs a specific family of finite-dimensional $G$ -graded algebras (including variations of upper triangular matrix algebras, Grassmann algebras, and specific direct sums) to serve as generators for minimal varieties. These include algebras denoted as $C_g^m$ , $K_{g,h}^7$ , $G_{g,h}^2$ , and $W_{g,h}^\alpha$ .
Multiplicity Characterization: A central technique involves establishing a direct correspondence between the non-zero multiplicities of specific irreducible characters in the cocharacter decomposition of a variety and the presence of specific minimal algebras within that variety. The author proves that if two unitary $G$ -graded algebras with quadratic growth share the same multiplicities in their proper cocharacters, they generate the same variety.

Key Contributions and Results

Classification of Minimal Varieties: The paper identifies and characterizes all minimal unitary $G$ -graded varieties with quadratic growth. These are shown to be generated by algebras isomorphic to one of the following types (depending on the group elements $g, h, u, v$ ):
- $C_g^2, C_g^3$ : Commutative algebras related to upper triangular matrices.
- $K_{g,h}^7$ : A specific 7-dimensional algebra.
- $G_{g,h}^2$ : Graded versions of the Grassmann algebra.
- $W_{g,h}^\alpha$ : A family of 4-dimensional algebras parameterized by $\alpha \in F^*$ .
- Direct sums of these algebras (e.g., $K_{g,h}^7 \oplus G_{g,h}^2$ ).
Structural Decomposition Theorem: The main result (Theorem 5.14) states that any unitary $G$ -graded variety with quadratic codimension growth is generated by a finite direct sum of algebras from the set of minimal varieties listed above. Specifically, if $\text{var}_G(A)$ has quadratic growth, then $A$ is $T_G$ -equivalent to a direct sum $A_1 \oplus \dots \oplus A_m$ , where each $A_i$ is one of the minimal algebras identified, and at least one summand has exactly quadratic growth (rather than linear).
Multiplicity-Structure Correspondence: The paper provides a precise dictionary (Lemmas 5.2–5.10) linking the non-vanishing multiplicities of specific irreducible characters (e.g., $\chi((1)g)$ , $\chi((1,1)g)$ , $\chi((1)g) \otimes \chi((1)h)$ ) to the inclusion of specific minimal algebras (e.g., $C_g^2$ , $G_{g,g}^2$ , $K_{g,h}^7$ ) in the variety. This allows for the reconstruction of the variety's structure solely from its cocharacter data.
Generalization of Linear Growth Results: The work extends the known classification of varieties with at most linear growth (previously established in [16]) to the quadratic case, demonstrating that the structural principle—that such varieties decompose into direct sums of minimal varieties—holds for quadratic growth as well.

Significance
The paper claims that its primary significance lies in providing a complete structural description of unitary $G$ -graded varieties with quadratic codimension growth. By demonstrating that these varieties decompose into direct sums of minimal varieties, the work reduces the complex problem of classifying all such varieties to the classification of a specific, parametrized family of minimal algebras. This establishes a foundational framework for the graded PI-theory, analogous to results in the ordinary case, and highlights that despite the potential for infinite families of such varieties (depending on the group $G$ ), they are all well-structured and explicitly describable. The results rely on the interplay between the combinatorics of proper polynomials and the representation theory of symmetric groups, offering a rigorous method for analyzing the asymptotic behavior of graded identities.