Issue 
Wuhan Univ. J. Nat. Sci.
Volume 28, Number 5, October 2023



Page(s)  385  391  
DOI  https://doi.org/10.1051/wujns/2023285385  
Published online  10 November 2023 
Mathematics
CLC number: O152.5
The Generators and Relations for Little qSchur Algebra u_{k}(3,5)
Three Gorges Mathematical Research Center, China Three Gorges University, Yichang 443002, Hubei, China
^{†} To whom correspondence should be addressed. Email: yangqian6573@163.com
Received:
18
March
2023
In this paper, we investigate the presentation for little qSchur algebra at odd roots. The PoincaréBirkhoffWitt (PBW) basis of is obtained through the basis of qSchur algebra . Then we present a new set for generators and relations for by PBW basis.
Key words: qSchur algebra / little qSchur algebra / PoincaréBirkhoffWitt (PBW) basis / root vectors
Biography: LIU Mingqiang, male, Lecturer, research direction: algebraic groups, quantum groups. Email: mingqiangliu@163.com
Fundation item: Supported by the Natural Research Project of Yichang (A232026)
© Wuhan University 2023
This is an Open Access article distributed under the terms of the Creative Commons Attribution License (https://creativecommons.org/licenses/by/4.0), which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
0 Introduction
Let be the qSchur algebras over introduced by Dipper and James^{[1,2]}, who have showed that qSchur algebras play an important role in the investigation of presentation theory of the finite general linear groups. Using a geometric setting for qSchur algebras, BeilinsonLusztigMacPherson^{[3]} realized the quantum enveloping algebra of as a "limit" of qSchur algebras over , and they defined an epimorphism from the quantum enveloping algebra of to the qSchur algebras . Then, Du^{[4]} proved that this epimorphism can be applied to any field. For little qSchur algebras, the definition at odd roots has been obtained, which could be referred to Ref. [5]. Moreover, some results of little qSchur algebras have been classified in Ref. [6], like simple modules, little qSchur algebras and finite representation type in the odd roots of unity case. Fu^{[7]} gave the definition of little qSchur algebras at even unit roots, and explored the related basis and dimension formulas. Therefore, for little qSchur algebras at any unit roots, the complete classification of representation type has been given by Bian and Liu in Ref. [8].
In the theory of quantum group, it is an important issue to study the presentation of algebras, in other words, to give a set of generators and relations. In addition, the presentation of qSchur algebras has been obtained in Refs. [9,10]. It is a natural question to present the little qSchur algebras. Therefore, the presentations obtained from the perspective of monomial basis for little qSchur algebras , and could be respectively referred to Refs. [11,12]. However, with the increase of r, the relations may become increasingly complex.
The goal of this paper is to study the generators and relations for little qSchur algebra from the perspective of PoincaréBirkhoffWitt (PBW) basis which is helpful to investigate the presentation of . We briefly recall the definitions of qSchur and little qSchur algebras in Section 1. In Section 2, we prove that the set is the basis of little qSchur algebra , and present the relations of .
1 Preliminary
Let v be an indeterminate and . For any integers with , let , and . Let for . Let be a field containing an l'th primitive root of unity with . Let be defined by . In this paper, we put . Specializing to , will be viewed as an module. When is specialized to , , and specialize to , and .
For quantum enveloping algebra of , defined on has been generated by the elements ,, , and satisfies the corresponding relations referred to Section 3.2 of Ref. [13]. Set and define the root vectors in as follows. If , then set ,. For , inductively set , . There is an isomorphism ^{[14]} defined by , , , . Then obviously .
Following Refs. [15,16], let (respectively,, , ) be thesubalgebra of generated by all ,, and (respectively, , , and ), where for , . Let
Let , we denote the image of , in by , , and . Let be the ksubalgebra of generated by the elements , , for all i, j. Let , , be the ksubalgebras of generated respectively by the elements , and by Ref. [16].
When is odd, the elements are the central in . They generate an ideal of . Let and we call the infinitesimal quantum group of . The presentation for was given in Ref. [10]. When is even, there is no definition for infinitesimal quantum group of . Let be the algebra over introduced in Ref. [3]. It is shown to be naturally isomorphic to the qSchur algebra in Ref. [4]. Put , we shall call and qSchur algebras. There is an algebra epimorphism which could be referred to Refs. [3]. Let and , for . Moreover, we have ^{[4]}. Let . Let be the root system of type :. Here the form the standard orthonormal basis of the Euclidean space . Let ( , ) denote the inner product on this space and define simple roots and positive roots .
Theorem 1^{[10]} The qSchur algebras are generated by the elements , , , subject to the following relations:
;
Let be the set of all matrices over with all offdiagonal entries in . Let be the subset of consisting of matrices with entries all in , and let to be the map sending a matrix to the sum of its entries. Then, for , the inverse image is the subset of whose entries sum to . For , let be the matrix with . Let be the set of all whose diagonal entries are zero. Let be the set of all such that for all and be the set of all whose diagonal entries are zero. Let be the set of all such that for with . Let , .
Similar to monomial basis for qSchur algebra ^{[10]}, we give the following definition. For , put
The orders in which the products and are taken are respectively defined as follows. Put
where
Let , , for and , then we have
Proposition 1^{[9]} 1) For any , we have
and similar results for can be obtained by applying the isomorphism .
2) Let , then for .
Theorem 2^{[9]} The set forms a basis for qSchur algebra .
Let , hence naturally induces a surjective homomorphism
When is odd, since , naturally induces a map from to . We call the image the little qSchur algebra and denote it by . When is even, by restriction, we also get a map , then . By abuse of notations, we shall continue to denote the images of the generators for by the same letters used for .
Let (resp,, (resp,, (resp,. For a positive integer , let , set
be the map defined by .
Let . For , define
Proposition 2^{[10]} For ,
1) If there exist for all and , then where otherwise, .
2) If there exist for all and , then where ; otherwise, .
2 The Little qSchur Algebra
Theorem 3 The set forms a basis for .
Proof Fix satisfying for all . By the definition of , we have
In the qSchur algebra , for any , if for some , then it lies in the span of in the Theorem 2. Then we have
By Theorem 2, the elements above are linearly independent, thus the set is linearly independent.
Assume that . Inspired by Ref.[17], we have the following commutation formulas in the qSchur algebras .
Lemma 1 In the little qSchur algebra , for , satisfying for , we have , where , and , if ; , if .
Proof For where , and if . We may assume , for all . By the definition of and commutation formulas between positive root vectors, it is enough to show for all ,
Here, we no longer discuss the situations of in 2) of Proposition 2 alone.We consider , where , then
Case 1 . It is supposed that , according to the commutation formula , we get
Thus, there exist some such that .
Case 11 If , by Proposition 1(1), it follows ;
Case 12 If , i.e. , then we have
By 2) of Proposition 1 and , we also obtain
When , we have .
Case 2 , assuming , by the commutation formulas , and , we have
Similarly, there exist some such that .
Case 21 If , by Proposition 1 1), it follows that ;
Case 22 If , namely , then we have
then
When , we also find .
For where , the proof is similar to the above, thus we need not to give. Then we complete the proof of Lemma 1.
Theorem 4 The little qSchur algebra can be generated by the elements , subject to the following relations:
;
;
;
;
;
(resp. ) for (resp. ) and satisfies that if with then ;
For , with for , then , where satisfies and if , if .
We define an algebra which satisfies the generators and relations given in Theorem 4. Set (resp. ,) be the subalgebra generated by (resp. ,). For , we give the root vectors, which satisfy the commutation formulas in the same way. According to the relations (LR3)(LR7) in Theorem 4, we know that can be spanned by all the elements , .
Proposition 3 The set is a spanning set for .
Proof Fixing , to prove this proposition, it suffices to show that if with , satisfying for some , then lies in the span of . Here is a linear combination of the elements in and is a constant.
Case 1 If and , assuming , for , by the commutation formulas , we have
Therefore, we only need to consider .
By Lemma 1, we have when , then we obtain that is a linear combination of the elements in .
Case 2 If , there is an assumption that and . Then, we only need to consider . By the commutation formulas and , we have
By Lemma 1, when , we have . Hence,
When appears in , we only require to exchange (resp. ) and other (resp. ) into the Case 1 via commutation formulas. Finally, we give the proof of Theorem 4.
The proof of Theorem 4 By the definition of and Theorem 1, it is clear that satisfies the relations . Hence, there is a surjective algebra homomorphism from to . On the foundations of Proposition 1, Proposition 2 and Lemma 1, we have the that satisfies the relations in Theorem 4. And according to the definition of , there is a surjective algebra homomorphism from to satisfying , , . On the other hand, by Proposition 3, we see that the map sends the spanning set of to the basis of . Hence is an isomorphism.
Remark 1 For the presentation of little qSchur algebra in this paper, if we only consider for some j, then the relation (LR9) in Theorem 4 is more general than the relations , and in Ref.[12,3]. As becomes increasingly great, we need to consider several at the same time. Then there may be other more complex relations. For example, when the relation cannot be obtained by the relations (LR1)(LR9). In conclusion, it is more difficult to study the generators and relations for .
References
 Dipper R, James G. The qSchur algebras[J]. Proceedings of the London Mathematical Society, 1989, 59(1): 2350. [Google Scholar]
 Dipper R, James G. qTensor spaces and qWeyl modules[J]. Transactions of the American Mathematical Society, 1991, 327(1): 251282. [MathSciNet] [Google Scholar]
 Beilinson A A, Lusztig G, Macpherson R. A geometric setting for the quantum deformation of [J]. Duke Mathematical Journal, 1990, 61(2): 655677. [CrossRef] [MathSciNet] [Google Scholar]
 Du J E. A note on the quantized Weyl reciprocity at roots of unity[J]. Algebra Colloquium, 1995, 2(4): 363372. [MathSciNet] [Google Scholar]
 Du J E, Fu Q A, Wang J P. Infinitesimal quantum and little qSchur algebras[J]. Journal of Algebra, 2005, 287(1): 199233. [CrossRef] [MathSciNet] [Google Scholar]
 Du J E, Fu Q A, Wang J P. Representations of little qSchur algebras[J]. Pacific Journal of Mathematics, 2012, 257(2): 343377. [CrossRef] [MathSciNet] [Google Scholar]
 Fu Q A. Little qSchur algebras at even roots of unity[J]. Journal of Algebra, 2007, 311(1): 202215. [CrossRef] [MathSciNet] [Google Scholar]
 Bian Z H, Liu M Q. Representation type of the little qSchur algebras[J]. Journal of Pure and Applied Algebra, 2020, 224(8): 106349. [CrossRef] [MathSciNet] [Google Scholar]
 Doty S, Giaquinto A. Presenting Schur algebras[J]. International Mathematics Research Notices, 2002, 2002(36): 19071944. [CrossRef] [Google Scholar]
 Du J E, Parshall B. Monomial bases for qSchur algebras[J]. Transactions of the American Mathematical Society, 2003, 355(4): 15931620. [MathSciNet] [Google Scholar]
 Bian Z H, Liu M Q. Presenting little qSchur algebras [J]. Algebra Colloquium, 2017, 24(2): 297308. [CrossRef] [MathSciNet] [Google Scholar]
 Gao W T, Liu M Q. The generators and relations for little qSchur algebra [J]. Acta Mathematica Scientia (Chinese Series), 2022, 65(5): 819826(Ch). [MathSciNet] [Google Scholar]
 Takeuchi M. Some topics on [J]. Journal of Algebra, 1992, 147(2): 379410. [CrossRef] [MathSciNet] [Google Scholar]
 Jimbo M. A qanalogue of , Hecke algebras, and the YangBaxter equation[J]. Letters in Mathematical Physics, 1986, 11(3): 247252. [NASA ADS] [CrossRef] [MathSciNet] [Google Scholar]
 Lusztig G. Canonical bases arising from quantized enveloping algebras[J]. Journal of the American Mathematical Society, 1990, 3(2): 447498. [CrossRef] [MathSciNet] [Google Scholar]
 Lusztig G. Finite dimensional Hopf algebras arising from quantized universal enveloping algebras[J]. Journal of the American Mathematical Society, 1990, 3(1): 257296. [MathSciNet] [Google Scholar]
 Xi N H. Root vectors in quantum groups[J]. Commentarii Mathematici Helvetici, 1994, 69(1): 612639. [CrossRef] [MathSciNet] [Google Scholar]
Current usage metrics show cumulative count of Article Views (fulltext article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 4896 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.