Alphabeta Math
DefinitionDefinition: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-6-luna)verified 2026-11-04 (gpt-6-luna)
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 N=1 minimal-model target data

Physical scope

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 N=1 super-Virasoro item. A full local CFT claim must meet the state-space/OPE interface separately.

[F1]

N=1 superconformal mode algebra in NS and Ramond sectors: The N=1 super-Virasoro algebra has stress-tensor modes Lm, odd supercurrent modes Gr, bracket [Lm,Gr]=(m/2−r)Gm+r, and NS modes r∈Z+12.

[F2]

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.

[A1]

Nakayama, Katsevich, Klebanov and Sun, arXiv:2609.10972v2, report the exceptional target as the m=12, (E6,D8) N=1 minimal model, whose extended chiral algebra is the super-W3 algebra SW(3/2,5/2).

Definition

The source-defined exceptional target means the two-dimensional minimal-model target reported in [A1], with central charge convention

cm=32(1−8m(m+2)),m=12,

and the exceptional modular invariant labelled (E6,D8). Its N=1 super-Virasoro algebra from [F1] is a subalgebra, not its full chiral algebra. The reported full chiral algebra is the extension SW(3/2,5/2): besides the N=1 super-stress-tensor generators of spins 3/2 and 2, it has an additional superprimary of weight 5/2, with components of spins 5/2 and 3.

Here a superprimary of weight h means a nonzero homogeneous vector v in an NS representation of the supplied N=1 algebra such that L0v=hv, Lnv=0 for every integer n>0, and Grv=0 for every positive half-integer r. The source reports the additional h=5/2 generator as a fermionic superprimary U; its superpartner G−1/2U has weight 3 by the [L0,G−1/2] relation and is reported as the bosonic spin-3 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 L0 eigenvalues of its super-Virasoro primary vectors, each generating its tower of descendants. The orbit column uses the second Kac index s with the equivalence s∼14−s on {1,3,5,7,9,11,13}. These are reported representation data, not a construction or existence proof of the extended algebra.

SectorModuleOrbitSuper-Virasoro primary weights
NS1{1,13}0,5/2,11/2,15
NSΦ^1,3{3,11}5/14,6/7,20/7,145/14
NSX^{5,9}1/14,15/14,11/7,46/7
NSΦ+,Φ−{7}1/7,51/14 in each module
RR3/2{1,13}3/2,15/2
RR5/14{3,11}5/14,61/14
RR1/14{5,9}1/14,29/14
RR9/14,+,R9/14,−{7}9/14 in each module

The fixed orbit {7} is resolved into two inequivalent modules in each sector. Their characters coincide, but their lowest states have opposite nonzero eigenvalues of the spin-3 current's zero mode W0; the subscripts ± label that pair, not fermion parity. Thus each sector has five extended modules. For the NS labels a∈A={1,Φ^1,3,X^,Φ+,Φ−}, write Ba for the module and ha 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 L0 eigenvalue minus ha. The NS character is the trace χ^a(τ)=Tr⁡Baexp⁡(2πiτ(L0−c12/24)) in the source's convergent upper-half-plane domain. The reported NS partition function is ZNS=∑a∈A∣χ^a∣2 (equation (34)). This statement concerns the reported spectrum, not a reconstruction of the full local package.

The chiral-fermion-parity operator ω on Ba has eigenvalue ωa(−1)2ℓ on level ℓ∈12Z≥0, where

(ω1,ωΦ^1,3,ωX^,ωΦ+,ωΦ−)=(+1,−1,−1,+1,+1).

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, Nabc+ and Nabc− count even and odd chiral three-point structures, respectively, and Nabc is their sum; a structure is even or odd according to the parity of its number of supercurrent top components. The reported grading is Nabc±=Nabc(1±ωaωbωc)/2 (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 Cconj from the central mode C of [F1]. On the diagonal NS sectors Ba⊗B~a, Cconj is the source's simultaneous left/right lift of the current automorphism (T,G,U,W)↦(T,G,−U,−W). Explicitly, its lift intertwines every current mode Vn with (AV)n, where A is that sign automorphism; it maps the a sector to the C(a) sector, with C fixing 1,Φ^1,3,X^ 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 1 and Φ^1,3, and (+,−,−,+) for X^; on a left/right tower pair Cconj acts by the product of the tower signs. The source leaves the relative exchange sign η∈{+1,−1} on the upper resolved tower of weight 51/14 undetermined (equations (51)–(52), §3.7); the lower resolved tower is normalized to exchange with sign +1. 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 R=ωCconj and R~=ω~Cconj (equation (48)); the commuting factors give involutions. On the comparison superfields the chosen R has superspace action

Φ(x,θ,θ~)⟼−Φ(x,−θ,θ~),Φ=(X,Y).

Here x is a local Euclidean coordinate on the two-dimensional worldsheet, and θ,θ~ are independent Grassmann-odd coordinates, meaning θ2=θ~2=0 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

1.1givenA1algebra

Substitution of m=12 gives m(m+2)=168, so c12=32(1−8/168)=32(20/21)=10/7. This is the arithmetic consequence of the source's minimal-model convention, not a derivation of the model's existence.

2.1givenF1F2A1step 1.1∎

The target has the N=1 algebra of [F1] as a subalgebra, while [A1] reports the strictly extended SW(3/2,5/2) chiral algebra. Thus the target cannot be specified by the N=1 algebra alone. By [F2], the reported modular and fusion data do not by themselves establish a complete full-local-CFT realization.

Depends on

Dependency tree · 2 levels

Sources