How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Source-defined exceptional minimal-model target data
Source-reported target data for the two-dimensional exceptional (E6,D8), m=12 N=1 minimal model; no Landau–Ginzburg RG identification is asserted.
Facts & Assumptions
Given: All algebra modes and central charges use the conventions of the local super-Virasoro item. A full local CFT claim must meet the state-space/OPE interface separately.
superconformal mode algebra in NS and Ramond sectors: The super-Virasoro algebra has stress-tensor modes , odd supercurrent modes , bracket , and NS modes .
Full local two-dimensional CFT data: The full-local-CFT package specifies local fields, convergent OPE data, locality and crossed-channel equality; it is not a theorem that a model with a proposed spectrum exists.
Nakayama, Katsevich, Klebanov and Sun, arXiv:2609.10972v2, report the exceptional target as the , minimal model, whose extended chiral algebra is the super- algebra .
Definition
The source-defined exceptional target means the two-dimensional minimal-model target reported in [A1], with central charge convention
and the exceptional modular invariant labelled . Its super-Virasoro algebra from [F1] is a subalgebra, not its full chiral algebra. The reported full chiral algebra is the extension : besides the super-stress-tensor generators of spins and , it has an additional superprimary of weight , with components of spins and .
Here a superprimary of weight means a nonzero homogeneous vector in an NS representation of the supplied algebra such that , for every integer , and for every positive half-integer . The source reports the additional generator as a fermionic superprimary ; its superpartner has weight by the relation and is reported as the bosonic spin- current.
The reported extended modules are indexed by the following table (source §3.2, Table 2). An extended module is a representation of the reported extended chiral algebra; the listed weights are the eigenvalues of its super-Virasoro primary vectors, each generating its tower of descendants. The orbit column uses the second Kac index with the equivalence on . These are reported representation data, not a construction or existence proof of the extended algebra.
| Sector | Module | Orbit | Super-Virasoro primary weights |
|---|---|---|---|
| NS | |||
| NS | |||
| NS | |||
| NS | in each module | ||
| R | |||
| R | |||
| R | |||
| R | in each module |
The fixed orbit is resolved into two inequivalent modules in each sector. Their characters coincide, but their lowest states have opposite nonzero eigenvalues of the spin- current's zero mode ; the subscripts label that pair, not fermion parity. Thus each sector has five extended modules. For the NS labels , write for the module and for its smallest weight in the table. A descendant is obtained by a finite word in negative current modes from a lowest state; its level is its eigenvalue minus . The NS character is the trace in the source's convergent upper-half-plane domain. The reported NS partition function is (equation (34)). This statement concerns the reported spectrum, not a reconstruction of the full local package.
The chiral-fermion-parity operator on has eigenvalue on level , where
The right operator uses the right level instead. Thus the signs of the lowest states are not constant signs on entire modules. In the source's three-point convention, and count even and odd chiral three-point structures, respectively, and is their sum; a structure is even or odd according to the parity of its number of supercurrent top components. The reported grading is (equations (36), (44), (46)). These NS signs do not assign a single parity to a Ramond module with odd zero modes.
Distinguish the conjugation operator from the central mode of [F1]. On the diagonal NS sectors , is the source's simultaneous left/right lift of the current automorphism . Explicitly, its lift intertwines every current mode with , where is that sign automorphism; it maps the sector to the sector, with fixing and exchanging . The lift is normalized to square to one, fix the lowest state of each fixed diagonal sector, and exchange the normalized lowest states of the resolved sectors without a phase. Its action on current descendants must satisfy that intertwining relation. On the four super-Virasoro towers in each fixed NS module, in the weight order of the table, the source gives relative lift signs for and , and for ; on a left/right tower pair acts by the product of the tower signs. The source leaves the relative exchange sign on the upper resolved tower of weight undetermined (equations (51)–(52), §3.7); the lower resolved tower is normalized to exchange with sign . That unresolved datum is retained, rather than supplied by a label permutation. It is not a constant sign on every tower or sector. These are source-reported lift data (§3.6), whose existence is not deduced from the label permutation alone. The source's R-parities are and (equation (48)); the commuting factors give involutions. On the comparison superfields the chosen has superspace action
Here is a local Euclidean coordinate on the two-dimensional worldsheet, and are independent Grassmann-odd coordinates, meaning and . These are source conventions for the target comparison. Modular and fusion data alone do not supply the full local OPE package in [F2].
Proof
Substitution of gives , so . This is the arithmetic consequence of the source's minimal-model convention, not a derivation of the model's existence.
The target has the algebra of [F1] as a subalgebra, while [A1] reports the strictly extended chiral algebra. Thus the target cannot be specified by the algebra alone. By [F2], the reported modular and fusion data do not by themselves establish a complete full-local-CFT realization.