The fermionic (hidden Grassmann) basis of the critical XXZ spin-1/2 chain conjecturally reproduces, in the scaling limit, the chiral conformal field theory with central charge c=1−6ν2/(1−ν)c=1-6\nu^2/(1-\nu): the determinant formula for lattice partition functions with fermionic operators inserted is expected to give the three-point functions of Virasoro descendants between arbitrary asymptotic states. Boos, Jimbo, Miwa and Smirnov (Commun. Math. Phys. 299 (2010) 825) verified this only up to descendant level 6 in the diagonal case κ=κ′\kappa=\kappa', blocked by the uncomputed large-parameter asymptotics of the structure function ωsc\omega^{\rm sc} for κ≠κ′\kappa\neq\kappa'. The problem asks for the completion of this program: the κ≠κ′\kappa\neq\kappa' asymptotics, the all-levels proof of the determinant-to-three-point conjecture for generic asymptotic states (including κ≠κ′\kappa\neq\kappa' and descendant asymptotic states), the systematic fermionic-bilinear-to-Virasoro change of basis, the lattice realization of the second Dotsenko-Fateev screening family, and the quasi-classical (finite-gap) interpretation of the kernel ω\omega. Later work within the same program, through January 2026, has settled only low levels and the free-fermion point; the general case remains open.

Background

The XXZ spin-1/21/2 chain is the one-dimensional quantum spin chain with nearest-neighbour exchange anisotropy parametrised by a deformation parameter q=eiπνq=e^{i\pi\nu}, 1/2<ν<11/2<\nu<1 (paper IV, eq. (2.2)). In this critical regime it is equivalent to the six-vertex model (the two-dimensional ice-type lattice model whose row-to-row transfer matrix is the chain's discrete time-evolution operator), and its scaling limit (lattice spacing tending to zero at fixed product nl=2πRnl=2\pi R, with a compactified 'Matsubara' direction of nn sites introduced by a finite transfer matrix) is a chiral conformal field theory (CFT, i.e. a two-dimensional quantum field theory whose local symmetry algebra is the Virasoro algebra of conformal transformations) with central charge c=1−6ν2/(1−ν)c=1-6\nu^2/(1-\nu), the minimal-model family. On the CFT side the primary fields ϕα\phi_\alpha carry conformal dimensions Δα=ν2α(α−2)/(4(1−ν))\Delta_\alpha=\nu^2\alpha(\alpha-2)/(4(1-\nu)), and their spaces of descendants (Virasoro Verma modules, generated by the lowering generators L−kL_{-k}) admit a second description through the commuting local integrals of motion I2n−1I_{2n-1} introduced by Zamolodchikov and studied systematically in CFT by Bazhanov, Lukyanov and Zamolodchikov.

The hidden Grassmann structure program (papers I-III of the series by Boos, Jimbo, Miwa, Smirnov and Takeyama) discovered that the space of quasi-local lattice operators carries fermionic creation operators t∗(λ)t^*(\lambda), b∗(λ)b^*(\lambda), c∗(λ)c^*(\lambda) — anticommuting operators analogous to free-fermion creation operators, built from the quantum-group Uq(sl2)U_q(sl_2) structure of the chain (Uq(sl2)U_q(sl_2) being the q-deformation of the sl2sl_2 Lie algebra) — such that expectation values between eigenstates of the Matsubara transfer matrix reduce to an explicit determinant formula involving two transcendental functions ρ\rho and ω\omega; all dependence on boundary conditions and on the chosen state is concentrated in these two functions. In the scaling limit the inserted lattice operator becomes the chiral primary ϕα(0)\phi_\alpha(0), and the states at the two ends of the cylinder become primaries ϕ1−κ′(−∞)\phi_{1-\kappa'}(-\infty) and ϕ1+κ(∞)\phi_{1+\kappa}(\infty) labelled by flux parameters κ,κ′\kappa,\kappa', or more generally eigenvectors of the integrals of motion. The minimal models themselves are built by the Dotsenko-Fateev (Coulomb-gas, or free-field) construction, in which two complementary families of screening operators — contour integrals of the free boson — generate the required null structure; the lattice construction realizes one such family, arising from the singular coefficients b∞,j∗\mathbf{b}^*_{\infty,j}, c∞,j∗\mathbf{c}^*_{\infty,j} of the creation operators, whose condition on (α,κ,κ′)(\alpha,\kappa,\kappa') coincides with the Dotsenko-Fateev condition for one type of screening.

Paper IV states the central conjecture: the asymptotics, at large spectral parameters, of the scaled lattice determinant (the partition function ZRκ,κ′Z^{\kappa,\kappa'}_R with fermionic operators inserted) describes the three-point functions of descendants of ϕα(0)\phi_\alpha(0) between ϕ1−κ′(−∞)\phi_{1-\kappa'}(-\infty) and ϕ1+κ(∞)\phi_{1+\kappa}(\infty). Verification proceeds level by level, by computing the large-parameter asymptotics of ρsc\rho^{\rm sc} and ωsc\omega^{\rm sc} (the scaling limits of ρ\rho and ω\omega) and matching them against the CFT predictions following from the conformal Ward identities. These asymptotics were obtained by Wiener-Hopf factorization (a standard technique for solving the intervening singular integral equations), which however could be carried through only in the diagonal case κ=κ′\kappa=\kappa', where ρsc=1\rho^{\rm sc}=1, and only modulo the integrals of motion. In that diagonal case the fermionic-bilinear-to-Virasoro matching was confirmed up to descendant level 6 with overdetermined consistency checks; at level 8 one change-of-basis coefficient remained undetermined until data from excited (particle-hole) states of the Matsubara transfer matrix were included. The construction of generic asymptotic states (eigenvectors of I2n−1I_{2n-1}, including κ≠κ′\kappa\neq\kappa'), the all-levels proof, the lattice realization of the second screening family, and the quasi-classical interpretation of ω\omega remain open. In the classical limit ν→1\nu\to1 the integrals of motion degenerate to the classical KdV (Korteweg-de Vries) hierarchy of soliton equations, whose periodic finite-gap solutions correspond to hyperelliptic Riemann surfaces; only the genus-zero (constant) solutions are quantized by the present construction, and the authors expect the kernel ω\omega to acquire a definite algebraic-geometric meaning there.

Problem Statement

Complete the lattice-to-CFT correspondence conjectured in Hidden Grassmann Structure in the XXZ Model IV. The common objective is to establish, rigorously and at every descendant level, that the scaling limit of the lattice determinant formula reproduces the chiral CFT three-point functions of descendants for generic asymptotic states, together with the structures this correspondence requires. Concretely:

(1) Compute the large-λ\lambda and large-μ\mu asymptotic expansion of the scaled structure function ωsc(λ,μ∣κ,κ′,α)\omega^{\rm sc}(\lambda,\mu|\kappa,\kappa',\alpha) in the generic non-diagonal case κ≠κ′\kappa\neq\kappa', where ρsc≠1\rho^{\rm sc}\neq1 and the Wiener-Hopf factorization technique used for κ=κ′\kappa=\kappa' fails.

(2) Prove the paper-IV conjecture in full generality: for every descendant level, for all admissible α,κ,κ′\alpha,\kappa,\kappa' — that is, parameters satisfying the Dotsenko-Fateev screening condition (−κ′+1)+α+(κ+1)=2−21−ννs(-\kappa'+1)+\alpha+(\kappa+1)=2-2\frac{1-\nu}{\nu}s for an integer ss (paper IV, eq. (4.6)), from which one then continues analytically; this includes κ≠κ′\kappa\neq\kappa' — and for asymptotic states that are themselves descendants (eigenvectors of the integrals of motion I2n−1I_{2n-1} rather than only primary fields), the asymptotics of the scaled lattice determinant equals the CFT three-point function. As part of this, determine the complete change of basis between the fermionic bilinears and the Virasoro descendants at arbitrary level; it is currently fixed only up to level 8 modulo the integrals of motion (with particle-hole excitations) and up to level 4 with the integrals of motion acting non-trivially.

(3) Construct the second (complementary) Dotsenko-Fateev family of screening operators starting from the lattice model — the first family arises from the singular coefficients b∞,j∗\mathbf{b}^*_{\infty,j}, c∞,j∗\mathbf{c}^*_{\infty,j} of the fermionic creation operators — so that the full Coulomb-gas screening structure of the c<1c<1 theory is realized on the lattice; only a continuum analog is known, itself conjectural and restricted to κ=κ′\kappa=\kappa'.

(4) In the quasi-classical limit ν→1\nu\to1, give the algebraic-geometric meaning of the kernel ω\omega and extend the fermionic construction to asymptotic states corresponding to higher-genus (finite-gap) classical solutions of the KdV hierarchy, the periodic analogues of solitons, thereby quantizing these solutions within the fermionic formalism.

Historically, items (1) and (2) are linked: the asymptotics of item (1) was the obstruction that limited the original verification to the diagonal case; item (3) supplies the screening operators required for the correspondence to be compatible with the complete Dotsenko-Fateev free-field structure; item (4) is the classical-limit counterpart of the same construction. Item (1) is a required sub-result of item (2) rather than an independent deliverable: an all-levels proof of item (2) that explicitly produces the κ≠κ′\kappa\neq\kappa' asymptotics of ωsc\omega^{\rm sc} satisfies item (1) as well. Paper IV itself frames item (3) as the open question whether the second set of screening operators can be defined starting from the lattice model, and item (4) as an expectation left to future work. An answer is a proof of the conjecture in the stated generality together with the required constructions, where for item (3) or item (4) a rigorous proof that the second screening family cannot be defined from the lattice model, or that finite-gap quantization does not exist within the fermionic formalism, resolves that item in place of a construction; alternatively, a refutation exhibiting a specific descendant level and parameter set at which the scaling limit of the lattice determinant disagrees with the CFT three-point function resolves the conjecture of item (2) and thereby resolves the task as a negative answer, so that items (1), (3) and (4) and the change-of-basis determination within item (2) become moot and are not required.

References

  1. H. Boos, M. Jimbo, T. Miwa, F. Smirnov, 'Hidden Grassmann Structure in the XXZ Model IV: CFT limit', Commun. Math. Phys. 299 (2010) 825-866, doi:10.1007/s00220-010-1051-6, arXiv:0911.3731, https://arxiv.org/abs/0911.3731
  2. H. Boos, 'Fermionic Basis in Conformal Field Theory and Thermodynamic Bethe Ansatz for Excited States', SIGMA 7 (2011) 007, doi:10.3842/SIGMA.2011.007, arXiv:1010.0858, https://arxiv.org/abs/1010.0858
  3. M. Jimbo, T. Miwa, F. Smirnov, 'Fermionic screening operators in the sine-Gordon model', Physica D 241 (2012) 2122-2130, doi:10.1016/j.physd.2012.05.012, arXiv:1103.1534, https://arxiv.org/abs/1103.1534
  4. M. Jimbo, T. Miwa, F. Smirnov, 'Hidden Grassmann structure in the XXZ model V: sine-Gordon model', Lett. Math. Phys. 96 (2011) 325-365, doi:10.1007/s11005-010-0438-9, arXiv:1007.0556, https://arxiv.org/abs/1007.0556
  5. H. Boos, F. Smirnov, 'New results on integrable structure of conformal field theory', J. Phys. A 51 (2018) 374003, doi:10.1088/1751-8121/aad4bb, arXiv:1610.09537, https://arxiv.org/abs/1610.09537
  6. H. Boos, F. Smirnov, 'On consistency of perturbed generalised minimal models', arXiv:2302.10627, https://arxiv.org/abs/2302.10627
  7. S. Adler, H. Boos, 'Fermionic Basis in Conformal Field Theory and Thermodynamic Bethe Ansatz for Excited States II', SIGMA 21 (2025) 010, doi:10.3842/SIGMA.2025.010, arXiv:2312.15522, https://arxiv.org/abs/2312.15522
  8. S. Adler, H. Boos, 'Fermionic Basis in Conformal Field Theory: The Free Fermion Point', arXiv:2601.12843, https://arxiv.org/abs/2601.12843
  9. H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama, 'Hidden Grassmann structure in the XXZ model', Commun. Math. Phys. 272 (2007) 263-281, doi:10.1007/s00220-007-0202-x, arXiv:hep-th/0606280, https://arxiv.org/abs/hep-th/0606280
  10. H. Boos, M. Jimbo, T. Miwa, F. Smirnov, Y. Takeyama, 'Hidden Grassmann Structure in the XXZ Model II: Creation Operators', Commun. Math. Phys. 286 (2009) 875-932, doi:10.1007/s00220-008-0617-z, arXiv:0801.1176, https://arxiv.org/abs/0801.1176
  11. M. Jimbo, T. Miwa, F. Smirnov, 'Hidden Grassmann Structure in the XXZ Model III: Introducing Matsubara direction', J. Phys. A 42 (2009) 304018, doi:10.1088/1751-8113-42-30-304018, arXiv:0811.0439, https://arxiv.org/abs/0811.0439
  12. V. S. Dotsenko, V. A. Fateev, 'Conformal Algebra and Multipoint Correlation Functions in Two-Dimensional Statistical Models', Nucl. Phys. B 240 (1984) 312-348, doi:10.1016/0550-3213(84)90269-4, https://inspirehep.net/literature/200876
  13. A. B. Zamolodchikov, 'Higher Order Integrals of Motion in Two-Dimensional Models of the Field Theory with a Broken Conformal Symmetry', JETP Lett. 46 (1987) 160-164, https://inspirehep.net/literature/255978
  14. V. V. Bazhanov, S. L. Lukyanov, A. B. Zamolodchikov, 'Integrable structure of conformal field theory, quantum KdV theory and thermodynamic Bethe ansatz', Commun. Math. Phys. 177 (1996) 381-398, doi:10.1007/BF02101898, https://inspirehep.net/literature/381809
  15. S. L. Lukyanov, A. B. Zamolodchikov, 'Exact expectation values of local fields in quantum sine-Gordon model', Nucl. Phys. B 493 (1997) 571-587, doi:10.1016/S0550-3213(97)00123-5, https://inspirehep.net/literature/426578
  16. A. B. Zamolodchikov, Al. B. Zamolodchikov, 'Structure constants and conformal bootstrap in Liouville field theory', Nucl. Phys. B 477 (1996) 577-605, doi:10.1016/0550-3213(96)00351-3, https://inspirehep.net/literature/396446