---
title: Principal W-Algebra of psl₂|₂
url: https://www.emergentmind.com/topics/principal-algebra
type: topic
---

# Principal W-Algebra of psl₂|₂

The principal $W$-algebra of $\mathfrak{psl}_{2|2}$, denoted $W^{k}_{\mathrm{pr}}$, is a vertex operator algebra (VOA) constructed via quantum Hamiltonian (BRST) reduction from the affine vertex superalgebra $V^{k}(\mathfrak{psl}_{2|2})$ at complex level $k$ ($k\neq0$). This structure encodes intricate algebraic and representation-theoretic properties, particularly significant for understanding non-semisimple and logarithmic conformal field theories, as well as the representation theory of small ${N}=4$ superconformal algebras at critical central charges. Collapsing phenomena and a deep interplay with the symplectic-fermion algebra underlie much of its mathematical richness [2509.04795].

## 1. Construction via Quantum Hamiltonian (BRST) Reduction

Let $\mathfrak{g} = \mathfrak{psl}_{2|2}$ be the simple Lie superalgebra with two $\mathfrak{sl}_2$ subalgebras generated by $(E^{1}, H^{1}, F^{1})$ and $(E^{2}, H^{2}, F^{2})$, and eight odd root vectors $e^{\pm\pm}$, $f^{\pm\pm}$. A principal nilpotent element $F=F^1+F^2$ is fixed, with grading element $H=H^1+H^2$ inducing a $\mathbb{Z}$-grading:
$$
\mathfrak{psl}_{2|2} = \mathfrak{g}^{(-2)} \oplus \mathfrak{g}^{(0)} \oplus \mathfrak{g}^{(+2)}.
$$
The universal affine vertex superalgebra $V^{k}(\mathfrak{g})$ is generated by fields $A(z)$, $A\in\mathfrak{g}$, with operator product expansions (OPEs):
$$
A(z)B(w) \sim \frac{k\,\langle A,B \rangle}{(z-w)^{2}} + \frac{[A,B](w)}{z-w},
$$
where $\langle\, , \rangle$ is the nondegenerate supertrace form and $c=\mathrm{sdim}\,\mathfrak{g} = -2$. Fermionic ghosts $(b^i, c^i)$ are introduced for the two even generators in $\mathfrak{g}^{(+2)}$, and bosonic ghosts $(\beta^j, \gamma^j)$ for the four odd generators, with canonical OPEs:
$$
b^i(z)c^i(w)\sim(z-w)^{-1},\quad \beta^j(z)\gamma^j(w)\sim-(z-w)^{-1}.
$$
The BRST differential $D_{0} = \mathrm{Res}\, D(z)$, defined as
$$
D(z) = (E^1+1)c^1 + (E^2-1)c^2 - e^{++}\gamma^e - f^{++}\gamma^f,
$$
satisfies $D_0^2=0$ and increases ghost-number by one. The principal $W$-algebra is defined by:
$$
W^{k}_{\mathrm{pr}} = H^0(\text{BRST complex } C = V^{k}(\mathfrak{g}) \otimes \text{ghosts},\, D_{0}).
$$

## 2. Generators and OPE Structure

After passing to BRST cohomology, $W^{k}_{\mathrm{pr}}$ is strongly generated by six fields:
- Even: $L(z)$ (Virasoro field, central charge $c=-2$), $H(z)$ (weight 2)
- Odd: $\chi(z)$, $\varphi(z)$ (weight 1), $\psi(z)$, $\phi(z)$ (weight 2)

The nonvanishing singular OPEs, in basis $\{L,H,\chi,\varphi,\psi,\phi\}$, include:
- $\chi(z)\varphi(w) \sim \frac{2k}{(z-w)^2};\quad \chi(z)\phi(w)\sim+\frac{S(w)}{z-w};\quad \varphi(z)\psi(w)\sim-\,\frac{S(w)}{z-w}$
- $S(z)$ is a weight-2 field commuting with $\chi$ and $\varphi$, with $L=S-\frac{1}{2}:\chi\varphi:$
- All other singular OPEs, such as $\chi(z)\chi(w)$, $\varphi(z)\varphi(w)$, vanish.

The complete OPE list appears in equations (2.9) or (2.11) and depends only on $k^2$; thus, $W^k_{\mathrm{pr}} \simeq W^{-k}_{\mathrm{pr}}$ [2509.04795].

## 3. The Zhu Algebra and Symplectic-Fermion Subquotients

For any VOA $V$, the Zhu algebra $\mathrm{Zhu}(V)$ is the associative algebra generated by the zero-modes $A_0$ of primary fields $A$, subject to relations determined by their weights and OPEs. For $W^{k}_{\mathrm{pr}}$, $\mathrm{Zhu}(W^{k}_{\mathrm{pr}})$ is generated by
$$
\bar\chi,\ \bar\varphi \ (\text{odd});\quad \bar H,\, \bar L,\, \bar S \ (\text{even});\quad \bar\psi,\, \bar\phi \ (\text{odd}),
$$
where $\bar L = S + \frac{1}{2}\bar\chi$ is central and the subalgebra generated by $\bar\chi, \bar\varphi$ is isomorphic to the finite algebra of two symplectic fermions. This provides a direct algebraic route to symplectic-fermion structures within the principal $W$-algebra context [2509.04795].

## 4. Classification of Irreducible Highest-Weight Modules

Lower-bounded $W^{k}_{\mathrm{pr}}$-modules $M$ possess finite-dimensional top-spaces $\mathrm{Top}(M) = \ker L_0 \cap \ker(\text{positive modes})$, naturally $\mathrm{Zhu}(W^{k}_{\mathrm{pr}})$-modules. An elementary analysis of relations shows that every irreducible Zhu module is highest weight for $\bar\chi, \bar\varphi$, with dimension $4$ (for generic $\Delta\neq0$) or $1$ (for $\Delta=0$). Consequently, every irreducible lower-bounded $W^{k}_{\mathrm{pr}}$-module is a highest-weight module $L_{h,\Delta}$, generated by $|h,\Delta\rangle$ such that
$$
H_0|h,\Delta\rangle = h|h,\Delta\rangle,\quad L_0|h,\Delta\rangle = \Delta|h,\Delta\rangle,\\
\chi_0|h,\Delta\rangle = \varphi_0|h,\Delta\rangle = \psi_0|h,\Delta\rangle = \phi_0|h,\Delta\rangle = 0,
$$
with dimension of the top-space $4$ if $\Delta\neq0$, and $1$ if $\Delta=0$ [2509.04795].

## 5. Collapsing Phenomena at $k = \pm \frac{1}{2}$ and the Symplectic-Fermion Quotient

The OPE structure reveals that for $k^2 = \frac{1}{4}$, the fields $H$, $S$, $\psi$, $\phi$ generate an ideal in $W^{k}_{\mathrm{pr}}$. The quotient, denoted $\mathrm{spr} = W^k_{\mathrm{pr}} / (\text{ideal})$, is then generated by $\chi$, $\varphi$ (weight 1) with
$$
\chi(z)\varphi(w) \sim \frac{2}{(z-w)^2},\quad \chi(z)\chi(w) = \varphi(z)\varphi(w) = 0,
$$
which is precisely the defining structure of the symplectic-fermion vertex algebra $\mathrm{SF}$ ($c=-2$). Thus, at $k = \pm \frac{1}{2}$,
$$
\mathrm{spr}[\pm \tfrac{1}{2}] \cong \mathrm{SF}.
$$
This collapsing highlights an isomorphism between the simple quotient of the principal $W$-algebra at these levels and symplectic-fermion theory [2509.04795].

## 6. Inverse Hamiltonian Reduction and Small $\mathcal{N} = 4$ Modules

The universal small $\mathcal{N}=4$ algebra $\mathcal{W}^{k}_{\min}$ arises via minimal (sl$_2$) reduction of $V^{k}(\mathfrak{psl}_{2|2})$, featuring generators $J^{\pm}, J^0$ (weight 1), $T$ (Virasoro, $c=-6(k+1)$), and supercurrents $G^\pm$, $\mathbb{G}^\pm$ (weight $3/2$). The half-lattice free boson algebra $F = \mathcal{F}(c, d; e^{mc})$ is introduced (central charge $c_F = -2(3k+2)$), and Heisenberg fields $a$, $b$ defined in terms of $c,d$. 

There is a homomorphism (Theorem 4.1) 
$$
\Phi^k: \mathcal{W}^{k}_{\min} \to W^k_{\mathrm{pr}} \otimes F
$$
with explicit correspondence of generators, and injectivity for generic $k$.

For $k=\pm \frac{1}{2}$, since $\mathrm{spr} \cong \mathrm{SF}$, there is a free-field realization of the simple small $\mathcal{N}=4$ algebra inside $\mathrm{SF} \otimes F$, at central charges $c = -9$ ($k=+\frac{1}{2}$) and $c = -3$ ($k=-\frac{1}{2}$).

Twisted (Ramond) modules of $F$, denoted $\mathcal{F}_{[\lambda]}$ for $\lambda \in \mathbb{C}/\mathbb{Z}$, allow for construction of small $\mathcal{N}=4$-modules via the Adamović functors:
$$
\mathrm{Ad}_{[\lambda]}(M) = \mathrm{Res}^{\mathrm{spr} \otimes F}_{\mathrm{smin}}(M \otimes \mathcal{F}_{[\lambda]}).
$$
Applying these functors to the simple $\mathrm{SF}$-modules (NS, R) yields families $N_{[\lambda]}$, $N^R_{[\lambda]}$ of almost-irreducible small $\mathcal{N} = 4$ modules. Each decomposes as a sum $N^R_{[\lambda]} \simeq M^R_{[\lambda]} \oplus M^R_{[\lambda + 1]}$ and similarly for NS.

Degeneration occurs for $[\lambda]=\pm \frac{1}{2}$ (mod $2\mathbb{Z}$), where certain 4-dimensional modules become reducible but indecomposable, realized as nonsplit extensions:
$$
0 \to L_{-1/2} \to M^R_{1/2} \to L_{-3/2} \to 0,
$$
and analogously in other sectors, with explicit Loewy diagrams [2509.04795].

## 7. Logarithmic Modules and Extension Theory

Logarithmic modules emerge from the NS sector of the symplectic-fermion algebra, which contains a rank-4 indecomposable module $S_{(4)}$ whose top space is the projective cover of the vacuum. Applying Adamović functors to subquotients of $S_{(4)}$ constructs higher-step extensions and genuine logarithmic modules $P_{[\lambda]}$ for the small $\mathcal{N} = 4$ algebra. These $P_{[\lambda]}$ exhibit Jordan blocks for $T_0$ of rank 2 and intricate Loewy structure, explicated by exact sequences and module diagrams [2509.04795].

---

The principal $W$-algebra of $\mathfrak{psl}_{2|2}$ thus serves as a central object in the exploration of vertex algebra representation theory at superdimension $-2$, exhibiting exceptional phenomena such as simple quotient collapse, direct links to symplectic-fermion theory, and a detailed correspondence with relaxed and logarithmic modules for small $\mathcal{N} = 4$ superconformal algebras at critical central charges [2509.04795].

Source: https://www.emergentmind.com/topics/principal-algebra