---
title: Super Extended Ovsienko–Roger Algebra
url: https://www.emergentmind.com/topics/super-extended-ovsienko-roger-algebra
type: topic
---

# Super Extended Ovsienko–Roger Algebra

The super extended Ovsienko–Roger algebra, denoted $\mathcal{S}$, is an infinite-dimensional Lie superalgebra arising as the annihilation superalgebra of a rank-(2+1) Lie conformal superalgebra. Distinguished by its structure, central extensions, and representation theory, it generalizes and extends the Ovsienko–Roger algebra through incorporation of both bosonic and fermionic generators and central elements. Its study touches on the structural and module-theoretic aspects of infinite-dimensional Lie superalgebras, a theme of significant interest in modern representation theory and mathematical physics [2601.09277].

## 1. Construction from Lie Conformal Superalgebra

The parent Lie conformal superalgebra is given by
\[
S = S_{\bar{0}} \oplus S_{\bar{1}}
\]
with
\[
S_{\bar{0}} = \mathbb{C}[\partial] L \oplus \mathbb{C}[\partial] W, \qquad S_{\bar{1}} = \mathbb{C}[\partial] G.
\]
The parity assignments are $|L| = |W| = 0$, $|G| = 1$. The nontrivial $\lambda$-brackets, encoding the conformal structure, are:
\[
\begin{aligned}
[L_\lambda L] &= (\partial + 2\lambda) L, \\
[L_\lambda W] &= \partial W, \\
[L_\lambda G] &= (\partial+\lambda) G, \\
[G_\lambda G] &= \partial W.
\end{aligned}
\]
All remaining brackets are determined by superskew-symmetry and sesquilinearity or are trivial. The structure incorporates a central role for $L$, $W$, and $G$ as generators of the respective even and odd components.

## 2. The Super Extended Ovsienko–Roger Algebra $\mathcal{S}$

The annihilation superalgebra $Lie(S)$ is constructed by taking the Fourier (mode) expansion of the generators, leading to
\[
L_m,\; W_n\ (m,n\in\mathbb{Z}), \quad G_r\ (r\in\mathbb{Z} + \tfrac{1}{2}),
\]
with $|L_m| = |W_n| = 0$ and $|G_r| = 1$. The algebra is centrally extended through the unique even elements $C_1, C_2$ arising from $H^2(Lie(S),\mathbb{C})$.

Thus,
\[
\mathcal{S} = \bigoplus_{m\in\mathbb{Z}} (\mathbb{C} L_m \oplus \mathbb{C} W_m) \oplus \bigoplus_{r\in\mathbb{Z}+\frac{1}{2}} \mathbb{C} G_r \oplus \mathbb{C} C_1 \oplus \mathbb{C} C_2.
\]

The defining super-brackets are:
\[
\begin{aligned}
[L_m, L_n] &= (n-m) L_{m+n} + \frac{m^3-m}{12} \delta_{m+n,0} C_1, \\
[L_m, W_n] &= (m+n) W_{m+n} + \delta_{m+n,0} C_2, \\
[L_m, G_r] &= r G_{m+r}, \\
[G_r, G_s] &= (r+s) W_{r+s} + \delta_{r+s,0} C_2, \\
[W_m, W_n] &= 0, \\
[W_m, G_r] &= 0, \\
[\mathcal{S}, C_i] &= 0.
\end{aligned}
\]
The subalgebra generated by the even elements coincides with the $\lambda=1$ Ovsienko–Roger algebra, confirming that $\mathcal{S}$ is a genuine super-extension thereof. $C_1$ and $C_2$ are central and even.

## 3. Triangular Decomposition and Verma Module Construction

$\mathcal{S}$ admits a standard triangular decomposition
\[
\mathcal{S} = \mathcal{S}_- \oplus \mathcal{S}_0 \oplus \mathcal{S}_+,
\]
where
\[
\begin{aligned}
\mathcal{S}_+ &= \bigoplus_{m>0}(L_m\oplus W_m)\oplus\bigoplus_{r>0}G_r, \\
\mathcal{S}_0 &= L_0 \oplus W_0 \oplus C_1 \oplus C_2, \\
\mathcal{S}_- &= \bigoplus_{m<0}(L_m\oplus W_m)\oplus\bigoplus_{r<0}G_r.
\end{aligned}
\]

For fixed scalars $h_1, h_2, c_1 \in \mathbb{C}$, the one-dimensional $(\mathcal{S}_0 \oplus \mathcal{S}_+)$-module $\mathbb{C} v$ is defined via:
\[
L_0 v = h_1 v, \quad W_0 v = h_2 v, \quad C_1 v = c_1 v, \quad C_2 v = 0, \quad \mathcal{S}_+ v = 0.
\]
The resulting Verma module is
\[
M(h_1, h_2, c_1) = U(\mathcal{S}) \otimes_{U(\mathcal{S}_0 \oplus \mathcal{S}_+)} \mathbb{C} v.
\]
This module structure forms the basis for subsequent studies of reducibility and composition factors within $\mathcal{S}$-module theory.

## 4. Restricted Modules and Induced Simplicity

An $\mathcal{S}$-module $M$ is classified as restricted if for every $v \in M$ there exists $N \gg 0$ such that
\[
L_i v = W_i v = G_{i+\frac{1}{2}} v = 0 \qquad \forall\, i > N.
\]
This is equivalent to the large-mode operators acting locally nilpotently or locally finitely. For construction, fix $d, t \geq 0$ and define
\[
T_d = \bigoplus_{i \geq 0} (L_i \oplus W_{i-d}) \oplus \bigoplus_{i \geq 1} G_{i-\frac{1}{2}} \oplus C_1 \oplus C_2.
\]
Given a simple $T_d$-module $V$ on which $C_i$ act via $c_i \in \mathbb{C}$ and the following conditions hold:
- $W_t$ acts injectively on $V$ (if $t=0$, $c_2 \neq 0$ suffices),
- $W_i V = 0$ for all $i > t$, and $L_j V = 0$ for all $j > t+d$,

then the induced module
\[
\mathrm{Ind}(V) = U(\mathcal{S}) \otimes_{U(T_d)} V
\]
is a simple restricted $\mathcal{S}$-module. Every simple restricted $\mathcal{S}$-module with $C_2 \neq 0$ arises this way, as any such module can be realized by induction from a finite-dimensional solvable Lie superalgebra quotient $\mathfrak{q}^{(d, t)} = T_d / \mathcal{S}^{(t+d+1, t+1, t+1)}$.

## 5. Classification of Generalized Verma Modules

Generalized Verma modules arise by replacing the one-dimensional highest-weight choice with a simple finite-dimensional $S_0$-module $V$:
\[
M_\varphi(V) = U(\mathcal{S}) \otimes_{U(\mathcal{S}_0 \oplus \mathcal{S}_+)} V.
\]
These are restricted, and if $C_2 \neq 0$, all simple generalized Verma modules are of this form. The complete list of simple $S_0$-modules, as per Block's classification, includes highest-(or lowest-)weight modules, cuspidal modules, (dual) Whittaker modules, and Block modules of the even subalgebra $S_0 \cong \mathcal{L}_1^{\mathrm{ev}}$.

## 6. Reducibility of Verma Modules

Unlike many familiar Lie algebras, the ordinary Verma module $M(h_1, h_2, c_1)$ for $\mathcal{S}$ is always reducible. The explicit presence of a nontrivial singular vector $u = G_{-\frac{1}{2}} v$ satisfies the highest-weight conditions for all positive modes and satisfies
\[
L_0 u = (h_1 - \tfrac{1}{2})u, \qquad W_0 u = h_2 u.
\]
The vector $u$ thus generates a proper nontrivial submodule, providing a concrete singular-vector obstruction to irreducibility for any parameter choice.

## 7. Structural Features and Representation-Theoretic Consequences

The super extended Ovsienko–Roger algebra $\mathcal{S}$ provides a rich platform for the study of infinite-dimensional Lie superalgebras, blending features from conformal and ordinary module theory. Its defining relations, central extensions, and the behavior of its Verma and restricted modules reflect deeper similarities and contrasts with classical objects in the theory of infinite-dimensional Lie (super) algebras. The complete classification of simple restricted and simple generalized Verma modules, as well as the universal reducibility of the ordinary Verma modules, underscores the unique representational landscape of $\mathcal{S}$ [2601.09277].

Source: https://www.emergentmind.com/topics/super-extended-ovsienko-roger-algebra