English

Graded identities with involution for the algebra of upper triangular matrices

Rings and Algebras 2023-05-16 v3

Abstract

Let FF be a field of characteristic zero. We prove that if a group grading on UTm(F)UT_m(F) admits a graded involution then this grading is a coarsening of a Zm2\mathbb{Z}^{\lfloor\frac{m}{2}\rfloor}-grading on UTm(F)UT_m(F) and the graded involution is equivalent to the reflection or symplectic involution on UTm(F)UT_m(F). A finite basis for the (Zm2,)(\mathbb{Z}^{\lfloor\frac{m}{2}\rfloor},\ast)-identities is exhibited for the reflection and symplectic involutions and the asymptotic growth of the (Zm2,)(\mathbb{Z}^{\lfloor\frac{m}{2}\rfloor},\ast)-codimensions is determined. As a consequence we prove that for any GG-grading on UTm(F)UT_m(F) and any graded involution the (G,)(G,\ast)-exponent is mm if mm is even and either mm or m+1m+1 if mm is odd. For the algebra UT3(F)UT_3(F) there are, up to equivalence, two non-trivial gradings that admit a graded involution: the canonical Z\mathbb{Z}-grading and the Z2\mathbb{Z}_2-grading induced by (0,1,0)(0,1,0). We determine a basis for the (Z2,)(\mathbb{Z}_2,\ast)-identities and prove that the exponent is 33. Hence we conclude that the ordinary \ast-exponent for UT3(F)UT_3(F) is 33.

Keywords

Cite

@article{arxiv.2006.08452,
  title  = {Graded identities with involution for the algebra of upper triangular matrices},
  author = {Diogo Diniz and Alex Ramos},
  journal= {arXiv preprint arXiv:2006.08452},
  year   = {2023}
}
R2 v1 2026-06-23T16:20:19.352Z