Critical Ising model as the $M(4,3)$ minimal model of conformal field theory

Dmitry Chelkak, Konstantin Izyurov, Kalle Kytölä

Oct 9, 2026arXiv:2610.13705v1

math-phmath.PR

Scorecard· 16/16

8.0/10 impact

First complete rigorous identification of all local Ising fields with M(4,3) states and descendants on isoradial graphs; closes a 40-year gap in rigorous lattice CFT, though niche and conditional on prior convergence results.

Abstract

We construct a linear map from the space of spin polynomials in the critical Ising model on a lattice to the state space of the $M (4, 3)$ minimal model of conformal field theory. The kernel of the map consists precisely of null fields, i.e., spin polynomials that vanish in all correlations. For a polynomial $\Op$ which is not a null field, we define its scaling dimension $Δ_{\Op}\in\Z_{\geq0}\cup(\Z_{\geq0}+\frac{1}{8}),$ to be the lowest $\Loper{0}+\Loperbar{0}$ eigenvalue in the decomposition of its image into homogeneous components. We show that as the mesh size $δ$ goes to zero, the rescaled field $δ^{-Δ_{\Op}}\Op$ has a non-trivial scaling limit, when inserted in correlations with other such fields. Moreover, all these limits can be expressed in terms of correlations of primary fields of $M (4, 3)$ and the Virasoro action in the continuum. The highest weight vectors of $M (4, 3)$ , the joint eigenvectors of $\Loper{0}$ and $\Loperbar{0}$ with the same eigenvalues $0, 1 / 16, 1 / 2$ for both, are the images of the constant $1$ , the spin at a single lattice vertex, and the energy at a single lattice edge, respectively. For the proof, we construct a map from a larger lattice field space, accommodating also fermion and disorder insertions, to a direct sum of two fermionic Fock spaces. This direct sum contains contains the state spaces of both the $M (4, 3)$ and the free fermion CFT. The main technical ingredient of the proof is a new version of the exact fermionic current action on the space of lattice local fields due to C. Hongler, K.K. and F. Viklund, combined with some new advances in discrete complex analysis. Our results are valid on arbitrary isoradial graphs.

AI Impact Assessments

(1 model)

Core Contribution

The paper gives the first rigorous, complete identification of the critical planar Ising model with the M(4,3) minimal model at the level of all local fields. It constructs a surjective linear map from the space of spin polynomials on an isoradial graph to the M(4,3) state space. The kernel is exactly the null fields. Each non-null polynomial has a scaling dimension in Z≥0 ∪ (Z≥0+1/8), and its rescaled correlations converge to continuum M(4,3) correlations with Virasoro descendants. The primaries 1, σ, ε are the images of the constant, a single spin, and a single-edge energy. The convergence statement is a theorem valid on arbitrary isoradial graphs.

The work completes the programme of Hongler–Kytölä–Viklund (HKV) on lattice CFT. HKV built the fermionic Clifford action on lattice local fields, but the missing piece was showing that the resulting Virasoro module is a direct sum of the three expected highest-weight modules. Previously, each extension beyond primaries needed ad hoc discrete-holomorphicity arguments.

The new ingredients are:

A reworked fermionic current action built on s-holomorphic monomials and Smirnov's integral ℑ∮F²dz, replacing the complex-holomorphic monomials of HKV.

New discrete Cauchy kernels and Laurent expansions for functions and spinors.

A unitarity-based structural argument: the Fock-space Sugawara action is unitary, so the Friedan–Qiu–Shenker classification at c=1/2 forces the decomposition into L(0), L(1/16), L(1/2).

A proof that every Grassmann polynomial (with or without a spin) is a Clifford descendant of 1 or σ, by induction using the discrete Laurent expansions.

Methodological Rigor

The paper is a mathematical-physics proof paper, and the argument looks coherent and carefully structured.

It treats convergence of spin-fermion correlations (Chelkak–Hongler–Izyurov and later work) as a black box, so the results are conditional on that prior theorem. This is stated openly and is reasonable.

The construction proceeds through existence and linear independence of the monomials, via train-track and pole-counting arguments. This is technically delicate but appears sound.

The induction for convergence uses contour deformation and the discretisation of Smirnov's integral.

Explicit examples on the square lattice are given (discrete stress-energy tensor; a product of three spins decomposing as 2σ + descendants). These serve as sanity checks and show the machinery is computable.

Appendix Ward identities confirm that the algebraic L_{-1} acts as ∂ and that T behaves as the stress tensor.

The non-canonical nature of the map B is acknowledged, and the leading homogeneous component is shown to be choice-independent.

Limitations are that some results depend on the black-box convergence and that the Ising case relies on unitarity (the authors note this would need modification for non-unitary models).

Potential Impact

For mathematical physics and probability, this is a landmark-style result. It gives a precise mathematical statement of the folklore "Ising scaling limit = M(4,3)" and proves it for the entire local-field algebra, including all descendants. It places the Ising model as the first interacting-lattice-model example of a full lattice-to-CFT dictionary, in the spirit of the previous GFF (bosonic Fock space) result by Adame-Carrillo–Behzad–Kytölä.

Likely downstream uses:

Extensions to Riemann surfaces and tori, motivated by the isoradial generality.

Rigorous lattice constructions of Virasoro action and Ward identities, and descendant correlations.

Other free-fermion models such as double dimers and symplectic fermions.

Possible ideas for non-free-fermion minimal models, although the method relies on free fermions.

Practical or industrial applications are essentially nil, though the explicit-computation recipe (automatable) is of interest to lattice-CFT practitioners. Physicists may regard the content as "known", but rigour and the explicit dictionary add value.

Timeliness & Relevance

Rigorous CFT from lattice models is an active frontier (Hongler, Smirnov, Kytölä, Izyurov, Chelkak and others), along with the rigorous construction of CFT via probabilistic methods (Liouville CFT, SLE/CFT). This paper fills a central, long-standing gap and unifies several prior ad hoc results (energy correlations, stress tensor, torus), so the timing is excellent.

Strengths

Complete classification of all local fields (every spin polynomial) rather than primaries only.

Generality over isoradial graphs gives a universality statement.

A conceptually clean structural proof (Fock space + Sugawara + unitarity classification + Clifford descendance).

New discrete complex analysis tools (spinor Cauchy kernel, discrete Laurent expansions, good monomials) that are reusable.

Explicit worked examples demonstrate that the dictionary is concrete.

Limitations

Heavy reliance on the free-fermion structure, so the approach does not directly extend to other minimal models or to non-free-fermion statistical models.

Convergence is conditional on previously proven spin-fermion convergence, available only for certain domains (finitely connected planar domains, torus partially).

The map B is non-canonical.

It is a long, technical, specialised paper; accessibility is limited to experts in discrete complex analysis and CFT.

Null fields are defined via correlations with distant fields, with some remaining technical details (such as the choice of R) left open.

There is no numerical or empirical component.

Additional Observations

Clarity is reasonably good for a proof-heavy paper. The overview in the introduction explains the proof strategy well, though there are typographical glitches and heavy notation (η-phases, double covers). Reproducibility in the proof sense is high, since the arguments are self-contained apart from cited black boxes. The paper contributes both a conceptual statement and technical lemmas likely to be reused (discrete Cauchy kernels, Laurent expansions), which gives it a moderately high foundational character in the niche subfield.

Rating:8/ 10

Significance 8Rigor 8.5Novelty 8Clarity 6.5

Generated Oct 12, 2026

Comparison History (0)

No comparisons yet.