W3-Extensible Representations in Algebra & CFT

• W3-extensible representations are a family of extension problems unifying factorization, fusion, and topological invariants across algebra, conformal field theory, and group theory.
• They are realized by embedding smaller algebras into larger ones—such as sl(2) into Virasoro or free groups into Coxeter groups—and by enforcing compatibility equations among additional generators.
• Applications include reorganizing infinite Virasoro modules in CFT, generating fusion-driven sectors and logarithmic structures, and detecting topological obstructions via integer invariants.

“$W_3$-extensible representations” denotes a family of extension problems rather than a single standard definition. In the cited literature, the phrase appears in at least three technically distinct settings: factorization of free-group representations through the rank-three universal Coxeter group $W_3$; extension, closure, or organization of conformal-field-theoretic sectors in the presence of the Zamolodchikov $W_3$ algebra; and, in a non-module-theoretic usage, representation of a three-parameter topological obstruction carried by unitary families through the integer invariant $W_3$ (Fléchelles, 13 Jul 2025, Ikhlef et al., 2019, Höckendorf et al., 2017). In most of these works, “extension” is not the strict homological notion $\operatorname{Ext}^1$; it is instead phrased as restriction to an embedded subalgebra, factorization through a larger group, closure under fusion, or realization inside an enlarged chiral or diagram algebra.

1. Extension problems and their algebraic prototypes

A basic prototype for extensibility is the passage from an $\mathfrak{sl}(2)$-representation

$\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$

to a representation of the Witt algebra or the Virasoro algebra along the embedding

$$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$

In that setting, extension means the existence of a Lie algebra morphism on the larger algebra whose restriction agrees with $\sigma$. The analysis is stepwise: first to $\mathrm{Witt}_{>}$ or $W_3$0, then to full Witt, and finally to Virasoro. The corresponding criteria are formulated in terms of extra endomorphisms $W_3$1 and $W_3$2 satisfying commutator identities, and the paper gives explicit classifications for simple weight $W_3$3-modules and several Krull–Schmidt categories of weight modules (Martin et al., 2014).

This prototype matters because it isolates the recurring structure of an extensibility problem: one fixes a smaller algebra, specifies its embedding into a larger algebra, and then reduces extension to compatibility equations for finitely many additional generators. That pattern reappears, in modified form, in $W_3$4-based settings.

A recurrent source of confusion is the identification of all $W_3$5-extended theories with the Zamolodchikov $W_3$6 algebra. The triplet-algebra constructions in $W_3$7 develop $W_3$8-extended Kac representations for $W_3$9, not for the Zamolodchikov $W_3$0 algebra, and the $W_3$1 program studies extensions of Virasoro $W_3$2 minimal-model representations to the triplet vertex algebra $W_3$3, again not to $W_3$4. Those papers are nevertheless relevant as methodological analogues because they show that extension to a larger $W_3$5-algebra can reorganize infinitely many Virasoro modules into a single irreducible module and can naturally produce reducible yet indecomposable logarithmic modules with nontrivial $W_3$6-Jordan structure (Rasmussen, 2011, Adamovic et al., 2011).

2. Coxeter extensibility for $W_3$7-representations

In geometric group theory, $W_3$8-extensibility is defined exactly. The ambient group is the universal Coxeter group of rank $W_3$9,

$W_3$0

and Mühlherr’s embedding

$W_3$1

identifies the free group $W_3$2 with a subgroup of $W_3$3. A representation

$W_3$4

is called Coxeter extensible if there exists

$W_3$5

such that

$W_3$6

Equivalently, one can write

$W_3$7

where $W_3$8, $W_3$9, and $\operatorname{Ext}^1$0 are involutions. The associated fixed-point sets $\operatorname{Ext}^1$1 produce the right-angled-hexagon geometry used throughout the paper (Fléchelles, 13 Jul 2025).

This notion is basis-independent: the paper states that an automorphism of $\operatorname{Ext}^1$2 comes from one of $\operatorname{Ext}^1$3, so Coxeter extensibility does not depend on the chosen free basis. The geometric content is substantial. If primitive elements have loxodromic images, Coxeter extensibility implies the half-length property. Under that hypothesis, the paper proves an equivalence between primitive stability, primitive displacement, strong $\operatorname{Ext}^1$4-conditions, and $\operatorname{Ext}^1$5-conditions. In the Coxeter-extensible specialization, it extracts the theorem that for a Coxeter extensible representation there exists $\operatorname{Ext}^1$6 such that

$\operatorname{Ext}^1$7

The same work shows that generalized $\operatorname{Ext}^1$8-conditions force irreducibility and extends the bounded intersection property to higher dimensions (Fléchelles, 13 Jul 2025).

In this setting, $\operatorname{Ext}^1$9-extensible representation means literal factorization through $\mathfrak{sl}(2)$0. The representation-theoretic extension problem is therefore group-theoretic, not chiral-algebraic.

3. $\mathfrak{sl}(2)$1 symmetry in two-dimensional conformal field theory

For two-dimensional CFT, the relevant algebra is the Zamolodchikov $\mathfrak{sl}(2)$2 algebra, generated by Virasoro modes and a holomorphic spin-$\mathfrak{sl}(2)$3 current $\mathfrak{sl}(2)$4. The left-moving algebra contains

$\mathfrak{sl}(2)$5

$\mathfrak{sl}(2)$6

and the nonlinear $\mathfrak{sl}(2)$7-relation involving $\mathfrak{sl}(2)$8 and

$\mathfrak{sl}(2)$9

States are labeled by

$\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$0

so the $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$1 charge is the eigenvalue $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$2 of the left-moving zero mode $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$3. The generalized partition function is

$\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$4

with $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$5, $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$6 (Apolo, 2017).

The modular-bootstrap analysis of unitary, discrete-spectrum, modular-invariant CFTs with $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$7 symmetry does not classify irreducible $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$8-modules. Instead, it gives universal spectral constraints on any consistent theory once such a $\sigma:\mathfrak{sl}(2)\to \operatorname{End}(V)$9 extension is present. Assuming unitarity and modular invariance, the paper proves that the conformal weights of the lightest charged state satisfy

$$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$0

at large $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$1, and that in this limit any consistent CFT with $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$2 currents must contain at least one state whose $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$3 charge obeys

$$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$4

The same work emphasizes that the $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$5-charged partition function is not modular covariant in the simple exponential manner familiar from $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$6 current algebra; the obstruction is traced to the non-abelian and nonlinear structure of the $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$7 algebra (Apolo, 2017).

For $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$8-extensible representations in the CFT sense, these results supply necessary ambient conditions: if a modular-invariant unitary theory possesses a $$\mathfrak{sl}(2)\hookrightarrow \mathrm{Witt}\hookrightarrow \mathrm{Vir}.$$9 extension, then its spectrum of $\sigma$0-modules must include sectors meeting those universal bounds.

4. Fusion-generated sectors and logarithmic enlargement beyond $\sigma$1

A fusion-theoretic realization of $\sigma$2-extensibility appears in the identification of a primary spin field

$\sigma$3

with

$\sigma$4

and generalized $\sigma$5 charge $\sigma$6. Its defining property is that $\sigma$7 and $\sigma$8 generate the maximal degenerate content compatible with the $\sigma$9 selection rules. Concretely,

$\mathrm{Witt}_{>}$0

with distinguished degenerate fields

$\mathrm{Witt}_{>}$1

appearing through

$\mathrm{Witt}_{>}$2

This gives a concrete sense in which large families of $\mathrm{Witt}_{>}$3 highest-weight sectors are generated from a fundamental charged object (Ikhlef et al., 2019).

A more literal extension of $\mathrm{Witt}_{>}$4-representations to a larger chiral algebra is provided by the octuplet algebra

$\mathrm{Witt}_{>}$5

constructed as a logarithmic extension of the $\mathrm{Witt}_{>}$6 algebra. In the kernel of the short screenings $\mathrm{Witt}_{>}$7, one finds a Virasoro field $\mathrm{Witt}_{>}$8 and a dimension-$\mathrm{Witt}_{>}$9 primary $W_3$00 whose OPE closes into the standard $W_3$01 algebra. The octuplet algebra is generated by this $W_3$02 algebra together with eight additional $W_3$03-primary fields of dimension $W_3$04, obtained from the top field

$W_3$05

by the commuting long screenings

$W_3$06

The paper proposes irreducible $W_3$07-modules generated from fields $W_3$08 as counterparts of simple Yetter–Drinfeld modules, while explicitly situating the construction in a logarithmic, nonsemisimple setting (Semikhatov, 2013).

These two directions illustrate distinct meanings of extension: one via fusion closure inside $W_3$09 itself, the other via passage from $W_3$10 to a larger logarithmic chiral algebra.

5. Non-rational realizations and concrete representation spaces

The continuum limit of the fully packed loop model provides a non-rational $W_3$11 CFT in which the spectrum is organized by $W_3$12 highest weights $W_3$13, but not in the rational minimal-model manner. For the special choice

$W_3$14

the continuum theory exhibits extended $W_3$15 symmetry. The torus partition function can be written in terms of generic $W_3$16 characters

$W_3$17

and the spectrum contains infinitely many sectors, fractional Kac labels in generic magnetic sectors, and numerical signs of logarithmic behavior, including states corresponding to $W_3$18 and $W_3$19 despite zero norm. The theory is therefore a non-rational, compact, extended $W_3$20 realization rather than a finite semisimple $W_3$21 category (Dupic et al., 2016).

A different explicit realization is provided by degenerate $W_3$22 conformal blocks at $W_3$23. The ambient space

$W_3$24

consists of functions on

$W_3$25

satisfying $W_3$26 third-order null-state equations, five second-order global $W_3$27-Ward identities, three first-order Möbius Ward identities, and a power-law bound. At $W_3$28, the paper constructs an explicit subspace

$W_3$29

spanned by Specht-polynomial functions $W_3$30, proves

$W_3$31

and shows that a basis is indexed by row-strict rectangular tableaux. Its dimension is the corresponding Kostka number, and $W_3$32 is an irreducible representation of the diagram algebra $W_3$33, the Kuperberg algebra built from $W_3$34 webs (Lafay et al., 2024).

The entanglement setting supplies yet another representation space. For a single interval in the vacuum of a $W_3$35 CFT, the original two chiral copies reduce to a single copy of $W_3$36 acting on the interval Hilbert space $W_3$37. The induced modes

$W_3$38

form an entanglement $W_3$39 algebra, with

$W_3$40

proportional to the modular Hamiltonian and

$W_3$41

a spin-$W_3$42 modular charge commuting with it. The charged moments are then

$W_3$43

and the paper shows that their logarithm is non-Gaussian in the spin-$W_3$44 chemical potential, implying breakdown of equipartition of entanglement at leading order in large $W_3$45 (Zhao et al., 2022).

6. Irregular states and semi-degenerate classical blocks

Irregular $W_3$46 states arise by colliding one full $W_3$47 puncture with $W_3$48 simple punctures. The resulting vector is no longer highest-weight; it is a vector in a $W_3$49 Verma module characterized by simultaneous eigenvalue conditions for

$W_3$50

while higher positive modes annihilate it. For the Virasoro sector, the paper states

$W_3$51

and for the spin-$W_3$52 sector it derives that the irregular state is a simultaneous eigenstate of $W_3$53, with $W_3$54 acting by first-order differential operators and $W_3$55 for $W_3$56. In the rank-$W_3$57 case, one obtains the generalized Whittaker-type relations

$W_3$58

together with the non-scalar action

$W_3$59

The paper explicitly notes that lower $W_3$60-modes $W_3$61 are not fully determined by its method (Kanno et al., 2013).

Semi-degenerate modules provide a complementary calculable sector. For four-point classical $W_3$62 blocks with three level-$W_3$63 semi-degenerate operators, or with one level-$W_3$64 and two level-$W_3$65 semi-degenerate operators, the addition of an auxiliary fully degenerate operator produces BPZ-type equations whose monodromy is governed by the accessory parameter $W_3$66. In the level-$W_3$67 case, the auxiliary five-point block obeys

$W_3$68

and heavy-light perturbation theory yields explicit formulas for the accessory parameter and for the classical block $W_3$69. In the mixed level-$W_3$70/level-$W_3$71 case, the scalar equation is of sixth order before reduction, and the paper gives an explicit identity-channel result in the $W_3$72 case (Belavin et al., 29 Dec 2025).

Together, these constructions extend standard highest-weight $W_3$73 representation theory in two different directions: by admitting irregular vectors with controlled positive-mode eigenvalues, and by singling out semi-degenerate modules whose null vectors reduce the block problem to a tractable monodromy problem.

7. $W_3$74 as a topological obstruction

In a distinct usage, $W_3$75 denotes the integer-valued homotopy invariant of smooth maps

$W_3$76

defined by

$W_3$77

The paper rewrites this in a gauge-invariant form coupling eigenvalue angular velocities and eigenvector Berry curvatures,

$W_3$78

and develops a discrete algorithm in which the final invariant is

$W_3$79

The method is gauge-invariant, detects degeneracy points implicitly through integer cube charges $W_3$80, and converges rapidly because $W_3$81 is always an integer for admissible discretizations (Höckendorf et al., 2017).

This is not a paper on representations in the algebraic sense. It nevertheless gives an obstruction-theoretic analogue of extensibility. The same paper emphasizes that if $W_3$82 is constant in one coordinate direction, then

$W_3$83

so nonzero $W_3$84 measures genuinely three-parameter topology. In that sense, $W_3$85 records the obstruction carried by a $W_3$86-parameter family of unitary matrices, and the phrase “$W_3$87-extensible” can plausibly be read, in this topological context, as referring to whether such a family can be extended or trivialized without encountering the corresponding homotopy obstruction (Höckendorf et al., 2017).