TY - JOUR
T1 - DONKIN–KOPPINEN FILTRATION FOR GL(m|n) AND GENERALIZED SCHUR SUPERALGEBRAS
AU - Marko, F.
AU - Zubkov, A. N.
N1 - Publisher Copyright:
© 2022, The Author(s), under exclusive licence to Springer Science+Business Media, LLC, part of Springer Nature.
PY - 2023/6
Y1 - 2023/6
N2 - The paper contains results that characterize the Donkin–Koppinen filtration of the coordinate superalgebra K[G] of the general linear supergroup G = GL(m|n) by its subsupermodules CΓ = OΓ(K[G]). Here, the supermodule CΓ is the largest subsupermodule of K[G] whose composition factors are irreducible supermodules of highest weight ⋋, where ⋋ belongs to a finitely-generated ideal Γ of the poset X(T)+ of dominant weights of G. A decomposition of G as a product of subsuperschemes U–×Gev×U+ induces a superalgebra isomorphism ϕ*K[U–]⊗K[Gev]⊗K[U+]≃K[G]. We show that CΓ=ϕ*(K[U–]⊗MΓK[U+]), where MΓ=OΓ(K[Gev]). Using the basis of the module MΓ, given by generalized bideterminants, we describe a basis of CΓ. Since each CΓ is a subsupercoalgebra of K[G], its dual CΓ∗=SΓ is a (pseudocompact) superalgebra called the generalized Schur superalgebra. There is a natural superalgebra morphism πΓ : Dist(G) → SΓ such that the image of the distribution algebra Dist(G) is dense in SΓ. For the ideal X(T)l+, of all weights of fixed length l, the generators of the kernel of πX(T)l+ are described.
AB - The paper contains results that characterize the Donkin–Koppinen filtration of the coordinate superalgebra K[G] of the general linear supergroup G = GL(m|n) by its subsupermodules CΓ = OΓ(K[G]). Here, the supermodule CΓ is the largest subsupermodule of K[G] whose composition factors are irreducible supermodules of highest weight ⋋, where ⋋ belongs to a finitely-generated ideal Γ of the poset X(T)+ of dominant weights of G. A decomposition of G as a product of subsuperschemes U–×Gev×U+ induces a superalgebra isomorphism ϕ*K[U–]⊗K[Gev]⊗K[U+]≃K[G]. We show that CΓ=ϕ*(K[U–]⊗MΓK[U+]), where MΓ=OΓ(K[Gev]). Using the basis of the module MΓ, given by generalized bideterminants, we describe a basis of CΓ. Since each CΓ is a subsupercoalgebra of K[G], its dual CΓ∗=SΓ is a (pseudocompact) superalgebra called the generalized Schur superalgebra. There is a natural superalgebra morphism πΓ : Dist(G) → SΓ such that the image of the distribution algebra Dist(G) is dense in SΓ. For the ideal X(T)l+, of all weights of fixed length l, the generators of the kernel of πX(T)l+ are described.
UR - http://www.scopus.com/inward/record.url?scp=85127434483&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=85127434483&partnerID=8YFLogxK
U2 - 10.1007/s00031-022-09714-y
DO - 10.1007/s00031-022-09714-y
M3 - Article
AN - SCOPUS:85127434483
SN - 1083-4362
VL - 28
SP - 911
EP - 949
JO - Transformation Groups
JF - Transformation Groups
IS - 2
ER -