Research article

Module algebra structures of nonstandard quantum group Xq(A1) on the quantum plane

  • Received: 03 March 2025 Revised: 20 May 2025 Accepted: 30 May 2025 Published: 09 June 2025
  • In this paper, for n2 and n3, the module algebra structures of Xq(A1) on the quantum n-space were discussed, where the quantum n-space is denoted by Aq(n). In particular, a complete list of Xq(A1)-module algebra structures on the quantum plane Aq(2) was produced and the isomorphism classes of these structures were described.

    Citation: Dong Su, Fengxia Gao, Zhenzhen Gao. Module algebra structures of nonstandard quantum group Xq(A1) on the quantum plane[J]. Electronic Research Archive, 2025, 33(6): 3543-3560. doi: 10.3934/era.2025157

    Related Papers:

    [1] Liqian Bai, Xueqing Chen, Ming Ding, Fan Xu . A generalized quantum cluster algebra of Kronecker type. Electronic Research Archive, 2024, 32(1): 670-685. doi: 10.3934/era.2024032
    [2] Fang Li, Jie Pan . On inner Poisson structures of a quantum cluster algebra without coefficients. Electronic Research Archive, 2021, 29(5): 2959-2972. doi: 10.3934/era.2021021
    [3] Yaguo Guo, Shilin Yang . Projective class rings of the category of Yetter-Drinfeld modules over the $ 2 $-rank Taft algebra. Electronic Research Archive, 2023, 31(8): 5006-5024. doi: 10.3934/era.2023256
    [4] Agustín Moreno Cañadas, Robinson-Julian Serna, Isaías David Marín Gaviria . Zavadskij modules over cluster-tilted algebras of type $ \mathbb{A} $. Electronic Research Archive, 2022, 30(9): 3435-3451. doi: 10.3934/era.2022175
    [5] Hongyan Guo . Automorphism group and twisted modules of the twisted Heisenberg-Virasoro vertex operator algebra. Electronic Research Archive, 2021, 29(4): 2673-2685. doi: 10.3934/era.2021008
    [6] R. F. Snider . Eigenvalues and eigenvectors for a hermitian gaussian operator: Role of the Schrödinger-Robertson uncertainty relation. Electronic Research Archive, 2023, 31(9): 5541-5558. doi: 10.3934/era.2023281
    [7] Sahar Albosaily, Wael Mohammed, Mahmoud El-Morshedy . The exact solutions of the fractional-stochastic Fokas-Lenells equation in optical fiber communication. Electronic Research Archive, 2023, 31(6): 3552-3567. doi: 10.3934/era.2023180
    [8] Tong Wu, Yong Wang . The semiclassical limit of the Kastler–Kalau–Walze-type theorem. Electronic Research Archive, 2025, 33(4): 2452-2474. doi: 10.3934/era.2025109
    [9] Dong Su, Shilin Yang . Representation rings of extensions of Hopf algebra of Kac-Paljutkin type. Electronic Research Archive, 2024, 32(9): 5201-5230. doi: 10.3934/era.2024240
    [10] Quanguo Chen, Yong Deng . Hopf algebra structures on generalized quaternion algebras. Electronic Research Archive, 2024, 32(5): 3334-3362. doi: 10.3934/era.2024154
  • In this paper, for n2 and n3, the module algebra structures of Xq(A1) on the quantum n-space were discussed, where the quantum n-space is denoted by Aq(n). In particular, a complete list of Xq(A1)-module algebra structures on the quantum plane Aq(2) was produced and the isomorphism classes of these structures were described.



    The nonstandard quantum groups were studied in [1], where Ge et al. [1] obtained new solutions of the Yang-Baxter equations. For these new solutions, they followed the Faddeev-Reshetikhin-Takhtajan [2] method to establish the related quantum group structure, which, in general, may not be the same as the standard ones. In [3] one class of nonstandard quantum deformation corresponding to simple Lie algebra sln was given, which is denoted by Xq(An1). For each vertex i(i=1,,n1) of the Dynkin diagram, the parameter qi is equal to q or q1, and if qi=q for all i, then Xq(An1) is just Uq(sln). However, if qiqi+1 for some 1in1, it has the relation E2i=F2i=0 in Xq(An1), such that Xq(An1) is different from Uq(sln). For more results for nonstandard quantum groups, one can refer to [4,5,6].

    The notion of Hopf algebra actions on algebras was introduced by Sweedler [7] in 1969. The Brauer groups of H-module and H-dimodule algebras were researched by Beattie [8]. A duality theorem for Hopf module algebras was studied by Blattner and Montgomery [9] in 1985. Moreover, the actions of Hopf algebras and their generalizations [10,11] play an important role in quantum group theory [12,13], and the actions of Hopf algebras have various applications in physics [14]. Duplij and Sinel'shchikov [15,16] used a general form of the automorphism of the quantum plane to render the notion of weight for Uq(sl2)-actions, and they completely classified Uq(sl2)-module algebra structures on the quantum plane, which consist of 6 non-isomorphic cases. Moreover, in [17] the authors used the method of weights [15,16] to study the module algebra structures of Uq(slm+1) on the coordinate algebra of quantum vector spaces. More relevant research can be found at [18,19]. However, the module algebras of nonstandard quantum groups have not yet achieved research results. Consequently, based on the above research results, we consider here the actions of the nonstandard quantum group Xq(A1) on the quantum n-space Aq(n). In particular, a complete list of Xq(A1)-module algebra structures on the quantum plane Aq(2) is produced and the isomorphism classes of these structures are described.

    This paper is organized as follows. In Section 1, we introduce some necessary notations and concepts, as well as prove a lemma about actions on generators and any elements of Aq(n). In Section 2, using the method of weights [15,16,17], the 0-th homogeneous component and 1-st homogeneous component of the action matrix are given. We have 2n+1 cases for the 0-th homogeneous component (MEF)0, and 2n(n1)+1 cases for the 1-st homogeneous component (MEF)1. In Section 3, we study the actions of Xq(A1) on Aq(2), and characterize all module algebra structures of Xq(A1) on the quantum plane Aq(2), which rely upon considering the 0-th and 1-st homogeneous components of an action.

    Throughout, we work over the complex field C unless otherwise stated. All algebras, Hopf algebras, and modules are defined over C; all maps are C-linear.

    Let (H,m,η,Δ,ε,S) be a Hopf algebra, where Δ, ε, and S are the comultiplication, counit, and antipode of H, respectively. Let A be a unital algebra with unit 1. Sweedler's notations [7] are used in the sequel. For example, for hH, we denote

    Δ(h)=(h)h(1)h(2).

    Definition 2.1. By a structure of an H-module algebra on A, we mean a homomorphism π:HEndCA such that:

    1) for all hH,a,bA, π(h)(ab)=(h)π(h(1))(a)π(h(2))(b);

    2) for all hH,π(h)(1)=ε(h)1.

    Let π1 and π2 be two H-module algebras on A, and the structures π1,π2 are said to be isomorphic, if there exists an automorphism Ψ of the algebra A, such that Ψπ1(h)Ψ1=π2(h) for all hH.

    Throughout the paper we assume that qC=C{0} is not a root of the unit (qn1 for all non-zero integers n). A class of the nonstandard quantum group Xq(A1) was studied by the authors of [3,4]. Now, we recall the definition of Xq(A1).

    Definition 2.2. The nonstandard quantum group Xq(A1) is a unital associative C-algebra generated by E,F,K1,K2,K11,K12 subject to the relations:

    K1K11=K11K1=1,K2K12=K12K2=1,K1K2=K2K1, (2.1)
    K1E=q1EK1, (2.2)
    K1F=qFK1, (2.3)
    K2E=q1EK2, (2.4)
    K2F=qFK2, (2.5)
    EFFE=K2K11K12K1qq1, (2.6)
    E2=F2=0. (2.7)

    The algebra Xq(A1) is also a Hopf algebra, and the comultiplication Δ, counit ε, and antipode S are given as the following:

    Δ(K1)=K1K1,Δ(K2)=K2K2, (2.8)
    Δ(E)=E1+K2K11E, (2.9)
    Δ(F)=1F+FK12K1, (2.10)
    ε(K1)=1,ε(K2)=1,ε(E)=0,ε(F)=0, (2.11)
    S(K1)=K11,S(K2)=K12,S(E)=K1K12E,S(F)=FK2K11. (2.12)

    Let us review the definition of the quantum n-space (see [20,21]).

    Definition 2.3. The quantum n-space Aq(n) is a unital algebra, generated by n generators xi for i{1,2,,n}, and for any i>j it satisfies the relation:

    xixj=qxjxi. (2.13)

    The quantum n-space Aq(n) is also called a coordinate algebra of quantum n-dimensional vector space. If n=2, Aq(2) is called a quantum plane.

    For all n2 and n3, by [22,23,24], one has a description of automorphisms of the algebra Aq(n), as follows. Let Ψ be an automorphism of Aq(n), and then there exist nonzero constants αi for i{1,2,4,,n}, such that

    Ψ:xiαixi.

    All such automorphisms form the automorphism group of Aq(n), which we denote by Aut(Aq(n)), and in addition, one can get

    Aut(Aq(n))(C)n.

    It should be pointed out that there are more automorphisms of Aq(3). Let σ be an automorphism of Aq(3), and then there exist nonzero constants α,β,γC and tC, such that

    σ:x1αx1,x2βx2+tx1x3,x3γx3,

    and Aut(Aq(3))C(C)3. Obviously, the automorphism group of Aq(3) is more complex, and therefore, we separately discussed the module algebra structures of nonstandard quantum group Xq(A1) on Aq(3), as detailed in [25].

    Unless otherwise specified, in the following text, we fix the integers n2 and n3.

    Next, we give a lemma which will be useful for checking the module algebra structures of Xq(A1) on Aq(n).

    Lemma 2.4. Given the module algebra actions of the generators E,F,K1,K2 of Xq(A1) on Aq(n), if an element in the ideal generated by the relations (2.1)–(2.7) of Xq(A1), which acting on the generators xi of Aq(n) produces zero for all i=1,2,4,,n, then this element acting on any vAq(n) produces zero.

    Proof. Here, we only prove that, if

    [(EFFE)K2K11K12K1qq1](xi)=0,[(EFFE)K2K11K12K1qq1](xj)=0,

    where xi,xj are arbitrary generators of Aq(n), then

    [(EFFE)K2K11K12K1qq1](xixj)=0.

    The other relationships can be proven similarly. Indeed, by (2.9) and (2.10), we have

    Δ(E)Δ(F)Δ(F)Δ(E)=(E1+K2K11E)(1F+FK12K1)=(EFFE)K12K1+K2K11(EFFE),

    and by Definition (2.1), then,

    (EFFE)(xixj)=π(EFFE)(xi)π(K12K1))(xj)+π((K2K11)(xi)π((EFFE))(xj)=K2K11K12K1qq1(xi)K2K11(xj)+K2K11(xi)K2K11K12K1qq1(xj)=K2K11K12K1qq1(xixj).

    Thus, [(EFFE)K2K11K12K1qq1](xixj)=0, and the lemma holds.

    Therefore, by Lemma 2.4, in checking whether the relations of Xq(A1), acting on any vAq(n), produces zero, we only need to check whether they produce zero when they act on the generators x1,x2,,xn.

    In this section, we will study the module algebra structures of Xq(A1) on Aq(n), where K1,K2Aut(Aq(n)), n2, and n3.

    The s-th homogeneous component of Aq(n) is denoted by Aq(n)s, which is linear spanned by the monomials xm11xm22xmnn with m1+m2++mn=s. Also, given a polynomial pAq(n), the s-th homogeneous component of p is denote by (p)s, which is the projection of p onto Aq(n)s parallel to the direct sum of all other homogeneous components of Aq(n).

    By the definition of module algebra, it is easy to see that any action of Xq(A1) on Aq(n) is determined by the following 4×n matrix with entries from Aq(n):

    Mdefinition=(K1(x1)K1(x2)K1(xn)K2(x1)K2(x2)K2(xn)E(x1)E(x2)E(xn)F(x1)F(x2)F(xn)), (3.1)

    which is called the full action matrix, see[22]. Given a Xq(A1)-module algebra structure on Aq(n), obviously, the action of K1 or K2 determines an automorphism of Aq(n). Therefore, by the assumption K1,K2Aut(Aq(n), we can set

    MK1K2definition=(K1(x1)K1(x2)K1(xn)K2(x1)K2(x2)K2(xn))=(α1x1α2x2αnxnβ1x1β2x2βnxn), (3.2)

    where αi,βiC for i{1,2,,n}.

    It is easy to see that every monomial xm11xm22xmnnAq(n) is an eigenvector of K1 and K2, and the associated eigenvalues αm11αm22αmnn and βm11βm22βmnn are called the K1-weight and K2-weight of this monomial, respectively, which will be written as

    wtK1(xm11xm22xmnn)=αm11αm22αmnn,wtK2(xm11xm22xmnn)=βm11βm22βmnn.

    We will also need another matrix MEF as follows:

    MEFdefinition=(E(x1)E(x2)E(xn)F(x1)F(x2)F(xn)), (3.3)

    and we call MK1K2 and MEF the action K1K2-matrix and EF-matrix, respectively. It follows from relations (2.2)–(2.5) that all entries of M are weight vectors for K1 and K2, and we have

    wtK1(M)definition=(wtK1(K1(x1))wtK1(K1(x2))wtK1(K1(xn))wtK1(K2(x1))wtK1(K2(x2))wtK1(K2(xn))wtK1(E(x1))wtK1(E(x2))wtK1(E(xn))wtK1(F(x1))wtK1(F(x2))wtK1(F(xn)))(wtK1(x1)wtK1(x2)wtK1(xn)wtK1(x1)wtK1(x2)wtK1(xn)q1wtK1(x1)q1wtK1(x2)q1wtK1(xn)qwtK1(x1)qwtK1(x2)qwtK1(xn))=(α1α2αnα1α2αnq1α1q1α2q1αnqα1qα2qαn), (3.4)
    wtK2(M)definition=(wtK2(K1(x1))wtK2(K1(x2))wtK2(K1(xn))wtK2(K2(x1))wtK2(K2(x2))wtK2(K2(xn))wtK2(E(x1))wtK2(E(x2))wtK2(E(xn))wtK2(F(x1))wtK2(F(x2))wtK2(F(xn)))(wtK2(x1)wtK2(x2)wtK2(xn)wtK2(x1)wtK2(x2)wtK2(xn)q1wtK2(x1)q1wtK2(x2)q1wtK2(xn)qwtK2(x1)qwtK2(x2)qwtK2(xn))=(β1β2βnβ1β2βnq1β1q1β2q1βnqβ1qβ2qβn), (3.5)

    where the relation (ast)(bst) means that for every pair of indices s,t such that both ast and bst are nonzero, one has ast=bst.

    In the following, we denote the j-th homogeneous component of M, whose elements are just the j-th homogeneous components of the corresponding entries of M, by (M)j. Set

    (M)0=(000000a1a2anb1b2bn)0,

    where ai,biC for all i{1,2,,n}. Then, we obtain

    wtK1((MEF)0)(q1α1q1α2q1αnqα1qα2qαn)(ε(K1)ε(K1)ε(K1)ε(K1)ε(K1)ε(K1))=(111111), (3.6)
    wtK2((MEF)0)(q1β1q1β2q1βnqβ1qβ2qβn)(ε(K2)ε(K2)ε(K2)ε(K2)ε(K2)ε(K2))=(111111). (3.7)

    Therefore, the relations (3.6) and (3.7) imply that ai and bi are at most one nonzero for any i{1,2,,n}, and

    ai0αi=q,βi=q, (3.8)
    bi0αi=q1,βi=q1. (3.9)

    An application of E and F to the relation (2.13) and by Eq (3.2), one has the following equalities:

    E(xi)xj+α1iβixiE(xj)=qE(xj)xi+qα1jβjxjE(xi),fori>j, (3.10)
    xiF(xj)+β1jαjF(xi)xj=qxjF(xi)+qβ1iαiF(xj)xi,fori>j. (3.11)

    After projecting (3.10) and (3.11) to Aq(n)1, we obtain

    ai(1qα1jβj)xj+aj(α1iβiq)xi=0,fori>j,bj(1qβ1iαi)xi+bi(β1jαjq)xj=0,fori>j,

    which certainly implies

    ai(1qα1jβj)=aj(α1iβiq)=bj(1qβ1iαi)=bi(β1jαjq)=0.

    For any i,j{1,2,,n} and i>j, we will determine the weight constants αi and βi as follows:

    ai0βjα1j=q1, (3.12)
    aj0βiα1i=q, (3.13)
    bi0αjβ1j=q, (3.14)
    bj0αiβ1i=q1. (3.15)

    Lemma 3.1. For any i,j,s,t{1,2,,n}, ai, aj, bs, and bt are at most one nonzero.

    Proof. For any i,j{1,2,,n}, and i>j, we only prove that ai and aj are at most one nonzero. Assume ai0 and aj0, and then

    ai0αi=q,βi=q,βjα1j=q1,aj0αj=q,βj=q,βiα1i=q,

    by Eqs (3.8), (3.12), and (3.13). However

    βjα1j=qq1=1=q1andβiα1i=qq1=1=q,

    which are impossible, since it is contradictory to q not being a root of the unit. Therefore at least one of ai and aj is zero for i,j1,2,,n.

    The remaining statements can be proven in a similar way.

    In summary, we have obtained the following results for the 0-th homogeneous component (MEF)0 of MEF.

    Theorem 3.2. There are 2n+1 cases for the 0-th homogeneous component (MEF)0 of MEF, as follows:

    1) ai0,aj=0 for ij and all bs=0 for any i,j,s{1,2,,n}, i.e.,

    (a100000)0,(0a20000)0,,(00an000)0,

    and we have

    ai0αi=q,βi=q,β1α11=β2α12==βi1α1i1=q1,βi+1α1i+1=βi+2α1i+2==βnα1n=q; (3.16)

    2) bi0,bj=0 for ij and all as=0 for any i,j,s{1,2,,n}, i.e.,

    (000b100)0,(0000b20)0,,(00000bn)0,

    and we have

    bi0αi=q1,βi=q1,β11α1=β12α2==β1i1αi1=q,β1i+1αi+1=β1i+2αi+2==β1nαn=q1; (3.17)

    3) all ai=bi=0 for any i{1,2,,n}, i.e.,

    (000000)0.

    Therefore, it does not determine the weight constants at all.

    Next, for the 1-st homogeneous component (MEF)1, due to q not being a root of the unit, one has

    wtK1(E(xi))=q1αi=q1wtK1(xi)wtK1(xi),wtK2(E(xi))=q1βi=q1wtK2(xi)wtK2(xi),

    which implies

    (E(xi))1=i1s=1cisxs+ns=i+1cisxs,

    for some cisC. In a similar way, we have

    (F(xi))1=i1s=1disxs+ns=i+1disxs,

    for some disC. Hence

    (MEF)1=(ns=2c1sxsc21x1+ns=3c2sxsi1s=1cisxs+ns=i+1cisxsn1s=1cnsxsns=2disxsd21x1+ns=3d2sxsi1s=1disxs+ns=i+1disxsn1s=1dnsxs)1

    where cis,disC.

    Now project (3.10) and (3.11) to Aq(n)2, and we can obtain

    cij(1qβjα1j)x2j+cji(βiα1iq)x2i+j1s=1cis(1q2βjα1j)xsxj+i1s=j+1cisq(1βjα1j)xjxs+ns=i+1cisq(1βjα1j)xjxs+j1t=1cjtq(βiα1i1)xtxi+i1t=j+1cjtq(βiα1i1)xtxi+nt=i+1cjt(βiα1iq2)xixt=0,dji(1qβ1iαi)x2i+dij(β1jαjq)x2j+j1t=1djtq(1β1iαi)xtxi+i1t=j+1djtq(1β1iαi)xtxi+nt=i+1djt(1q2β1iαi)xixt+j1s=1dis(β1jαjq2)xsxj+i1s=j+1disq(β1jαj1)xjxs+ns=i+1disq(β1jαj1)xjxs=0.

    for any i,j{1,2,,n} and i>j, Where

    cij(1qβjα1j)=0,fori>j,cji(βiα1iq)=0,fori>j,cis(1q2βjα1j)=0,for1sj1,cisq(1βjα1j)=0,forj+1si1,cisq(1βjα1j)=0,fori+1sn,cjtq(βiα1i1)=0,for1tj1,cjtq(βiα1i1)=0,forj+1ti1,cjt(βiα1iq2)=0,fori+1tn.
    dji(1qβ1iαi)=0,fori>j,dij(β1jαjq)=0,fori>j,djtq(1β1iαi)=0,for1tj1,djtq(1β1iαi)=0,forj+1ti1,djt(1q2β1iαi)=0,fori+1tn,dis(β1jαjq2)=0,for1sj1,disq(β1jαj1)=0,forj+1si1,disq(β1jαj1)=0,fori+1sn.

    As a consequence, for any i,j{1,2,,n} and i>j, we have

    cij0βjα1j=q1,cji0βiα1i=q,
    cis0βjα1j=q2,for1sj1,cis0βjα1j=1,forj+1si1,cis0βjα1j=1,fori+1sn,cjt0βiα1i=1,for1tj1,cjt0βiα1i=1,forj+1ti1,cjt0βiα1i=q2,fori+1tn. (3.18)
    dji0β1iαi=q1,dij0β1jαj=q,djt0β1iαi=1,for1tj1,djt0β1iαi=1,forj+1ti1,djt0β1iαi=q2,fori+1tn,dis0β1jαj=q2,for1sj1,dis0β1jαj=1,forj+1si1,dis0β1jαj=1,fori+1sn. (3.19)

    Lemma 3.3. For any i{1,2,,n}, every 1-st homogeneous component (E(xi))1 and (F(xi))1, if nonzero, reduces to a monomial.

    Proof. We assume that

    E(xi)1=i1s=1cisxs+ns=i+1cisxs,

    and cis0,cis0(ss) for some s,s{1,2,,i1,i+1,,n}. Without loss of generality, we stipulate that s<s.

    If s,s<i, then

    cis0βsα1s=q1,cis0β1α11=β2α12==βs1α1s1=1.

    However, s must be one of the {1,2,,s1}, and one gets q1=1, which is impossible. Hence, cis and cis are at most one nonzero, and (E(xi))1 is equal to zero or a monomial. The remaining situations can be proven in a similar way.

    Similarly, (F(xi))1 is equal to zero or a monomial.

    Additionally, since

    wtK1((MEF)1)(q1α1q1α2q1αnqα1qα2qαn), (3.20)
    wtK2((MEF)1)(q1β1q1β2q1βnqβ1qβ2qβn). (3.21)

    We obtain the following result.

    Lemma 3.4. For any i,j,s,t{1,2,,n}, (E(xi))1, (E(xj))1, (F(xs))1, (F(xt))1 are at most one nonzero.

    Proof. Here, we only prove that (E(xi))1 and (E(xj))1 are at most one nonzero. The other statements can be proven similarly.

    By Lemma 3.3, we get that if (E(xi))1 and (E(xj))1 are nonzero, then they are a monomial for any i,j{1,2,,n}. Assume

    E(xi)1=cisxs0andE(xj)1=cjsxs0.

    Without loss of generality, we stipulate that i>j. According to the Eqs (3.20) and (3.21), we have

    wtK1(E(xi)1)=q1αi,wtK2(E(xi)1)=q1βi,
    wtK1(E(xj)1)=q1αj,wtK2(E(xj)1)=q1βj.

    In addition,

    wtK1(E(xi)1)=αs,wtK2(E(xi)1)=βs,
    wtK1(E(xj)1)=αs,wtK2(E(xj)1)=βs.

    So, αi=qαs,βi=qβs,αj=qαs,βj=qβs.

    On the other hand, since cis0 and cjs0, it follows that

    βjα1j={q1s=j,q21sj1,1j+1sn,
    βiα1i={qs=i,11sj1,q2j+1sn,

    by (3.18). Then q1=q2 or q1=1, and q=q2 or q=1, which are impossible. Hence, (E(xi))1 and (E(xj))1 are at most one nonzero.

    From the above discussion, we have the following result for the 1-st homogeneous component (MEF)1 of MEF.

    Theorem 3.5. There are 2n(n1)+1 cases for the 1-st homogeneous component (MEF)1 of MEF, as follows:

    1) cis0(is), and otherwise cis=0 and all djt=0 for any i,s,j,t,i,s{1,2,,n}, i.e.,

    (00cisxs0000000)1,

    and we have αi=qαs,βi=qβs, and

    ifi>s,thenβsα1s=q1,βi+1α1i+1=βi+2α1i+2==βnα1n=1,βi1α1i1=βi2α1i2==βs+1α1s+1=q2,βs1α1s1=βs2α1s2==β1α11=1; (3.22)
    ifi<s,thenβsα1s=q,βi1α1i1=βi2α1i2==β1α11=1,βi+1α1i+1=βi+2α1i+2==βs1α1s1=q2,βs+1α1s+1=βs+2α1s+2==βnα1n=1; (3.23)

    2) dis0(is), and otherwise dis=0 and all cjt=0 for any i,s,j,t,i,s{1,2,,n}, i.e.,

    (0000000disxs00)1,

    and we have αi=q1αs,βi=q1βs, and

    ifi>s,thenβ1sαs=q,β1i+1αi+1=β1i+2αi+2==β1nαn=1,β1i1αi1=β1i2αi2==β1s+1αs+1=q2,β1s1αs1=β1s2αs2==β11α1=1; (3.24)
    ifi<s,thenβ1sαs=q1,β1i1αi1=β1i2αi2==β11α1=1,β1i+1αi+1=β1i+2αi+2==β1s1αs1=q2,β1s+1αs+1=β1s+2αs+2==β1nαn=1; (3.25)

    3) all cis=0 and dis=0, for any i,s,i,s{1,2,,n}, i.e.,

    (000000)1.

    Therefore, it does not determine the weight constants at all.

    In this section, our aim is to describe the concrete Xq(A1)-module algebra structures on the quantum plane Aq(2), where K1,K2Aut(Aq(2))(C)2.

    By Theorems 3.2 and 3.5, it follows that if both the 0-th homogeneous component and the 1-st homogeneous component of MEF are nonzero, it is easy to see that these series are empty, so we only need to consider 9 possibilities.

    [(a1000)0,(0000)1],[(0a200)0,(0000)1],[(00b10)0,(0000)1],
    [(000b2)0,(0000)1],[(0000)0,(c12x2000)1],[(0000)0,(0c21x100)1],
    [(0000)0,(00d12x20)1],[(0000)0,(000d21x1)1],[(0000)0,(0000)1]

    where ai0,bi0 for i=1,2 and c12,c21,d12,d21 are not zero.

    Lemma 4.1. If the 0-th homogeneous component of MEF is zero and the 1-st homogeneous component of MEF is nonzero, then these series are empty.

    Proof. Now we show that the [(0000)0,(c12x2000)1]-series is empty. If we suppose the contrary, then it follows from

    EFFE=K2K11K12K1qq1

    that within this series, one can have

    K2K11K12K1qq1(x1)=β1α11β11α1qq1x1.

    By c120, one can get α1=qα2,β1=qβ2, and β2α12=q. Hence, β1α11=q, and

    K2K11K12K1qq1(x1)=x1.

    On the other hand, projecting (EFFE)(x1) to Aq(2)1, we obtain

    (EFFE)(x1)=E(F(x1))F(E(x1))=E(0)F(c12x2)=0.

    However, 0xi. We get the contradiction, and prove our claim.

    In a similar way, one can prove that all other series where the 0-st homogeneous component of MEF is zero and the 1-st homogeneous component of MEF is nonzero are empty.

    Lemma 4.2. If the 0-th homogeneous component of MEF is nonzero and the 1-st homogeneous component of MEF is zero, then these series are empty.

    Proof. We only show that the [(a1000)0,(0000)1]-series is empty, and in a similar way, one can prove that all other series are empty.

    Consider this series and we obtain that

    a10α1=q,β1=q,β2α12=q,

    and suppose that it is not empty. We set

    K1(x1)=α1x1=qx,K2(x1)=β1x1=qx1,K2(x2)=α2x2,K2(x2)=β2x2,E(x1)=a1+m1+m22ρm1m2xm11xm22form1,m2N,E(x2)=l1+l22θl1l2xl11xl22forl1,l2N,F(x1)=t1+t22σt1t2xt11xt22fort1,t2N,F(x2)=h1+h22τh1h2xh11xh22forh1,h2N,

    where α2,β2C, and ρm1m2,θl1l2,σt1t2,τh1h2C.

    Then we apply the relations (2.1)–(2.7) to the generators of Aq(2). It is easy to see that the application of relation (2.1) to the generators of Aq(2) produces zero. So, we consider the residue, as follows.

    (K1Eq1EK1)(x1)=K1(E(x1))q1E(K1(x1))=K1(a1+m1+m22ρm1m2xm11xm22)q1qE(x1)=a1+m1+m22ρm1m2αm11αm22xm11xm22E(x1)=m1+m22ρm1m2(αm11αm221)xm11xm22=0,

    and then ρm1m2=0 for all m1,m2N with m1+m22, or αm22=qm1 for some m1,m2N with m1+m22.

    (K2E+q1EK2)(x1)=K2(E(x1))+q1E(K2(x1))=K2(a1+m1+m22ρm1m2xm11xm22)q1qE(x1)=a1+m1+m22ρm1m2βm11βm22xm11xm22E(x1)=m1+m22ρm1m2(βm11βm221)xm11xm22=0,

    and then ρm1m2=0 for all m1,m2N with m1+m22, or βm22=(q)m1 for some m1,m2N with m1+m22.

    If some ρm1m20, and it meets the conditions, i.e.,

    {αm22=qm1,βm22=(q)m1,

    and β2α12=q, one can get qm2=(1)m1, since q is not a unit root, which is impossible. Therefore, we have E(x1)=a1.

    Similar to the discussion above, we can obtain that

    E(x2)=0,
    F(x1)=0orF(x1)=σ20x21,
    F(x2)=0orF(x2)=τ11x1x2,

    where σ20,τ11C.

    From EFFE=K2K11K12K1qq1, we have

    K2K11K12K1qq1(x1)=β1α11β11α1qq1=0,K2K11K12K1qq1(x2)=β2α12β12α2qq1=x2.

    If F(x2)=0, then

    (EFFE)(x2)=0x2;

    if F(x2)=τ11x1x20, then

    (EFFE)(x2)=τ11a1x2=x2.

    Hence, we have τ11=1a1 and F(x2)=1a1x1x2.

    By F2=0, one has that

    F2(x2)=1a1F(x1x2)=1a1(x1F(x2)+F(x1)K12K1(x2))=1a1(1a1x21x2+q1F(x1)x2).

    If F(x1)=0, then

    F2(x2)=1a21x21x20;

    if F(x1)=σ20x21, then

    F2(x2)=1a21x21x2+q11a1σ20x21x2=0.

    So σ20=qa1 and F(x1)=qa1x21.

    With an application of F to x2x1=qx1x2, we have

    F(x2x1qx1x2)=x2F(x1)F(x2)x1qx1F(x2)F(x1)x2=qa1x2x211a1x1x2x1qa1x21x2+qa1x21x2=qa1(1+q2)x21x20.

    In summary, this series is empty.

    In a similar way, one can prove that all other series where the 0-th homogeneous component of MEF is nonzero and the 1-st homogeneous component of MEF is zero are empty.

    Theorem 4.3. The [(0000)0,(0000)1] -series has Xq(A1)-module algebra structures on the quantum plane Aq(2) given by

    K1(x1)=λ1x1,K2(x1)=±λ1x1, (4.1)
    K1(x2)=λ2x2,K2(x2)=±λ2x2, (4.2)
    E(x1)=F(x1)=E(x2)=F(x2)=0, (4.3)

    where λ1,λ2C, and therefore, they are pairwise nonisomorphic.

    Proof. It is easy to check that (4.1)–(4.3) determine a well-defined Xq(A1)-action consistent with the multiplication in Xq(A1) and in the quantum plane Aq(2), as well as with comultiplication in Xq(A1). We prove that there are no other Xq(A1)-actions here. Note that an application of (2.6) to x1 or x2 has zero projection to Aq(2)1, i.e., (EFFE)(xi)=0,(i=1,2), because in this series E and F send any monomial to a sum of the monomials of higher degree. Therefore,

    K2K11K12K1qq1(x1)=β1α11β11α1qq1x1=0,K2K11K12K1qq1(x2)=β2α12β12α2qq1x2=0,

    and we have

    β1α11β11α1=β2α12β12α2=0,

    which leads to β21=α21 and β22=α22. Let α1=λ1 and α2=λ2, and we have β1=±λ1 and β2=±λ2. To prove (4.3), note that if E(xi)0 or F(xi)0, for i=1,2, then they are a sum of the monomials with degrees greater than 1. Similar to the proof of Lemma 4.2, we get that this is impossible, because they cannot satisfy the conditions of Xq(A1)-module algebra on Aq(2).

    To see that the Xq(A1)-module algebra structures are pairwise nonisomorphic, observe that all the automorphisms of the quantum plane commute with the actions of K1 and K2.

    Next, our immediate intention is to describe the composition series for these representations.

    Proposition 4.4. The representations corresponding to the [(0000)0,(0000)1]-series described in (4.1)–(4.3) split into the direct sum Aq(2)=m=0n=0Cxm1xn2 of one-dimensional subrepresentations. These subrepresentations may belong to two isomorphism classes, depending on the weights of a specific monomial xm1xn2 which can be K1(xm1xn2)=λm1λn2xm1xn2 and K2(xm1xn2)=(±1)m+nλm1λn2xm1xn2.

    Proof. Since E and F are represented by zero operators and the monomials xm1xn2 are eigenvectors for K1 and K2, then every direct summand is Xq(A1)-invariant.

    In this paper, we discuss the module algebra structures of Xq(A1) on the quantum n-space Aq(n) for n2 and n3. However, we have presented only a complete list of Xq(A1)-module algebra structures on the quantum plane Aq(2), and described the isomorphism classes of these structures. For all n4, it is complicated to give the solutions of (3.7) and (3.8). We will continue to classify the module algebra structures of Xq(A1) on the quantum n-space Aq(n) for n4 in the future.

    The authors declare they have not used Artificial Intelligence (AI) tools in the creation of this article.

    This work is supported by the National Natural Science Foundation of China (Grant No. 12201187), Natural Science Foundation of Henan Province (Grant No. 222300420156), and Key Research Project Plan of Henan Province Higher Education Institutions (Grant No. 23B110006).

    The authors declare there is no conflicts of interest.



    [1] M. Ge, G. Liu, K. Xue, New solutions of Yang-Baxter equations: Birman-Wenzl algebra and quantum group structures, J. Phys. A: Math. Gen., 24 (1991), 2679. https://doi.org/10.1088/0305-4470/24/12/008 doi: 10.1088/0305-4470/24/12/008
    [2] C. N. Yang, M. L. Ge, Braid Group, Knot Theory and Statistical Mechanics, World Scientific Publishing Company, 1991. https://doi.org/10.1142/0796
    [3] A. Aghamohammadi, V. Karimipour, S. Rouhani, The multiparametric non-standard deformation of An1, J. Phys. A: Math. Gen., 26 (1993), 75. https://doi.org/10.1088/0305-4470/26/3/002 doi: 10.1088/0305-4470/26/3/002
    [4] N. Jing, M. Ge, Y. Wu, A new quantum group associated with a 'nonstandard' braid group representation, Lett. Math. Phys., 21 (1991), 193–203. https://doi.org/10.1007/BF00420369 doi: 10.1007/BF00420369
    [5] C. Cheng, S. Yang, Weak Hopf algebras corresponding to non-standard quantum groups, Bull. Korean Math. Soc., 54 (2017), 463–484. https://doi.org/10.4134/BKMS.b160029 doi: 10.4134/BKMS.b160029
    [6] D. Su, S. Yang, Representations of the small nonstandard quantum groups ¯Xq(A1), Commun. Algebra, 47 (2019), 5039–5062. https://doi.org/10.1080/00927872.2019.1612412 doi: 10.1080/00927872.2019.1612412
    [7] M. E. Sweedler, Hopf Algebras, W. A. Benjamin, 1969.
    [8] M. Beattie, A direct sum decomposition for the Brauer group of H-module algebras, J. Algebra, 43 (1976), 686–693. https://doi.org/10.1016/0021-8693(76)90134-4 doi: 10.1016/0021-8693(76)90134-4
    [9] R. J. Blattner, S. Montgomery, A duality theorem for Hopf module algebras, J. Algebra, 95 (1985), 153–172. https://doi.org/10.1016/0021-8693(85)90099-7 doi: 10.1016/0021-8693(85)90099-7
    [10] S. Montgomery, Hopf Algebras and Their Actions on Rings, American Mathematical Society, 1993. https://doi.org/10.1090/cbms/082
    [11] B. Drabant, A. Van Daele, Y. Zhang, Actions of multiplier hopf algebras, Commun. Algebra, 27 (1999), 4117–4172. https://doi.org/10.1080/00927879908826688 doi: 10.1080/00927879908826688
    [12] C. Kassel, Quantum Groups, Springer, 1995. https://doi.org/10.1007/978-1-4612-0783-2
    [13] A. Klimyk, K. Schmüdgen, Quantum Groups and Their Representations, Springer, 1997. https://doi.org/10.1007/978-3-642-60896-4
    [14] L. Castellani, J. Wess, Quantum Groups and their Applications in Physics, IOS Press, 1996.
    [15] S. Duplij, S. Sinel'shchikov, Classification of Uq(sl2)-module algebra structures on the quantum plane, J. Math. Phys. Anal. Geom., 6 (2010), 1–25.
    [16] S. Duplij, S. Sinel'shchikov, On Uq(sl2)-actions on the quantum plane, Acta Polytech., 50 (2010), 25–29. http://doi.org/10.14311/1259 doi: 10.14311/1259
    [17] S. Duplij, Y. Hong, F. Li, Uq(sl(m+1))-module algebra structures on the coordinate algebra of a quantum vector space, J. Lie Theory, 25 (2015), 327–361.
    [18] K. Chan, C. Walton Y. H. Wang, J. J. Zhang, Hopf actions on filtered regular algebras, J. Algebra, 397 (2014), 68–90. https://doi.org/10.1016/j.jalgebra.2013.09.002 doi: 10.1016/j.jalgebra.2013.09.002
    [19] N. Hu, Quantum divided power algebra, q-derivatives, and some new quantum groups, J. Algebra, 232 (2000), 2000,507–540. https://doi.org/10.1006/jabr.2000.8385 doi: 10.1006/jabr.2000.8385
    [20] V. A. Artamonov, Actions of pointed Hopf algebras on quantum polynomials, Russ. Math. Surv., 55 (2000), 1137–1138. https://doi.org/10.1070/rm2000v055n06ABEH000337 doi: 10.1070/rm2000v055n06ABEH000337
    [21] K. R. Goodearl, E. S. Letzter, Quantum n-space as a quotient of classical n-space, Trans. Am. Math. Soc., 352 (2000), 5855–5876. https://doi.org/10.1090/S0002-9947-00-02639-8 doi: 10.1090/S0002-9947-00-02639-8
    [22] J. Alev, M. Chamarie, Derivations et automorphismes de quelques algebras quantiques, Commun. Algebra, 20 (1992), 1787–1802. https://doi.org/10.1080/00927879208824431 doi: 10.1080/00927879208824431
    [23] V. A. Artamonov, Quantum polynomial algebras, J. Math. Sci., 87 (1997), 3441–3462. https://doi.org/10.1007/BF02355445
    [24] V. A. Artamonov, R. Wisbauer, Homological properties of quantum polynomials, Algebras Representation Theory, 4 (2001), 219–247. https://doi.org/10.1023/A:1011458821831 doi: 10.1023/A:1011458821831
    [25] D. Su, Module algebra structures of nonstandard quantum group Xq(A1) on Cq[x,y,z], preprint, arXiv: 2504.19415.
  • Reader Comments
  • © 2025 the Author(s), licensee AIMS Press. This is an open access article distributed under the terms of the Creative Commons Attribution License (http://creativecommons.org/licenses/by/4.0)
通讯作者: 陈斌, bchen63@163.com
  • 1. 

    沈阳化工大学材料科学与工程学院 沈阳 110142

  1. 本站搜索
  2. 百度学术搜索
  3. 万方数据库搜索
  4. CNKI搜索

Metrics

Article views(168) PDF downloads(19) Cited by(0)

Other Articles By Authors

/

DownLoad:  Full-Size Img  PowerPoint
Return
Return

Catalog