Diagonal Reduction Algebra for osp(1|2)

• Diagonal Reduction Algebra is the localized reduction algebra built from a diagonal embedding, with an associative diamond product induced by the extremal projector.
• It is characterized by a complete osp(1|2) presentation including generators, rational defining relations, and a PBW basis reflecting superalgebraic parity.
• Its representation theory is organized via the Harish–Chandra homomorphism, Verma modules, and ghost center, leading to a full classification of finite-dimensional irreducibles.

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 (Hartwig et al., 2021, Hartwig et al., 2022).

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

$\mathfrak{osp}(1|2)$0

the localized reduction algebra is

$\mathfrak{osp}(1|2)$1

Following Khoroshkin–Ogievetsky, one simultaneously considers the double coset space

$\mathfrak{osp}(1|2)$2

and endows it with an associative product $\mathfrak{osp}(1|2)$3 induced by the extremal projector $\mathfrak{osp}(1|2)$4 of $\mathfrak{osp}(1|2)$5:

$\mathfrak{osp}(1|2)$6

This makes the double coset space an associative superalgebra isomorphic to the reduction algebra (Hartwig et al., 2021).

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 (Hartwig et al., 2022).

The extremal-projector formalism may be phrased categorically. In the category $\mathfrak{osp}(1|2)$7 of locally $\mathfrak{osp}(1|2)$8-finite $\mathfrak{osp}(1|2)$9-modules, one has invariants and coinvariants

$$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$0

together with a natural transformation $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$1. If $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$2 is invertible, its inverse is the extremal projector $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$3. For the universal highest-weight module $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$4, one has $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$5 and $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$6, while the diamond product on $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$7 is characterized by

$$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$8

This formulation is the mechanism behind the associative multiplication in the diagonal reduction algebra (Hartwig et al., 2021).

2. The diagonal $$\left(\mathfrak{osp}(1|2)\times\mathfrak{osp}(1|2),\mathfrak{osp}(1|2)\right)$$9 setup

The Lie superalgebra $\mathfrak{G}$0 has even part isomorphic to $\mathfrak{G}$1 and odd part equal to its natural $\mathfrak{G}$2-dimensional module. With generators of parities

$\mathfrak{G}$3

and super-commutator $\mathfrak{G}$4, the defining relations used in the diagonal reduction-algebra construction are

$\mathfrak{G}$5

$\mathfrak{G}$6

$\mathfrak{G}$7

$\mathfrak{G}$8

$\mathfrak{G}$9

A convenient super-Casimir-like element due to Leśniewski is

$\mathfrak{g}\subset \mathfrak{G}$0

which is anti-central: it commutes with even elements and anticommutes with odd ones (Hartwig et al., 2021).

For the diagonal construction, take

$\mathfrak{g}\subset \mathfrak{G}$1

embedded diagonally via $\mathfrak{g}\subset \mathfrak{G}$2. The Cartan element is $\mathfrak{g}\subset \mathfrak{G}$3, and the denominator set is

$\mathfrak{g}\subset \mathfrak{G}$4

A $\mathfrak{g}\subset \mathfrak{G}$5-module complement is the anti-diagonal

$\mathfrak{g}\subset \mathfrak{G}$6

so that $\mathfrak{g}\subset \mathfrak{G}$7 as $\mathfrak{g}\subset \mathfrak{G}$8-modules (Hartwig et al., 2021).

Diagonal element	Anti-diagonal element	Notation
$\mathfrak{g}\subset \mathfrak{G}$9	$\mathfrak{G}$0	$\mathfrak{G}$1
$\mathfrak{G}$2	$\mathfrak{G}$3	$\mathfrak{G}$4
$\mathfrak{G}$5	$\mathfrak{G}$6	$\mathfrak{G}$7

The extremal projector for $\mathfrak{G}$8 has the form

$\mathfrak{G}$9

with $$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$0 and recurrence

$$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$1

Equivalently,

$$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$2

In the diagonal setting, all occurrences of $$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$3 are replaced by $$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$4 (Hartwig et al., 2021).

3. Generators, defining relations, and the PBW basis

The diagonal reduction algebra

$$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$5

is generated over

$$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$6

by five elements

$$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$7

together with the commutative subalgebra $$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$8. The ordered generators are taken in the lexicographic order

$$\mathfrak{g}=\mathfrak{g}_-\oplus\mathfrak{h}\oplus\mathfrak{g}_+$$9

Their interaction with the dynamical Cartan parameter is governed by

$D\subset U(\mathfrak{h})\setminus\{0\}$0

$D\subset U(\mathfrak{h})\setminus\{0\}$1

$D\subset U(\mathfrak{h})\setminus\{0\}$2

These are the Cartan-dynamical shift relations (Hartwig et al., 2021).

The mixed defining relations are rational in $D\subset U(\mathfrak{h})\setminus\{0\}$3. They include

$D\subset U(\mathfrak{h})\setminus\{0\}$4

$D\subset U(\mathfrak{h})\setminus\{0\}$5

$D\subset U(\mathfrak{h})\setminus\{0\}$6

$D\subset U(\mathfrak{h})\setminus\{0\}$7

$D\subset U(\mathfrak{h})\setminus\{0\}$8

More substantial quadratic relations are

$D\subset U(\mathfrak{h})\setminus\{0\}$9

$U=D^{-1}U(\mathfrak{G})$0

$U=D^{-1}U(\mathfrak{G})$1

and

$U=D^{-1}U(\mathfrak{G})$2

$U=D^{-1}U(\mathfrak{G})$3

These relations constitute a complete presentation of $U=D^{-1}U(\mathfrak{G})$4 over $U=D^{-1}U(\mathfrak{G})$5 (Hartwig et al., 2021).

The PBW basis is the ordered monomial family

$U=D^{-1}U(\mathfrak{G})$6

which freely spans $U=D^{-1}U(\mathfrak{G})$7 as a left $U=D^{-1}U(\mathfrak{G})$8-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 (Hartwig et al., 2021).

A distinctive superalgebraic feature is that the odd generators appear at most linearly in the PBW basis. The comparison with the $U=D^{-1}U(\mathfrak{G})$9 case is explicit in the source: super sign rules enter the adjoint actions and diamond expansions, the projector coefficients have alternating denominators $I=U\mathfrak{g}_+$0, anti-central elements occur naturally, and the PBW basis reflects parity by allowing the odd exponents only in $I=U\mathfrak{g}_+$1 (Hartwig et al., 2021).

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

Two distinguished elements were isolated in the first structural study of the diagonal $I=U\mathfrak{g}_+$2 reduction algebra. The first is a linear central element,

$I=U\mathfrak{g}_+$3

Using the relations

$I=U\mathfrak{g}_+$4

one checks that $I=U\mathfrak{g}_+$5 commutes with $I=U\mathfrak{g}_+$6 and $I=U\mathfrak{g}_+$7; by symmetry and the anti-automorphism $I=U\mathfrak{g}_+$8, it also commutes with $I=U\mathfrak{g}_+$9 and $\mathfrak{osp}(1|2)$00, hence lies in the center of $\mathfrak{osp}(1|2)$01 (Hartwig et al., 2021).

The second is a quadratic anti-central element obtained from the anti-central Leśniewski element $\mathfrak{osp}(1|2)$02. If $\mathfrak{osp}(1|2)$03 denotes its image in the reduction algebra, then

$\mathfrak{osp}(1|2)$04

This element commutes with even generators and anticommutes with odd ones (Hartwig et al., 2021).

The algebra also admits a subgroup of dilation automorphisms

$\mathfrak{osp}(1|2)$05

with parameters $\mathfrak{osp}(1|2)$06. These preserve the defining relations and form a group isomorphic to $\mathfrak{osp}(1|2)$07 (Hartwig et al., 2021).

A canonical Lie-superalgebra anti-automorphism is defined by

$\mathfrak{osp}(1|2)$08

It extends to a superalgebra anti-homomorphism $\mathfrak{osp}(1|2)$09 on the localized enveloping algebra and descends to the reduction algebra so that

$\mathfrak{osp}(1|2)$10

Its square is a dilation automorphism with $\mathfrak{osp}(1|2)$11 (Hartwig et al., 2021).

5. Ghost center and representation theory

The subsequent representation-theoretic development fixes the same diagonal reduction superalgebra, denoted $\mathfrak{osp}(1|2)$12, and introduces normalized Mickelsson generators

$\mathfrak{osp}(1|2)$13

$\mathfrak{osp}(1|2)$14

In this normalization, $\mathfrak{osp}(1|2)$15 is central and one has relations such as

$\mathfrak{osp}(1|2)$16

together with rationally shifted commutation formulas involving $\mathfrak{osp}(1|2)$17 (Hartwig et al., 2022).

A Harish–Chandra homomorphism is constructed from the centralizer

$\mathfrak{osp}(1|2)$18

If $\mathfrak{osp}(1|2)$19, then

$\mathfrak{osp}(1|2)$20

and the Harish–Chandra map is the projection

$\mathfrak{osp}(1|2)$21

with kernel $\mathfrak{osp}(1|2)$22. This map is decisive for the center and anti-center (Hartwig et al., 2022).

The representation theory is organized by Verma modules

$\mathfrak{osp}(1|2)$23

with highest-weight vector $\mathfrak{osp}(1|2)$24, and by the Shapovalov form. On the string basis, the form has diagonal entries controlled by explicit structure polynomials

$\mathfrak{osp}(1|2)$25

Reducibility occurs precisely when $\mathfrak{osp}(1|2)$26 for some positive $\mathfrak{osp}(1|2)$27, necessarily odd, and the radical is then explicitly described by the corresponding tail of the $\mathfrak{osp}(1|2)$28-string (Hartwig et al., 2022).

The ghost center of $\mathfrak{osp}(1|2)$29, 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,

$\mathfrak{osp}(1|2)$30

$\mathfrak{osp}(1|2)$31

$\mathfrak{osp}(1|2)$32

Their Harish–Chandra images are

$\mathfrak{osp}(1|2)$33

Writing $\mathfrak{osp}(1|2)$34 and $\mathfrak{osp}(1|2)$35, the ghost center is identified with

$\mathfrak{osp}(1|2)$36

Accordingly,

$\mathfrak{osp}(1|2)$37

This is the precise ghost-center theorem for the diagonal $\mathfrak{osp}(1|2)$38 reduction superalgebra (Hartwig et al., 2022).

Finite-dimensional irreducible representations are completely classified. For each odd $\mathfrak{osp}(1|2)$39 and each pair $\mathfrak{osp}(1|2)$40 satisfying

$\mathfrak{osp}(1|2)$41

there is an irreducible highest-weight module $\mathfrak{osp}(1|2)$42 of dimension $\mathfrak{osp}(1|2)$43; every finite-dimensional irreducible $\mathfrak{osp}(1|2)$44-module is odd-dimensional and arises uniquely in this way. The ghost center acts by

$\mathfrak{osp}(1|2)$45

The same paper also gives an explicit diagonal decomposition of the tensor product $\mathfrak{osp}(1|2)$46 into $\mathfrak{osp}(1|2)$47-submodules by repeated action of the projected generator $\mathfrak{osp}(1|2)$48 (Hartwig et al., 2022).

6. Relation to other diagonal reduction algebras and terminological scope

The $\mathfrak{osp}(1|2)$49 case sits within a longer diagonal-reduction program. For $\mathfrak{osp}(1|2)$50, Khoroshkin–Ogievetsky developed the diagonal reduction algebra attached to $\mathfrak{osp}(1|2)$51, established explicit generators-and-relations presentations, analyzed Zhelobenko automorphisms, PBW-type bases, and central elements, and later recast the algebra in dynamical $\mathfrak{osp}(1|2)$52-matrix and reflection-equation form, producing two families of central elements and a braided bialgebra structure (Khoroshkin et al., 2011, Khoroshkin et al., 2015).

At the structural level, reduction algebras enjoy a general domain property. For a Lie algebra $\mathfrak{osp}(1|2)$53 and reductive subalgebra $\mathfrak{osp}(1|2)$54, the reduction algebra $\mathfrak{osp}(1|2)$55 has no zero divisors, and for finite-dimensional $\mathfrak{osp}(1|2)$56 it is a left noetherian domain; a diagonal $\mathfrak{osp}(1|2)$57-type Gelfand–Kirillov conjecture was formulated in this setting and verified for the simplest example $\mathfrak{osp}(1|2)$58 (Khoroshkin et al., 2011).

Recent work extends stabilization and cutting beyond type $\mathfrak{osp}(1|2)$59 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{osp}(1|2)$60 and the differential reduction algebra of $\mathfrak{osp}(1|2)$61 (Hartwig, 29 Jul 2025). This suggests a systematic continuation of the explicit-presentation program beyond the rank-one $\mathfrak{osp}(1|2)$62 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 (Chen et al., 2016, Abdolyousefi et al., 2014, Ashrafi et al., 2015, Bovdi et al., 2019, Zabavsky et al., 2019).

Within the representation-theoretic meaning, the diagonal reduction algebra for $\mathfrak{osp}(1|2)$63 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 (Hartwig et al., 2021, Hartwig et al., 2022).