Two languages for conformal field theory, with matching particles and fusion

← All digests

Family 280 · Mathematical physics
Importance 5/5 · Provisional editorial rating
Sources consulted 2026-10-25

1. The question

One mathematical description of a quantum field theory begins with formal series of field operators and their algebraic identities. Another begins with algebras of bounded observables assigned to spatial regions. They are intended to describe the same local physics, but translating between them requires more than matching symbols.

Family 280 concerns chiral conformal field theory, describing one directional component of a two-dimensional conformal theory, often formulated on a circle. Its two languages are vertex operator algebras, or VOAs, and conformal nets.

The manuscript claims a full comparison for simple unitary strongly rational VOAs. It constructs the associated local net, establishes positivity for every simple module and its fusion products, and identifies the representation theories with their fusion and braiding. An extension correspondence then follows through Gui’s existing comparison theorems.

2. Background and essential definitions

Formal fields and energy levels

A VOA is a complex vector space $V$ with a vacuum vector $\Omega$, a conformal vector determining symmetry and energy, and a field attached to each state:

$$Y(a,z)=\sum_{n\in\mathbb Z}a_{(n)}z^{-n-1}.$$

The coefficients $a_{(n)}$ are linear operators called modes. The variable $z$ is initially formal; algebraic identities encode how fields combine and commute. The conformal energy operator $L_0$ grades the space.

The theorem requires CFT type, meaning

$$V=\bigoplus_{n\geq0}V_n, \qquad V_0=\mathbb C\Omega.$$

Thus vacuum energy is zero and its space is one dimensional. “Simple” excludes nontrivial ideals preserved by the field operations. “Unitary” supplies a positive invariant Hermitian inner product, normalized on the vacuum, and the corresponding conjugation operation. Completing this inner-product space produces a Hilbert space.

Strong rationality combines several algebraic conditions. Besides CFT type and identification with the graded dual representation, it requires complete reducibility of admissible modules and finite dimension of

$$V/C_2(V),\qquad C_2(V)=\operatorname{span}\{a_{(-2)}b:a,b\in V\}.$$

The latter condition is a finiteness constraint on how much independent structure remains after certain field products are removed. These hypotheses give a controlled, finite representation theory; they are substantially stronger than unitarity alone.

Local observable algebras

A conformal net assigns a von Neumann algebra $\mathcal A(I)$ to each proper open interval $I$ of the circle. A von Neumann algebra is an algebra of bounded Hilbert-space operators closed under adjoints and weak operator limits. The assignments respect inclusion, conformal symmetry and locality: observables in disjoint intervals commute.

To pass from a formal field to an operator, smear it against a smooth function supported in an interval. Polynomial energy bounds control its modes, schematically

$$\|a_{(n)}b\|\leq C(1+|n|)^p\|(1+L_0)^k b\|.$$

These bounds allow closed smeared operators to be defined. Strong locality requires their generated bounded operator algebras to commute for disjoint supports. Formal commutation on a common domain alone does not guarantee this property for unbounded operators.

Modules, sectors and fusion

A VOA module is another space on which the same field identities act. The theorem uses finite-length, grading-restricted modules: they have finitely many simple constituents, finite-dimensional energy spaces and energies bounded below. A net representation, often called a sector, describes the local observable algebras acting on another Hilbert space.

Fusion combines two excitation types; it is not generally the ordinary vector-space tensor product. Braiding records the operation of exchanging them with the chosen orientation. A braided unitary tensor equivalence says the two descriptions match objects, maps, fusion, inner products and exchange operations coherently—not merely the number of particle types.

3. Development history and previous partial results

Carpi, Kawahigashi, Longo and Weiner developed the construction from strongly local unitary VOAs to conformal nets. They established major examples, including affine, Virasoro and moonshine theories, and conjectured strong locality for every simple unitary VOA. The present manuscript addresses that conjecture under the additional strong-rationality hypothesis.

Each representation theory already had substantial internal structure. Huang established rigidity and modularity for strongly rational VOA tensor categories. Kawahigashi, Longo and Müger established modularity for completely rational conformal nets. Having two modular categories does not itself identify them.

The Carpi–Weiner–Xu construction integrates unitary modules through their closed smeared fields. Gui developed tensor and braiding comparisons under appropriate charged-field hypotheses. Complete unitarity, equivalence and net rationality were already known for broad families: positive-integral-level affine and parafermion VOAs, positive-definite even lattice VOAs, certain discrete-series W-algebras, and further tensor products and cosets under stated conditions.

The analytic estimates also have direct predecessors. Carpi, Tanimoto and Weiner connected optimal energy orders of suitable generators to strong locality. Carpi and Tomassini used contraction estimates to improve exponential mode growth to polynomial growth. Wassermann’s loop-group work used bounded primary fields to calculate fusion. Gui and Tener developed transport forms and positivity methods for fusion products.

In the reverse direction, Henriques and Tener constructed VOAs and modules from conformal-net data under their stated energy and locality conventions. Their annulus and multidisc constructions supply geometric tools used here after locality has been established. The new claim is to derive the needed analytic and positivity conditions from strong rationality and unitarity, then show that no finite-index sector is missed.

4. What the new manuscript claims

For every simple unitary strongly rational complex VOA $V$, the manuscript states that polynomial energy bounds hold and the VOA is strongly local. The smeared fields therefore generate an irreducible conformal net $\mathcal A_V$.

Every simple grading-restricted module is claimed to admit a positive invariant Hermitian form. Moreover, the canonical Hermitian forms on fusion products are positive definite. Together these properties are called complete unitarity. Positivity of the vacuum form is thus extended to the full module and fusion theory.

Every already unitary finite-length grading-restricted module is strongly integrable: its Hilbert completion carries compatible normal representations of the local algebras, and those representations reproduce the actual closed smeared fields, including their domains.

The net is claimed to be completely rational. This means irreducibility, the split property for separated intervals, strong additivity when an interior point is removed, and finiteness of the two-interval $\mu$-index. The index measures the size of the inclusion of the two-interval observable algebra in the commutant of its complement; finiteness expresses a strong control on sectors.

After choosing invariant positive forms on simple modules, the canonical Carpi–Weiner–Xu functor gives

$$\operatorname{Rep}(V)\simeq \operatorname{Rep}_u(V)\simeq \operatorname{Rep}_f(\mathcal A_V).$$

The right-hand category consists of finite-index locally normal sectors and finite sums; its fusion is Connes fusion and its braiding is the Doplicher–Haag–Roberts braiding. The equivalence is braided, unitary and tensorial with a common circle orientation.

Finally, using Gui’s extension theorems, the manuscript obtains a correspondence between normalized CFT-type unitary extensions of $V$ with finite-length underlying $V$-module and normalized irreducible finite-index local extensions of $\mathcal A_V$. The embeddings preserve vacuum and conformal structure, with specified isometric vacuum embeddings. Equivalently, the algebraic side consists of simple CFT-type extensions with the same conformal vector, equipped with the asserted unique compatible unitary structure. These normalization and finiteness conditions belong to the statement.

5. Why the advance matters

Importance: 5/5, provisional. The family claims a general bridge between two major mathematical formulations of rational unitary chiral conformal field theory. It goes beyond constructing a vacuum net by matching the full finite representation theory and extension structure.

Such a bridge allows algebraic information about modules and fusion to be interpreted as operator-algebraic information about localized sectors, and conversely. The positivity assertions also remove a potential obstruction: an algebraic representation need not come with a physically suitable Hilbert-space inner product merely because the vacuum does.

The significance is within the stated rational unitary class. The result is not advertised as a correspondence for every conformal field theory. Its score reflects the scope and structural consequences if the claims hold, without independent proof verification.

6. The main idea

Construct locality before using net geometry

Finite-dimensionality of $V/C_2(V)$ supplies a finite generating filtration. Positivity of zero modes gives an initial growth estimate. Two contraction arguments then improve it first to polynomial bounds and then to the optimal energy order needed by the existing locality criterion.

This order of construction matters. Annulus methods presuppose a net, so they enter only after the analytic locality problem has been addressed. The manuscript does not use a hoped-for net to justify its own existence.

Transfer positivity through local fields

For modules already carrying positive forms, annulus estimates control creation fields, which insert a charged state into the vacuum. Their bounded regularizations and sufficiently large ranges yield normal actions of the local observable algebras on module completions.

Creation operators then form positive Gram matrices in the vacuum algebra. The newly constructed normal representations transfer those matrices to other unitary modules. Algebraic rigidity supplies a nondegenerate fusion form, and energy-by-energy moment arguments establish its positivity. This produces positive fusion before assuming that every module is unitary.

Reach all modules and all sectors

To unitarize a remaining simple module $P$, the manuscript studies the flip symmetry of $V\otimes V$. A unitary twisted construction from the vacuum detects constituents of $P\otimes P^\vee$ inside a positive fusion product, where $P^\vee$ is the graded dual module. Combining invariant forms extends positivity to the full tensor-product algebra, and restriction gives a positive form on $P$.

The charged-field estimates now permit Gui’s braided tensor embedding. Surjectivity requires another step: starting from an arbitrary irreducible locally normal sector, the manuscript uses reconstruction and algebraic regularity to find an ordinary simple VOA module inside it. A reducing-projection argument identifies the whole sector with that module. Finiteness of the resulting sector list and existing operator-algebraic criteria then yield complete rationality.

7. Scope, limitations, and open questions

Strong rationality and unitarity are both essential hypotheses of the reported theorem. Nonrational theories, logarithmic nonsemisimple representation categories and general nonunitary VOAs are outside its scope. The wider strong-locality conjecture for every simple unitary VOA is not fully resolved by this restricted statement.

The comparison concerns grading-restricted finite-length modules and finite-index sectors, with specified Hilbert completions and closed-field domains. It is stronger than a formal identification of fusion rules but does not classify all strongly rational VOAs.

The extension corollary depends on existing comparison theorems and uses normalized finite-index local extensions. Other extension notions or different conformal vectors require separate treatment. These boundaries preserve the distinction between a broad correspondence theorem and an unrestricted equivalence of every possible formulation of conformal field theory.

8. Sources and further reading

The CKLW construction and Henriques–Tener reconstruction papers are linked above. Gui’s extension comparison supplies the extension framework. The source below states the new energy, positivity, integration and completeness claims and credits the tensor-category inputs used in their assembly.

Source manuscripts

• M1. OpenAI, Strongly rational unitary vertex operator algebras and conformal nets (September 25, 2026).

Sources consulted on 25 October 2026 at repository revision 1581d4c. Download the manuscript citations.