Codimension growth and minimal superalgebras

A celebrated theorem of Kemer (1978) states that any algebra satisfying a polynomial identity over a field of characteristic zero is PI-equivalent to the Grassmann envelope G(A) of a finite dimensional superalgebra A. In this paper, by exploiting the basic properties of the exponent of a PI-algebra proved by Giambruno and Zaicev (1999), we define and classify the minimal superalgebras of a given exponent over a field of characteristic zero. In particular we prove that these algebras can be realized as block-triangular matrix algebras over the base field. The importance of such algebras is readily proved: A is a minimal superalgebra if and only if the ideal of identities of G(A) is a product…

Symmetric identities in graded algebras

Let P k be the symmetric polynomial of degree k i.e., the full linearization of the polynomial x k . Let G be a cancellation semigroup with 1 and R a G-graded ring with finite support of order n. We prove that if R 1 satisfies $ P_k \equiv 0 $ then R satisfies $ P_{kn} \equiv 0 $ .

Finite-dimensional non-associative algebras and codimension growth

AbstractLet A be a (non-necessarily associative) finite-dimensional algebra over a field of characteristic zero. A quantitative estimate of the polynomial identities satisfied by A is achieved through the study of the asymptotics of the sequence of codimensions of A. It is well known that for such an algebra this sequence is exponentially bounded.Here we capture the exponential rate of growth of the sequence of codimensions for several classes of algebras including simple algebras with a special non-degenerate form, finite-dimensional Jordan or alternative algebras and many more. In all cases such rate of growth is integer and is explicitly related to the dimension of a subalgebra of A. One…

POLYNOMIAL IDENTITIES ON SUPERALGEBRAS AND ALMOST POLYNOMIAL GROWTH

Let A be a superalgebra over a field of characteristic zero. In this paper we investigate the graded polynomial identities of A through the asymptotic behavior of a numerical sequence called the sequence of graded codimensions of A. Our main result says that such sequence is polynomially bounded if and only if the variety of superalgebras generated by A does not contain a list of five superalgebras consisting of a 2-dimensional algebra, the infinite dimensional Grassmann algebra and the algebra of 2 × 2 upper triangular matrices with trivial and nontrivial gradings. Our main tool is the representation theory of the symmetric group.

A characterization of fundamental algebras through S-characters

Abstract Fundamental algebras play an important role in the theory of algebras with polynomial identities in characteristic zero. They are defined in terms of multialternating polynomials non vanishing on them. Here we give a characterization of fundamental algebras in terms of representations of symmetric groups obtaining this way an equivalent definition. As an application we determine when a finitely generated Grassmann algebra is fundamental.

Abelian gradings on upper-triangular matrices

Let G be an arbitrary finite abelian group. We describe all possible G-gradings on an upper-triangular matrix algebra over an algebraically closed field of characteristic zero.

Polynomial codimension growth and the Specht problem

Abstract We construct a continuous family of algebras over a field of characteristic zero with slow codimension growth bounded by a polynomial of degree 4. This is achieved by building, for any real number α ∈ ( 0 , 1 ) a commutative nonassociative algebra A α whose codimension sequence c n ( A α ) , n = 1 , 2 , …  , is polynomially bounded and lim ⁡ log n ⁡ c n ( A α ) = 3 + α . As an application we are able to construct a new example of a variety with an infinite basis of identities.

Graded Involutions on Upper-triangular Matrix Algebras

Let UTn be the algebra of n × n upper-triangular matrices over an algebraically closed field of characteristic zero. We describe all G-gradings on UTn by a finite abelian group G commuting with an involution (involution gradings).

Codimension growth of central polynomials of Lie algebras

Abstract Let L be a finite-dimensional simple Lie algebra over an algebraically closed field of characteristic zero and let I be the T-ideal of polynomial identities of the adjoint representation of L. We prove that the number of multilinear central polynomials in n variables, linearly independent modulo I, grows exponentially like ( dim ⁡ L ) n {(\dim L)^{n}} .

ON THE COLENGTH OF A VARIETY OF LIE ALGEBRAS

We study the variety of Lie algebras defined by the identity [Formula: see text] over a field of characteristic zero. We prove that, as in the associative case, in the nth cocharacter χn of this variety, every irreducible Sn-character appears with polynomially bounded multiplicity (not greater than n2). Anyway, surprisingly enough, we also show that the colength of this variety, i.e. the total number of irreducibles appearing in χn is asymptotically equal to [Formula: see text].

Sturmian words and overexponential codimension growth

Abstract Let A be a non necessarily associative algebra over a field of characteristic zero satisfying a non-trivial polynomial identity. If A is a finite dimensional algebra or an associative algebra, it is known that the sequence c n ( A ) , n = 1 , 2 , … , of codimensions of A is exponentially bounded. If A is an infinite dimensional non associative algebra such sequence can have overexponential growth. Such phenomenon is present also in the case of Lie or Jordan algebras. In all known examples the smallest overexponential growth of c n ( A ) is ( n ! ) 1 2 . Here we construct a family of algebras whose codimension sequence grows like ( n ! ) α , for any real number α with 0 α 1 .

Central Polynomials of Algebras and Their Growth

A polynomial in noncommutative variables taking central values in an algebra A is called a central polynomial of A. For instance the algebra of k × k matrices has central polynomials. For general algebras the existence of central polynomials is not granted. Nevertheless if an algebra has such polynomials, how can one measure how many are there?

Some Numerical Invariants of Multilinear Identities

We consider non-necessarily associative algebras over a field of characteristic zero and their polynomial identities. Here we describe most of the results obtained in recent years on two numerical sequences that can be attached to the multilinear identities satisfied by an algebra: the sequence of codimensions and the sequence of colengths.

On codimension growth of finite-dimensional Lie superalgebras

Polynomial Identities of Algebras of Small Dimension

It is well known that given an associative algebra or a Lie algebra A, its codimension sequence c n (A) is either polynomially bounded or grows at least as fast as 2 n . In [2] we proved that for a finite dimensional (in general nonassociative) algebra A, dim A = d, the sequence c n (A) is also polynomially bounded or c n (A) ≥ a n asymptotically, for some real number a > 1 which might be less than 2. Nevertheless, for d = 2, we may take a = 2. Here we prove that for d = 3 the same conclusion holds. We also construct a five-dimensional algebra A with c n (A) < 2 n .

Proper identities, Lie identities and exponential codimension growth

Abstract The exponent exp ( A ) of a PI-algebra A in characteristic zero is an integer and measures the exponential rate of growth of the sequence of codimensions of A [A. Giambruno, M. Zaicev, On codimension growth of finitely generated associative algebras, Adv. Math. 140 (1998) 145–155; A. Giambruno, M. Zaicev, Exponential codimension growth of P.I. algebras: An exact estimate, Adv. Math. 142 (1999) 221–243]. In this paper we study the exponential rate of growth of the sequences of proper codimensions and Lie codimensions of an associative PI-algebra. We prove that the corresponding proper exponent exists for all PI-algebras, except for some algebras of exponent two strictly related to t…

Abelian Gradings on Upper Block Triangular Matrices

AbstractLet G be an arbitrary finite abelian group. We describe all possible G-gradings on upper block triangular matrix algebras over an algebraically closed field of characteristic zero.

Anomalies on codimension growth of algebras

Abstract This paper deals with the asymptotic behavior of the sequence of codimensions c n ⁢ ( A ) ${c_{n}(A)}$ , n = 1 , 2 , … , ${n=1,2,\ldots,}$ of an algebra A over a field of characteristic zero. It is shown that when such sequence is polynomially bounded, then lim sup n → ∞ ⁡ log n ⁡ c n ⁢ ( A ) ${\limsup_{n\to\infty}\log_{n}c_{n}(A)}$ and lim inf n → ∞ ⁡ log n ⁡ c n ⁢ ( A ) ${\liminf_{n\to\infty}\log_{n}c_{n}(A)}$ can be arbitrarily distant. Also, in case the codimensions are exponentially bounded, we can construct an algebra A such that exp ⁡ ( A ) = 2 ${\exp(A)=2}$ and, for any q ≥ 1 ${q\geq 1}$ , there are infinitely many integers n such that c n ⁢ ( A ) &gt; n q ⁢ 2 n ${c_{n}(A)&…

Exponential Codimension Growth of PI Algebras: An Exact Estimate

Abstract LetAbe an associative PI-algebra over a fieldFof characteristic zero. By studying the exponential behavior of the sequence of codimensions {cn(A)} ofA, we prove thatInv(A)=limn→∞  c n ( A ) always exists and is an integer. We also give an explicit way for computing such integer: letBbe a finite dimensionalZ2-graded algebra whose Grassmann envelopeG(B) satisfies the same identities ofA; thenInv(A)=Inv(G(B))=dim C(0)+dim C(1)whereC(0)+C(1)is a suitableZ2-graded semisimple subalgebra ofB.

Algebras with intermediate growth of the codimensions

AbstractLet F be a field of characteristic zero and let A be an F-algebra. The polynomial identities satisfied by A can be measured through the asymptotic behavior of the sequence of codimensions and the sequence of colengths of A. For finite dimensional algebras we show that the colength sequence of A is polynomially bounded and the codimension sequence cannot have intermediate growth. We then prove that for general nonassociative algebras intermediate growth of the codimensions is allowed. In fact, for any real number 0<β<1, we construct an algebra A whose sequence of codimensions grows like nnβ.

Growth of polynomial identities: is the sequence of codimensions eventually non-decreasing?

Polynomial Identities and Asymptotic Methods

Polynomial identities and PI-algebras $S_n$-representations Group gradings and group actions Codimension and colength growth Matrix invariants and central polynomials The PI-exponent of an algebra Polynomial growth and low PI-exponent Classifying minimal varieties Computing the exponent of a polynomial $G$-identities and $G\wr S_n$-action Superalgebras, *-algebras and codimension growth Lie algebras and nonassociative algebras The generalized-six-square theorem Bibliography Index.

G-identities on associative algebras

Asymptotics for the standard and the Capelli identities

Let {c n (St k )} and {c n (C k )} be the sequences of codimensions of the T-ideals generated by the standard polynomial of degreek and by thek-th Capelli polynomial, respectively. We study the asymptotic behaviour of these two sequences over a fieldF of characteristic zero. For the standard polynomial, among other results, we show that the following asymptotic equalities hold: $$\begin{gathered} c_n \left( {St_{2k} } \right) \simeq c_n \left( {C_{k^2 + 1} } \right) \simeq c_n \left( {M_k \left( F \right)} \right), \hfill \\ c_n \left( {St_{2k + 1} } \right) \simeq c_n \left( {M_{k \times 2k} \left( F \right) \oplus M_{2k \times k} \left( F \right)} \right), \hfill \\ \end{gathered} $$ wher…

Codimension growth of special simple Jordan algebras

Let $R$ be a special simple Jordan algebra over a field of characteristic zero. We exhibit a noncommutative Jordan polynomial $f$ multialternating on disjoint sets of variables which is not a polynomial identity of $R$. We then study the growth of the polynomial identities of the Jordan algebra $R$ through an analysis of its sequence of Jordan codimensions. By exploiting the basic properties of the polynomials $f$, we are able to compute the exponential rate of growth of the sequence of Jordan codimensions of $R$ and prove that it equals the dimension of the Jordan algebra over its center. We also show that for any finite dimensional special Jordan algebra, such exponential rate of growth c…

Multialternating Jordan polynomials and codimension growth of matrix algebras

Abstract Let R be the Jordan algebra of k  ×  k matrices over a field of characteristic zero. We exhibit a noncommutative Jordan polynomial f multialternating on disjoint sets of variables of order k 2 and we prove that f is not a polynomial identity of R . We then study the growth of the polynomial identities of the Jordan algebra R through an analysis of its sequence of Jordan codimensions. By exploiting the basic properties of the polynomial f , we are able to prove that the exponential rate of growth of the sequence of Jordan codimensions of R in precisely k 2 .

Codimensions of algebras and growth functions

Abstract Let A be an algebra over a field F of characteristic zero and let c n ( A ) , n = 1 , 2 , … , be its sequence of codimensions. We prove that if c n ( A ) is exponentially bounded, its exponential growth can be any real number >1. This is achieved by constructing, for any real number α > 1 , an F-algebra A α such that lim n → ∞ c n ( A α ) n exists and equals α. The methods are based on the representation theory of the symmetric group and on properties of infinite Sturmian and periodic words.

On Codimension Growth of Finitely Generated Associative Algebras

Abstract LetAbe a PI-algebra over a fieldF. We study the asymptotic behavior of the sequence of codimensionscn(A) ofA. We show that ifAis finitely generated overFthenInv(A)=limn→∞  c n (A) always exists and is an integer. We also obtain the following characterization of simple algebras:Ais finite dimensional central simple overFif and only ifInv(A)=dim=A.

Central polynomials of associative algebras and their growth

Non-integrality of the PI-exponent of special Lie algebras

If L is a special Lie algebra over a field of characteristic zero, its sequence of codimensions is exponentially bounded. The PI-exponent measures the exponential rate of growth of such sequence and here we give a first example of a special Lie algebra whose (upper and lower) PI-exponent is non-integer.

Minimal varieties of algebras of exponential growth

Abstract The exponent of a variety of algebras over a field of characteristic zero has been recently proved to be an integer. Through this scale we can now classify all minimal varieties of given exponent and of finite basic rank. As a consequence, we describe the corresponding T-ideals of the free algebra and we compute the asymptotics of the related codimension sequences, verifying in this setting some known conjectures. We also show that the number of these minimal varieties is finite for any given exponent. We finally point out some relations between the exponent of a variety and the Gelfand–Kirillov dimension of the corresponding relatively free algebras of finite rank.

Involution Codimensions of Finite Dimensional Algebras and Exponential Growth

Abstract Let F be a field of characteristic zero and let A be a finite dimensional algebra with involution ∗ over F . We study the asymptotic behavior of the sequence of ∗ -codimensions c n ( A , ∗ ) of A and we show that Exp(A, ∗ ) = lim n → ∞ c n ( A , ∗ ) exists and is an integer. We give an explicit way for computing Exp( A , ∗ ) and as a consequence we obtain the following characterization of ∗ -simple algebras: A is ∗ -simple if and only if Exp( A , ∗ ) = dim F A .