-
Varieties of group-graded algebras of proper central exponent greater than two
Authors:
F. S. Benanti,
A. Valenti
Abstract:
Let $F$ be a field of characteristic zero and let $ \mathcal V $ be a variety of associative $F$-algebras graded by a finite abelian group $G$. To a variety $ \mathcal V $ is associated a numerical sequence called the sequence of proper central $G$-codimensions, $c^{G,δ}_n(\mathcal V), \, n \ge 1.$ Here $c^{G,δ}_n(\mathcal V)$ is the dimension of the space of multilinear proper central $G$-polynom…
▽ More
Let $F$ be a field of characteristic zero and let $ \mathcal V $ be a variety of associative $F$-algebras graded by a finite abelian group $G$. To a variety $ \mathcal V $ is associated a numerical sequence called the sequence of proper central $G$-codimensions, $c^{G,δ}_n(\mathcal V), \, n \ge 1.$ Here $c^{G,δ}_n(\mathcal V)$ is the dimension of the space of multilinear proper central $G$-polynomials in $n$ fixed variables of any algebra $A$ generating the variety $\mathcal V.$
Such sequence gives information on the growth of the proper central $G$-polynomials of $A$ and in \cite{LMR} it was proved that $exp^{G,δ}(\mathcal V)=\lim_{n\to\infty}\sqrt[n]{c_n^{G,δ}(\mathcal V)}$ exists and is an integer called the proper central $G$-exponent.
The aim of this paper is to characterize the varieties of associative
$G$-graded algebras of proper central $G$-exponent greater than two.
To this end we construct a finite list of $G$-graded algebras and we prove that $exp^{G,δ}(\mathcal V) >2$ if and only if at least one of the algebras belongs to $\mathcal V$.
Matching this result with the characterization of the varieties of almost polynomial growth given in \cite{GLP}, we obtain a characterization of the varieties of proper central $G$-exponent equal to two.
△ Less
Submitted 12 May, 2025;
originally announced May 2025.
-
A characterization of varieties of algebras of proper central exponent equal to two
Authors:
F. S. Benanti,
A. Valenti
Abstract:
Let $F$ be a field of characteristic zero and let $ \mathcal V$ be a variety of associative $F$-algebras. In \cite{regev2016} Regev introduced a numerical sequence measuring the growth of the proper central polynomials of a generating algebra of $ \mathcal V$. Such sequence $c_n^δ(\mathcal V), \, n \ge 1,$ is called the sequence of proper central polynomials of $ \mathcal V$ and in \cite{GZ2018},…
▽ More
Let $F$ be a field of characteristic zero and let $ \mathcal V$ be a variety of associative $F$-algebras. In \cite{regev2016} Regev introduced a numerical sequence measuring the growth of the proper central polynomials of a generating algebra of $ \mathcal V$. Such sequence $c_n^δ(\mathcal V), \, n \ge 1,$ is called the sequence of proper central polynomials of $ \mathcal V$ and in \cite{GZ2018}, \cite{GZ2019} the authors computed its exponential growth. This is an invariant of the variety. They also showed that $c_n^δ(\mathcal V)$ either grows exponentially or is polynomially bounded. The purpose of this paper is to characterize the varieties of associative algebras whose exponential growth of $c_n^δ(\mathcal V)$ is greater than two. As a consequence, we find a characterization of the varieties whose corresponding exponential growth is equal to two.
△ Less
Submitted 23 December, 2024;
originally announced December 2024.
-
*-Graded Capelli Polynomials and their Asymptotic
Authors:
F. S. Benanti,
A. Valenti
Abstract:
Let $F\langle Y \cup Z, \ast \rangle$ be the free $\ast$-superalgebra over a field $F$ of characteristic zero and let $ Γ^\ast_{M^{\pm}, L^{\pm}} $ be the $T^\ast_{\mathbb{Z}_2}$-ideal generated by the set of the $\ast$-graded Capelli polynomials
$Cap^{(\mathbb{Z}_2, \ast)}_{M^+} [Y^+,X]$, $Cap^{(\mathbb{Z}_2, \ast)}_{M^-} [Y^-,X]$, $Cap^{(\mathbb{Z}_2, \ast)}_{L^+} [Z^+,X]$,…
▽ More
Let $F\langle Y \cup Z, \ast \rangle$ be the free $\ast$-superalgebra over a field $F$ of characteristic zero and let $ Γ^\ast_{M^{\pm}, L^{\pm}} $ be the $T^\ast_{\mathbb{Z}_2}$-ideal generated by the set of the $\ast$-graded Capelli polynomials
$Cap^{(\mathbb{Z}_2, \ast)}_{M^+} [Y^+,X]$, $Cap^{(\mathbb{Z}_2, \ast)}_{M^-} [Y^-,X]$, $Cap^{(\mathbb{Z}_2, \ast)}_{L^+} [Z^+,X]$, $Cap^{(\mathbb{Z}_2, \ast)}_{L^-} [Z^-,X]$ alternating on $M^+$ symmetric variables of homogeneous degree zero, on $M^-$ skew variables of homogeneous degree zero, on $L^+$ symmetric variables of homogeneous degree one and on $L^-$ skew variables of homogeneous degree one, respectively.
We study the asymptotic behavior of the sequence of $\ast$-graded codimensions of $Γ^\ast_{M^{\pm}, L^{\pm}}.$ In particular we prove that the $\ast$-graded codimensions of the finite dimensional simple $\ast$-superalgebras are asymptotically equal to the $\ast$-graded codimensions of $Γ^\ast_{M^{\pm}, L^{\pm}}$, for some fixed natural numbers $M^+, M^-, L^+$ and $L^-$.
△ Less
Submitted 8 November, 2021;
originally announced November 2021.
-
Asymptotics for Capelli Polynomials with Involution
Authors:
F. S. Benanti,
A. Valenti
Abstract:
Let $F\langle X, \ast \rangle$ be the free associative algebra with involution $\ast$ over a field $F$ of characteristic zero. We study the asymptotic behavior of the sequence of $\ast$-codimensions of the T-$\ast$-ideal $Γ_{M+1,L+1}^\ast$ of $F\langle X, \ast \rangle$ generated by the $\ast$-Capelli polynomials $Cap^\ast_{M+1} [Y,X]$ and $Cap^\ast_{L+1} [Z,X]$ alternanting on $M+1$ symmetric vari…
▽ More
Let $F\langle X, \ast \rangle$ be the free associative algebra with involution $\ast$ over a field $F$ of characteristic zero. We study the asymptotic behavior of the sequence of $\ast$-codimensions of the T-$\ast$-ideal $Γ_{M+1,L+1}^\ast$ of $F\langle X, \ast \rangle$ generated by the $\ast$-Capelli polynomials $Cap^\ast_{M+1} [Y,X]$ and $Cap^\ast_{L+1} [Z,X]$ alternanting on $M+1$ symmetric variables and $L+1$ skew variables, respectively.
It is well known that, if $F$ is an algebraic closed field of characteristic zero, every finite dimensional $\ast$-simple algebra is isomorphic to one of the following algebras:
\begin{itemize}
\item [$\cdot$]$(M_{k}(F),t)$ the algebra of $k \times k$ matrices with the transpose involution;
\item [$\cdot$]$(M_{2m}(F),s)$ the algebra of $2m \times 2m$ matrices with the symplectic involution;
\item [$\cdot$]$(M_{h}(F)\oplus M_{h}(F)^{op}, exc)$ the direct sum of the algebra of $h \times h$ matrices and the opposite algebra with the exchange involution. \end{itemize}
We prove that the $\ast$-codimensions of a finite dimensional $\ast$-simple algebra are asymptotically equal to the $\ast$-codimensions of $Γ_{M+1,L+1}^\ast$, for some fixed natural numbers $M$ and $L$. In particular: $$ c^{\ast}_n(Γ^{\ast}_{\frac{k(k+1)}{2} +1,\frac{k(k-1)}{2} +1})\simeq c^{\ast}_n((M_k(F),t)); $$ $$ c^{\ast}_n(Γ^{\ast}_{m(2m-1)+1,m(2m+1)+1})\simeq c^{\ast}_n((M_{2m}(F),s)); $$ and $$ c^{\ast}_n(Γ^{\ast}_{h^2+1,h^2+1})\simeq c^{\ast}_n((M_{h}(F)\oplus M_{h}(F)^{op},exc)). $$
△ Less
Submitted 11 November, 2019;
originally announced November 2019.
-
Computing with rational symmetric functions and applications to invariant theory and PI-algebras
Authors:
Francesca Benanti,
Silvia Boumova,
Vesselin Drensky,
Georgi K. Genov,
Plamen Koev
Abstract:
Let the formal power series f in d variables with coefficients in an arbitrary field be a symmetric function decomposed as a series of Schur functions, and let f be a rational function whose denominator is a product of binomials of the form (1 - monomial). We use a classical combinatorial method of Elliott of 1903 further developed in the Partition Analysis of MacMahon in 1916 to compute the gener…
▽ More
Let the formal power series f in d variables with coefficients in an arbitrary field be a symmetric function decomposed as a series of Schur functions, and let f be a rational function whose denominator is a product of binomials of the form (1 - monomial). We use a classical combinatorial method of Elliott of 1903 further developed in the Partition Analysis of MacMahon in 1916 to compute the generating function of the multiplicities (i.e., the coefficients) of the Schur functions in the expression of f. It is a rational function with denominator of a similar form as f. We apply the method to several problems on symmetric algebras, as well as problems in classical invariant theory, algebras with polynomial identities, and noncommutative invariant theory.
△ Less
Submitted 21 January, 2012;
originally announced January 2012.
-
Defining Relations of Minimal Degree of the Trace Algebra of $3 \times 3$ Matrices
Authors:
Francesca Benanti,
Vesselin Drensky
Abstract:
The trace algebra C(n,d) over a field of characteristic 0 is generated by all traces of products of d generic nxn matrices, n,d>1. Minimal sets of generators of C(n,d) are known for n=2 and n=3 for any d as well as for n=4 and n=5 and d=2. The defining relations between the generators are found for n=2 and any d and for n=3, d=2 only. Starting with the generating set of C(3,d) given by Abeasis a…
▽ More
The trace algebra C(n,d) over a field of characteristic 0 is generated by all traces of products of d generic nxn matrices, n,d>1. Minimal sets of generators of C(n,d) are known for n=2 and n=3 for any d as well as for n=4 and n=5 and d=2. The defining relations between the generators are found for n=2 and any d and for n=3, d=2 only. Starting with the generating set of C(3,d) given by Abeasis and Pittaluga in 1989, we have shown that the minimal degree of the set of defining relations of C(3,d) is equal to 7 for any d>2. We have determined all relations of minimal degree. For d=3 we have also found the defining relations of degree 8. The proofs are based on methods of representation theory of the general linear group and easy computer calculations with standard functions of Maple.
△ Less
Submitted 22 January, 2007;
originally announced January 2007.
-
Defining Relations of Noncommutative Trace Algebra of Two $3 \times 3$ Matrices
Authors:
Francesca Benanti,
Vesselin Drensky
Abstract:
The noncommutative (or mixed) trace algebra $T_{nd}$ is generated by $d$ generic $n\times n$ matrices and by the algebra $C_{nd}$ generated by all traces of products of generic matrices, $n,d\geq 2$. It is known that over a field of characteristic 0 this algebra is a finitely generated free module over a polynomial subalgebra $S$ of the center $C_{nd}$. For $n=3$ and $d=2$ we have found explicit…
▽ More
The noncommutative (or mixed) trace algebra $T_{nd}$ is generated by $d$ generic $n\times n$ matrices and by the algebra $C_{nd}$ generated by all traces of products of generic matrices, $n,d\geq 2$. It is known that over a field of characteristic 0 this algebra is a finitely generated free module over a polynomial subalgebra $S$ of the center $C_{nd}$. For $n=3$ and $d=2$ we have found explicitly such a subalgebra $S$ and a set of free generators of the $S$-module $T_{32}$. We give also a set of defining relations of $T_{32}$ as an algebra and a Groebner basis of the corresponding ideal. The proofs are based on easy computer calculations with standard functions of Maple, the explicit presentation of $C_{32}$ in terms of generators and relations, and methods of representation theory of the general linear group.
△ Less
Submitted 14 January, 2005;
originally announced January 2005.
