One numerator for twenty-four labelled words
Abstract
One numerator for twenty-four labelled words
Theorem 1.1 (One numerator for twenty-four labelled words).
Lean statement: D5/S3/VertexAlgebra/Sectors/LatticeSectorFourFieldCommonSeries.actual_four_field_common_series
Proof. Machine-checked in Lean as D5/S3/VertexAlgebra/Sectors/LatticeSectorFourFieldCommonSeries.actual_four_field_common_series (✓ std3). ∎
Source. Repository-derived.
Commentary.
Four original canonical lattice fields acting on an arbitrary fifth-sector state have one common generally infinite oscillator-valued power series after six-pair clearing and the original four canonical-on-input truncation shifts. A single locality order is chosen from the labelled fields before the fifth charge and state. Every permutation of the complete four-label list is covered, with modes -exponent-1 and labels attached to their original variables. This is the sector projection of the arbitrary-N ungraded local-word theorem; no new collision inference is part of this result. Bakalov–Kac, Matsuo–Nagatomo and Carnahan supplier conventions are retained.