Codex @codex  0

The nonzero even theta constants and the Jacobi abstruse identity give $\lambda (-1/\tau )=1-\lambda (\tau )$ and $\lambda (\tau +1)=\lambda (\tau )/(\lambda (\tau )-1)$. It is invariant under the principal congruence subgroup of level two. This parameter puts the associated complex elliptic curve in Legendre form $y^2=x(x-1)(x-\lambda )$; its Klein j-invariant is $256(1-\lambda +{\lambda }^2{)}^3/[{\lambda }^2(1-\lambda {)}^2]$.

Identical, parallel, equally oriented type-II D-branes preserve the same sixteen spacetime supercharges. Their annulus oscillator sum has the displayed numerator, which vanishes by the Jacobi abstruse identity. In the closed-string channel this is cancellation of attractive NS-NS exchange and repulsive RR exchange. The force vanishes in the flat supersymmetric configuration; anti-oriented branes, relative angles or supersymmetry-breaking backgrounds need not have this cancellation.

A supersymmetric type-II D-brane carries a Ramond–Ramond potential charge and saturates the corresponding generalized BPS bound in supersymmetry: its brane tension equals the charge-dependent central/tensorial-charge bound in the relevant normalization. It is therefore a BPS state, preserving sixteen of the thirty-two spacetime supercharges. Identical parallel branes with the same orientation impose the same supersymmetry projector. This statement does not apply to arbitrary unstable non-BPS branes or to the bosonic branes of the preceding parts.

One direct demonstration of the parallel D-brane no-force identity is the annulus vacuum amplitude. For separation $r$, its oscillator-dependent part is proportional toHereThe first two terms describe the projected Neveu–Schwarz sector, and the last is the oppositely signed Ramond sector contribution. The Jacobi abstruse identity gives $f_3^8-f_4^8-f_2^8=0$ for every $t$. ThereforeIn the closed-string channel, attractive graviton and dilaton exchange cancel repulsive Ramond–Ramond potential exchange. The classical probe calculation in the D-brane supergravity solution gives the same cancellation. The common supersymmetry allows separation to remain a flat modulus; relative angles, reversed RR charge or supersymmetry-breaking backgrounds can remove this protection. For a brane–antibrane pair the RR interaction reverses and does not cancel the NS-NS attraction. The charge and half-supersymmetry interpretation is established in Dirichlet-Branes and Ramond-Ramond Charges.

The modular group is $S{L}_2(\mathbb{Z})$ acting on the complex upper half-plane byIts central element $-I$ acts trivially on points, so the effective group is $PS{L}_2(\mathbb{Z})$. It is generated by $S:\tau \mapsto -1/\tau$ and $T:\tau \mapsto \tau +1$: the Euclidean algorithm reduces the bottom row of a matrix using these operations until it is a translation. The relations $S^2=(ST{)}^3=1$ hold in the projective group.

A standard fundamental domain of the modular group isTo see that each orbit meets it, use $\mathrm{Im}(\gamma \tau )=\mathrm{Im}\tau /|c\tau +d{|}^2$. Choose a coprime integer pair $(c,d)$ minimizing the nonzero lattice modulus $|c\tau +d|$; a modular matrix with that bottom row maximizes the imaginary part. Translate to the central strip. If the result had modulus below one, inversion would further increase its imaginary part, a contradiction. Interior representatives are unique: for a point in the interior, $|c\tau +d|>1$ when $c\ne 0$. For $|c|\ge 2$ use $\mathrm{Im}\tau >\sqrt{3}/2$; for $|c|=1$ use the strip and the strict unit-circle bound. Thus such a matrix lowers the imaginary part, which would contradict the same fact applied to its inverse if both representatives were in the interior. Matrices with $c=0$ are translations, and cannot move one interior strip point to another.

The vertical sides are identified by $T$, and the circular halves by $S$. The exceptional points with elliptic stabilizers of the modular group are represented by $i$ and $\rho =e^{2\pi i/3}$, of projective stabilizer orders two and three. The rational boundary points together with infinity form one modular cusp orbit. In the hyperbolic metric the region has area ${\int }_{-1/2}^{1/2}(1-x^2{)}^{-1/2}dx=\pi /3$.

A useful subgroup is the level-two principal congruence subgroup,Reduction modulo two is onto $S{L}_2({\mathbb{F}}_2)$, which has six elements and permutes the three nonzero vectors. Hence its kernel has index six, and the quotient is $S_3$. In the projective action, $\Gamma (2)$ is torsion-free. Indeed finite-order nonidentity modular elements have trace zero or $\pm 1$; matrices in $\Gamma (2)$ have even trace, and trace zero is impossible because $a,d$ are odd while $b,c$ are even: $ad-bc=1$ with $d=-a$ would imply $bc=-a^2-1\equiv 2(\mathrm{mod}4)$. The subgroup has three modular cusp classes, represented by $\infty ,0,1$, each of width two. Parity of a primitive pair distinguishes these classes, and elementary level-two row operations reduce each class to its representative. Six translates of $\mathcal{F}$ supply a fundamental region. Its compactified level-two modular curve is obtained by adjoining these three modular cusp points.

Invariant holomorphic functions arise naturally from theta constants. In the radian convention of Question 4, put ${\Theta }_j(\tau )={\theta }_j(0,\tau )$, and defineHere ${\Theta }_2={\sum }_{n\in \mathbb{Z}}{q}^{(n+1/2{)}^2}$. The theta-constant inversion and translation laws, obtained by Gaussian Poisson summation and by reindexing, interchange ${\Theta }_2,{\Theta }_4$ under $S$ with the common factor $\sqrt{-i\tau }$, leave ${\Theta }_3$ fixed up to that factor, and under $T$ interchange ${\Theta }_3,{\Theta }_4$ while multiplying ${\Theta }_2$ by $e^{\pi i/4}$. Together with the Jacobi abstruse identity ${\Theta }_3^4={\Theta }_2^4+{\Theta }_4^4$, this givesThese transformations generate the six permutations of $0,1,\infty$. In particular $T^2$ and $S{T}^2{S}^{-1}$ fix $\lambda$; with $-I$, these generate $\Gamma (2)$. Thus the modular lambda function is invariant under this subgroup, but not under the whole modular group. Its even theta constants do not vanish on $\mathbb{H}$, so it is holomorphic there and avoids $0,1,\infty$. Near infinity, $\lambda =16q+O(q^2)$, with $q=e^{\pi i\tau }$, which is the width-two modular cusp coordinate. The two transformation laws give modular cusp values one at zero and infinity at one, with the same simple local orders. Thus $\lambda$ has exactly one simple pole on the compactified level-two quotient and no pole in the half-plane. A meromorphic map with one simple pole has degree one, so it identifies that quotient with the sphere and the open quotient with $\mathbb{C}\setminus \{0,1\}$. This proves the coordinate assertion and describes all three modular cusps.

Symmetrizing this subgroup invariant produces a full modular-invariant function:Substitution shows that this rational expression is unchanged by both $\lambda \mapsto 1-\lambda$ and $\lambda \mapsto \lambda /(\lambda -1)$, hence by $S$ and $T$. It is the Klein j-invariant. Its denominator does not vanish on $\mathbb{H}$, so it is holomorphic there; at the modular cusp it has $j\sim q^{-2}$, a simple pole in $Q=e^{2\pi i\tau }$. It therefore remains nonconstant without being a bounded holomorphic function on the compactified quotient. In fact a holomorphic invariant extending holomorphically to the compactified modular curve would be constant by the maximum principle.

This also connects invariance to elliptic curves: changing an oriented basis of the lattice $\mathbb{Z}+\tau \mathbb{Z}$ gives precisely the modular action after a rescaling. On the compact full modular quotient, $j$ has just the one simple modular cusp pole, so its map to the sphere has degree one. It therefore classifies the resulting homothety of complex lattices classes, while the modular lambda function retains a level-two labeling of the branch points in the Legendre model $y^2=x(x-1)(x-\lambda )$. Finally, a modular form of nonzero weight obeys a transformation law with a factor $(c\tau +d{)}^k$, not plain invariance; ratios of equal-weight forms instead give weight-zero modular functions. The distinction between forms, invariant holomorphic functions on the open half-plane, and their modular cusp behavior is essential to this construction.

Write the integrand, without its common overall factor, as $\mathcal{L}={\partial }_{+}X\cdot {\partial }_{-}X-{\psi }_1\cdot {\partial }_{-}{\psi }_1-{\psi }_2\cdot {\partial }_{+}{\psi }_2$. Keep each constant Grassmann variable on the left. For the first supersymmetry component, varying the bosonic term givesVarying its fermion term gives $-{\epsilon }_1{\partial }_{+}X\cdot {\partial }_{-}{\psi }_1+{\epsilon }_1{\psi }_1\cdot {\partial }_{-}{\partial }_{+}X$. The plus sign in the second term comes from moving the odd parameter past ${\psi }_1$. The middle terms cancel and the rest form ${\epsilon }_1{\partial }_{+}({\psi }_1\cdot {\partial }_{-}X)$. The second supersymmetry component similarly gives ${\epsilon }_2{\partial }_{-}({\psi }_2\cdot {\partial }_{+}X)$. Hence, off shell,This proves the local total-derivative identity for rigid worldsheet supersymmetry; the action is invariant when the corresponding boundary flux vanishes and the transformation preserves the allowed fields. A constant parameter preserves a periodic boson and a periodic fermion. In a Neveu–Schwarz sector, however, $\delta X=\epsilon \psi$ is antiperiodic for constant $\epsilon$ and does not preserve the periodic boson. Thus the bulk identity does not supply a global constant supercharge in every spin sector. This is the spin-structure obstruction to constant worldsheet supersymmetry; the local superconformal formulation handles the different sectors consistently.

For independent field variations, integration by parts gives bulk termsThe equations of motion are thereforeFor variations vanishing at the temporal ends, the spatial seam term is proportional to the difference between its values at $\sigma =2\pi$ and $\sigma =0$ ofThe bosonic part cancels for closed string periodicity, also in a fixed winding sector. For a real fermion impose ${\psi }_a(2\pi )=s_a{\psi }_a(0)$ and the same relation on its variation. Seam cancellation requires $s_a^2=1$, so the two untwisted possibilities are periodic, $s_a=+1$ (Ramond sector), or antiperiodic, $s_a=-1$ (Neveu–Schwarz sector). The two chiralities of a closed string can choose these signs independently, giving R–R, NS–NS, R–NS and NS–R sectors. This discussion assumes the ordinary Lorentz-invariant untwisted boundary conditions of the flat theory.

The chiral equations and boundary signs give the following Fourier serieswhere ${\nu }_a=0$ in R and ${\nu }_a=1/2$ in NS. Thus integer or half-integer modes follow directly from the Fourier series monodromy. With the conventional string oscillator normalization their anticommutation relations and reality conditions areFor an open string the endpoint gluing identifies the two sets of coefficients, leaving one R or NS tower.

In ten-dimensional light-cone gauge in string theory, the eight transverse bosonic modes have positive integer level and each NS fermionic creator has a positive half-integer level. For the unprojected low levels of the open RNS string, all states through ${\alpha }^{\prime }{M}^2=1$ in the NS sector areThe antisymmetric index restrictions are consequences of fermionic anticommutation; the boson–fermion pair has all 64 choices. The displayed partitions exhaust levels at most $3/2$. Here the NS normal-ordering constant of a string is $a=1/2$.

In the R sector $a=0$, and the zero modes satisfy $\{{\psi }_0^i,{\psi }_0^j\}={\delta }^{ij}$. Thus ${\gamma }^i=\sqrt{2}{\psi }_0^i$ generate the Ramond zero-mode Clifford algebra. The unprojected ground states $|S;p⟩$ span a sixteen-dimensional transverse spinor space, $8_s\oplus 8_c$. All states in the requested range areThere is no intervening half-level, since all nonzero R modes have integer level. Acting with the zero modes only moves within the ground spinor space and does not generate further independent copies.

The GSO projection keeps odd NS fermion-excitation parity, removing the tachyonic vacuum and the entire $N=1$ NS level. In R it keeps one eigenvalue of total fermion parity, whose zero-mode part is spinor chirality. It leaves eight massless spinor states. At R level one, the retained families are ${\alpha }_{-1}^i|S_{+}⟩$ and ${\psi }_{-1}^i|S_{-}⟩$, of opposite ground chirality, so there are $64+64=128$ states. The retained NS states are spacetime bosons and the R states spacetime fermions. Consequently the retained levels have $8_B=8_F$ at mass zero and $128_B=128_F$ at ${\alpha }^{\prime }{M}^2=1$, with no tachyon.

Equality at every higher mass level follows from the standard Jacobi abstruse identity, or equivalently the equality of the transverse generating functionsThe left side counts the projected NS bosons, the right side the projected R fermions. Their common coefficients start $8+128q+\cdots$. This consistent truncation yields spacetime supersymmetry; the bulk worldsheet symmetry alone would not remove the tachyon or impose the projection.

State the characteristic convention explicitly: for real $\alpha ,\beta$, define the theta function with characteristics byBinary subscripts ${\vartheta }_{ab}$ often denote this function with $(\alpha ,\beta )=(a/2,b/2)$, $a,b\in \{0,1\}$. On compact subsets of the $(z,\tau )$ domain, a summand and any derivative are bounded by a polynomial in $|n|$ times $e^{-c{n}^2+C|n|}$. Normal convergence therefore gives an entire function of $z$, holomorphic dependence on $\tau$, and legitimate termwise differentiation. In particular the heat equation for theta functions with characteristics isCharacteristics are defined modulo integers with a phase: $\theta [\alpha +1,\beta ]=\theta [\alpha ,\beta ]$ and $\theta [\alpha ,\beta +1]=e^{2\pi i\alpha }\theta [\alpha ,\beta ]$. Shifting the summation index proves the spatial quasi-periodsThese multipliers describe a degree-one line bundle on the complex torus with periods $1,\tau$, rather than an ordinary elliptic function. The logarithmic derivative is unchanged under one and decreases by $2\pi i$ under tau. Pairing opposite sides of a fundamental cell therefore makes its contour integral $2\pi i$. The argument principle counts exactly one zero in a cell, with multiplicity.

The characteristic function is a translate of the unshifted theta function:At $z=(1+\tau )/2$, the unshifted series cancels in pairs $n,-n-1$. Hence the zeros of theta functions with characteristics occur exactly and simply atReindexing also gives $\theta [\alpha ,\beta ](-z)=\theta [-\alpha ,-\beta ](z)$. For half-integer characteristics the parity is $e^{4\pi i\alpha \beta }$, so only $(1/2,1/2)$ is odd and vanishes at zero; the other three theta constants are nonzero.

The modular transformations of theta characteristics are obtained from Gaussian Poisson summation and elementary phase rearrangement. With the holomorphic branch of $\sqrt{-i\tau }$ positive at $\tau =i$,For the first formula, apply Poisson summation to $F(t)=e^{\pi i\tau (t+\alpha {)}^2+2\pi i(t+\alpha )(z+\beta )}$. Completing the square in its Fourier transform givesRearranging ${\sum }_{n}F(n)={\sum }_m\hat{F}(m)$ proves the stated inversion law. For translation by one, use $e^{\pi i{n}^2}=e^{\pi in}$ in the defining series; the remaining characteristic phase is precisely the displayed factor.

Write $Q=e^{\pi i\tau }$, so the modular-form variable of Question 1 is $q=Q^2$, and put ${\Theta }_2=\theta [1/2,0](0,\tau )$, ${\Theta }_3=\theta [0,0](0,\tau )$ and ${\Theta }_4=\theta [0,1/2](0,\tau )$. Inversion interchanges ${\Theta }_2,{\Theta }_4$ and fixes ${\Theta }_3$, each with factor $\sqrt{-i\tau }$. Translation interchanges ${\Theta }_3,{\Theta }_4$ and multiplies ${\Theta }_2$ by $e^{\pi i/4}$. The Jacobi triple product givesIt also gives the conventional odd theta function ${\theta }_1=-\theta [1/2,1/2]$ its product $2Q^{1/4}\sin (\pi z){\prod }_{m\ge 1}(1-Q^{2m})(1-2Q^{2m}\cos (2\pi z)+Q^{4m})$. Differentiate at zero and multiply the three even products to obtain the Jacobi derivative formulaIn the constant-product simplification, ${\prod }_m(1+Q^{2m})(1-Q^{4m-2})=1$, by separating even and odd positive exponents. The products prove nonvanishing of all three even constants as well.

The Jacobi abstruse identity can be proved directly, without assuming it from the products. Splitting pairs of summation indices according to whether their sum and difference are even or odd givesFor example, $u=(n+m)/2,v=(n-m)/2$ are either both integers or both half-integers, and $n^2+m^2=2u^2+2v^2$. The alternating signs give the second identity; shifting both original indices by one half gives the third. Squaring the first two and subtracting then proves ${\Theta }_3^4={\Theta }_2^4+{\Theta }_4^4$.

These identities connect theta theory to modular forms and elliptic curves. The fourth powers are weight-two forms on the principal level-two congruence subgroup. The modular lambda function $\lambda ={\Theta }_2^4/{\Theta }_3^4$ obeys $\lambda (-1/\tau )=1-\lambda (\tau )$ and $\lambda (\tau +1)=\lambda (\tau )/(\lambda (\tau )-1)$; the characteristic permutation kernel is $\Gamma (2)$. It parametrizes an elliptic curve with its ordered two-torsion in Legendre form $y^2=x(x-1)(x-\lambda )$. The corresponding Klein j-invariant is $256(1-\lambda +{\lambda }^2{)}^3/[{\lambda }^2(1-\lambda {)}^2]$. Finally the same products giveIndeed ${\Theta }_2{\Theta }_3{\Theta }_4=2Q^{1/4}{\prod }_m(1-Q^{2m}{)}^3$, whose eighth power divided by $256$ is $q{\prod }_m(1-q^m{)}^{24}$. This recovers the normalized modular discriminant of Question 1 and displays the bridge between Gaussian theta sums and the lattice discriminant of Question 2.

Take ${\partial }_{\pm }=({\partial }_{\tau }\pm {\partial }_{\sigma })/2$ on the strip $0\le \sigma \le \pi$. Varying the Grassmann-odd worldsheet Majorana fermions gives ${\partial }_{-}{\psi }_1=0$, ${\partial }_{+}{\psi }_2=0$ and, up to the orientation of the strip boundary, the surface termAt each endpoint it vanishes if ${\psi }_1=\eta {\psi }_2$ with $\eta =\pm 1$, with the same relation on variations. A common sign can be absorbed by redefining one chiral field, so set ${\eta }_0=+1$. Since ${\psi }_1=f(\tau +\sigma )$ and ${\psi }_2=f(\tau -\sigma )$, the second endpoint imposes $f(u+2\pi )={\eta }_{\pi }f(u)$. Equal endpoint signs give the periodic Ramond sector, and opposite endpoint signs give the antiperiodic Neveu–Schwarz sector:These gluing choices preserve the Neumann-endpoint worldsheet supersymmetry conditions and give integer or half-integer worldsheet Majorana fermion modes, respectively.

First fix a normalization issue in the original PDF. With its stated canonical string oscillator algebra, the standard superconformal current mode iswithout the printed factor $1/2$. To check the Ramond supercurrent zero-mode square directly, pair positive and negative integer modes:The zero-mode Clifford relations give $({\alpha }_0\cdot {\psi }_0{)}^2={\alpha }_0^2/2$. Different $Q_m$ anticommute, and so do $Q_m$ with the zero-mode term. The two same-sign terms in $Q_m^2$ vanish by antisymmetry of the fermions and symmetry of the bosonic product. The cross terms giveThe second term comes from commuting ${\alpha }_m$ through ${\alpha }_{-m}$, so the frequency factor $m$ is essential. ThereforeHere $L_0^R$ uses vacuum-annihilating Ramond normal ordering; its string intercept is zero. A plane-to-cylinder central shift must be included consistently if a different zero-mode convention is used.

For the mode $F_r=G_r/2$ actually printed, the algebra instead gives $\{F_0,F_0\}=L_0^R/2$. Already the oscillator-free term gives $\{F_0,F_0\}={\alpha }_0^2/4$, whereas $2L_0^R={\alpha }_0^2$. Thus the requested identity is not valid with both that prefactor and the supplied string oscillator algebra. Removing the prefactor gives the identity just derived. Renaming $L_0^R/4$ as $L_0$ would fix this isolated equality but would spoil the usual Virasoro normalization and the subsequent mass formula. We use the standard normalized modes $G_r$ in the remaining physical constraints; their vanishing is unaffected by a common nonzero rescaling.

The RNS string physical-state conditions in the two sectors areThe last condition is the fermionic zero-mode constraint; its square implies the Ramond mass-shell condition. Physical null string states are quotiented. Matter central charge is $3d/2$, while the reparameterization worldsheet ghost fields and superconformal ghosts contribute $-26+11=-15$. Thus $d=10$ is the critical dimension of the RNS superstring, with $a_{NS}=1/2$ and $a_R=0$.

To solve the constraints, choose $X^{\pm }=(X^0\pm X^9)/\sqrt{2}$, so ${\eta }_{+-}=-1$, and work on a patch with ${\alpha }_0^{+}=\sqrt{2{\alpha }^{\prime }}{p}^{+}\ne 0$. In light-cone gauge in string theory fix all nonzero ${\alpha }_n^{+}$ and all ${\psi }_r^{+}$ to zero. For the Ramond sector, the printed restriction to nonzero fermion modes is not by itself complete: one must also reduce the longitudinal fermionic zero modes using the zero-mode supersymmetry constraint. The usual reduced light-cone description sets the remaining ${\psi }_0^{+}$ to zero as well and retains the transverse Clifford algebra. Covariantly this reduction is the Dirac equation on the ground-state particle polarization; it is not an extra unconstrained canonical string oscillator.

With this reduction the string oscillator generators have the formRepeated $i$ runs over the eight transverse directions. The coefficient in $L_n^{\perp }$ comes from the fermion worldsheet stress tensor $-\psi \partial \psi /2$; for $n=0$, positive and negative $r$ combine to give the occupation energy $r{\psi }_{-r}{\psi }_r$. Thus the light-cone super-Virasoro constraints are explicitly solved byHere $a$ is $1/2$ in the NS sector and zero in the R sector. The zero-mode equation says $2p^{+}{p}^{-}=p_i^2+(N-a)/{\alpha }^{\prime }$. All longitudinal excitations are consequently determined by transverse bilinears. The critical dimension and string intercepts are necessary for the resulting quantum theory to preserve the target Lorentz algebra.

The frequency-weighted Neveu–Schwarz level operator isThe PDF's displayed number operator omits the fermion frequency weights and the $r=1/2$ term. With the stated anticommutators that cannot be a level operator: it would assign no level to the first fermionic excitation. The bosonic term already includes its frequency through $[{\alpha }_n,{\alpha }_{-n}]=n$, whereas the fermionic term must include its frequency explicitly.

One independent way to obtain the string intercept is the transverse zero-point energy. Each periodic boson contributes $\frac{1}{2}{\sum }_{n\ge 1}n=-1/24$. Each antiperiodic real fermion contributes $-\frac{1}{2}{\sum }_{r\ge 1/2}r=-1/48$, with the minus sign due to fermionic normal ordering. For example a common exponential cutoff givesSubtracting the local divergent terms leaves $8(-1/24-1/48)=-1/2$, so the NS string intercept is $a=1/2$. In the Ramond sector the integer fermions instead contribute $+1/24$ per component and cancel the bosonic contribution, giving $a_R=0$.

The unprojected NS sector oscillator vacuum has $N=0$ andIt is a spacetime scalar tachyon. The first excitation ${\psi }_{-1/2}^i|0;p⟩$ has $N=1/2$ and is massless, with eight vector particle polarizations. Covariantly its particle polarization obeys $p\cdot ϵ=0$ modulo the longitudinal null particle polarization, leaving the same eight degrees of freedom.

The R sector oscillator vacuum is also massless, but it is degenerate because $\{{\psi }_0^{\mu },{\psi }_0^{\nu }\}={\eta }^{\mu \nu }$. The operators ${\Gamma }^{\mu }=\sqrt{2}{\psi }_0^{\mu }$ give the target Clifford algebra, and $G_0|u;p⟩=0$ becomes $p_{\mu }{\Gamma }^{\mu }u=0$. At nonzero null momentum this Dirac equation leaves sixteen unprojected on-shell spinor states. Equivalently the eight transverse zero modes give the sixteen-dimensional spin representation $8_s\oplus 8_c$ of $SO(8)$. Thus the Ramond ground state describes spacetime fermions, not a single scalar oscillator vacuum.

To define the GSO projection explicitly, let $f_{NS}$ count excited NS fermions and give its vacuum even parity. ThenIt retains odd fermion number, removes the tachyon, and retains the eight massless vector particle polarizations. In the Ramond sector let ${\Gamma }_{\ast }$ be transverse chirality and $f_R$ count nonzero-mode fermions. Choose one consistent chirality sign $s=\pm 1$ and useEach operator squares to itself. At the ground level $P_R$ retains one eight-dimensional spinor chirality, so the retained spectrum has eight massless bosonic and eight massless fermionic states. The parity convention can instead assign the NS vacuum odd parity and write a plus projector; the retained states are identical.

Equality continues at every mass level. Let $q$ count ${\alpha }^{\prime }{M}^2$, suppressing common momentum and endpoint-label factors, and set $D(q)={\prod }_{n\ge 1}(1-q^n{)}^8$. The projected string oscillator generating functions areThe Ramond factor eight follows because either chirality projector selects eight ground states for every nonzero-oscillator parity. The Jacobi abstruse identity makes the bracket equal to $16q^{1/2}{\prod }_{n\ge 1}(1+q^n{)}^8$, soThis proves level-by-level equality of bosonic and fermionic multiplicities. The appropriate spacetime supercharge from an RNS spin field relates the two sectors; the projection ensures that it acts within the retained state space. These sector and chirality conventions agree with the primary superstring lecture notes. Equal total counts alone are not the definition of the projection; they follow from the stated parity selection and the string oscillator identity.