![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00087v4-figure-7c696045-4ac9-41a4-857d-24102abbb1df.jpg)

Communications in Mathematics 33 (2025), no. 1, Paper no. 3 DOI: https://doi.org/10.46298/cm.14050 © 2025 Diogo Diniz and Felipe Yasumura

This is an open access article licensed under the CC BY-SA 4.0

## On the asymptotic behaviour of the graded-star-codimension sequence of upper triangular matrices

Diogo Diniz and Felipe Yasumura

Abstract. We study the algebra of upper triangular matrices endowed with a group grading and a homogeneous involution over an infinite field. We compute the asymptotic behaviour of its (graded) star-codimension sequence. It turns out that the asymptotic growth of the sequence is independent of the grading and the involution under consideration, depending solely on the size of the matrix algebra. This independence of the group grading also applies to the graded codimension sequence of the associative algebra of upper triangular matrices.

## Contents

| 1   | Introduction                                        | 2                            |
|-----|-----------------------------------------------------|------------------------------|
| 2   | Notation and basic results 2                        | Notation and basic results 2 |
|     | 2.1 Graded algebra . . . . . . . . . . . . . .      | 2                            |
|     | 2.2 Free graded algebra with homogeneous involution | 3                            |
|     | 2.3 Codimension sequence . . . . . . . . . .        | 3                            |
|     | 2.4 Gradings and homogeneous involutions on         | 4                            |
|     | 2.5 Basis of the relatively free algebra of UT n    | 4                            |
| 3   | Main result                                         | 5                            |

MSC 2020: 16R50 (primary); 16W50 (secondary).

Keywords: Homogeneous involutions, algebra of upper block-triangular matrices, graded-star-codimension sequence.

Contact information:

## D. Diniz:

Affiliation: Federal University of Campina Grande, Brazil.

Email: diogo@mat.ufcg.edu.br

- F. Yasumura:

Affiliation: University of S˜o Paulo, Brazil. a

Email: fyyasumura@ime.usp.br

## 1 Introduction

There is a recent interest in the investigation of polynomial identities with additional structure, in particular, the structure of a graded algebra and an involution. In the present paper, we investigate the asymptotic behaviour of the (graded)-star-codimension sequence of the associative algebra of upper triangular matrices UT n .

It is worth mentioning that the group gradings on UT n are classified in [12, 14]. Their ordinary involutions were classified in [13], where the ∗ -polynomial identities were computed for n = 2 and n = 3. Considering the mixture of the grading and the involution, their respective homogeneous involutions were classified in [5]. In contrast, the gradedinvolutions were classified in [9] (see [7] as well). The paper [7] computes the ∗ -graded polynomial identities of UT n , where the grading is the most fine that admits a gradedinvolution. On a similar direction, [6] computes the homogeneous ∗ -polynomial identities of UT , endowed with the unique fine grading of UT n n and an arbitrary homogeneous involution. In both papers, the authors compute the asymptotic behaviour of the gradedstar-codimension sequence and the result is the same in each of the cases. Hence, the authors of the paper [7] ask if it is possible to compute the asymptotic behaviour of the graded-star-codimension sequence of any graded-involution on UT n .

This paper answers the above question in a slightly more general context. We compute the asymptotic behaviour of UT , endowed with a group grading and a homogeneous n involution. We conclude that such behaviour is independent of the grading and of the involution in consideration. A similar phenomenon happens to the graded-codimension sequence, where the asymptotic behaviour of the graded-codimension sequence of UT n is independent of the group grading (see [10]).

## 2 Notation and basic results

We denote by F an infinite field and all algebras in consideration will be over F .

## 2.1 Graded algebra

Let G be any group. We use the multiplicative notation for G and denote its neutral element by 1. We say that an algebra A is G -graded if there exists a vector-space decomposition A = ⊕ g ∈ G A g such that A A g h ⊆ A gh , for all g, h ∈ G . The decomposition is called a G -grading and we are going to denote it by Γ.

A homogeneous involution is defined as follows:

Definition 2.1. Let A = ⊕ g ∈ G A g be a G -graded algebra and let ψ : G → G be a map. An involution ∗ on A is a homogeneous involution with respect to ψ or a ψ -involution if A ⊆ A ∗ g ψ g ( ) , for all g ∈ G .

On the asymptotic behaviour of the graded-star-codimension sequence of upper triangular matrices

## 2.2 Free graded algebra with homogeneous involution

We shall provide a construction of the free graded algebra endowed with a homogeneous involution (see, for instance, [6]). This is done using a particular case of the (relatively) free universal algebra in an adequate variety (see, for instance, [11, Chapter 1] for a general discussion and [2, 3] as well for a particular graded version). Let G be any group and X G = ˙ ⋃ g ∈ G X ( g ) , where X ( g ) = { x ( g ) 1 , x ( g ) 2 , . . . } . Let ∗ : G → G be an involution, that is, an anti-automorphism of order (at most) 2. Let F { X , G ∗} denote the absolutely free G -graded binary algebra endowed with an unary operation (also denoted by ∗ ). We define the free G -graded associative algebra with a homogeneous involution with respect to ∗ , F 〈 X , G ∗〉 , as the quotient of F { X , G ∗} by the following polynomials

$$\bullet \quad & \nu \quad \lambda \quad \lambda \quad \nu \\ & \quad x _ { 1 } ^ { ( g _ { 1 } ) } ( x _ { 2 } ^ { ( g _ { 2 } ) } x _ { 3 } ^ { ( g _ { 3 } ) } ) - ( x _ { 1 } ^ { ( g _ { 1 } ) } x _ { 2 } ^ { ( g _ { 2 } ) } ) x _ { 3 } ^ { ( g _ { 3 } ) } \\ & \quad ( x _ { 1 } ^ { ( g _ { 1 } ) } x _ { 2 } ^ { ( g _ { 2 } ) } ) ^ { * } - ( x _ { 2 } ^ { ( g _ { 2 } ) } ) ^ { * } ( x _ { 1 } ^ { ( g _ { 1 } ) } ) ^ { * } \\ & \quad ( ( x ^ { ( g ) } ) ^ { * } ) ^ { * } - x ^ { ( g ) } \\ & \quad \deg _ { G } ( x ^ { ( g ) } ) ^ { * } = ( \deg _ { G } x ^ { ( g ) } ) ^ { * }. \\ \bullet \quad & \nu \quad \lambda \quad \dots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots \cdots$$

The first polynomial defines the associativity relation while the second and third indicate that ∗ acts as an involution in the quotient algebra. The last connects the involution ∗ of the group and the unary operation ∗ of the algebra.

Given a G -graded algebra ( A , Γ) with a homogeneous involution ∗ , we denote by Id( A , Γ , ∗ ) the set of all of its graded polynomial identities with involution. If Γ = Γ triv is the trivial grading, then we recover the notion of ∗ -polynomial identity. In this case, we denote by Id( A ∗ , ) the set of all ∗ -polynomial identities of ( A ∗ , ).

## 2.3 Codimension sequence

We recall some definitions concerning codimension sequence. Let G be a group and consider a G -grading Γ on an algebra A . We assume that ∗ is a homogeneous involution on ( A , Γ). We denote

$$P _ { m } ^ { ( * ) } & = \text{Span} \left \{ \left ( x _ { \sigma ( 1 ) } ^ { ( g _ { 1 } ) } \right ) ^ { \delta _ { 1 } } \cdots \left ( x _ { \sigma ( m ) } ^ { ( g _ { m } ) } \right ) ^ { \delta _ { m } } \, \Big | \, \sigma \in \mathcal { S } _ { m }, g _ { 1 }, \dots, g _ { m } \in G, \delta _ { \ell } \in \{ \emptyset, * \} \right \}, \\ \text{where} \, \mathcal { S } _ { m } \text{ is the symmetric group on the set of $m$ elements.}$$

∣ where S m is the symmetric group on the set of m elements.

We define the ( G, ∗ )-codimension sequence by

$$c _ { m } ( \mathcal { A }, \Gamma, * ) = \dim P _ { m } ^ { ( * ) } / P _ { m } ^ { ( * ) } \cap \text{Id} ( \mathcal { A }, \Gamma, * ).$$

For the particular case where Γ = Γ triv is the trivial grading, then we recover the notion of ∗ -codimension sequence. In this case, we denote

$$c _ { m } ( \mathcal { A }, * ) = c _ { m } ( \mathcal { A }, \Gamma _ { \text{triv} }, * ).$$

Two maps f , g : N → N are said to be asymptotically equal if lim n →∞ f ( n ) g n ( ) = 1. In this case, we denote f ∼ g .

## 2.4 Gradings and homogeneous involutions on UT n

The group gradings on UT n are classified in two papers. Every group grading is isomorphic to an elementary grading [12] and isomorphism classes of elementary group gradings are known [14, Theorem 2.3].

The involutions of the first kind on UT n were described in [13] over fields of characteristic not 2. If n is odd each involution on UT n is equivalent to a single involution τ , which we will call the orthogonal involution. It is given by reflection along the secondary diagonal, that is, for each i ≤ j , e τ i,j = e n -j +1 ,n -i +1 . If n = 2 m is even, any involution on UT n is equivalent either to the orthogonal involution or to the symplectic involution. If we denote it by s then it is given by A s = DA D τ -1 , where D = diag(1 1 , , . . . , 1 , -1 , -1 , . . . , -1).

n

n

2

︸ ︷︷ ︸ ︸ ︷︷ ︸ The homogeneous involutions on UT n are classified in [5] (and the graded involutions in [9], see [7] as well). It turns out that each homogeneous involution is equivalent to either the orthogonal or the symplectic involution (where the symplectic case can occur only if the size of the matrices is even). A homogeneous involution exists if and only if the grading satisfies certain conditions.

times

2

times

## 2.5 Basis of the relatively free algebra of UT n

The following result is needed:

Lemma 2.2 (part of [8, Theorem 5.2.1]) . Let F be an infinite field. Then, a basis of the relatively free algebra generated by UT n consists of all polynomials of the form

$$x _ { 1 } ^ { p _ { 1 } } \cdots x _ { r } ^ { p _ { r } } c _ { 1 } \cdots c _ { s },$$

where p , . . . , p 1 r ≥ 0 , 0 ≤ s &lt; n and each c i is a commutator of the kind c i = [ x j 1 , . . . , x j t ] and the indices satisfy t ≥ 2 , j 1 &gt; j 2 and j 2 ≤ j 3 ≤ · · · ≤ j t .

From Definition 2.2, for a fixed integer m ≥ 2( n -1), the set of multilinear ordinary polynomials in m variables

$$x _ { i _ { 1 } } \cdots x _ { i _ { r } } c _ { 1 } \cdots c _ { n - 1 },$$

where i 1 &lt; · · · &lt; i r , c i = [ x j ( ) i 1 , x j ( ) i 2 , . . . , x j ( ) i s i ], j ( ) i 1 &gt; j ( ) i 2 &lt; · · · &lt; j ( ) i s i , is linearly independent modulo Id(UT ). Let n q m denote the number of such polynomials.

$$\text{Lemma } 2. 3. \ q _ { m } \sim c _ { m } ( \text{UT} _ { n } ) \sim m ^ { n - 1 } n ^ { m - n + 1 }.$$

Proof. One has that c m (UT ) = n q m + c m (UT n -1 ), from a basis of the relatively free algebra of UT . It is known that (see [4, Theorem 1.4]) n

$$c _ { m } ( \text{UT} _ { n } ) \sim m ^ { n - 1 } n ^ { m - n + 1 }.$$

The result follows, since lim m →∞ c m (UT n -1 ) c m (UT ) n

$$= 0.$$

![Image](https://ac.marcodsn.me/arxiv-markdown-images/2408.00087v4-figure-e6a7f2ec-417b-468d-be61-e445ec64135a.jpg)

On the asymptotic behaviour of the graded-star-codimension sequence of upper triangular matrices

## 3 Main result

We let ∗ be an involution for UT n . It is known that we may assume that ∗ is either the orthogonal or the symplectic involution [13, Proposition 2.5].

We shall obtain a suitable lower bound for the ∗ -codimension sequence of UT n .

Lemma 3.1. If m ≥ 2( n -1) , then the set of polynomials in P ∗ m

$$x _ { i _ { 1 } } \cdots x _ { i _ { r } } c _ { 1 } \cdots c _ { n - 1 },$$

where i 1 &lt; · · · &lt; i r , c i = [ x δ i j ( ) i 1 , x j ( ) i 2 , . . . , x j ( ) i s i ] , j ( ) i 1 &gt; j ( ) i 2 &lt; · · · &lt; j ( ) i s i , δ i ∈ {∅ ∗} , and δ /lscript = ∅ for all /lscript &gt; /floorleft n -1 2 /floorright , is linearly independent modulo Id(UT n , ∗ ) .

Proof. Denote the polynomials (2) by f I,J,δ , where δ = ( δ , . . . , δ 1 n -1 ), I = { i 1 , . . . , i r } and J = { ( j ( ) i 1 , . . . , j ( ) i s i ) | i = 1 , . . . , n - } 1 . Let

$$f = \sum _ { I, J, \overline { \delta } } \lambda _ { I, J, \overline { \delta } } f _ { I, J, \overline { \delta } } \in \text{Id} ( \text{UT} _ { n }, * ).$$

Between the elements of the summand with a possibly nonzero λ I,J,δ , choose a maximal set I 0 = { i 1 , . . . , i r } . We evaluate x i 1 = · · · = x i r = 1 (the identity matrix). Then, all f I,J,δ annihilate but the ones with I 0 ⊆ I ; i.e., I 0 = I since I 0 is maximal. We fix a J 0 = (( j ( ) i 1 , . . . , j ( ) i s i ) | i = 1 , . . . , n -1).

We fix a set δ 0 and we evaluate:

$$x _ { j _ { \ell } ^ { ( i ) } } & = \sum _ { j = i + 1 } ^ { n } e _ { j j }, \quad \ell \geq 2, \\ x _ { j _ { 1 } ^ { ( i ) } } ^ { \delta _ { i } } & = e _ { i, i + 1 }. \\ & \quad - \quad \dots$$

Without loss of generality, we may assume that δ 0 = ( ∅ , . . . , ∅ ). If a polynomial f I,J,δ ′ gives a non-zero evaluation, then I = I 0 and J coincides with J 0 , except possibly in the first entry of each of their sequences. Therefore, we may write

$$J = ( ( k _ { 1 } ^ { ( i ) }, j _ { 2 } ^ { ( i ) }, \dots, j _ { s _ { i } } ^ { ( i ) } ) \ | \ i = 1, \dots, n - 1 ).$$

To obtain a nonzero evaluation, we would need

$$x _ { k _ { 1 } ^ { ( i ) } } ^ { \delta _ { i } ^ { \prime } } = e _ { i, i + 1 }, \quad \text{for $i=1,2,\dots,n-1$},$$

where δ ′ = ( δ , . . . , δ ′ 1 ′ n -1 ). Thus, for each i , either δ ′ i = ∅ and k ( ) i 1 = j ( ) i 1 , or δ ′ i = ∗ and k ( ) i 1 = j ( n -i ) 1 . If k (1) 1 = j ( n -1) 1 and δ ′ 1 = ∗ , then necessarily k ( n -1) 1 = j (1) 1 and δ ′ n -1 = ∗ . However, from definition, δ ′ /lscript = ∅ for all /lscript &gt; /floorleft n -1 2 /floorright , a contradiction. Hence, k (1) 1 = j (1) 1 and δ ′ 1 = ∅ . An inductive argument shows that J = J 0 and δ = δ 0 . Therefore, for such choice, there is a unique f I,J,δ that gives a non-zero evaluation. The result is proved.

As a consequence, we obtain that c m (UT n , ∗ ) ≥ 2 /floorleft n -1 2 /floorright q m , for all m ≥ 2( n -1). On the other hand, let G be any group, Γ a G -grading on UT n and ∗ a homogeneous involution on (UT n , Γ). We may assume, up to an automorphism, that every matrix unit is homogeneous with respect to Γ and ∗ is either the symplectic or orthogonal involution. Now, let ∆ be the unique fine grading on UT n . It means that ∆ is an F -grading, where F is the free group freely generated by { r , . . . , r 1 n -1 } and we impose deg ∆ e i,i +1 = r i . Then, ∗ is a homogeneous involution on (UT n , ∆) as well. The group homomorphism α : F → G , where α r ( i ) = deg Γ e i,i +1 induces a G -grading α ∆ on UT , so that (UT n n , α ∆ , ∗ ) ∼ = (UT n , Γ , ∗ ). Hence, a similar argument of [1, Lemma 3.1] (see [10] as well) shows that

$$c _ { m } ( \text{UT} _ { n }, * ) \leq c _ { m } ( \text{UT} _ { n }, \Gamma, * ) \leq c _ { m } ( \text{UT} _ { n }, \Delta, * ).$$

Furthermore, [6, Theorem 20] proves that c m (UT n , ∆ , ∗ ) ∼ 2 /floorleft n - /floorright 1 2 n n -1 m n -1 n m . Hence, we proved

Theorem 3.2. Let G be a group, F be an infinite field, Γ a G -grading on UT n and ∗ a homogeneous involution on (UT n , Γ) . Then

$$c _ { m } ( \text{UT} _ { n }, \Gamma, * ) \sim \frac { 2 \lfloor \frac { n - 1 } { 2 } \rfloor } { n ^ { n - 1 } } m ^ { n - 1 } n ^ { m }.$$

In particular, exp(UT n , Γ , ∗ ) = n .

In particular, we answer a question posed by D. Diniz et al in [7]:

Corollary 3.3. Let G be a group, F be an infinite field, Γ a G -grading on UT n and ∗ a graded-involution on (UT n , Γ) . Then

$$c _ { m } ( \text{UT} _ { n }, \Gamma, * ) \sim \frac { 2 ^ { \lfloor \frac { n - 1 } { 2 } \rfloor } } { n ^ { n - 1 } } m ^ { n - 1 } n ^ { m }.$$

As a particular case, we obtain the asymptotic behaviour of the ∗ -codimension sequence of UT . n

Corollary 3.4. Let F be an infinite field and ∗ a involution on UT n . Then

$$c _ { m } ( \text{UT} _ { n }, * ) \sim \frac { 2 \lfloor \frac { n - 1 } { 2 } \rfloor } { n ^ { n - 1 } } m ^ { n - 1 } n ^ { m }.$$

## Acknowledgments

We express our gratitude to the anonymous referees for their valuable suggestions and corrections, which have improved the exposition of this paper. D. Diniz was partially supported by FAPESQ grant No. 3099/2021 and CNPq grants No. 304328/2022-7 and No. 405779/2023-2. F. Yasumura was supported by FAPESP, grants No. 2018/23690-6 and No. 2023/03922-8.

On the asymptotic behaviour of the graded-star-codimension sequence of upper triangular matrices

## References

- [1] Y. Bahturin, A. Giambruno, and D. Riley. Group-graded algebras with polynomial identity. Israel Journal of Mathematics , 104:145-155, 1998.
- [2] Y. Bahturin and F. Yasumura. Distinguishing simple algebras by means of polynomial identities. S˜ ao Paulo Journal of Mathematical Sciences , 13(1):39-72, 2019.
- [3] Y. Bahturin and F. Yasumura. Graded polynomial identities as identities of universal algebras. Linear Algebra and its Applications , 562:1-14, 2019.
- [4] A. Berele and A. Regev. Codimensions of products and of intersections of verbally prime T-ideals. Israel Journal of Mathematics , 103:17-28, 1998.
- [5] T. Castilho de Mello. Homogeneous involutions on upper triangular matrices. Archiv der Mathematik , 118:365-374, 2022.
- [6] T. Castilho de Mello and F. Yasumura. On star-homogeneous-graded polynomial identities of upper triangular matrices over an arbitrary field. Journal of Algebra , 663:652-671, 2025.
- [7] D. Diniz, A. Ramos, and J. Galdino. Graded identities with involution for the algebra of upper triangular matrices. Linear Algebra and its Applications , 688:120-156, 2024.
- [8] V. Drensky. Free Algebras and PI-Algebras. Graduate course in algebra . Springer-Verlag, 2000.
- [9] C. Fidelis, D. Diniz, D. Goncalves, and F. Yasumura. Graded involutions on block-triangular matrix algebras. Linear Algebra and its Applications , 585:24-44, 2020.
- [10] P. Koshlukov and F. Yasumura. Asymptotics of graded codimension of upper triangular matrices. Israel Journal of Mathematics , 223:423-439, 2018.
- [11] I. P. Razmyslov. Identities of algebras and their representations . Number 138 in Translations of Mathematical Monographs. American Mathematical Society, 1994.
- [12] A. Valenti and M. Zaicev. Group gradings on upper triangular matrices. Archiv der Mathematik , 89:33-40, 2007.
- [13] O. D. Vincenzo, P. Koshlukov, and R. L. Scala. Involutions for upper triangular matrix algebras. Advances in Applied Mathematics , 37:541-568, 2006.
- [14] O. D. Vincenzo, P. Koshlukov, and A. Valenti. Gradings on the algebra of upper triangular matrices and their graded identities. Journal of Algebra , 275:550-566, 2004.

October 29, 2024

Received: August 12, 2024 Accepted for publication: Communicated by: Ivan Kaygorodov
Diogo Diniz Felipe Yukihide Yasumura
On the asymptotic behaviour of the graded-star-codimension sequence of upper triangular matrices
We study the algebra of upper triangular matrices endowed with a group
grading and a homogeneous involution over an infinite field. We compute the
asymptotic behaviour of its (graded) star-codimension sequence. It turns out
that the asymptotic growth of the sequence is independent of the grading and
the involution under consideration, depending solely on the size of the matrix
algebra. This independence of the group grading also applies to the graded
codimension sequence of the associative algebra of upper triangular matrices.