The 2003 paper of Friedrich and Werner established a bridge between chordal conformal restriction measures, the Schramm–Loewner evolutions (SLE) that realize them, and highest-weight representations of the Witt and Virasoro algebras: the boundary correlation functions of a restriction measure generate a highest-weight representation whose level-two degeneracy encodes the Markov property of SLE and whose central charge is minus the intensity of the added cloud of Brownian loops. The paper left open issues in its introduction and Remarks, which form one compound problem with three source-posed components: (1) an intrinsic bulk (interior-point) theory of restriction correlation functions and Ward identities; (2) conformal invariance of further discrete critical models, needed to connect lattice systems to the constructed representations, to be worked out on each specific model separately; and (3) a rigorous identification of the boundary observables with the stress-energy tensor correlators of conformal field theory. The paper's Witt-algebra representation 'without central extension', its described relation to level-two-degenerate Virasoro representations with central charge c=−λc=-\lambda, and the analytic-continuation regime where positivity fails are achieved results and descriptive background rather than open problems. Partial progress is substantial — Ising conformal invariance proved, rigorous Virasoro representations built from SLE loop measures, a rich conformal loop ensemble theory — while the intrinsic bulk correlation-function theory, conformal invariance for the self-avoiding walk and the full double-dimer loop ensemble, and the rigorous stress-tensor identification remain open.

Background

From conformal field theory to random curves. Near their critical points, many two-dimensional lattice models of statistical mechanics — site percolation on the triangular lattice, the Ising model and its random-cluster variant (the Fortuin–Kasteleyn or FK representation), the self-avoiding walk (SAW, the random walk conditioned never to revisit a site), loop-erased random walk (LERW) and uniform spanning tree (UST) interfaces, and double-dimer loop configurations (obtained by superimposing two independent uniformly random dimer coverings, i.e. perfect matchings, of the same graph, so that the overlap boundaries form disjoint loops) — are predicted to have scaling limits with universal, conformally invariant statistics. The prediction comes from conformal field theory (CFT), as formulated by Belavin, Polyakov and Zamolodchikov in 1984: the local scale- and rotation-invariance of a two-dimensional critical system is organized by the Virasoro algebra, the unique one-dimensional central extension of the Witt algebra (the Lie algebra of polynomial vector fields on the circle, spanned by generators LnL_n with [Lm,Ln]=(m−n)Lm+n[L_m,L_n]=(m-n)L_{m+n}). A CFT is built from highest-weight representations of the Virasoro algebra: modules generated from a vector annihilated by all LnL_n with n>0n>0 and eigenvector for L0L_0 with eigenvalue hh, the conformal weight; the central extension contributes a scalar, the central charge cc, labeling the universality class. Representations that are degenerate at level two (possessing a null vector at the second grading level) force their correlation functions to satisfy a second-order differential equation, which is the algebraic origin of exact critical exponents and of the conformal Ward identities — the differential constraints obeyed by correlation functions of the stress-energy tensor TT, the conserved current generating conformal symmetry. Before the late 1990s, none of this had a precise probabilistic meaning for lattice models.

SLE and conformal restriction. Schramm–Loewner evolution (SLEκ_\kappa) is the one-parameter family of random fractal curves in a planar domain obtained by solving Loewner's chordal equation with a standard Brownian driving term; it is characterized by conformal invariance plus a domain-Markov property and describes (conjecturally, in some cases provably) the scaling limits of critical interfaces. Smirnov proved conformal invariance for critical percolation on the triangular lattice, and Lawler, Schramm and Werner for LERW and UST interfaces. Lawler, Schramm and Werner also classified the chordal conformal restriction measures: random hulls KK connecting two boundary points of the upper half-plane H\mathbb{H} such that the law of KK conditioned to stay in any simply connected subdomain DD equals the conformal image of the law of KK in H\mathbb{H}. These form a one-parameter family indexed by a positive exponent hh: for h≥5/8h\ge 5/8 the two-sided restriction measure is SLEκ_\kappa with κ≤8/3\kappa\le 8/3 augmented by an independent Poissonian cloud of Brownian loops (a Brownian loop soup) of intensity λ\lambda, where h=(6−κ)/(2κ)h=(6-\kappa)/(2\kappa) and λ=(8−3κ)(6−κ)/(2κ)\lambda=(8-3\kappa)(6-\kappa)/(2\kappa); for 0<h<5/80<h<5/8 only one-sided restriction measures exist.

The Friedrich–Werner correspondence and what it left open. Friedrich and Werner showed that to each one-sided restriction measure one can associate a highest-weight representation of the Witt algebra AA (without central extension) acting on a space VV of function-valued vectors: the boundary correlation functions Bn(h)(x1,…,xn)B_n^{(h)}(x_1,\dots,x_n) — renormalized probabilities that the restriction hull visits infinitesimal slits at boundary points x1,…,xnx_1,\dots,x_n — form the highest-weight vector, the Ward identities of CFT become a reformulation of the restriction property, and the level-two degeneracy reflects the Markovian nature of SLE. Each such representation is 'related to' a Virasoro highest-weight representation degenerate at level two, with central charge c=−λc=-\lambda. The paper's analytic-continuation section shows the construction makes sense for all real κ\kappa (even negative), but the probabilistic meaning survives only partially: for 0<h<5/80<h<5/8 the functions Bn(h)B_n^{(h)} are renormalized probabilities of one-sided restriction measures while the loop-cloud density λ\lambda is negative, and for h<0h<0 they correspond to no restriction measure at all ('negative probabilities' in the physics idiom). All constructed objects concern the boundary ('surface') behaviour of the system. The paper's closing remarks state what is missing for the program: a bulk (interior-point) analogue of the theory; conformal invariance for further discrete models, to be worked out 'on each specific model separately'; and the identification of the SLE correlation functions with those of the CFT stress tensor, which the paper asserts but defers to a sequel.

Problem Statement

Complete the rigorous correspondence between conformal restriction, SLE and conformal field theory that Friedrich and Werner initiated, by resolving the issues their paper (Commun. Math. Phys. 243 (2003) 105-122) explicitly leaves open. The common objective is a complete, rigorous probabilistic realization of the CFT layer of two-dimensional critical systems — highest-weight representations, Ward identities, and the stress tensor — together with its connection to lattice models. Three linked components:

(1) Bulk theory. Construct intrinsic bulk (interior-point) analogues of the boundary correlation functions Bn(h)B_n^{(h)} and develop the corresponding theory of correlation functions and Ward identities for restriction-type measures and SLE curves, for points in the interior of the domain (the paper constructs only boundary observables and cites Beffara's results as a first step, noting the definition itself is hard).

(2) Discrete-to-continuum translation. Prove conformal invariance in the scaling limit for further discrete critical models beyond critical percolation on the triangular lattice and LERW/UST — the translation needed for the constructed highest-weight representations to describe actual lattice systems — working, as the paper's Remarks put it, 'on each specific model separately'. The principal open cases are the self-avoiding walk (predicted scaling limit SLE8/3_{8/3}) and the full convergence of the double-dimer loop ensemble to CLE4_4 (the conformal loop ensemble with parameter κ=4\kappa = 4, the conjectural scaling limit of the double-dimer loops), while Ising-type models are now settled; it suffices to establish this for the self-avoiding walk and for the double-dimer loop ensemble.

(3) Stress-energy tensor. Prove precisely that the boundary observables Bn(h)B_n^{(h)} and the associated SLE correlation functions coincide with the stress-energy tensor correlation functions of CFT — the identification asserted in the paper and deferred to its sequel (Friedrich-Kalkkinen 2004, physics level); what remains open is a rigorous statement and proof, going beyond the κ=8/3\kappa=8/3 physics-level derivation of Doyon-Riva-Cardy and the hypothesized CLE construction of Doyon.

The paper's construction of a highest-weight representation of the Witt algebra AA 'without central extension' on the function-valued space VV generated by the B(h)B^{(h)}, its statement that each such system is 'related to' a Virasoro highest-weight representation degenerate at level two with central charge c=−λc = -\lambda (the negative of the Brownian-loop-soup intensity), and its descriptive Section 5.3 remarks on the analytic-continuation regime (0<h<5/80<h<5/8 with one-sided restriction only and negative loop-cloud density, h<0h<0 with no restriction measure, κ<0\kappa<0) are background context for these components rather than open problems.

The three components are independent: each is a separate open problem. Ising conformal invariance is settled in the literature.

References

  1. Roland Friedrich and Wendelin Werner, 'Conformal restriction, highest-weight representations and SLE', Communications in Mathematical Physics 243 (2003) 105-122. DOI: 10.1007/s00220-003-0956-8; arXiv:math-ph/0301018; https://arxiv.org/abs/math-ph/0301018
  2. Roland Friedrich and Wendelin Werner, 'Conformal fields, restriction properties, degenerate representations and SLE', C. R. Math. Acad. Sci. Paris 335 (2002) 947-952. DOI: 10.1016/S1631-073X(02)02581-5; https://doi.org/10.1016/S1631-073X(02)02581-5
  3. A. A. Belavin, A. M. Polyakov and A. B. Zamolodchikov, 'Infinite conformal symmetry of critical fluctuations in two dimensions', Journal of Statistical Physics 34 (1984) 763-774. DOI: 10.1007/BF01009438; https://doi.org/10.1007/BF01009438
  4. Stanislav Smirnov, 'Critical percolation in the plane: conformal invariance, Cardy's formula, scaling limits', C. R. Acad. Sci. Paris Ser. I Math. 333 (2001) 239-244. DOI: 10.1016/S0764-4442(01)01991-7; https://doi.org/10.1016/S0764-4442(01)01991-7
  5. Gregory F. Lawler, Oded Schramm and Wendelin Werner, 'Conformal invariance of planar loop-erased random walks and uniform spanning trees', Annals of Probability 32 (2004) 939-995. DOI: 10.1214/aop/1079021469; arXiv:math/0112234; https://arxiv.org/abs/math/0112234
  6. Gregory Lawler, Oded Schramm and Wendelin Werner, 'Conformal restriction: the chordal case', Journal of the American Mathematical Society 16 (2003) 917-955. DOI: 10.1090/S0894-0347-03-00430-2; arXiv:math/0209343; https://arxiv.org/abs/math/0209343
  7. Vincent Beffara, 'The dimension of the SLE curves', Annals of Probability 36 (4) (2008) 1421-1452. DOI: 10.1214/07-AOP364; arXiv:math/0211322; https://arxiv.org/abs/math/0211322
  8. Roland Friedrich and Jussi Kalkkinen, 'On conformal field theory and stochastic Loewner evolution', Nuclear Physics B 687 (2004) 279-302. DOI: 10.1016/j.nuclphysb.2004.03.025; arXiv:hep-th/0308020; https://arxiv.org/abs/hep-th/0308020
  9. Michel Bauer and Denis Bernard, 'Conformal field theories of stochastic Loewner evolutions', Communications in Mathematical Physics 239 (2003) 493-521. DOI: 10.1007/s00220-003-0881-x; arXiv:hep-th/0210015; https://arxiv.org/abs/hep-th/0210015
  10. Michel Bauer and Denis Bernard, 'SLE martingales and the Virasoro algebra', Physics Letters B 557 (2003) 309-316. DOI: 10.1016/S0370-2693(03)00189-8; https://doi.org/10.1016/S0370-2693(03)00189-8
  11. Kalle Kytölä, 'Virasoro module structure of local martingales of SLE variants', Reviews in Mathematical Physics 19 (5) (2007) 455-509. DOI: 10.1142/S0129055X07003000; arXiv:math-ph/0604047; https://arxiv.org/abs/math-ph/0604047
  12. Julien Dubédat, 'SLE and Virasoro representations: localization', Communications in Mathematical Physics 336 (2015) 695-760. DOI: 10.1007/s00220-014-2282-8; arXiv:1312.1562; https://arxiv.org/abs/1312.1562
  13. Clément Hongler, Kalle Kytölä and Fredrik Viklund, 'Conformal field theory at the lattice level: discrete complex analysis and Virasoro structure', Communications in Mathematical Physics 395 (2022) 1-58. DOI: 10.1007/s00220-022-04475-x; arXiv:1307.4104; https://arxiv.org/abs/1307.4104
  14. Maria Gordina, Wei Qian and Yilin Wang, 'Infinitesimal conformal restriction and unitarizing measures for Virasoro algebra', Journal de Mathématiques Pures et Appliquées 195 (2025) 103669. DOI: 10.1016/j.matpur.2025.103669; arXiv:2407.09426; https://arxiv.org/abs/2407.09426
  15. Guillaume Baverez and Antoine Jego, 'The CFT of SLE loop measures and the Kontsevich–Suhov conjecture' (2024 preprint). arXiv:2407.09080; https://arxiv.org/abs/2407.09080
  16. Dapeng Zhan, 'SLE loop measures', Probability Theory and Related Fields 179 (2021) 345-406. DOI: 10.1007/s00440-020-01011-7; https://doi.org/10.1007/s00440-020-01011-7
  17. Wendelin Werner, 'The conformally invariant measure on self-avoiding loops', Journal of the American Mathematical Society 21 (2008) 137-169. DOI: 10.1090/S0894-0347-07-00557-7; arXiv:math/0511605; https://arxiv.org/abs/math/0511605
  18. Scott Sheffield and Wendelin Werner, 'Conformal loop ensembles: the Markovian characterization and the loop-soup construction', Annals of Mathematics 176 (3) (2012) 1827-1917. DOI: 10.4007/annals.2012.176.3.8; arXiv:1006.2374; https://arxiv.org/abs/1006.2374
  19. Jason Miller and Wendelin Werner, 'Connection probabilities for conformal loop ensembles', Communications in Mathematical Physics 362 (2018) 415-453. DOI: 10.1007/s00220-018-3207-8; arXiv:1702.02919; https://arxiv.org/abs/1702.02919
  20. Benjamin Doyon, Valentina Riva and John Cardy, 'Identification of the stress-energy tensor through conformal restriction in SLE and related processes', Communications in Mathematical Physics 268 (2006) 687-716. DOI: 10.1007/s00220-006-0106-1; arXiv:math-ph/0511054; https://arxiv.org/abs/math-ph/0511054
  21. Benjamin Doyon, 'Conformal loop ensembles and the stress-energy tensor', Letters in Mathematical Physics 103 (2013) 233-284. DOI: 10.1007/s11005-012-0594-1; arXiv:1209.1560; https://arxiv.org/abs/1209.1560
  22. Dmitry Chelkak and Stanislav Smirnov, 'Universality in the 2D Ising model and conformal invariance of fermionic observables', Inventiones Mathematicae 189 (2012) 515-580. DOI: 10.1007/s00222-011-0371-2; arXiv:0910.2045; https://arxiv.org/abs/0910.2045
  23. Dmitry Chelkak, Hugo Duminil-Copin, Clément Hongler, Antti Kemppainen and Stanislav Smirnov, 'Convergence of Ising interfaces to Schramm's SLE curves', C. R. Math. Acad. Sci. Paris 352 (2014) 157-161. DOI: 10.1016/j.crma.2013.12.002; https://doi.org/10.1016/j.crma.2013.12.002
  24. Dmitry Chelkak, Clément Hongler and Konstantin Izyurov, 'Conformal invariance of spin correlations in the planar Ising model', Annals of Mathematics 181 (2015) 1087-1138. DOI: 10.4007/annals.2015.181.3.5; arXiv:1202.2838; https://arxiv.org/abs/1202.2838
  25. Antti Kemppainen and Stanislav Smirnov, 'Conformal invariance in random cluster models. II. Full scaling limit as a branching SLE' (2016 preprint). arXiv:1609.08527; https://arxiv.org/abs/1609.08527
  26. Richard Kenyon, 'Conformal invariance of loops in the double-dimer model', Communications in Mathematical Physics 326 (2014) 477-497. DOI: 10.1007/s00220-013-1881-0; arXiv:1105.4158; https://arxiv.org/abs/1105.4158
  27. Mikhail Basok and Dmitry Chelkak, 'Tau-functions à la Dubédat and probabilities of cylindrical events for double-dimers and CLE(4)', Journal of the European Mathematical Society 23 (2021) 2787-2832. DOI: 10.4171/JEMS/1072; arXiv:1809.00690; https://arxiv.org/abs/1809.00690
  28. Alex Karrila, Kalle Kytölä and Eveliina Peltola, 'Boundary correlations in planar LERW and UST', Communications in Mathematical Physics 376 (2019) 2065-2145. DOI: 10.1007/s00220-019-03615-0; https://doi.org/10.1007/s00220-019-03615-0
  29. Alex Karrila, Augustin Lafay, Eveliina Peltola and Julien Roussillon, 'Planar UST branches and c = -2 degenerate boundary correlations', Probability and Mathematical Physics 6 (2025) 1443-1506. DOI: 10.2140/pmp.2025.6.1443; arXiv:2410.09800; https://arxiv.org/abs/2410.09800
  30. Eveliina Peltola, 'Toward a conformal field theory for Schramm–Loewner evolutions', Journal of Mathematical Physics 60 (2019) 103305. DOI: 10.1063/1.5094364; arXiv:1910.05796; https://arxiv.org/abs/1910.05796
  31. Wendelin Werner, 'Conformal restriction and related questions', Probability Surveys 2 (2005) 145-190. DOI: 10.1214/154957805100000113; arXiv:math/0307353; https://arxiv.org/abs/math/0307353
  32. E. Bettelheim, I. A. Gruzberg and A. W. W. Ludwig, 'Quantum Hall transitions: an exact theory based on conformal restriction', Physical Review B 86 (2012) 165324. DOI: 10.1103/PhysRevB.86.165324; arXiv:1202.4573; https://arxiv.org/abs/1202.4573
  33. Tianyi Bai and Yijun Wan, 'On the crossing estimates for simple conformal loop ensembles', International Mathematics Research Notices 2023 (13) 11645-11683. DOI: 10.1093/imrn/rnac173; arXiv:2106.11088; https://arxiv.org/abs/2106.11088
  34. Mikhail Basok and Konstantin Izyurov, 'Nesting of double-dimer loops: local fluctuations and convergence to the nesting field of CLE(4)' (2025 preprint). arXiv:2501.01574; https://arxiv.org/abs/2501.01574