Principal W-Algebra of psl₂|₂

• Principal W-algebra of psl₂|₂ is a vertex operator algebra defined via quantum Hamiltonian (BRST) reduction, featuring non-semisimple and logarithmic properties.
• It is strongly generated by six fields with intricate OPE structures, and at k = ±½ it collapses to the symplectic-fermion algebra with central charge c = -2.
• Its representation theory includes classification of highest-weight modules with finite-dimensional top-spaces and complex logarithmic module extensions.

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 (Fehily et al., 5 Sep 2025).

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 $\mathfrak{psl}_{2|2}$0, and eight odd root vectors $\mathfrak{psl}_{2|2}$1, $\mathfrak{psl}_{2|2}$2. A principal nilpotent element $\mathfrak{psl}_{2|2}$3 is fixed, with grading element $\mathfrak{psl}_{2|2}$4 inducing a $\mathfrak{psl}_{2|2}$5-grading:

$\mathfrak{psl}_{2|2}$6

The universal affine vertex superalgebra $\mathfrak{psl}_{2|2}$7 is generated by fields $\mathfrak{psl}_{2|2}$8, $\mathfrak{psl}_{2|2}$9, with operator product expansions (OPEs):

$W^{k}_{\mathrm{pr}}$0

where $W^{k}_{\mathrm{pr}}$1 is the nondegenerate supertrace form and $W^{k}_{\mathrm{pr}}$2. Fermionic ghosts $W^{k}_{\mathrm{pr}}$3 are introduced for the two even generators in $W^{k}_{\mathrm{pr}}$4, and bosonic ghosts $W^{k}_{\mathrm{pr}}$5 for the four odd generators, with canonical OPEs:

$W^{k}_{\mathrm{pr}}$6

The BRST differential $W^{k}_{\mathrm{pr}}$7, defined as

$W^{k}_{\mathrm{pr}}$8

satisfies $W^{k}_{\mathrm{pr}}$9 and increases ghost-number by one. The principal $V^{k}(\mathfrak{psl}_{2|2})$0-algebra is defined by:

$V^{k}(\mathfrak{psl}_{2|2})$1

2. Generators and OPE Structure

After passing to BRST cohomology, $V^{k}(\mathfrak{psl}_{2|2})$2 is strongly generated by six fields:

• Even: $V^{k}(\mathfrak{psl}_{2|2})$3 (Virasoro field, central charge $V^{k}(\mathfrak{psl}_{2|2})$4), $V^{k}(\mathfrak{psl}_{2|2})$5 (weight 2)
• Odd: $V^{k}(\mathfrak{psl}_{2|2})$6, $V^{k}(\mathfrak{psl}_{2|2})$7 (weight 1), $V^{k}(\mathfrak{psl}_{2|2})$8, $V^{k}(\mathfrak{psl}_{2|2})$9 (weight 2)

The nonvanishing singular OPEs, in basis $k$0, include:

• $k$1
• $k$2 is a weight-2 field commuting with $k$3 and $k$4, with $k$5
• All other singular OPEs, such as $k$6, $k$7, vanish.

The complete OPE list appears in equations (2.9) or (2.11) and depends only on $k$8; thus, $k$9 (Fehily et al., 5 Sep 2025).

3. The Zhu Algebra and Symplectic-Fermion Subquotients

For any VOA $k\neq0$0, the Zhu algebra $k\neq0$1 is the associative algebra generated by the zero-modes $k\neq0$2 of primary fields $k\neq0$3, subject to relations determined by their weights and OPEs. For $k\neq0$4, $k\neq0$5 is generated by

$k\neq0$6

where $k\neq0$7 is central and the subalgebra generated by $k\neq0$8 is isomorphic to the finite algebra of two symplectic fermions. This provides a direct algebraic route to symplectic-fermion structures within the principal $k\neq0$9-algebra context (Fehily et al., 5 Sep 2025).

4. Classification of Irreducible Highest-Weight Modules

Lower-bounded ${N}=4$0-modules ${N}=4$1 possess finite-dimensional top-spaces ${N}=4$2, naturally ${N}=4$3-modules. An elementary analysis of relations shows that every irreducible Zhu module is highest weight for ${N}=4$4, with dimension ${N}=4$5 (for generic ${N}=4$6) or ${N}=4$7 (for ${N}=4$8). Consequently, every irreducible lower-bounded ${N}=4$9-module is a highest-weight module $\mathfrak{g} = \mathfrak{psl}_{2|2}$0, generated by $\mathfrak{g} = \mathfrak{psl}_{2|2}$1 such that

$\mathfrak{g} = \mathfrak{psl}_{2|2}$2

with dimension of the top-space $\mathfrak{g} = \mathfrak{psl}_{2|2}$3 if $\mathfrak{g} = \mathfrak{psl}_{2|2}$4, and $\mathfrak{g} = \mathfrak{psl}_{2|2}$5 if $\mathfrak{g} = \mathfrak{psl}_{2|2}$6 (Fehily et al., 5 Sep 2025).

5. Collapsing Phenomena at $\mathfrak{g} = \mathfrak{psl}_{2|2}$7 and the Symplectic-Fermion Quotient

The OPE structure reveals that for $\mathfrak{g} = \mathfrak{psl}_{2|2}$8, the fields $\mathfrak{g} = \mathfrak{psl}_{2|2}$9, $\mathfrak{sl}_2$0, $\mathfrak{sl}_2$1, $\mathfrak{sl}_2$2 generate an ideal in $\mathfrak{sl}_2$3. The quotient, denoted $\mathfrak{sl}_2$4, is then generated by $\mathfrak{sl}_2$5, $\mathfrak{sl}_2$6 (weight 1) with

$\mathfrak{sl}_2$7

which is precisely the defining structure of the symplectic-fermion vertex algebra $\mathfrak{sl}_2$8 ($\mathfrak{sl}_2$9). Thus, at $(E^{1}, H^{1}, F^{1})$0,

$(E^{1}, H^{1}, F^{1})$1

This collapsing highlights an isomorphism between the simple quotient of the principal $(E^{1}, H^{1}, F^{1})$2-algebra at these levels and symplectic-fermion theory (Fehily et al., 5 Sep 2025).

6. Inverse Hamiltonian Reduction and Small $(E^{1}, H^{1}, F^{1})$3 Modules

The universal small $(E^{1}, H^{1}, F^{1})$4 algebra $(E^{1}, H^{1}, F^{1})$5 arises via minimal (sl$(E^{1}, H^{1}, F^{1})$6) reduction of $(E^{1}, H^{1}, F^{1})$7, featuring generators $(E^{1}, H^{1}, F^{1})$8 (weight 1), $(E^{1}, H^{1}, F^{1})$9 (Virasoro, $\mathfrak{psl}_{2|2}$00), and supercurrents $\mathfrak{psl}_{2|2}$01, $\mathfrak{psl}_{2|2}$02 (weight $\mathfrak{psl}_{2|2}$03). The half-lattice free boson algebra $\mathfrak{psl}_{2|2}$04 is introduced (central charge $\mathfrak{psl}_{2|2}$05), and Heisenberg fields $\mathfrak{psl}_{2|2}$06, $\mathfrak{psl}_{2|2}$07 defined in terms of $\mathfrak{psl}_{2|2}$08.

There is a homomorphism (Theorem 4.1)

$\mathfrak{psl}_{2|2}$09

with explicit correspondence of generators, and injectivity for generic $\mathfrak{psl}_{2|2}$10.

For $\mathfrak{psl}_{2|2}$11, since $\mathfrak{psl}_{2|2}$12, there is a free-field realization of the simple small $\mathfrak{psl}_{2|2}$13 algebra inside $\mathfrak{psl}_{2|2}$14, at central charges $\mathfrak{psl}_{2|2}$15 ($\mathfrak{psl}_{2|2}$16) and $\mathfrak{psl}_{2|2}$17 ($\mathfrak{psl}_{2|2}$18).

Twisted (Ramond) modules of $\mathfrak{psl}_{2|2}$19, denoted $\mathfrak{psl}_{2|2}$20 for $\mathfrak{psl}_{2|2}$21, allow for construction of small $\mathfrak{psl}_{2|2}$22-modules via the Adamović functors:

$\mathfrak{psl}_{2|2}$23

Applying these functors to the simple $\mathfrak{psl}_{2|2}$24-modules (NS, R) yields families $\mathfrak{psl}_{2|2}$25, $\mathfrak{psl}_{2|2}$26 of almost-irreducible small $\mathfrak{psl}_{2|2}$27 modules. Each decomposes as a sum $\mathfrak{psl}_{2|2}$28 and similarly for NS.

Degeneration occurs for $\mathfrak{psl}_{2|2}$29 (mod $\mathfrak{psl}_{2|2}$30), where certain 4-dimensional modules become reducible but indecomposable, realized as nonsplit extensions:

$\mathfrak{psl}_{2|2}$31

and analogously in other sectors, with explicit Loewy diagrams (Fehily et al., 5 Sep 2025).

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 $\mathfrak{psl}_{2|2}$32 whose top space is the projective cover of the vacuum. Applying Adamović functors to subquotients of $\mathfrak{psl}_{2|2}$33 constructs higher-step extensions and genuine logarithmic modules $\mathfrak{psl}_{2|2}$34 for the small $\mathfrak{psl}_{2|2}$35 algebra. These $\mathfrak{psl}_{2|2}$36 exhibit Jordan blocks for $\mathfrak{psl}_{2|2}$37 of rank 2 and intricate Loewy structure, explicated by exact sequences and module diagrams (Fehily et al., 5 Sep 2025).

---

The principal $\mathfrak{psl}_{2|2}$38-algebra of $\mathfrak{psl}_{2|2}$39 thus serves as a central object in the exploration of vertex algebra representation theory at superdimension $\mathfrak{psl}_{2|2}$40, 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 $\mathfrak{psl}_{2|2}$41 superconformal algebras at critical central charges (Fehily et al., 5 Sep 2025).