Alphabeta MathFree-Field Oscillators, Screenings and Lattice Models
About this page
Pipeline-generated
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.
1 · Prerequisites
Abstract Algebra
Combinatorics
Linear Algebra
Quantum Algebra and Representation Theory
Real Analysis
2 · Logical flowchart
3 · Items
Definition
Rank-one Feigin–Fuchs oscillator spaces and long-screening coefficients
Lemma
Jacobi and residue calculus from the state-field locality axioms
Lemma
Background-charge oscillator modes and integral long screenings
Lemma
Reflected oscillator pairing and transpose of the long screening
Lemma
Exact lengths of boundary long-screening strings
Definition
Explicit rank-one square-zero lattice fields
Lemma
Jacobi identities for the rank-one square-zero lattice extension
Lemma
Conformal subalgebra in the kernel of v₍₀₎
Sources
- Dražen Adamović and Antun Milas, On the triplet vertex algebra W(p)
- David Ridout and Simon Wood, From Jack polynomials to minimal model spectra
- Tomoyuki Arakawa and Anne Moreau, Arc spaces and vertex algebras
- Ridout and Wood, From Jack polynomials to minimal model spectra
- Adamović and Milas, On the triplet vertex algebra W(p)
- Adamović and Milas, Logarithmic intertwining operators and W(2,2p−1)-algebras
- Dražen Adamović and Antun Milas, Lattice construction of logarithmic modules for certain vertex algebras