Search arXivSearch

arXiv · 2008.06558

Donkin-Koppinen filtration for GL(m|n) and generalized Schur superalgebras

Abstract

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^-\times G_{ev}\times U^+$ induces a superalgebra isomorphism $ϕ^* : K[U^-]\otimes K[G_{ev}]\otimes K[U^+]\simeq K[G]$. We show that $C_Γ=ϕ^*(K[U^-]\otimes M_Γ\otimes K[U^+])$, where $M_Γ=O_Γ(K[G_{ev}])$. 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)\to 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.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Frantisek Marko, Alexandr N. Zubkov. 2020-08-14. Donkin-Koppinen filtration for GL(m|n) and generalized Schur superalgebras. https://arxiv.org/abs/2008.06558

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A local relative trace formula for F*\SL(2,F)

In this note, we derive explicitly the local relative trace formula for the symmetric space F*\SL(2,F) at the level of Lie algebras, where F is a p-adic field of residue characteristic greater than two and F* is the set of invertible elements in F. This is perhaps one of the simplest non-trivial analogs of the trace formula, and also a motivating example for the author's work (in preparation) on the relative trace formula.

math.RT

Semi-infinite parabolic IC-sheaf

Let G be a connected reductive group, P its parabolic subgroup. We consider the parabolic semi-infinite category of sheaves on the affine Grassmanian of G and construct the parabolic version of the semi-infinite IC-sheaf of each orbit. We establish some of its properties and relate it to sheaves on the Drinfeld compactification of the moduli stack Bun_P of P-torsors on a curve. We also relate the parabolic semi-infinite IC-sheaf with the dual baby Verma object on the spectral side.

math.RT

The Grothendieck group of an extriangulated category

In this paper, we investigate the split Grothendieck group $K^{\rm sp}_{0}(\mathcal{M})$ of a $d$-rigid subcategory $\mathcal{M}$ in an extriangulated category $\mathscr{C}$. As applications, we prove the following results: (1) If $\mathcal{M}$ is a silting subcategory, then the Grothendieck group $K_{0}(\mathscr{C})$ is isomorphic to $K_{0}^{\rm sp}(\mathcal{M})$; (2) If $\mathcal{M}$ is a $d$-cluster tilting subcategory, then $K_{0}(\mathscr{C})$ is isomorphic to the index Grothendieck group $K_{0}^{\rm in}(\mathcal{M})$; (3) Let $\mathcal{C}_{A_{n}}^{d}$ be the $d$-cluster category of type $A_n$. If $d$ is even, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}/(n+1)\mathbb{Z}$. If $d$ is odd, then $K_0(\mathcal{C}_{A_{n}}^{d})\cong \mathbb{Z}$ if $n$ is odd; $K_0(\mathcal{C}_{A_{n}}^{d})\cong 0$ if $n$ is even.

math.RT