The free-field (Coulomb-gas/Wakimoto) construction of the minimal-series W-algebras W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p') — the W-algebra generalizations of the Virasoro minimal models attached to a simple Lie algebra gg at admissible levels — and of their boundary Ishibashi states rests on two unproven conjectures. (a) The free-field resolution (BRST-image) conjecture, named after the Becchi–Rouet–Stora–Tyutin cohomological formalism: the zeroth cohomology of a Weyl-graded Fock-space screening complex realizes the irreducible admissible module of W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p'), with vanishing higher cohomology; this is proven only in the A1A_1/Virasoro case, and even the W3W_3 case has remained conjectural since 1990. (b) The zero-mode eigenvalue conjecture: the eigenvalues of the W zero modes on a highest-weight module are the elementary symmetric polynomials in the shifted free-field momenta θj=(Λ+α+ρ+α−ρ∨,ϵj)\theta_j=(\Lambda+\alpha_+\rho+\alpha_-\rho^\vee,\epsilon_j); this is known only for A1A_1 and W3W_3. Both conjectures are open.

Background

Two-dimensional conformal field theory (CFT) is largely organized by its chiral symmetry algebra, the algebra of holomorphic fields. The Virasoro minimal models, built from the stress-energy tensor alone, are the classic exactly solved family; their higher-symmetry generalizations are the W-algebras, chiral algebras extending the Virasoro algebra by finitely many additional holomorphic currents of spin 3 and higher. For a simple Lie algebra gg with affine Kac–Moody algebra g^\widehat{g}, the minimal-series W-algebras W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p') arise from the coset construction of g^\widehat{g} at admissible levels — encoded by a pair of coprime integers (p,p′)(p,p') with p≥h∨p\ge h^\vee and p′≥hp'\ge h, where hh and h∨h^\vee are the Coxeter and dual Coxeter numbers of gg — or equivalently from the Drinfeld–Sokolov reduction, a BRST (Becchi–Rouet–Stora–Tyutin) constraint procedure imposing gauge fixing on an affine current algebra; for g=A1g=A_1 one recovers the ordinary Virasoro minimal models. Here ρ\rho and ρ∨\rho^\vee denote the Weyl vector and dual Weyl vector of gg — the half-sums of the positive roots and of the positive coroots, respectively — and the two screening charges of the model carry parameters α+\alpha_+ and α−\alpha_- fixed by (p,p′)(p,p').

The workhorse technique for computing in these models is the free-field (Coulomb-gas or Wakimoto) realization: currents are represented in terms of free bosons, representation modules become Fock spaces FΛF_\Lambda labeled by a momentum vector Λ\Lambda, and the chiral algebra is characterized by its screening operators — special vertex operators that commute with it. In this language the irreducible modules of a Virasoro minimal model are obtained by Felder's theorem: each irreducible module is realized as the zeroth cohomology of a finite complex of Fock spaces connected by screenings and graded by the Weyl group of A1A_1, with higher cohomology vanishing. This free-field resolution is what makes Coulomb-gas integrals a rigorous tool at A1A_1.

For general gg the analogous statement is only conjectural. Bouwknegt, McCarthy and Pilch constructed the sl^(n)\widehat{sl}(n) screening complex and explicitly stated as a conjecture that it resolves the irreducible modules, extending the construction to W-algebra modules through the quantum Drinfeld–Sokolov reduction. The resulting BRST-image (free-field resolution) conjecture asserts that, for an admissible weight Λ=α+Λ(+)+α−Λ(−)\Lambda=\alpha_+\Lambda^{(+)}+\alpha_-\Lambda^{(-)}, the zeroth cohomology of the Weyl-graded Fock complex C~Λ\tilde{C}_\Lambda is the irreducible module L~Λ\tilde{L}_\Lambda of W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p') and the higher cohomology vanishes. Only the A1A_1 case is proven (Felder for the Virasoro minimal models, Bernard–Felder for the affine SL(2)SL(2) algebra, and Bouwknegt–McCarthy–Pilch for all Virasoro highest-weight modules with c≤1c\le 1). Even for W3W_3 — the g=A2g=A_2 case with a single extra spin-3 current — the cohomology statement was still described only as expected, with character agreement as evidence, in the 2003 free-boson boundary-state treatment of Caldeira, Kawai and Wheater; and the only available Fock resolutions at higher rank, due to Niedermaier, hold at irrational (generic) screening parameter, which excludes the rational minimal-model points.

A second, complementary conjecture concerns the zero modes. The zero modes of the W currents (their constant terms) act diagonalizably on highest-weight modules, and their eigenvalues wiw^i label the W primaries. In the free-field picture the conjecture is that wiw^i equals the elementary symmetric polynomial of order ii — the sum over all ii-element subsets of the product of the selected variables — in the shifted momenta θj=(Λ+α+ρ+α−ρ∨,ϵj)\theta_j=(\Lambda+\alpha_+\rho+\alpha_-\rho^\vee,\epsilon_j), where the ϵj\epsilon_j are the weights of the defining representation used in the Wakimoto realization. This is known for A1A_1 and for W3W_3 (Bouwknegt–Schoutens) and is conjectured for all simple gg, with a covariance wi→(−1)hiwiw^i\to(-1)^{h^i}w^i under the reflection Λ→−Λ−2α+ρ−2α−ρ∨\Lambda\to-\Lambda-2\alpha_+\rho-2\alpha_-\rho^\vee, hih^i being the spin of the ii-th W generator.

Both conjectures are load-bearing for boundary CFT. Boundary states of a CFT defined on surfaces with boundary are built from Ishibashi states — solutions of the gluing conditions of the full chiral algebra that pair left and right movers. For W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p') models, the source paper expands the W-Ishibashi states as Weyl sums over the free-field screening lattice and uses them to compute disk correlation functions as screening integrals, evaluated through Lauricella-type series (a family of generalized hypergeometric series) with Pochhammer-contour regularization, i.e. contours encircling the integrands' branch points, which keep the screening integrals finite. The correctness of that expansion, and of the momentum-to-W-primary dictionary it needs, is exactly what the resolution conjecture and the zero-mode eigenvalue conjecture would certify.

Modern rigorous theory supplies adjacent but non-equivalent results. Arakawa's proof of the Frenkel–Kac–Wakimoto conjecture gives two-sided BGG (Bernstein–Gelfand–Gelfand) resolutions of admissible representations by Verma-type modules — modules induced from a Borel subalgebra — not by free-field Fock spaces. Arakawa and van Ekeren established modularity, rationality and fusion rules of principal affine W-algebras at admissible levels by non-free-field means. Dhillon proved that Drinfeld–Sokolov reduction sends admissible affine modules to the expected minimal-series W-modules, identifying which modules arise without resolving them by Fock complexes. Genra characterized affine W-algebras as intersections of screening kernels — a realization theorem, not a module resolution. None of these settles the two conjectures above.

Problem Statement

Settle, for every simple Lie algebra gg (including the non-simply-laced types BB, CC, F4F_4, G2G_2) and every admissible level of g^\widehat{g} — in the source paper's conventions, the levels parametrized by the coprime pairs (p,p′)(p,p') satisfying p≥h∨p\ge h^\vee, p′≥hp'\ge h and gcd⁡(p′,r∨)=1\gcd(p',r^\vee)=1, where hh and h∨h^\vee are the Coxeter and dual Coxeter numbers of gg and r∨r^\vee is the ratio of squared long- to short-root lengths of gg (equal to 1 in the simply-laced case) — the following two conjectures, each of which may be settled by a proof in the stated generality or by an explicit counterexample. Throughout, ρ\rho and ρ∨\rho^\vee denote the Weyl and dual Weyl vectors of gg, α+\alpha_+ and α−\alpha_- are the two screening parameters fixed by (p,p′)(p,p'), and ϵj\epsilon_j are the weights of the defining (vector) representation of gg.

(a) Free-field resolution (BRST-image) conjecture. For every admissible highest weight Λ=α+Λ(+)+α−Λ(−)\Lambda=\alpha_+\Lambda^{(+)}+\alpha_-\Lambda^{(-)}, the zeroth cohomology of the Weyl-graded Fock screening complex C~Λ\tilde{C}_\Lambda is isomorphic to the irreducible module L~Λ\tilde{L}_\Lambda of the minimal-series W-algebra W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p'), and the higher cohomology of the complex vanishes; together with its coset (semi-simple) variant, in which the corresponding statement for the BRST-image complex of a direct sum of affine algebras is reduced to the simple case.

(b) W zero-mode eigenvalue conjecture. The eigenvalues wiw^i of the zero modes of the W currents on a highest-weight module of highest weight Λ\Lambda are the elementary symmetric polynomials of order ii in the variables θj=(Λ+α+ρ+α−ρ∨,ϵj)\theta_j=(\Lambda+\alpha_+\rho+\alpha_-\rho^\vee,\epsilon_j), generalizing the proven A1A_1 and W3W_3 cases.

These two statements jointly certify the Weyl-sum free-field expansion of the W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p') Ishibashi states and the momentum-to-W-primary dictionary of the boundary free-field program; a complete answer must resolve both (a) and (b), proving or refuting each in the stated generality, and, where a refutation is given, identify explicitly the algebra, level and highest weight at which the conjecture fails.

References

  1. Xun Liu, "Free-field approaches to boundary W[g^](p,p′)\mathcal{W}[\widehat{g}](p,p') minimal models", arXiv:2509.01949 (2025; v5 May 2026), DOI 10.48550/arXiv.2509.01949, https://arxiv.org/abs/2509.01949
  2. Giovanni Felder, "BRST approach to minimal models", Nuclear Physics B 317 (1989) 215-236, DOI 10.1016/0550-3213(89)90568-3, https://doi.org/10.1016/0550-3213(89)90568-3
  3. D. Bernard and G. Felder, "Fock representations and BRST cohomology in SL(2) current algebra", Communications in Mathematical Physics 127 (1990) 145-168, DOI 10.1007/bf02096498, https://doi.org/10.1007/bf02096498
  4. Peter Bouwknegt, Jim McCarthy, Krzysztof Pilch, "Quantum group structure in the Fock space resolutions of sl^(n)\widehat{sl}(n) representations", Communications in Mathematical Physics 131 (1990) 125-155, DOI 10.1007/bf02097682, https://doi.org/10.1007/bf02097682
  5. Peter Bouwknegt, Jim McCarthy, Krzysztof Pilch, "Some aspects of free field resolutions in 2D CFT with application to the quantum Drinfeld-Sokolov reduction", in Proceedings of Strings and Symmetries 1991 (1992) 407-422, arXiv:hep-th/9110007, https://arxiv.org/abs/hep-th/9110007
  6. Peter Bouwknegt, Jim McCarthy, Krzysztof Pilch, "Fock space resolutions of the Virasoro highest weight modules with c≤1c\le 1", Letters in Mathematical Physics 23 (1991) 193-204, DOI 10.1007/BF01885497, arXiv:hep-th/9108023, https://arxiv.org/abs/hep-th/9108023
  7. Peter Bouwknegt, Kareljan Schoutens, "W symmetry in conformal field theory", Physics Reports 223 (1993) 183-276, DOI 10.1016/0370-1573(93)90111-P, https://doi.org/10.1016/0370-1573(93)90111-P
  8. Shin'ya Mizoguchi and Toshio Nakatsu, "BRST Structure of the W3W_3 Minimal Model", Progress of Theoretical Physics 87 (1992) 727-741, DOI 10.1143/ptp.87.727, https://doi.org/10.1143/ptp.87.727
  9. M. Niedermaier, "Irrational free field resolutions for W(sl(n))\mathcal{W}(sl(n)) and extended Sugawara construction", Communications in Mathematical Physics 148 (1992) 249-281, DOI 10.1007/bf02100861, https://doi.org/10.1007/bf02100861
  10. Alexandre F. Caldeira, Shinsuke Kawai, John F. Wheater, "Free boson formulation of boundary states in W3W_3 minimal models and the critical Potts model", Journal of High Energy Physics 08 (2003) 041, DOI 10.1088/1126-6708/2003/08/041, arXiv:hep-th/0306082, https://arxiv.org/abs/hep-th/0306082
  11. B. L. Feigin and A. M. Semikhatov, "Free-Field Resolutions of the Unitary N=2 Super-Virasoro Representations", arXiv:hep-th/9810059 (1998), https://arxiv.org/abs/hep-th/9810059
  12. Tomoyuki Arakawa, "Two-sided BGG resolutions of admissible representations", arXiv:1207.4276 (2012), https://arxiv.org/abs/1207.4276
  13. Tomoyuki Arakawa and Jethro van Ekeren, "Modularity of Relatively Rational Vertex Algebras and Fusion Rules of Principal Affine W-Algebras", Communications in Mathematical Physics 370 (2019) 205-247, DOI 10.1007/s00220-019-03504-6, https://doi.org/10.1007/s00220-019-03504-6
  14. Gurbir Dhillon, "The Drinfeld–Sokolov reduction of admissible representations of affine Lie algebras", arXiv:2109.12698 (2021), https://arxiv.org/abs/2109.12698
  15. Naoki Genra, "Screening operators and Parabolic inductions for Affine W-algebras (with an appendix by Shigenori Nakatsuka)", arXiv:1806.04417 (2018), https://arxiv.org/abs/1806.04417
  16. Xun Liu, "A free field approach to boundary g^k\widehat{g}_k WZW models", arXiv:2408.12887 (2024), https://arxiv.org/abs/2408.12887
  17. Shun Xu, "Exactness and Drinfeld-Sokolov Realization of the McRae-Yang Tensor Functors", arXiv:2608.13869 (2026), https://arxiv.org/abs/2608.13869