---
title: Diagonal Reduction Algebra for osp(1|2)
url: https://www.emergentmind.com/topics/diagonal-reduction-algebra
type: topic
---

# Diagonal Reduction Algebra for osp(1|2)

Diagonal reduction algebra is the localized reduction algebra associated to a diagonal embedding, most classically the symmetric pair $(\mathfrak{g}\times\mathfrak{g},\mathfrak{g})$, and is equivalently realized as a double-coset algebra equipped with the associative diamond product defined by the extremal projector. In the super case of $\mathfrak{osp}(1|2)$, the diagonal reduction algebra of $\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$ admits a complete presentation by generators and relations, a PBW basis, explicitly described central and anti-central elements, and a representation theory organized by a Harish–Chandra homomorphism, Verma modules, the Shapovalov form, and the ghost center [2106.04380, 2203.08068].

## 1. Localized construction and the diamond product

Let $\mathfrak{G}$ be a Lie superalgebra and $\mathfrak{g}\subset \mathfrak{G}$ a Lie subsuperalgebra that is reductive in $\mathfrak{G}$, with triangular decomposition $\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$. If $D\subset U(\mathfrak{h})\setminus\{0\}$ is a multiplicative Ore set and $U=D^{-1}U(\mathfrak{G})$, then with the left ideal $I=U\mathfrak{g}_+$ and its normalizer
$$
N=N_U(I)=\{u\in U\mid Iu\subset I\},
$$
the localized reduction algebra is
$$
Z(\mathfrak{G},\mathfrak{g};D)=N/I.
$$
Following Khoroshkin–Ogievetsky, one simultaneously considers the double coset space
$$
U/(U\mathfrak{g}_+ + \mathfrak{g}_-U),
$$
and endows it with an associative product $\diamond$ induced by the extremal projector $P$ of $\mathfrak{g}$:
$$
\bar u\diamond \bar v=uPv+(U\mathfrak{g}_+ + \mathfrak{g}_-U).
$$
This makes the double coset space an associative superalgebra isomorphic to the reduction algebra [2106.04380].

The same class of objects is described in the literature under several synonymous labels. Reduction algebras are referred to as step algebras, Mickelsson algebras, Zhelobenko algebras, and transvector algebras, and their operational role is to act by raising and lowering operators on primitive or singular vectors [2203.08068].

The extremal-projector formalism may be phrased categorically. In the category $\mathcal{C}=\mathcal{C}(U,\mathfrak{g}_+)$ of locally $\mathfrak{g}_+$-finite $U$-modules, one has invariants and coinvariants
$$
V^+=\{v\in V\mid \mathfrak{g}_+v=0\},\qquad V_-=V/(\mathfrak{g}_-V),
$$
together with a natural transformation $Q:(-)^+\Rightarrow (-)_-$. If $Q$ is invertible, its inverse is the extremal projector $P=Q^{-1}$. For the universal highest-weight module $M=U/I$, one has $M^+\cong Z$ and $Z\cong \operatorname{End}_U(M)^{\mathrm{op}}$, while the diamond product on $M_-$ is characterized by
$$
x\diamond y=x\,P_M(y).
$$
This formulation is the mechanism behind the associative multiplication in the diagonal reduction algebra [2106.04380].

## 2. The diagonal $\mathfrak{osp}(1|2)$ setup

The Lie superalgebra $\mathfrak{osp}(1|2)$ has even part isomorphic to $\mathfrak{sl}(2)$ and odd part equal to its natural $2$-dimensional module. With generators of parities
$$
|h|=|x_{\pm 2}|=0,\qquad |x_\pm|=1,
$$
and super-commutator $[x,y]=xy-(-1)^{|x||y|}yx$, the defining relations used in the diagonal reduction-algebra construction are
$$
[h,x_k]=-k\,x_k,\qquad k\in\{\pm1,\pm2\},
$$
$$
[x_+,x_+]=-2x_2,\qquad [x_-,x_-]=2x_{-2},
$$
$$
[x_+,x_{-2}]=x_-,\qquad [x_-,x_2]=x_+,
$$
$$
[x_+,x_-]=h,\qquad [x_{-2},x_2]=h,
$$
$$
[x_+,x_2]=0,\qquad [x_-,x_{-2}]=0.
$$
A convenient super-Casimir-like element due to Leśniewski is
$$
L=-\frac12\Big(x_+x_- - x_-x_+ - \frac12\Big)
   =x_-x_+ - \frac12 h + \frac14,
$$
which is anti-central: it commutes with even elements and anticommutes with odd ones [2106.04380].

For the diagonal construction, take
$$
\mathfrak{G}=\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),
\qquad
\mathfrak{g}=\mathfrak{osp}(1|2)
$$
embedded diagonally via $\delta:x\mapsto(x,x)$. The Cartan element is $H=(h,h)$, and the denominator set is
$$
D=\langle H-n\mid n\in\mathbb Z\rangle\subset U(\mathfrak h)=\mathbb C[H].
$$
A $\mathfrak g$-module complement is the anti-diagonal
$$
\mathfrak p=\{(x,-x)\mid x\in \mathfrak{osp}(1|2)\},
$$
so that $\mathfrak G=\mathfrak g\oplus \mathfrak p$ as $\mathfrak g$-modules [2106.04380].

| Diagonal element | Anti-diagonal element | Notation |
|---|---|---|
| $(x_{\pm2},x_{\pm2})$ | $(x_{\pm2},-x_{\pm2})$ | $X_{\pm2},\ x_{\pm2}$ |
| $(x_\pm,x_\pm)$ | $(x_\pm,-x_\pm)$ | $X_\pm,\ x_\pm$ |
| $(h,h)$ | $(h,-h)$ | $H,\ h$ |

The extremal projector for $\mathfrak{osp}(1|2)$ has the form
$$
P=\sum_{n=0}^\infty \phi_n(h)x_-^n x_+^n,
$$
with $\phi_0(h)=1$ and recurrence
$$
\phi_n(h)=\frac{(-1)^n\phi_{n-1}(h)}{\kappa_n(h-1)},
\qquad
\kappa_n(h)=\sum_{k=0}^{n-1}(-1)^k(h-k).
$$
Equivalently,
$$
\phi_{2n-1}(h)=-\frac{\phi_{2n-2}(h)}{h-n},
\qquad
\phi_{2n}(h)=\frac{\phi_{2n-1}(h)}{n}.
$$
In the diagonal setting, all occurrences of $h$ are replaced by $H$ [2106.04380].

## 3. Generators, defining relations, and the PBW basis

The diagonal reduction algebra
$$
Z=Z(\mathfrak{osp}(1|2)\times \mathfrak{osp}(1|2),\mathfrak{osp}(1|2))
$$
is generated over
$$
D^{-1}U(\mathfrak h)=\mathbb C(H)[(H-n)^{-1}]
$$
by five elements
$$
\{\bar x_{-2},\bar x_-,\bar h,\bar x_+,\bar x_2\},
$$
together with the commutative subalgebra $D^{-1}U(\mathfrak h)$. The ordered generators are taken in the lexicographic order
$$
\bar x_{-2}<\bar x_-<\bar h<\bar x_+<\bar x_2.
$$
Their interaction with the dynamical Cartan parameter is governed by
$$
f(H)g(H)=g(H)f(H),
$$
$$
\bar x_k f(H)=f(H+k)\bar x_k,\qquad k\in\{\pm1,\pm2\},
$$
$$
\bar h\,f(H)=f(H)\bar h.
$$
These are the Cartan-dynamical shift relations [2106.04380].

The mixed defining relations are rational in $H$. They include
$$
\bar x_2\bar x_+=\Big(1-\frac{2}{H+1}\Big)\bar x_+\bar x_2,
$$
$$
\bar x_+\bar x_+=\frac{2}{H}\,\bar h\,\bar x_2,
\qquad
\bar x_-\bar x_-=-\frac{2}{H-2}\,\bar x_{-2}\bar h,
$$
$$
\bar x_2\bar h=\Big(1-\frac{2}{H+1}\Big)\bar h\bar x_2,
\qquad
\bar x_+\bar h=\Big(1-\frac{1}{H}\Big)\bar h\bar x_+,
$$
$$
\bar h\bar x_-=\Big(1-\frac{1}{H-1}\Big)\bar x_-\bar h,
\qquad
\bar h\bar x_{-2}=\Big(1-\frac{2}{H-1}\Big)\bar x_{-2}\bar h,
$$
$$
\bar x_-\bar x_{-2}=\Big(1-\frac{2}{H-2}\Big)\bar x_{-2}\bar x_-.
$$
More substantial quadratic relations are
$$
\bar x_2\bar x_-=
\Big(1-\frac{2}{H(H-1)}\Big)\bar x_-\bar x_2
+\frac{2}{H+1}\,\bar h\,\bar x_+,
$$
$$
\bar x_+\bar x_-=
\Big(-1-\frac{1}{H-1}\Big)\bar x_-\bar x_+
+\frac{4H}{(H-1)(H-2)}\,\bar x_{-2}\bar x_2
-\frac{1}{H}\,\bar h\,\bar h
+H,
$$
$$
\bar x_+\bar x_{-2}=
\Big(1-\frac{2}{(H-1)(H-2)}\Big)\bar x_{-2}\bar x_+
-\frac{2}{H}\,\bar x_-\bar h,
$$
and
$$
\bar x_2\bar x_{-2}=
\Big(1+\frac{2(H^3+H^2-6H+4)}{(H-2)(H-1)H(H+1)(H+2)}\Big)\bar x_{-2}\bar x_2
$$
$$
\qquad
-\frac{H^2-H-1}{(H-1)H(H+1)}\,\bar x_-\bar x_+
+\frac{1}{H+1}\,\bar h\,\bar h
-\frac{H^2}{H+1}.
$$
These relations constitute a complete presentation of $Z$ over $D^{-1}U(\mathfrak h)$ [2106.04380].

The PBW basis is the ordered monomial family
$$
\left\{
\bar x_{-2}^p \bar x_-^q \bar h^r \bar x_+^s \bar x_2^t
\ \middle|\
p,r,t\in \mathbb Z_{\ge 0},\ q,s\in\{0,1\}
\right\},
$$
which freely spans $Z$ as a left $D^{-1}U(\mathfrak h)$-module. The proof proceeds by identifying corresponding anti-diagonal monomials in the double-coset realization, reordering arbitrary products by the defining relations, and then proving linear independence by triangularity or passage to the associated graded [2106.04380].

A distinctive superalgebraic feature is that the odd generators appear at most linearly in the PBW basis. The comparison with the $\mathfrak{gl}(n)$ case is explicit in the source: super sign rules enter the adjoint actions and diamond expansions, the projector coefficients have alternating denominators $h-n$, anti-central elements occur naturally, and the PBW basis reflects parity by allowing the odd exponents only in $\{0,1\}$ [2106.04380].

## 4. Casimir-like elements, symmetries, and anti-automorphisms

Two distinguished elements were isolated in the first structural study of the diagonal $\mathfrak{osp}(1|2)$ reduction algebra. The first is a linear central element,
$$
C^{(1)}=(H-1)\bar h.
$$
Using the relations
$$
\bar h f(H)=f(H)\bar h,
\qquad
\bar x_+\bar h=\Big(1-\frac1H\Big)\bar h\bar x_+,
$$
one checks that $C^{(1)}$ commutes with $\bar h$ and $\bar x_+$; by symmetry and the anti-automorphism $\Theta$, it also commutes with $\bar x_-$ and $\bar x_{\pm2}$, hence lies in the center of $Z$ [2106.04380].

The second is a quadratic anti-central element obtained from the anti-central Leśniewski element $L\in U(\mathfrak{osp}(1|2))$. If $\bar L=L\otimes L+\bar I\bar I$ denotes its image in the reduction algebra, then
$$
16\bar L=
4\Big(\frac{H-2}{H-1}\Big)\bar x_{-2}\bar x_2
-\Big(2(H-2)+\frac{1}{H-1}\Big)\bar x_-\bar x_+
-\frac{1}{(H-1)^2}\bar h\,\bar h
+(H-1)^2.
$$
This element commutes with even generators and anticommutes with odd ones [2106.04380].

The algebra also admits a subgroup of dilation automorphisms
$$
\tau(\bar x_\pm)=\xi^{\pm1}\bar x_\pm,\qquad
\tau(\bar h)=\varepsilon \bar h,\qquad
\tau(\bar x_{\pm2})=\varepsilon \xi^{\pm2}\bar x_{\pm2},\qquad
\tau(H)=H,
$$
with parameters $(\varepsilon,\xi)\in\{\pm1\}\times \mathbb C^\times$. These preserve the defining relations and form a group isomorphic to $(\mathbb Z/2\mathbb Z)\times \mathbb C^\times$ [2106.04380].

A canonical Lie-superalgebra anti-automorphism is defined by
$$
\theta(x_\pm)=i\,x_\mp,\qquad
\theta(x_{\pm2})=-x_{\mp2},\qquad
\theta(h)=h.
$$
It extends to a superalgebra anti-homomorphism $\Theta$ on the localized enveloping algebra and descends to the reduction algebra so that
$$
\Theta(\bar u\diamond \bar v)=\Theta(\bar v)\diamond \Theta(\bar u).
$$
Its square is a dilation automorphism with $(\varepsilon,\xi)=(1,-1)$ [2106.04380].

## 5. Ghost center and representation theory

The subsequent representation-theoretic development fixes the same diagonal reduction superalgebra, denoted $A$, and introduces normalized Mickelsson generators
$$
x_2=(H-1)\bar x_2,\qquad
x_+=(H-1)\bar x_+,\qquad
h=(H-1)\bar h,
$$
$$
x_-=(H-1)(H-2)\bar x_-,
\qquad
x_{-2}=(H-1)(H-2)\bar x_{-2}.
$$
In this normalization, $h$ is central and one has relations such as
$$
x_+x_+=2hx_2,\qquad x_-x_-=-2hx_{-2}
$$
together with rationally shifted commutation formulas involving $H$ [2203.08068].

A Harish–Chandra homomorphism is constructed from the centralizer
$$
A^H=\{a\in A\mid [H,a]=0\}.
$$
If $J=(Ax_+ + Ax_2)\cap A^H$, then
$$
A^H=R[h]\oplus J,
$$
and the Harish–Chandra map is the projection
$$
\phi:A^H\to R[h]
$$
with kernel $J$. This map is decisive for the center and anti-center [2203.08068].

The representation theory is organized by Verma modules
$$
M(\lambda)=A\otimes_B R_\lambda,
$$
with highest-weight vector $v_\lambda=1\otimes 1$, and by the Shapovalov form. On the string basis, the form has diagonal entries controlled by explicit structure polynomials
$$
F_n(H,h)=
\begin{cases}
\big(H^2(H-n)^{-2}-1\big)h^2, & n\ \text{even},\\[4pt]
H^2(H-n)^2-h^2, & n\ \text{odd}.
\end{cases}
$$
Reducibility occurs precisely when $F_n(H+n-1,\lambda)=0$ for some positive $n$, necessarily odd, and the radical is then explicitly described by the corresponding tail of the $x_-$-string [2203.08068].

The ghost center of $A$, defined as the direct sum of the center and the anti-center, is generated by two central elements and one even anti-central element. In the normalization of this paper,
$$
C^{(1)}=2(H-1)\bar h,
$$
$$
C^{(2)}=
\Big(4+\frac{4}{H-2}\Big)\bar x_{-2}\bar x_2
-\Big(2-\frac{1}{H-1}\Big)\bar x_-\bar x_+
+\bar h\,\bar h
+(H-1)^2,
$$
$$
Q^{(2)}=
4\Big(\frac{H-2}{H-1}\Big)\bar x_{-2}\bar x_2
-\Big(2(H-2)+\frac{1}{H-1}\Big)\bar x_-\bar x_+
-\bar h\,\bar h
+(H-1)^2.
$$
Their Harish–Chandra images are
$$
\phi(C^{(1)})=2(H-1)h,\qquad
\phi(C^{(2)})=(H-1)^2+h^2,\qquad
\phi(Q^{(2)})=(H-1)^2-h^2.
$$
Writing $x=H-1$ and $y=h$, the ghost center is identified with
$$
\mathbb C[x^2+y^2,\,2xy,\,x^2-y^2]\subset \mathbb C[x,y].
$$
Accordingly,
$$
Z(A)=\mathbb C[x^2+y^2,2xy]\oplus \mathbb C[x^2+y^2,2xy]\cdot (x^2-y^2).
$$
This is the precise ghost-center theorem for the diagonal $\mathfrak{osp}(1|2)$ reduction superalgebra [2203.08068].

Finite-dimensional irreducible representations are completely classified. For each odd $n\in 2\mathbb Z_{\ge 0}+1$ and each pair $(\lambda,\mu)\in \mathbb C\times(\mathbb C\setminus\mathbb Z)$ satisfying
$$
\lambda^2=(\mu+n)^2,
$$
there is an irreducible highest-weight module $L(\lambda,\mu)$ of dimension $n$; every finite-dimensional irreducible $A$-module is odd-dimensional and arises uniquely in this way. The ghost center acts by
$$
C^{(1)}\mapsto 2\mu,\qquad
C^{(2)}\mapsto \mu^2+\lambda^2,\qquad
Q^{(2)}\mapsto (\mu^2-\lambda^2)(-1)^{|\cdot|}.
$$
The same paper also gives an explicit diagonal decomposition of the tensor product $\mathbb C[x]\otimes V(-\ell)$ into $\mathfrak{osp}(1|2)$-submodules by repeated action of the projected generator $Px_-+I$ [2203.08068].

## 6. Relation to other diagonal reduction algebras and terminological scope

The $\mathfrak{osp}(1|2)$ case sits within a longer diagonal-reduction program. For $\mathfrak{gl}(n)$, Khoroshkin–Ogievetsky developed the diagonal reduction algebra attached to $\mathfrak{gl}(n)\subset \mathfrak{gl}(n)\oplus\mathfrak{gl}(n)$, established explicit generators-and-relations presentations, analyzed Zhelobenko automorphisms, PBW-type bases, and central elements, and later recast the algebra in dynamical $R$-matrix and reflection-equation form, producing two families of central elements and a braided bialgebra structure [1101.2647, 1510.05258].

At the structural level, reduction algebras enjoy a general domain property. For a Lie algebra $\mathfrak g$ and reductive subalgebra $\mathfrak k$, the reduction algebra $Z(\mathfrak g,\mathfrak k)$ has no zero divisors, and for finite-dimensional $\mathfrak g$ it is a left noetherian domain; a diagonal $\mathfrak{sl}$-type Gelfand–Kirillov conjecture was formulated in this setting and verified for the simplest example $\mathrm{DR}(\mathfrak{sl}_2)$ [1109.6894].

Recent work extends stabilization and cutting beyond type $A$ and into the super setting. The method now applies to a wide range of reduction algebras, including all diagonal and differential reduction algebras for basic classical Lie superalgebras, and has been used to compute relations in the diagonal reduction algebra of $\mathfrak{so}_8$ and the differential reduction algebra of $\mathfrak{sp}_{2n}$ [2507.21595]. This suggests a systematic continuation of the explicit-presentation program beyond the rank-one $\mathfrak{osp}(1|2)$ case.

A plausible implication of the current literature is that the phrase “diagonal reduction” is polysemous. In representation theory it denotes the Mickelsson–Zhelobenko-type algebra attached to a diagonal embedding, whereas in ring theory it denotes diagonal reduction of matrices over Bézout, J-stable, refinement, Kazimirsky, or Ore settings. Those matrix-theoretic works concern elementary divisor properties, stable range conditions, Jacobson-radical reduction, and canonical diagonal forms for matrices, not the double-coset algebra with extremal-projector product considered here [1602.06094, 1412.5714, 1512.04210, 1908.04545, 1903.10049].

Within the representation-theoretic meaning, the diagonal reduction algebra for $\mathfrak{osp}(1|2)$ is the first complete super case in which generators, relations, PBW basis, Casimir-like elements, automorphisms, ghost center, finite-dimensional irreducibles, and tensor-product applications were all worked out explicitly [2106.04380, 2203.08068].

Source: https://www.emergentmind.com/topics/diagonal-reduction-algebra