Coset Free-Field Resolution in CFT

• Coset free-field resolution is a method that constructs coset CFT modules via free fields, screening operators, and a BRST procedure.
• It uses an algebraic branching-space approach to decompose affine modules and isolate the physical coset sector.
• Applications in diagonal ADE cosets and QDS models demonstrate its role in designing boundary CFT states and understanding module structure.

Coset free-field resolution denotes a class of constructions in which a coset conformal field theory is realized through free fields, screening operators, and BRST projection. In the most explicit formulation available here, the starting point is a general coset model $\widehat g(k)/\widehat h(jk)$ with stress tensor $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$, where the coset fields are characterized as $\widehat h(jk)$-singular operators; if $L_{\widehat\Lambda}^{\widehat g}$ is a $\widehat g(k)$-module, then it decomposes as

$$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$

and the coset characters are the branching functions $b_{(\widehat\Lambda,\widehat\lambda)}$ (Liu, 2 Sep 2025). In this sense, a free-field resolution isolates the branching space $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$ inside a larger affine free-field complex. Closely related literature also uses boson–parafermion realizations, perturbative free-field expansions, and distinguished free-field-like bases, but these are not always full resolutions in the Felder, Wakimoto, or BRST sense (Alfimov et al., 2014, Georgiou et al., 2020, Belavin et al., 2011).

1. Algebraic definition and branching-space viewpoint

The defining algebraic datum is the decomposition of an affine $\widehat g(k)$-module into denominator and coset sectors. In the formulation used for diagonal ADE cosets, the branching rule identifies the physical coset module with the multiplicity space in the decomposition under the denominator algebra (Liu, 2 Sep 2025). This makes the branching function the natural character of the coset sector and fixes the target of any free-field construction.

In this framework, a free-field resolution is not merely a bosonization of currents. It is a construction of a complex whose zeroth cohomology reproduces the irreducible coset module. The relevant subcomplex is obtained by selecting $\widehat h$-singular vectors of fixed $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$0-weight $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$1 inside a free-field resolution of $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$2; the result is the free-field resolution of $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$3 (Liu, 2 Sep 2025). The paper further states that the universal method for implementing this projection is a BRST procedure using a $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$4-dimensional constraint and $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$5 $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$6-ghost systems (Liu, 2 Sep 2025).

This branching-space viewpoint also clarifies why coset free-field resolution is more rigid than a generic free-field reformulation. The objective is not only to rewrite the theory in simpler variables, but to enforce the denominator-current constraint cohomologically and thereby extract the physical coset state space.

2. Free bosons, screenings, and affine-to-coset complexes

The explicit free-field machinery described for principal QDS $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$7 models uses $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$8 background-charged bosons $T(z)=T^{\widehat g(k)}(z)-T^{\widehat h(jk)}(z)$9 with stress tensor

$\widehat h(jk)$0

and screening operators

$\widehat h(jk)$1

(Liu, 2 Sep 2025). On the affine side, the realization also includes $\widehat h(jk)$2 systems indexed by positive roots, with affine screenings

$\widehat h(jk)$3

where $\widehat h(jk)$4 is a polynomial in $\widehat h(jk)$5 (Liu, 2 Sep 2025).

The associated free-field complexes are organized by affine Weyl-group degree. For dominant affine modules,

$\widehat h(jk)$6

and for admissible modules,

$\widehat h(jk)$7

(Liu, 2 Sep 2025). Under QDS reduction, these descend to a bosonic complex

$\widehat h(jk)$8

whose zeroth cohomology is either $\widehat h(jk)$9 or the irreducible $L_{\widehat\Lambda}^{\widehat g}$0-module $L_{\widehat\Lambda}^{\widehat g}$1 (Liu, 2 Sep 2025).

A central simplifying statement is the lemma

$L_{\widehat\Lambda}^{\widehat g}$2

which explains why only the bosonic $L_{\widehat\Lambda}^{\widehat g}$3 remain nontrivial after QDS reduction (Liu, 2 Sep 2025). In the coset setting, this same mechanism underlies the projection from an affine free-field complex to the physical branching space.

3. Diagonal ADE cosets, principal $L_{\widehat\Lambda}^{\widehat g}$4 models, and parafermionic backgrounds

The most explicit coset application concerns diagonal ADE cosets

$L_{\widehat\Lambda}^{\widehat g}$5

denoted in the source as $L_{\widehat\Lambda}^{\widehat g}$6 (Liu, 2 Sep 2025). Their chiral characters are stated to be identical to those of the principal QDS minimal models $L_{\widehat\Lambda}^{\widehat g}$7 at

$L_{\widehat\Lambda}^{\widehat g}$8

For simply-laced $L_{\widehat\Lambda}^{\widehat g}$9, the paper cites a rigorous proof that the principal QDS $\widehat g(k)$0-algebra is equivalent to the diagonal coset $\widehat g(k)$1-algebra (Liu, 2 Sep 2025). This identification is fundamental: it allows the same irreducible $\widehat g(k)$2-minimal module to be reached either from QDS free bosons or from a coset branching-space resolution.

The branching rule is written as

$\widehat g(k)$3

subject to

$\widehat g(k)$4

(Liu, 2 Sep 2025). The root-lattice condition is then enforced by BRST projection in the free-field realization.

A broader coset background appears in the study of the GKO family

$\widehat g(k)$5

with chiral algebra $\widehat g(k)$6 and central charge

$\widehat g(k)$7

(Alfimov et al., 2014). That paper does not construct a full generic coset free-field resolution, but it does describe $\widehat g(k)$8 through parafermionic Toda theory with Lagrangian

$\widehat g(k)$9

and it characterizes local integrals of motion as commuting with the integrated fields

$$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$0

(Alfimov et al., 2014). This establishes a screening-type, boson-plus-parafermion background for coset algebras, even where a full BRST resolution is absent.

4. Ishibashi states and boundary-sector realization

The most direct application of coset free-field resolution in the present corpus is the construction of diagonal ADE coset $$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$1-minimal Ishibashi states (Liu, 2 Sep 2025). The starting point is the tensor product of two affine dominant-module resolutions,

$$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$2

followed by projection to fixed diagonal $$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$3-weight באמצעות the BRST-invariant operator

$$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$4

(Liu, 2 Sep 2025).

The projected resolution complex is

$$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$5

whose zeroth cohomology is conjectured to be the irreducible $$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$6-module $$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$7 (Liu, 2 Sep 2025).

The corresponding Ishibashi state is expressed as

$$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$8

Each bosonic block is

$$L_{\widehat{\Lambda}}^{\widehat g} = \bigoplus_{\widehat\lambda} \Big( L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h} \otimes L_{\widehat\lambda}^{\widehat h} \Big),$$9

while the $b_{(\widehat\Lambda,\widehat\lambda)}$0 Ishibashi state is

$b_{(\widehat\Lambda,\widehat\lambda)}$1

(Liu, 2 Sep 2025). The gluing data are encoded by

$b_{(\widehat\Lambda,\widehat\lambda)}$2

In this construction, the BRST projector is the mechanism that turns a tensor product of numerator free-field blocks into a physical coset boundary state. The free-field resolution thereby functions not only as a statement about irreducible modules, but also as a practical boundary-CFT tool.

5. Free-field perspectives that stop short of a full resolution

A substantial adjacent literature adopts free-field methods for coset theories without producing an exact Felder or Wakimoto resolution. A notable example is the large-$b_{(\widehat\Lambda,\widehat\lambda)}$3, exact-in-$b_{(\widehat\Lambda,\widehat\lambda)}$4 treatment of the $b_{(\widehat\Lambda,\widehat\lambda)}$5-deformed $b_{(\widehat\Lambda,\widehat\lambda)}$6 coset. There the construction is explicitly described as not being a full exact Coulomb-gas/Wakimoto-style free-field resolution of the undeformed coset CFT Hilbert space; instead it gives a perturbative free-field description around a “free-field point,” with two free bosons, $b_{(\widehat\Lambda,\widehat\lambda)}$7-dependent interaction vertices, and $b_{(\widehat\Lambda,\widehat\lambda)}$8-dressed parafermions carrying an essential Wilson-like phase (Georgiou et al., 2020). The dressed parafermions are written as

$b_{(\widehat\Lambda,\widehat\lambda)}$9

with analogous antiholomorphic expressions, and the framework reproduces the known $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$0-function, anomalous dimensions, and four-point functions at leading order in $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$1 (Georgiou et al., 2020). This is a free-field realization in spirit, but not a cohomological resolution of the coset module category.

Another neighboring development is the study of distinguished bases in coset-related theories associated with instantons on $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$2. For the case $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$3, $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$4, the working algebra is

$$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$5

and the paper exhibits two commuting Virasoro algebras inside $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$6, together with the decomposition

$$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$7

(Belavin et al., 2011). This leads to basis vectors built from two copies of the AFLT construction and to fully factorized matrix elements. The result is highly suggestive for coset free-field resolution, because it resolves a complicated coset-related representation into simpler Virasoro building blocks; however, the paper explicitly does not provide a BRST differential, screening complex, or Felder-type resolution (Belavin et al., 2011).

These examples show that “free-field approach” can mean several distinct things: exact cohomological resolution, perturbative free-boson expansion, or algebraic decomposition into simpler commuting subalgebras.

6. Generalizations, neighboring uses, and recurrent misconceptions

A recurrent misconception is to identify any coset reformulation using simpler variables with a coset free-field resolution. Several recent works make the distinction explicit. The study of integrable auxiliary-field deformations of $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$8-coset models is not a paper on coset free-field resolutions in the usual CFT sense; it studies classical two-dimensional integrable sigma models on coset target spaces and introduces an auxiliary-field enlargement with constrained Lax and Hamiltonian structures, but no Wakimoto representation, Coulomb-gas/Felder complex, BRST resolution, screening operators, or vertex-operator realization of coset primaries (Cesàro et al., 2024). Likewise, the effective field theory for superfluid vortex lattices uses the coset construction method in the EFT sense to isolate invariant low-energy data and the Tkachenko mode; this is a symmetry-based reduction of Goldstone content, not a chiral free-field resolution of a coset CFT (Głódkowski et al., 17 Jul 2025).

A different neighboring usage appears in the path-integral treatment of a driven semiconductor, where quartic fermion interactions are rewritten through anomalous-doubled self-energy matrices, then factorized into a subgroup background and a coset sector, and finally transformed from curved coset coordinates to locally Euclidean variables with flat integration measure (Mieck, 2010). This is a geometric “free-field” flattening of a coset matrix integral, not a BRST or screening resolution of affine-coset modules.

Generalizations of the GKO idea also remain relevant. The abstract of “On a Generalization of GKO Coset Construction of Conformal Field Theories” states that it introduces a generalization of the GKO construction based on a choice of a scaled affine subalgebra $$L_{(\widehat\Lambda,\widehat\lambda)}^{\widehat g/\widehat h}$$9 of a given affine Lie algebra $\widehat g(k)$0 and studies the Ising CFT as a generalized GKO coset of $\widehat g(k)$1 with a scaling factor $\widehat g(k)$2 (Kumar, 2015). This suggests a natural interface with free-field or BRST techniques, because a modified denominator algebra changes the branching-space problem; a precise statement about the corresponding free-field resolution would require the unavailable technical text.

In the strict encyclopedic sense, therefore, coset free-field resolution refers most precisely to the affine/QDS/BRST construction in which numerator free-field complexes, screenings, and ghost systems are combined to produce the physical branching spaces of coset theories, with diagonal ADE $\widehat g(k)$3 minimal models providing the clearest fully articulated example (Liu, 2 Sep 2025). Other uses of “free-field perspective” on cosets are mathematically and physically important, but they occupy adjacent rather than identical positions in the theory.