For the specified mode normalization, the canonical anticommutation relations are
and every other anticommutator of the operators vanishes. For the Dirac field, they imply the Equal-time canonical anticommutator of a Dirac field
To check the normalization, the two sectors contribute and with opposite spatial Fourier signs. Reverse in the second contribution. The completeness relations then give
where . This cancels the mode denominator and leaves the Fourier representation of the delta function. Same-momentum orthogonality must not be used in place of this reversed-momentum identity.
For arbitrary spacetime points,
For spacelike , choose a Lorentz frame with ; reversing spatial momentum shows . Its derivatives vanish there as well, so the field anticommutators vanish at spacelike separation. This is fermionic microcausality. The anticommutation rules make the occupation of each normalized mode zero or one, implementing the Pauli exclusion principle, and make the normal-ordered free Hamiltonian positive for both particle sectors.
For global four-dimensional supersymmetry, use
Let be fermion parity. On a finite one-particle supermultiplet at fixed positive-energy momentum, the supercharges act within the multiplet and . Cyclicity of the finite-dimensional trace gives
Thus the trace with of every displayed diagonal anticommutator vanishes. Summing the two components, , so
Since , this proves , for both massive and massless one-particle multiplets. The restriction matters: a zero-momentum supersymmetric vacuum singlet, annihilated by every supercharge, need not contain a fermionic partner. The algebra does not imply equal counts for such a trivial zero-energy representation or for an arbitrary unregulated infinite-dimensional trace.
For the unheaded extended-algebra request, fix the central-charge normalization explicitly:
The central charges are scalar numbers on an irreducible massive representation. A unitary skew-diagonalization of an antisymmetric matrix puts into two-by-two blocks and, for odd , a leftover zero entry. Since this change of supercharge basis is unitary, it preserves the mixed anticommutator. Go to the rest frame .
For one block set and , with . Direct use of the algebra gives
Write and form the combinations suggested by the hint:
Then
Each diagonal anticommutator has nonnegative expectation because it is the sum of squared norms of an operator and its adjoint. Therefore for every block, proving
If the algebra is instead written with without the factor two, the same proof gives . This is the normalization used by some definitions of the BPS bound in supersymmetry; the physical bound is unchanged by the naming of the central charge.
A massive BPS state saturates at least one block bound. At saturation , so both and annihilate every state in its multiplet. The two complex inactive oscillators are four preserved real supersymmetries per saturated block. If blocks saturate, the preserved fraction is and only complex fermionic oscillators remain active. For a spin- Clifford vacuum,
compared with for a long massive multiplet. Thus BPS states have an exact mass-charge relation, preserve part of the supersymmetry, and belong to shortened representations. A physical CPT-invariant spectrum may additionally require the conjugate-charge multiplet. The short representation protects the saturated mass relation while it exists; it does not prohibit a decay at a threshold where central-charge phases align and the sum of daughter masses equals the bound.
Use the critical ten-dimensional RNS string and light-cone gauge in string theory, leaving eight transverse bosons and eight transverse fermions. The bosonic oscillators have integer . In the Neveu–Schwarz sector the fermionic oscillators have positive half-integer , while in the Ramond sector the fermionic oscillators have integer , including zero modes. Their anticommutators are and . The level and mass formulas are
Before projection the NS ground state is a tachyon of mass squared . Its oscillator tower describes spacetime bosons. The Ramond zero-mode Clifford algebra makes the Ramond vacuum a 16-dimensional spinor of , split into the two chiral eight-dimensional spinors. The Ramond tower describes spacetime fermions; there is no Ramond tachyon.
Choose the supersymmetric GSO projection. In the NS sector it keeps states with an odd number of fermionic creation operators, eliminating the zero-oscillator tachyon. In the Ramond sector it fixes the combined parity of the zero-mode chirality and the nonzero-mode fermion number. Thus the Ramond vacuum retains one chirality; adding an odd number of nonzero-mode fermions requires the opposite zero-mode chirality. The projected towers both have . Here the counts refer to oscillator polarizations for a single endpoint multiplicity; any common Chan-Paton multiplicity multiplies both counts.
At the first retained mass level, , the NS states are for , furnishing the eight polarizations of the ten-dimensional gauge vector. The Ramond ground state is one chiral spinor with eight physical polarizations. Hence
These form the massless supersymmetric vector multiplet.
At the next mass level, , the NS level is . The odd-fermion condition leaves exactly
Their counts are , and . Anticommutation requires distinct indices in the third family. There are no other partitions of with odd fermion number, so these are all 128 bosons. They assemble into the massive little-group representations of dimensions 44 and 84: a traceless symmetric two-tensor and a three-form.
At Ramond level one, the only possibilities are and . The spinors and each have eight components and have opposite zero-mode chirality because the fermionic oscillator reverses the GSO parity. Consequently there are fermions. They form a gamma-traceless vector-spinor of the massive little group: a vector-spinor has components and its gamma trace removes 16. Therefore the first massive level of the open RNS string has
This is the open-string mass normalization; the same chiral oscillator count used in a closed string would correspond to .
Work with metric , and , where are the Pauli matrices. The supercharges of four-dimensional N=1 supersymmetry form one Weyl spinor and its conjugate . Dotted and undotted indices cannot be interchanged; the conjugate charge in the printed mixed relation has a dotted index.
A direct derivation starts from superspace coordinates , with the four odd coordinates generating a Grassmann algebra. Use left Grassmann derivatives, so
Odd derivatives anticommute with one another, and multiplication by distinct odd coordinates also anticommutes. The operators specified by the question can be written
Their coefficients do not depend on , hence . Within , the two odd derivative terms anticommute; the derivatives of the barred-coordinate coefficients vanish; and the two barred-coordinate multiplication terms cancel because the coordinates anticommute while the spacetime derivatives commute. Thus
This realizes the minimal algebra with no extra tensorial charges.
For the mixed anticommutator, split each operator into its odd derivative and odd-coordinate parts. The derivative/derivative anticommutator is zero. The coordinate/coordinate terms also cancel, since . The two remaining pieces are
Adding gives the superspace differential realization of N=1 supercharges:
In particular the differentiated-coordinate contributions have the same sign, not opposite signs. The graded product rule is the essential step; treating these as ordinary commuting-coordinate derivatives would give an incorrect algebra.
To obtain the Lorentz part, let transform as a four-vector and in conjugate spinor representations. Define
The Pauli matrix multiplication law gives the intertwining identity
It shows that the two terms in transform together as a covariant Weyl spinor: the coordinate derivative transforms in the dual spinor representation, while the barred-coordinate/spacetime-derivative term transforms in that same representation through this identity. Infinitesimally, with , its transformation is . Comparing with the first-order expansion of gives
If the paper's spin matrix is denoted , this is exactly its first displayed relation. Defining that spin matrix without the factor instead requires an explicit in the commutator; this is a generator convention, not a different algebra. The conjugate relation follows by Hermitian conjugation.
Combining the Lorentz transformation with the differential computations gives the Super-Poincaré algebra in the question's notation:
The even generators retain the ordinary Poincare algebra. As a closure check, the even superspace variation gives , and . Two such variations commute to a translation by , with zero commutator on the odd coordinates, reproducing the same normalization and showing why the anticommutator produces momentum.
Taking gives . Taking for and expanding the square gives . Thus the anticommutator and commutator together imply
Since is Hermitian and is real, the exponent is anti-Hermitian. Its exponential has inverse equal to its adjoint and is therefore unitary. Splitting the exponential series into even and odd powers, using , gives
Put with . Then , , and . Expanding gives . Consequently
The spin-half angular momentum is . The commutators then become , and expresses the two possible directional spin values . Also , appropriate to spin one half. The exponential represents a spatial rotation on spin states.
Choose and initially . The conjugation formula sends to . Therefore
Thus is spin up along , as required.
In four dimensions, extended supersymmetry has independent Weyl spinor supercharges, or real generators. With the ordinary particle Super-Poincaré algebra,
The central charges in supersymmetry commute with spacetime generators and the supercharges; an R-symmetry can act on their internal indices. Antisymmetry makes a scalar central charge impossible for .
At positive timelike momentum, the rest-frame supercharges act as fermionic oscillators. Without central charges, a spin- Clifford vacuum generates states. For a massless supermultiplet, positivity makes half the supercharges act trivially. The remaining creation operators generate states with helicity levels and multiplicities . A separate CPT completion of a supermultiplet may be necessary. Keeping all helicities between and gives for a theory without gravity; allowing helicity two gives .
A nonzero central charge in supersymmetry changes the oscillator norms. For an central-charge block, write . Suitable combinations of a charge and the adjoint of the other have anticommutators and . Their positivity gives
A BPS state saturates this BPS bound in supersymmetry. The combinations with zero anticommutator annihilate it, preserving part of supersymmetry and giving a shortened BPS supermultiplet. In this example a scalar-seeded massive multiplet has four states instead of sixteen, before any required CPT completion. More central-charge blocks allow different fractions of preserved supersymmetry. The mass-charge relation is protected as long as the short state exists; this does not guarantee stability against decay everywhere in parameter space.
The main obstruction to unbroken extended supersymmetry at low energies is the chirality constraint on extended supersymmetry. An vector multiplet contains an additional adjoint complex scalar. A full hypermultiplet contains two matter chiral superfields in conjugate gauge representations and . Its charged fermion spectrum is therefore vectorlike. Half-hypermultiplets in pseudoreal representations do not supply genuinely complex chirality. The gauge multiplet is still more restrictive: it has four adjoint Weyl spinors and six adjoint real scalars. These spectra and their constrained interactions cannot directly reproduce the chiral electroweak matter and arbitrary Yukawa couplings of the Standard Model.
At most unbroken supersymmetry can directly describe the observed chiral four-dimensional gauge spectrum. Extended supersymmetry can be useful in a higher-energy theory, in an internal sector or before compactification, but it must be reduced or broken to obtain that low-energy spectrum. This is a statement about unbroken symmetry of the relevant sector, not a prohibition on extended supersymmetric ultraviolet descriptions.
Sum the diagonal mixed anticommutators in the Super-Poincaré algebra. Their spatial terms have zero Pauli trace, giving
For every normalized state in the common operator domain,
This proves energy positivity in global supersymmetry. The zero of energy is fixed by this algebra, rather than by an arbitrary independent subtraction.
A supersymmetric vacuum is invariant under every supercharge and its adjoint. Its energy therefore vanishes. Conversely, a normalized vacuum of zero energy makes every nonnegative norm on the right zero, so all supercharges annihilate it. Consequently
For an infinite spatial volume the corresponding statement is about vacuum energy density, obtainable by first regulating the volume. It concerns rigid supersymmetry; the gravitational scalar potential in supergravity has additional terms and is not generally nonnegative.
Use , and , where are the Pauli matrices. The translation and Lorentz generators obey the Poincare algebra
One can derive the additional relations by realizing the supercharges as differential operators on superspace. With left Grassmann derivatives and , take
Using , the two mixed derivative-coordinate terms each give . The remaining terms cancel by Grassmann anticommutation. Equal-chirality terms cancel in the same way. Hence
All coefficients are independent of , so direct differentiation gives . This also shows that supercharges commute with translations and preserve the four-momentum of a state.
For the Lorentz generators, define the left-handed spinor matrices
The identity gives their Lorentz commutation relations. Acting on the spinor superspace coordinates and their dual derivatives then gives, in a column-component convention,
Here dotted index values are identified with the conjugate undotted values, and . The second formula also follows directly by taking the adjoint of the first, using Hermitian . For example, , so and for . This explicit component convention avoids reversing signs by mixing state matrices with operator-component matrices. Covariance of the mixed anticommutator follows by applying these matrices to .
These are the minimal Super-Poincaré algebra relations. In the ordinary particle algebra a possible scalar term in would be proportional to , but an anticommutator is symmetric in its two labels; with only one supersymmetry such a central term vanishes. Extended algebras can instead use an antisymmetric internal index tensor. Tensor charges associated with extended objects are not part of this minimal particle algebra.
For a positive-energy massless supermultiplet, choose with , so and
Positivity of the Hilbert-space norm implies that both and annihilate every state: their squared norms sum to zero. Set
For momentum along the positive third axis, helicity is . The Lorentz commutators give and . Choose a highest-helicity Clifford vacuum with . Its partner has unit norm if the first state does and has helicity . No further state is generated because . Therefore
The two states have opposite fermion parity. A CPT completion of a supermultiplet adds helicities and conjugate internal charges when necessary. Taking produces a complex scalar and a Weyl spinor after CPT completion; taking produces the massless vector multiplet. This construction assumes ordinary finite-helicity particle representations, rather than continuous-spin representations.
Choose a parallel-transported orthonormal basis of the screen. In that basis a symmetric trace-free null shear and antisymmetric null twist have forms
Direct multiplication gives
Hence
Since the tidal matrix is symmetric, the antisymmetric part of the Sachs optical equations immediately gives
Thus an initially null twist-free null geodesic congruence remains null twist-free while its optical description is regular.
To obtain the trace-free symmetric source, use the original PDF's Weyl tensor formula, with antisymmetrization brackets carrying weight . The TeX aid has lost indices and brackets. The correct curvature decomposition is
Contract with and project onto the screen. Terms containing or a remaining screen-projected vanish. The only Ricci term left is
The Weyl term has zero screen trace, by its trace-free property and antisymmetry. Consequently the trace-free symmetric part of the optical equation is the null-shear propagation equation
The two-dimensional matrix identities are essential: in a higher-dimensional screen the null shear square can have a trace-free part and the null shear–null twist anticommutator need not vanish. Choosing the parallel-transported auxiliary null vector makes these tensor transport formulae hold without extra moving-screen terms.
Use mostly-minus metric signature, . The Weyl sigma matrices are and , with the three Pauli matrices
The Pauli matrix multiplication law immediately gives : the case is , the mixed cases cancel, and the spatial cases give . The spinor indices of express the correspondence between a Lorentz four-vector and a Hermitian matrix. For , ; preserves this determinant for , yielding the Lorentz spinor double cover.
In four-dimensional N=1 supersymmetry, the odd supercharges and transform as conjugate Weyl spinors. Their Super-Poincaré algebra is
The ordinary translation and Lorentz generators satisfy the Poincare algebra, and the Lorentz generators act on the supercharges by the corresponding group representations on Weyl spinors. Tracing the mixed anticommutator gives , proving energy positivity in global supersymmetry. For a massive rest-frame state, , the rescaled charges obey the canonical anticommutation relations. Acting with their adjoints builds a supermultiplet containing states of alternating fermion parity.
A supercharge is an odd Weyl spinor generator. The mixed anticommutator has one undotted and one dotted index, hence transforms as a Lorentz four-vector. In the minimal Super-Poincaré algebra, its only spacetime generator is the four-momentum, so covariance fixes it to . Normalizing the charges canonically fixes :
The number two is a normalization, not something Lorentz covariance alone could fix under .
For an explicit closure calculation, use left Grassmann derivatives in superspace and the differential translation convention :
Each of the two derivative-coordinate cross terms contributes ; the other terms cancel by anticommutativity. This proves the displayed coefficient. The same calculation gives and . There is no scalar central charge for a single supersymmetry label: symmetry of the anticommutator is incompatible with a term proportional only to the antisymmetric .
In the massive rest frame , the mixed relation is . These positive canonical anticommutation relations supply the input for the normalization and finite fermionic Fock space in the question-level continuation.
Write and . In the Jacobi-consistent convention just fixed,
Applying the commutator product rule twice gives
Here produces the constant term; moving the to the right accounts for it. Consequently
Thus the physically consistent numerical coefficients are
If one mechanically retains the literal positive-sign column transformation instead, the coefficient tuple would be . It cannot describe a unitary multiplet with the supplied rotation algebra, by the explicit Jacobi counterexample in part (a).
Take the spin-zero Clifford vacuum , normalized to one and annihilated by the two annihilation charges. This is a lowest Fock state of a positive-mass representation, not a zero-energy vacuum annihilated by every charge. For the first one-charge state,
The ladder commutators are , , , . Therefore these two states are the pair. A phase choice makes the usual positive ladder coefficient hold.
Raising the dotted index only changes the oscillator basis by the unitary antisymmetric epsilon matrix, so . Since ,
The positive convention would formally label this state with while acts nontrivially on it, contradicting the highest-weight ladder rule. This supplies an independent state-level check of the needed sign correction.
The two-charge state is a rotation singlet. Indeed, using and , the product rule gives for every : only the sum of the two diagonal spinor coefficients survives, and their trace is zero. Hence the requested commutators and quantum numbers are
Its squared norm is before multiplication by , by the two oscillator anticommutators.
The spin-zero massive N=1 supermultiplet therefore consists of , , and . Their spins are , all with the same mass . Starting with an even vacuum, the two spin-zero states are bosonic and the two one-charge states fermionic. They are the two real scalar degrees of freedom and the two on-shell fermion polarizations of a massive chiral multiplet. Any product of three creation charges repeats an index and vanishes; annihilation charges reduce to these four states by the canonical anticommutation relations. There are exactly four independent states.
Continue with metric signature . The Pauli matrices obey . Block multiplication in the chiral gamma-matrix representation gives
and
Hence , the required Clifford algebra. Multiplying the Dirac equation by yields
The antisymmetric part of drops out because partial derivatives commute. Therefore every component of the Dirac spinor satisfies the Klein-Gordon equation. The converse is not true: four arbitrary scalar solutions need not obey the first-order Dirac equation.
The Lorentz group consists of real invertible matrices preserving the Minkowski metric: . Writing gives , so there are six continuous parameters: three spatial rotation angles and three boost rapidities. The proper orthochronous Lorentz group is the connected component with determinant that preserves time orientation. Parity and time reversal are additional discrete operations and are not encoded by the six real parameters in an exponential near the identity.
For the real-generator convention used here, vector generators can be written
Take and use the same parameters in the spinor representation. The Lorentz-spinor generators from a Clifford algebra are
To verify the Lorentz algebra, first commute a generator with one gamma matrix:
For example, this follows by moving through each product using the Clifford anticommutator. Applying the commutator derivation rule to then gives
No extra factor of belongs in these generators with this commutator convention. Hermitian-generator conventions shift the factors of into the brackets and the exponential instead.
The same gamma commutator proves
Indeed, to first order , exactly the infinitesimal vector action defined above. Exponentiating proves the finite relation. The spinor field transforms as with ; combining this relation with preserves the Dirac equation. A rotation gives , so the spinor matrices give the double-cover spin representation, rather than a single-valued ordinary representation of the Lorentz group itself.
For a boost in direction , is Hermitian, with eigenvalues . A real rapidity therefore produces eigenvalues in , whose moduli are not one. The finite-component spinor representation is not unitary for boosts, although the rotation matrices are unitary. The Lorentz group is noncompact; this does not forbid the unitary infinite-dimensional action on the physical Hilbert space of states.
Nevertheless, since ,
This Dirac spinor pseudo-unitarity implies , and consequently
The Dirac adjoint is precisely the adjoint needed to form this Lorentz scalar; ordinary alone is not a scalar.
Let . It anticommutes with every gamma matrix and commutes with every , so . Thus the axial current transforms as a four-vector under proper Lorentz transformations:
Under parity it is an axial vector, acquiring the additional pseudovector sign. Contracting two axial currents cancels that sign and uses the invariant metric. Therefore is compatible with Lorentz invariance, including parity invariance of this contraction. Lorentz invariance of the interaction does not require the axial current to be conserved.
Let denote the sheaf of differential forms of type (p, q) printed in the PDF. Take the pointwise Hermitian inner product to be linear in its first argument, and use . The bidegrees in the question specify the conjugate-linear Hodge star: it is uniquely characterized by
Thus , and maps bidegree to . If is the complex-linear extension of the real Hodge star operator, then . The operator is real and on degree , so
Using the complex-linear star instead would give a different bidegree, ; keeping the convention explicit prevents that ambiguity.
The Hermitian Lefschetz operator is exterior multiplication by . Define pointwise by
It lowers bidegree by . In a unitary real coframe with , it is , the corresponding sum of interior product of a differential form operators. This gives its existence and identifies it as a smooth operator. On a compact manifold, integrate the pointwise equality against to obtain
No integration by parts is needed for this order-zero operator. Thus is both the pointwise and the global formal adjoint.
Write , and let denote the degree of the input form. The given Lefschetz commutator is . For the required formula is exactly this identity. If it holds for , the commutator derivation identity gives
The second commutator acts on degree , so the coefficient on the right is
This proves the commutator formula for powers of the Lefschetz operator
For injectivity of powers of the Lefschetz operator, is immediate. Suppose and . If or , then , and implies
The scalar is nonzero, since makes . Repeating with the smaller power shows . For , induct on , treating all cases as already established. The same commutator calculation yields, with ,
The induction hypothesis applies to on degree , since and . Hence with of degree . Moreover . Since , induction also makes injective on that degree, so and . All operators preserve restriction to open sets; the argument applies on every open set. Therefore is an injective morphism of sheaves whenever .
On a Kähler manifold, the Kähler identities, with the positive form convention used above, are
Taking formal adjoints conjugates the scalar and reverses the order in the commutator. Since , this gives
To derive the Kähler Laplacian identity, put and , so and . Write for an anticommutator. The Kähler identities say and . Therefore
because expansion leaves only terms containing or . Furthermore,
Expanding these expressions and using makes them equal. Since and , the mixed anticommutators already vanish, and consequently
Closedness of the Kähler form implies . Using the adjoint identity above,
The equality of the three Laplacians therefore proves each Laplacian commutes with .
For a compact Kähler manifold, the Dolbeault Hodge decomposition is the orthogonal decomposition
Here harmonicity for the Dolbeault Laplacian and for the Hodge Laplacian agrees by the preceding identity. If and , then . Taking its inner product with gives . Thus is cohomologous to . Conversely, a harmonic form is -closed, and a harmonic exact form satisfies . This proves existence and uniqueness of the harmonic representative and hence
These spaces are finite dimensional by the ellipticity of the Dolbeault Laplacian on the compact manifold.
Complex conjugation commutes with the real operator and interchanges the bidegrees and . It is therefore a conjugate-linear bijection of the harmonic spaces, proving Hodge symmetry. The real Hodge star operator commutes with , as does complex conjugation; hence their composition, our conjugate-linear Hodge star, sends harmonic -forms bijectively to harmonic -forms. Its square is the nonzero scalar established above. This proves Hodge duality, and gives
For the final hard Lefschetz isomorphism on Dolbeault cohomology, take and . This restriction is necessary to make the displayed power nonnegative. The Hermitian Lefschetz operator raises bidegree by , and the Lefschetz operator preserves harmonic forms; therefore
is well defined. It is injective by injectivity of powers of the Lefschetz operator, since . Hodge symmetry and Hodge duality give , so it is a bijection between finite-dimensional spaces of equal dimension. Because , the map on harmonic representatives agrees with exterior multiplication by on Dolbeault cohomology. We conclude
For , the corresponding valid statement is the inverse of the positive-power isomorphism from bidegree to ; a negative exterior-multiplication power is not defined.
is a fermionic chiral spinor superfield. Its chirality follows directly from the Abelian field-strength chiral projection:
There are only two independent barred supersymmetric covariant derivatives, and their equal-chirality anticommutators vanish. Every product of three barred derivatives therefore vanishes. Equivalently, the previous calculation has no independent barred Grassmann variable at fixed . The free undotted index makes this a chiral spinor superfield, rather than a scalar chiral superfield; its lowest component is the odd gaugino .