Asymptotics for Capelli Polynomials with Involution

DOI10.1080/00927872.2021.1955899MaRDI QIDQ6328913arXivFDO

Authors Francesca Saviella Benanti, Angela Valenti

Publication date 11 November 2019

Published in arXiv

Full work available at URL https://doi.org/10.1080/00927872.2021.1955899

Mathematics Subject Classification ID

(T)-ideals, identities, varieties of associative rings and algebras (16R10) Other kinds of identities (generalized polynomial, rational, involution) (16R50) Growth rate, Gelfand-Kirillov dimension (16P90)

arXiv classification

math.RA

Abstract: Let $FlangleX,astangle$ 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 $Gamm{a}_{M+1,L+1}^{a}st$ of $FlangleX,astangle$ generated by the $ast$-Capelli polynomials $Ca{p}^{a}s{t}_{M+1}[Y,X]$ and $Ca{p}^{a}s{t}_{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: �egin{itemize} item [$cdot$]$(M_k(F),t)$ the algebra of $kimesk$ matrices with the transpose involution; item [$cdot$]$(M_{2m}(F),s)$ the algebra of $2mimes2m$ matrices with the symplectic involution; item [$cdot$]$(M_h(F)oplus{M}_h(F{)}^{op},exc)$ the direct sum of the algebra of $himesh$ 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 $Gamm{a}_{M+1,L+1}^{a}st$, for some fixed natural numbers $M$ and $L$. In particular: ${\displaystyle }$ c^{ast}_n(Gamma^{ast}_{frac{k(k+1)}{2} +1,frac{k(k-1)}{2} +1})simeq c^{ast}_n((M_k(F),t)); ${\displaystyle }$ ${\displaystyle }$ c^{ast}_n(Gamma^{ast}_{m(2m-1)+1,m(2m+1)+1})simeq c^{ast}_n((M_{2m}(F),s)); ${\displaystyle }$ and ${\displaystyle }$ c^{ast}_n(Gamma^{ast}_{h^2+1,h^2+1})simeq c^{ast}_n((M_{h}(F)oplus M_{h}(F)^{op},exc)). ${\displaystyle }$

This page was built for publication: Asymptotics for Capelli Polynomials with Involution

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6328913)