Use and . A normalized highest-weight vector obeys and for . Its Virasoro descendants are products of negative modes. Their inner products are determined entirely by and the Virasoro algebra; for example , so unitarity requires . An irreducible unitary highest-weight Virasoro module is the Virasoro Verma module quotient by its null submodules, and its surviving inner product must be positive definite.
The classification for is the Unitary Virasoro discrete series:
where is an integer at least , , and . The identification leaves distinct modules. The two generating singular-vector levels are and ; all their Virasoro descendants are removed in the irreducible quotient. For the only module is the trivial module; for these are the nontrivial unitary discrete-series modules. There are no other irreducible unitary highest-weight representations with . This is the classification theorem, rather than a condition inferred only from finitely many descendant norms.
At , and the possible weights are
Construct them with a single free chiral Majorana fermion:
The free chiral Majorana fermion conformal field theory has . In the Neveu–Schwarz sector, , while in the Ramond sector, . With positive modes moved to the right and the zero-mode product antisymmetrized, the corresponding generators are
The oscillator relation gives . The stress-tensor operator product expansion, or the reordering of the quadratic generators, then gives the Virasoro algebra with . One can check both constants directly in the ground states. In the NS sector,
In the R sector, and , whose norm squared is . The relation requires , so . Thus the Ramond sector zero-mode shift is essential.
The three constructions in Ising Virasoro modules from a Majorana fermion are explicit. The NS vacuum is a highest-weight vector of weight . The state is a highest-weight vector of weight : applying any positive gives , including the zero coefficient for . Since is quadratic in fermions, the two cyclic modules lie in the even and odd fermion parity sectors, respectively. For R, choose a normalized ground state annihilated by all with and with . All positive annihilate it and its weight is . The two zero-mode sign choices give isomorphic Virasoro modules; one choice suffices to construct the third module.
The oscillator inner products are positive, and each cyclic highest-weight representation just constructed is irreducible. Indeed any nonzero proper invariant graded submodule would have a lowest-energy vector of weight greater than the cyclic ground weight. Every positive annihilates ; thus is orthogonal to every negative-mode descendant of the original ground vector, by moving the modes across the inner product. It is also orthogonal to that ground vector by its different eigenvalue. Since those Virasoro descendants span the cyclic module, would have zero norm, a contradiction. This proves irreducibility directly inside the positive fermionic Fock space.
In fact the cyclic modules fill the entire even NS, odd NS and chosen R Fock spaces. Otherwise an orthogonal remaining lowest vector would be the ground vector of a further unitary highest-weight Virasoro module; its weight would lie in , or , respectively. None belongs to the classified list . As a check, their Virasoro characters, defined by , are
The NS signs project onto even and odd occupation number; the R product uses the single chosen ground state. Null vectors of the abstract Virasoro Verma modules are automatically zero in this construction. In particular , and the weight- and weight- ground states obey, respectively, and , as is also verified by their level-two Gram matrices.
Use the free-boson operator product expansion
Write and . The needed Wick contractions are and . For , the cross double contraction in the worldsheet stress tensor has a cubic pole: either of its two derivatives can contract with the derivative in , while the other contracts with . Including the factor gives
A primary operator has no cubic pole. Hence the first vertex is primary precisely when
The antiholomorphic conformal weight is . Primarity alone puts no mass-shell condition on .
For , the holomorphic cubic pole is . The antiholomorphic operator product expansion gives the analogous pole involving . Thus the transversality of derivative-exponential primary vertices requires
There is no trace-free requirement for primarity. A physical integrated string vertex operator must additionally have conformal weights ; for this vertex that gives .
Now keep the fermionic signs in the real chiral Majorana fermion calculation. Contracting the external through gives
Multiplying by and Taylor expanding at produces
This proves that is a primary operator with weight . To find the central charge, in the two double-contraction pairings contribute, before the overall factor ,
The single Wick contractions give , so
Comparing the leading term with proves , as in the free chiral Majorana fermion conformal field theory.
With four embedding bosons and the ordinary reparameterization bc ghost system, cancellation of the worldsheet Weyl anomaly in each chirality requires
Thus there are 44 real left-moving and 44 real right-moving fermions, equivalently 44 two-dimensional nonchiral Majorana fermions. These are internal free fermions in a four-dimensional bosonic string. Adding internal matter to the bosonic string does not introduce local worldsheet supersymmetry or its superghosts.
For the requested polynomial string vertex operators, work in the unprojected Neveu–Schwarz sector. A full model also chooses spin structures and a consistent projection, which the central-charge condition alone does not specify. If the holomorphic and antiholomorphic oscillator contributions to the conformal weights are , physicality requires
Therefore only equal levels at most one can contribute to the requested nonpositive bosonic string mass spectrum.
With zero fermion insertions, level zero gives the tachyon vertex operator , a scalar with . Level one gives the massless closed-string vertex operator , with the transverse conditions above and the string-state gauge redundancy that removes longitudinal polarizations. The physical transverse polarization tensor decomposes into a symmetric trace-free graviton, an antisymmetric Kalb–Ramond field, and a scalar dilaton. In four spacetime dimensions these have respectively two, one, and one physical polarizations; the two-form can be dualized to a scalar.
With two fermion insertions there are two possibilities. One fermion in each chirality gives
These are scalar tachyons before any projection. There is no spacetime derivative or spacetime polarization to impose a vector transversality condition.
Two different fermions in the same chirality form an antisymmetric fermion bilinear, a weight-one current ; equal-species undifferentiated bilinears vanish. Closed-string level matching then requires a weight-one bosonic derivative in the opposite chirality. The resulting string vertex operators are
They have and are gauge vectors, with and , and likewise for . Each chirality supplies gauge vectors. The fermion bilinears generate the two current algebras associated with the Special orthogonal Lie algebra, giving the unprojected gauge group . The tempting vertex alone fails closed-string level matching because its weights are before the common momentum contribution. Additional derivatives raise the levels above the nonpositive-mass range; a product of a left and a right bilinear has four fermion insertions and is outside this requested sector. This completes the zero- and two-fermion vertices of an internally fermionized bosonic string; a specified global projection can remove some of the listed states.