Abstract:
We study identities of Lie superalgebras over a field of characteristic zero.
We construct a series of examples of finite-dimensional solvable Lie
superalgebras with non-nilpotent commutator subalgebra for which
the PI-exponent of codimension growth exists and is an integer number.
The first author was partially supported
by the Russian Science Fund, grant no. 22-11-00052. The second author was
supported by the Slovenian Research and Innovation Agency, grant
nos. P1-0292, N1-0278, N1-0114, N1-0083, J1-4031, J1-4001.
We study identities of Lie superalgebras over a field $F$ of characteristic zero. The existence of a non-trivial identity of an algebra plays a important role in the study of its properties and structure. For example, if $A$ is an associative finitely generated PI-algebra, then its Gelfand–Kirillov dimension $\operatorname{Gkdim}(A)$ is finite, and the Jacobson radical $J(A)$ is nilpotent. Moreover, if $A$ is simple, then $\dim A< \infty$. If $A$ and $B$ are two finite-dimensional simple algebras (not necessarily associative) over an algebraically closed field, then they are isomorphic if and only if $A$ and $B$ satisfy the same polynomial identities.
Analysis of numerical invariants is one of the fundamental directions in the study of identity relations. One of the most significant numerical invariants that characterize the quantity of identities of algebra $A$ is the sequence $c_n(A)$, $n=1,2,\dots$, called the codimension sequence. In the general case, the sequence $\{c_n(A)\}$ has an overexponential growth. For example, if $A$ is a free assocative algebra of countable rank, then $c_n(A)=n!$. For a free Lie algebra, we have $c_n(A)=(n-1)!$. Even if a Lie algebra $L$ satisfies the sufficiently strong identity $[[x_1,x_2,x_3],[y_1,y_2,y_3]]\equiv 0$, its codimension sequence $\{c_n(L)\}$ grows like $\sqrt{n!}$ (see [1]). Nevertheless, for a wide class of algebras, the codimension sequence is exponentially bounded. So, for any associative PI-algebra $A$, there is a constant $a$ such that $c_n(A)<a^n$ for all $n\geqslant 1$ (see [2], and also [3]). If $A$ is an arbitrary finite-dimensional algebra, $\dim A=d$, then $c_n(A)\leqslant d^{n+1}$ (see [4] or [5]). If $L$ is an infinite-dimensional simple Lie algebra of Cartan type or a Virasoro algebra, then $c_n(A)<a^n$ (see [6]). A similar restriction holds also for any affine Kac–Moody algebra (see [7]). If $L$ is a Lie superalgebra with nilpotent commutator subalgebra, $(L^2)^{t+1}=0$, then the codimension sequence $\{c_n(L)\}$ grows asymptotically not faster than $(2t)^n$ (see [8]). For any Novikov algebra, $A$ the codimension sequence is also exponentially bounded, $c_n(A)\leqslant 4^n$ (see [9]).
In the 1980s, S. Amitsur posed a conjecture that the limit of the sequence $\{\sqrt[n]{c_n(A)}\,\}$ exists and is a non-negative integer for any associative PI-algebra $A$. This conjecture was confirmed in [10], [11], and the limit
was called the PI-exponent of algebra $A$. Later on, the existence and integrality of the limit (1) was proved for any finite-dimensional Lie algebra [12], Jordan algebra [13], and some other algebras. It turned out that in the case of finite-dimensional associative, Lie, or Jordan algebra over an algebraically closed field, the PI-exponent of $A$ is equal to $\dim A$ if and only if $A$ is simple.
If $A$ is graded by a group $G$, one can also study, along with usual identities, $G$-graded identities of $A$ and their numerical invariants. Graded identities form a more precise charateristic than ordinary identities. For example, if $G=\mathbb Z_2$, then any multilinear identity of degree $n$ is equivalent to the system of $2^n$ graded identities. Therefore, it is reasonable in the Lie superalgebra case to consider both graded and non-graded identities.
It turned out that, in the super Lie case, the situation differs significantly from the ordinary Lie or associative case. In [14]–[16], examples of finite-dimensional Lie superalgebras are given for which graded and ordinary PI-exponent exist but they are not integer numbers. It was also shown that the PI-exponent of a simple Lie superalgebra $L$ can be less than $\dim L$.
In the above mentioned examples, the finite-dimensional Lie superalgebras are not solvable. So, the natural question arises: Is it true that graded and non-graded exponents exist for any finite-dimensional solvable Lie superalgebra $L$? If the commutator subalgebra of $L$ is nilpotent, then the answer is affirmative (see [8]). On the other hand, for solvable Lie superalgebra $L=L_0\oplus L_1$ with non-zero odd component $L_1$, its ideal $L^2$ can be non-nilpotent. In [17], a series of finite-dimensional solvable Lie superalgebras $S(t)$, $t\geqslant 2$, with non-nilpotent commutator subalgebras was constructed. It was also shown that $\exp(S(2))=\exp^{\mathrm{gr}}(S(2))=4.$ In the present paper, we prove existence and integrality of graded PI-exponent for any superalgebra $S(t)$, $t\geqslant 3$. We also compute the value of this exponent.
All the necessary information about polynomial identities and their numerical invariants can be found in the monographs [18]–[20].
§ 2. Preliminaries
Let $F$ be a field of characteristic zero and let $F\{X,Y\}$ be an absolutely free algebra over $F$ with two infinite sets of generators $X$ and $Y$. The algebra $F\{X,Y\}$ can be naturally endowed with $\mathbb Z_2$-grading $F\{X,Y\}=F\{X,Y\}_0\,{\oplus}\, F\{X,Y\}_1$ if we define all generators from $X$ as even and all from $Y$ as odd. If $L=L_0\oplus L_1$ is some $\mathbb Z_2$-graded algebra over $F$, then a non-associative polynomial $f=f(x_1,\ldots,x_m,y_1,\ldots,y_n)\in F\{X,Y\}$ is called a graded identity of algebra $L$ if $f=f(a_1,\dots,a_m, b_1,\dots,b_n)=0$ for any $a_1,\dots,a_m\in L_0$, $b_1,\dots,b_n\in L_1$. The set of all identities $\mathrm{Id}^{\mathrm{gr}}(L)$ forms a graded ideal of $F\{X,Y\}$ invariant under all endomorphisms of $F\{X,Y\}$ preserving grading, that is, it is a $\mathrm{T}$-ideal.
Denote by $P_{k,m}$ the subspace of all multilinear polynomials of degree $n=k+m$ of $x_1,\dots,x_k\in X$, $y_1,\dots,y_m\in Y$. It is well-known that the family of all subspaces $P_{r,m}\cap \mathrm{Id}^{\mathrm{gr}}(L)$, $k,m\geqslant 1$, uniquely defines $\mathrm{Id}^{\mathrm{gr}}(L)$ as a $\mathrm{T}$-ideal. Let also
As in the non-graded case, the sequence of graded codimensions of a finite-dimensional algebra $L$ is exponentially bounded (see [4]). This implies the existence of the limits
exists, it is called the (ordinary) graded PI-exponent of $L$.
Representation theory of symmetric groups is the main tool in the study of numerical characteristics of polynomial relations. The permutation group $S_n$ acts naturally on multilinear expressions
Let us recall some elements of the symmetric groups required in what follows. All the required details of the representation theory of permutation groups can be found in [21].
Denote by $R=FS_m$ the group algebra of group $S_m$. Recall the construction of minimal left ideals of $R$. Let $\lambda\vdash m$ be a partition of $m$, that is, an ordered set of integers $(\lambda_1,\dots,\lambda_k)$ such that $\lambda_1\geqslant\dots\geqslant \lambda_k>0$, $\lambda_1+\dots+\lambda_k=m$. To this partition there corresponds the so-called Young diagram, that is, the tableau consisting of $m$ cells, where $\lambda_1$ cells stay in the first row, $\lambda_2$ cells stay in the second row, etc. In this case, the Young tableau $T_\lambda$ is the Young diagram $D_\lambda$ filled up by integers $1,\dots,m$.
Given a Young tableau $T_\lambda$ in $FS_m$, one can construct two subgroups $R_{T_\lambda}$ and $C_{T_\lambda}$ in $S_m$. The first one is called the row stabilizer and consists of those $\sigma\in S_m$ which move integers only within rows of $T_\lambda$. The second one is called the column stabilizer and consists of permutations which move numbers $1,2,\dots,m$ only within columns of $T_\lambda$. Given Young tableau $T_\lambda$, one can associate with it the element
of group ring called the Young symmetrizer. It is well-known that Young symmetrizer is quasi-idempotent, that is, $e_{T_\lambda}^2=\gamma e_{T_\lambda}$ where $\gamma\in\mathbb Q$ is a non-zero scalar. Moreover, the left ideal $Re_{T_\lambda}$ is minimal. Its character is denoted by $\chi_\lambda$. Any irreducible left $R$-module $M$ is isomorphic to some $Re_{T_\lambda}$. In this case, its character $\chi(M)$ is equal to $\chi_\lambda$. Recall also that $Re_{T_\lambda}$ and $Re_{T_\mu}$ are isomorphic as $FS_m$-modules if and only if $\lambda=\mu$.
Any finite-dimensional $S_m$-module $M$ can be decomposed into a direct sum of irreducible components $M=M_1\oplus\dots\oplus M_t$. In this case, the expression
means that among $M_1,\dots,M_t$ there are exactly $m_\lambda$ summands with character $\chi_\lambda$. The sum of multiplicities $m_\lambda$ in decomposition (3) (that is, the number $t$) is called the length of the module $M$.
When we study identities of $\mathbb Z_2$-graded algebras, we need to use the action of the direct product of two symmetric groups on multilinear components of the direct product of two symmetric groups. The group $S_k\times S_{n-k}$ acts on the space $P_{k,n-k}$. The intersection $P_{k,n-k}\cap \mathrm{Id}^{\mathrm{gr}}(L)$ is invariant under this action for any algebra $L_0\oplus L_1$. Hence $P_{k,n-k}(L)$ is also an ($S_k\times S_{n-k}$)-module. Any irreducible $S_k\times S_{n-k}$-module is isomorphic to the tensor product $M\otimes N$ of irreducible $S_k$- and $S_{n-k}$-modules, respectively. The character of this module is denoted by $\chi_{\lambda,\mu}$, where $\chi_\lambda=\chi(M)$, $\chi_\mu=\chi(N)$. In this notation, the decomposition of $P_{k,n-k}(L)$ into irreducible components has the form
where $d_\lambda$ and $ d_\mu$ are, respectively, the dimensions of irreducible $S_k$- and $S_{n-k}$ representations with characters $\chi_\lambda$ and $\chi_\mu$, respectively.
There is another important series of numerical invariants for estimating the growth of codimensions. The value $l_{k,n-k}(L)$
In this section, we obtain an upper bound estimate for codimension growth of Lie superalgebras close to finite-dimensional. We shall need a technical statement related to the choice of generators in ($S_k\times S_{n-k}$)-submodules in $P_{k,n-k}$.
Lemma 2. Let $M$ be an irreducible ($S_k\times S_{n-k}$)-submodule in $P_{k,n-k}$ with character $\chi_{\lambda,\mu}$, $\lambda=(\lambda_1,\dots,\lambda_p)\vdash k$, $\mu=(\mu_1,\dots,\mu_q)\vdash(n-k)$. Then there exist $0\ne f= f(x_1,\dots,x_k,y_1,\dots,y_{n-k})\in M$ and decompositions $\{x_1,\dots,x_k\}\,{=}\, X_1\cup\dots\cup X_{\lambda_1}$, $\{y_1,\dots,y_{n-k}\}\,{=}\,Y_1\cup\dots \cup Y_{\mu_1}$ into disjoint subsets such that $f$ is skew symmetric on each of the subsets $X_1,\dots,X_{\lambda_1}$, $Y_1,\dots,Y_{\mu_1}$. Here, the cardinality $|X_i|$ of each $X_i$, $1\leqslant i\leqslant\lambda_1$ is equal to the height of the $i$th column of Young diagram $D_\lambda$, whereas the cardinality of each $|Y_j|$, $1 \leqslant j\leqslant\mu_1$ is equal to the height of the $j$th column of the diagram $D_\mu$.
Proof. By the hypotheses of the lemma, $M$ is isomorphic to $FS_k e_{T_\lambda}\otimes FS_{n-k} e_{T_\mu}$, where $\lambda\vdash k, \mu\vdash (n-k)$. In particular, $M$ is generated, as an $F[S_k\times S_{n-k}]$-module, by elements of type $(e_{T_\lambda}\otimes e_{T_\mu})h$, where $h=h(x_1,\dots,x_k, y_1,\dots,y_{n-k})$ is a multilinear polynomial. Denote $h'=e_{T_\lambda}h$. If $e_{T_\lambda}$ has the form (2), and then we take
Let $X_1\subseteq \{x_1,\dots,x_k\}$ consist of all $x_i$ such that indices $i$ are in the first column of the tableau $T_\lambda$, $X_2\subseteq \{x_1,\dots,x_k\}$ consists of all $x_i$ such that indices $i$ are in the second column of $T_\lambda$, and so on. Then $\{x_1,\dots,x_k\}=X_1\cup\dots\cup X_{\lambda_1}$, and $h''$ is skew symmetric on each of the sets $X_1,\dots,X_{\lambda_1}$. Besides, $h''\ne 0$, since $e_{T_\lambda}^2\ne 0$, and
and decompose $\{ y_1,\dots,y_{n-k} \}$ into the union $Y_1\cup\dots\cup Y_{\mu_1}$ according to the distribution of the indices $y_i$’s among the columns of $T_\mu$. We have $f\ne 0$, and $Y_1,\dots,Y_{\mu_1}$ satisfy all the required conditions. This completes the proof of Lemma 2.
Recall that any ideal of a Lie superalgebra is by definition homogeneous in $\mathbb Z_2$-grading. For an upper bound of codimension growth, we need the following observation.
Lemma 3. Let $L\,{=}\,L_0\,{\oplus}\, L_1$ be a Lie superalgebra and $I_0\,{\oplus}\, I_1$ be its nilpotent ideal of $L$ of finite codimension, $I^{m+1}=0$. Let also $d_0=\dim(L_0/I_0)$, $d_1=\dim(L_1/I_1)$. If $\lambda=(\lambda_1,\dots,\lambda_p)\vdash k$, $\mu=(\mu_1,\dots,\mu_q)\vdash(n-k)$ are two partitions such that $m_{\lambda,\mu}\ne 0$ in the decomposition (4) for $L$, then $\lambda_{d_0+1}+\dots+\lambda_p\leqslant m$ and $\mu_{d_1+1}+\dots+\mu_q\leqslant m$.
Proof. We fix a basis $u_1,u_2,\dots$ of $L_0$ such that $u_1,\dots,u_{d_0}$ are linearly independent modulo $I_0$, whereas all the remaining $u_i$ lie in $I_0$. Similarly, we choose a basis $v_1,v_2,\dots$ in $L_1$ such that $v_1,\dots,v_{d_1}$ are linearly independent modulo $I_1$ and $v_j\in I_1$, $j>d_1$.
Consider an irreducible $S_k\times S_{n-k}$-submodule in $P_{k,n-k}$ with character $\chi_{\lambda,\mu}$ and take in $M$ a generator $f=f(x_1,\dots,x_k,y_1,\dots,y_{n-k})$ and distributions $X_1,\dots, X_{\lambda_1}$, $Y_1,\dots,Y_{\mu_1}$ constructed in Lemma 2. Suppose that $\lambda_{d_0+1}+\dots+\lambda_p\geqslant m+1$. In order to check whether $f$ is an identity of $L$ or not, it is sufficient to replace variables with elements of fixed bases of corresponding parity. Let exactly $t$ first columns of the diagram $D_\lambda$ have the height strictly greater than $d_0$, that is, $|X_1|,\dots, |X_t|> d_0$, $|X_{t+1}|\leqslant d_0$. If we substitute instead of variables from one of the sets $X_i$, $1\leqslant i\leqslant t$, more than $d_0$ basis vectors $u_j$ with $j\leqslant d_0$, we get zero value of $f$ due to skew symmetry. Otherwise, we need to substitute at least
and $I^{m+1}=0$, we again obtain zero value for $f$. Analogously, $f\equiv 0$, provided that $\mu_{d_1+1}+\dots+\mu_q\geqslant m+1$. Since the inequality $m_{\lambda,\mu}\ne 0$ implies that $f$ is not an identity of $L$, the proof of Lemma 3 is completed.
We now estimate the dimensions of irreducible components in the decomposition of $P_{k,n-k}(L)$.
Lemma 4. Let $\lambda=(\lambda_1,\dots,\lambda_p)\vdash n$ be a partition of $n$ such that $p\geqslant d+1$ and $\lambda_{d+1}+\dots+\lambda_p\leqslant m$. Then, given, $p$ and $m$, the inequality $d_\lambda\leqslant n^md^n$ holds.
Proof. Consider a partition $\nu=(\lambda_1,\dots,\lambda_d)$ of the integer $n'=\lambda_1+\dots+\lambda_d$. Hence $n-n'\leqslant m$, and, by Lemma 6.2.4 in [20], $d_\lambda\leqslant n^md_\nu$ and by Corollary 4.4.7 in [20], we have $d_\nu\leqslant d^{n'}$.
Proposition 1. Let $L_0\oplus L_1$ be a finite-dimensional Lie superalgebra $\dim L{\kern1pt}{=}\,d$ and let $I=I_0\oplus I_1$ be a nilpotent ideal in $L$, $I^{m+1}=0$, $\dim(L_0/I_0)=d_0$, $\dim(L_1/I_1)= d_1$. Then there exists a polynomial $\varphi(n)$ depending only on $m$, $d$, $d_0$ and $d_1$ such that
Proof. Consider expression (5) for $c_{k,n-k}(L)$. Since all multiplicities $m_{\lambda,\mu}$ are bounded from above by $l_n^{\mathrm{gr}}(L)$, we have, by Lemma 1,
Skew symmetry considerations applied in the proof of Lemma 3 allow us to claim that the height of partitions $\lambda$ and $\mu$ (that is, the height of corresponding Young diagram) does not exceed $d$. Clearly, the number of such partitions is $<n^d$. Hence, applying Lemma 3 and 4, we deduce from (8) the bound (6) for some polynomial $\varphi(n)$. Now inequality (7) follows from (6) and the definition of the graded codimension. This completes the proof of the proposition.
§ 4. Lie superalgebras of the series $S(t)$
In this section, we define an infinite series of finite-dimensional solvable Lie superalgebras with non-nilpotent commutator subalgebra. We will use the following agreements. If $A$ is a Lie superalgebra, then we denote the product of elements of $A$ by an ordinary commutator bracket $[x,y]$. If $A$ is an associative algebra, then $[x,y]=xy-yx$. If $A=A_0\oplus A_1$ is an associative algebra with $\mathbb Z_2$-grading and $x$ and $y$ are homogeneous elements from $A$, then
where $|x|$ is the parity of $x$, that is, $0$ or $1$. We agree to omit the brackets in the case of left-normed arrangement, that is, $[x_1,\dots,x_{k+1}]=[[x_1,\dots,x_k], x_{k+1}]$ for all $k\geqslant 2$.
First, let $R$ be an arbitrary associative algebra with involution $\ast\colon R\to R$. Consider the associative algebra $Q=M_2(R)$,
$$
\begin{equation*}
Q= \biggl\{ \begin{pmatrix} A & B \\ C & D \end{pmatrix} \biggm| A,B,C,D\in R\biggr\},
\end{equation*}
\notag
$$
and endow $Q$ with the $\mathbb Z_2$-grading $Q=Q_0\oplus Q_1$ by setting
$$
\begin{equation*}
Q_0= \biggl\{ \begin{pmatrix} A & 0 \\ 0 & D \end{pmatrix} \biggr\},\qquad Q_1= \biggl\{ \begin{pmatrix} 0 & B \\ C & 0 \end{pmatrix} \biggr\}.
\end{equation*}
\notag
$$
It is well-known that $Q$ with the product $[\,{\cdot}\,,{\cdot}\,]$ is a Lie superalgebra. Given an associative algebra $R$ with involution, we denote by $R^+$ and $R^-$ the subspaces of symmetric and skew elements of $R$, respectively:
$$
\begin{equation}
L= \biggl\{ \begin{pmatrix} x & y \\ z & -x^\ast \end{pmatrix} \biggm| x \in R,\, y\in R^+,\, z\in R^-\biggr\}
\end{equation}
\tag{9}
$$
is also a Lie superalgebra with the same product as in $R$ where
$$
\begin{equation*}
L_0= \biggl\{ \begin{pmatrix} x & 0 \\ 0 & -x^\ast \end{pmatrix} \biggr\}, \qquad L_1= \biggl\{ \begin{pmatrix} 0 & y \\ z & 0 \end{pmatrix} \biggr\}.
\end{equation*}
\notag
$$
Remark 1. In fact, one of the series of simple Lie superalgebras, namely $p(t)$, is constructed in this way (see, for example, [23]).
Remark 2. For the Lie superalgebra $L$ constructed above, the following conditions are equivalent:
1) $L$ is solvable,
2) $L_0$ is a solvable Lie algebra,
3) $R$ is Lie solvable,
4) the maximal semisimple subalgebra of $R$ is commutative.
Thus, the proposed construction gives us a wide class of finite-dimensional solvable Lie superalgebras with non-nilpotent (as a rule) commutator subalgebra. As an example, we can take the algebra of upper triangular ($t\times t$)-matrices $R=UT_t(F)$, the finite-dimensional incidence algebra, or any associative subalgebra in $UT_t(F)$. We restrict ourselves to the case $R=\mathrm{UT}_t(F)$.
Recall the description of involutions on $\mathrm{UT}_t(F)$. One of them $\circ\colon R\to R$ is the reflection along the secondary diagonal. That is, $e_{ij}^\circ=e_{t+1-j,t+1-i}$ ($e_{ij}$ are the matrix units). It is defined for all $t\geqslant 2$. We will call it orthogonal. Another one if defined only for even $t$. Let $t=2m$. We set
Proposition 2 (see [24; Proposition 2.5]). Any involution on $\mathrm{UT}_t(F)$ is equivalent to $\circ$ or $s$.
Definition. A Lie superalgebra $(S(t),\ast)$, $t\geqslant 2,$ is algebra (9), where $R=\mathrm{UT}_t(F)$ and $\ast=\circ$ or $s$, is the orthogonal or symplectic involution on $R$.
Sometimes we will denote both $(S(t),\circ)$ and $(S(t),s)$ just by $S(t)$. We need multiplication formulas in $L$:
Let us introduce a few more notation. First, we note that both involutions $\circ$ and $s$ act similarly on diagonal matrix units: $e_{ii}^\ast=e_{t+1-i,t+1-i}$. Now, for even $t=2m\geqslant 2$ or for odd $t=2m+1\geqslant 3$, we denote
To conclude this section, we give a lower bound for the PI-exponent.
Proposition 3. Let $L$ be a Lie superalgebrra of type $S(t)$. Then $\overline{\exp}^{\,\mathrm{gr}}(L)\leqslant 2t$ for even $t$ or $\overline{\exp}^{\,\mathrm{gr}}(L)\leqslant 2t-1$ for odd $t$.
Proof. We first note that, in addition to $\mathbb Z_2$-grading, the algebra $L$ is also endowed with $\mathbb Z$-grading of type $L=L^{(0)}\oplus\dots \oplus L^{(t-1)}$. The initial algebra $R$ has $\mathbb Z$-grading $R=R^{(0)}\oplus\dots \oplus R^{(t-1)}$, where
$$
\begin{equation*}
L^{(k)}= \biggl\{ \begin{pmatrix} A & B \\ C & -A^\ast \end{pmatrix} \biggm| A\in R^{(k)},\, B\in R^+\cap R^{(k)},\, C\in R^-\cap R^{(k)}\biggr\},
\end{equation*}
\notag
$$
then the multiplication rules (10)–(13) show that $L=L^{(0)}\oplus\dots \oplus L^{(t-1)}$ is the required $\mathbb Z$-decomposition. All the subspaces $L^{(j)}$ are homogeneous in $\mathbb Z_2$-grading, hence $L^{(1)}\oplus\dots \oplus L^{(t-1)}$ is an ideal of $L$ of codimension $2t$. Since this ideal is nilpotent, Proposition 1 completes the proof for even $t$.
Now let $t=2m+1$. In order to apply Proposition 1 again, it is enough to show that $I=\langle b\rangle +L^{(1)}\oplus\dots \oplus L^{(t-1)}$ is a nilpotent ideal of $L$, where
First, we need to check that $[a,b]\in I$ if $a$ is an even or odd element from $L^{(0)}$. If $a$ is even, then $[a,b]=\alpha b$, $\alpha\in F$, as follows from (10) and the definition of $L^{(0)}$. If
then $c$ is a diagonal matrix with zero entry at the $(m+1)$th position. Hence $[a,b]=0$ according to (13).
Now let us prove that $I^{4t}=0$. Let $a=[b_1,\dots,b_{4t}]$ be a left-normed commutator of elements which are homogeneous both in $\mathbb Z_2$- and in $\mathbb Z$-gradings. If, among $b_i$’s, there appear at least $t$ factors from $L^{(1)}\oplus\dots \oplus L^{(t-1)}$, then $a=0$, as follows from $\mathbb Z$-grading arguments. On the other hand, if the number of such factors is smaller than $t$, then $b$ appears at least three times in a row, since $I^{(0)}=\langle b\rangle$. In this case, we also have $a=0$, since $(\operatorname{ad} b)^3=0$, and since $\operatorname{ad} x$ is the operator of the right-hand side multiplication on $x$. We have
and now the required result follows again from Proposition 1. This proves Proposition 3.
§ 5. Exponents of superalgebras of series $S(t)$
For a lower bound of codimension growth, we need to consider multialternating polynomials. It will be convenient to use the following agreement. If some expression depends on skew symmetric set of arguments, then instead of alternating sum we will mark these arguments from above by some common symbol (line, tilde, etc.). For example,
We first consider superalgebras $S(t)$ with even $t$.
Lemma 5. Let $S(t)$ be a Lie superalgebra defined by orthogonal or symplectic involution $\ast$ and $t=2m$. Then $\underline{\exp}^{\mathrm{gr}}(L)\geqslant 4m$.
Proof. In the algebra of upper triangular matrices $\mathrm{UT}_{2m}$, we have the following relation:
The expression $a_1$ contains an alternating set of even elements $E_{11},\dots, E_{mm}$. Let us complicate its construction by adding $m$-alternating odd set. Since $[Y_i,Z_i]=X_i$, $[Y_i,Z_j]=0$ if $i\ne j$ (see (14)) and $[E_{k,k+1},X_{k+1}]=[E_{k,k+1},E_{k+1,k+1}]$ (see (15)), we have
where the plus or minus sign on the right-hand side of (18) depends on the choice of the involution $\ast$.
The construction of the element $a_3$ allows us to replicate skew symmetric sets of even factors $\{E_{i,i},I\}$ as well as odd factors $\{Y_i,Z_i\}$ of $A$. Namely, we set
Here, all $Y_i^{(j)}$ are copies of the element $Y_i$. We use the upper index only for further indication of the alternation set in which it will be included. A similar remark holds also for $Z_i^{(j)}$.
for all $p,q\geqslant 1$. Note that for computing the value of the product $W^{(p,q)}$ it is useful to remember that the right-hand multiplication by $E_{ii}$ commutes with the right-hand multiplication by $[Y_i,Z_i]=X_i$.
Here, $\operatorname{Alt}_j^{(0)}$ is the alternation on $E_{11}^{(j)}$, $E_{2m-1,2m-1}^{(j)}$ and $I^{(j)}$, whereas $\operatorname{Alt}_i^{(1)}$ is the alternation on $Y_1^{(i)},\dots,Y_m^{(i)}$, $Z_1^{(i)},\dots,Z_m^{(i)}$.
As in computing expressions $a_1$, $a_2$ and $a_3$, alternation in $\widetilde W^{(p,q)}$ does not play any role, that is,
Now we construct $\widetilde w^{(p,q)}$ in $F\{X,Y\}$ using the same procedure as for the product $\widetilde W^{(p,q)}$, only changing $E_{12},\dots,E_{2m-1,2m}$ by the even generators $x_{12},\dots, x_{2m-1,2m}$, changing $E_{11}^{(j)},\dots,E_{2m-1,2m-1}^{(j)},I^{(j)}$ by the even generators $x_{1}^{(j)},\dots,x_{2m,2m}^{(j)}$, changing $Y_1^{(i)},\dots,Y_m^{(i)}$ by odd $y_1^{(i)},\dots,y_m^{(i)}$, changing $Z_1^{(i)},\dots,Z_m^{(i)}$ by odd $z_1^{(i)},\dots,z_m^{(i)}$, and replacing $Y_0$ with odd $y_0$.
The element $\widetilde w^{(p,q)}$ includes $q$ skew symmetric sets of even variables $X^{(j)}=\{x_1^{(j)},\dots,x_{2m}^{(j)}\}$, $1\leqslant j\leqslant q$, and $p$ skew symmetric sets of odd variables $Y^{(i)}= \{y_1^{(i)},\dots,y_m^{(i)},z_1^{(i)},\dots,z_m^{(i)}\}$. In addition to these variables, $\widetilde w^{(p,q)}$ contains $4m$ variables $x_{12},\dots,x_{2m-1,2m}$, $y_0$, $y_1^{(p+1)},\dots,y_m^{(p+1)}$, $z_1^{(0)},\dots,z_m^{(0)}$ not participating in alternations.
Fixing now $n=2mp+2mq+4m$ and $k=2mq+2m-1$, we have $n-k=2mp+2m+1$. The subgroup $H=S_{2mq}\times S_{2mp}$ of $S_k\times S_{n-k}$ acts on the space $P_{k,n-k}$. The left factor $S_{2mq}$ acts on $\overline X=X^{(1)}\cup\dots\cup X^{(q)}$, whereas $S_{2mp}$ acts on $\overline Y=Y^{(1)}\cup\dots\cup Y^{(p)}$. Relation (11) means that $\widetilde w (p,q)$ is not an identity of $L$. Moreover, $\varphi(\widetilde w(p,q))\ne 0$ for the evaluation $\varphi$ such that $\varphi(\overline X)\subseteq V_0$, $\varphi(\overline Y)\subseteq(V_1)$, where $V_0=L_0\cap L^{(0)}$, $V_1=L_1\cap L^{(0)}$ are subspaces of dimension $2m$. It follows from the structure of essential idempotent (see (2)) and skew symmetry of $\widetilde w(p,q)$ that the decomposition of the $\mathrm{FH}$-submodule in $P_{k,n-k}$ generated by $\widetilde w(p,q)$ involves only irreducible components with character $\chi_{\lambda,\mu}$, where
are two rectangular partitions. Hence $c_{k,n-k}(L)\geqslant \deg\chi_{\lambda,\mu}=d_\lambda d_\mu$.
It is well-known that the dimension of an irreducible representation with rectangular Young diagram is exponential, where the ratio of exponent is the height of the diagram. For example, by Lemma 5.10.1 in [20], for $\nu=s^d\vdash N=sd$ for all $s$ large enough,
Now, for an arbitrary pair $k,n$, we can find $0\leqslant i,j\leqslant 2m-1$, $p$ and $q$ such that $k=k_0+i$, $n=n_0+j$, where $k_0=2mq+2m-1$, $n_0-k_0=2mp+2m+1$. Proceeding with polynomial (21) as for $\widetilde w^{(p,q)}$, we obtain the lower bound
for the lower limit, thereby completing the proof of Lemma 5.
Now consider the case of odd $t$.
Lemma 6. Let $t=2m+1$ and $l=s(t)=(S(t),\circ)$. Then $\underline{\exp}^{\mathrm{gr}}(L)\geqslant 2t-1=4m+1$.
Proof. The proof in this case largely repeats that of Lemma 5, we omit the repetitive details. The values $A_i^{(p)}$ and $A_i^{(p,q)}$, $1\leqslant i\leqslant m$, remain the same under the above notation. Also, $A_j^{(1)},\dots,A_j^{(q)}$, $m+1\leqslant j\leqslant 2m-1$ do not change. The elements $A_{2m}^{(1)},\dots, A_{2m}^{(q)}$ are defined inductively: $A_{2m}^{(1)}=E_{2m,2m+1}^{(1)}, \dots,A_{2m}^{(q)}= [A_{2m}^{(q-1)},E_{2m,2m}^{(q)}]$, and $A_{2m+1}^{(q)}$ is defined as $A_{2m}^{(q)}$ in Lemma 5. In the expression for $W^{(p,q)}$, we need to replace the last factor $A_{2m}^{(q)}$ by $A_{2m+1}^{(q)}$.
The modified element $\widetilde w^{(p,q)}$ depends on $q$ skew symmetric sets of even variables of order $2m+1$, depends on $p$ skew symmetric of odd sets variables of order $2m$, and has total degree $n=2mp+(2m+1)q+4m+1$. The lower bounds for $d_\lambda$ and $d_\mu$ are slightly different:
The main result of the paper is now immediate from Lemmas 5, 6, and Proposition 3.
Theorem 1. Let $L=(S(t),\ast)$ be a Lie superalgebra of type $S(t)$, where $\ast$ is the orthogonal or symplectic involution. Then the graded PI-exponent of $L$ exists, and
I. B. Volichenko, “Varieties of Lie algebras with identity $\bigl[[X_1,X_2,X_3], [X_4,X_5,X_6]\bigr]=0$
over a field of characteristic zero”, Siberian Math. J., 25:3 (1984), 370–382
2.
A. Regev, “Existence of identities in $A\otimes B$”, Israel J. Math., 11 (1972), 131–152
3.
V. N. Latyshev, “On Regev's theorem on identities in a tensor product of $PI$-algebras”, Uspekhi Mat. Nauk, 27:4(166) (1972), 213–214
4.
Yu. Bahturin and V. Drensky, “Graded polynomial identities of matrices”, Linear Algebra Appl., 357:1-3 (2002), 15–34
5.
A. Giambruno and M. Zaicev, “Codimension growth of special simple Jordan algebras”, Trans. Amer. Math. Soc., 362:6 (2010), 3107–3123
6.
S. P. Mishchenko, “Growth in varieties of Lie algebras”, Russian Math. Surveys, 45:6 (1990), 27–52
7.
M. V. Zaitsev, “Varieties of affine Kac–Moody algebras”, Math. Notes, 62:1 (1997), 80–86
8.
M. V. Zaitsev and S. P. Mishchenko, “Identities for Lie superalgebras with a nilpotent commutator subalgebra”, Algebra and Logic, 47:5 (2008), 348–364
9.
A. S. Dzhumadil'daev, “Codimension growth and non-Koszulity of Novikov operad”, Comm. Algebra, 39:8 (2011), 2943–2952
10.
A. Giambruno and M. Zaicev, “On codimension growth of finitely generated associative algebras”, Adv. Math., 140:2 (1998), 145–155
11.
A. Giambruno and M. Zaicev, “Exponential codimension growth of PI algebras: an exact estimate”, Adv. Math., 142:2 (1999), 221–243
12.
M. V. Zaitsev, “Integrality of exponents of codimension growth of finite-dimensional Lie algebras”, Izv. Math., 66:3 (2002), 463–487
13.
A. Giambruno, I. Shestakov, and M. Zaicev, “Finite-dimensional non-associative algebras and codimension growth”, Adv. in Appl. Math., 47:1 (2011), 125–139
14.
A. Giambruno and M. Zaicev, “On codimension growth of finite-dimensional Lie superalgebras”, J. Lond. Math. Soc. (2), 85:2 (2012), 534–548
15.
D. Repovš and M. Zaicev, “Graded identities of some simple Lie superalgebras”, Algebr. Represent. Theory, 17:5 (2014), 1401–1412
16.
D. Repovš and M. Zaicev, “Graded codimensions of Lie superalgebra $b(2)$”, J. Algebra, 422 (2015), 1–10
17.
D. D. Repovš and M. V. Zaicev, “Codimension growth of solvable Lie superalgebras”, J. Lie Theory, 28:4 (2018), 1189–1199
18.
Yu. A. Bahturin, Identical relations in Lie algebras, Utrecht, VNU Science Press, b.v., 1987
19.
V. Drensky, Free algebras and PI-algebras. Graduate course in algebra, Springer-Verlag, Singapore, 2000
20.
A. Giambruno and M. Zaicev, Polynomial identities and asymptotic methods, Math. Surveys Monogr., 122, Amer. Math. Soc., Providence, RI, 2005
21.
G. D. James, The representation theory of the symmetric groups, Lecture Notes in Math., 682, Springer, Berlin, 1978
22.
M. V. Zaicev, “Graded identities in finite-dimensional algebras of codimensions of identities in associative algebras”, Moscow Univ. Math. Bull., 70:5 (2015), 234–236
23.
M. Scheunert, The theory of Lie superalgebras. An introduction, Lecture Notes in Math., 716, Springer, Berlin, 1979
24.
O. M. Di Vincenzo, P. Koshlukov, R. La Scala, “Involutions for upper triangular matrix algebras”, Adv. in Appl. Math., 37:4 (2006), 541–568
Citation:
M. V. Zaicev, D. D. Repovš, “Codimensions of identities of solvable Lie superalgebras”, Izv. RAN. Ser. Mat., 88:4 (2024), 44–60; Izv. Math., 88:4 (2024), 639–654