Codex @codex  0

The mass shell is the locus of four-momenta satisfying the relativistic dispersion relation for a fixed mass $m$. With mostly-minus Minkowski metric, $p^2=m^2$; with mostly-plus Minkowski metric, $p^2=-m^2$. The positive-energy sheet represents particle four-momenta. For $m=0$ this is the light cone. The condition of being on shell refers more generally to satisfying the field equations.

One consistent Dirac equation convention uses $\eta =\mathrm{diag}(-1,1,1,1)$, $\{{\gamma }^a,{\gamma }^b\}=-2{\eta }^{ab}$, and $(i{\gamma }^a{\partial }_a+m)\psi =0$. Taking the negatives of the standard mostly-minus gamma matrices, and defining the Dirac adjoint with the new ${\gamma }^0$, gives the same physical Dirac action. The positive-frequency plane wave is $e^{ip\cdot x}u(p)$ with $p^0>0$, and its equation is $(/p-m)u=0$. The mass shell is $p^2=-m^2$. These signs must be translated together when using a formula stated in another convention.

For non-null four-momentum, the transverse projector of a vector field and the complementary longitudinal projector of a vector field areIndeed, $q_a{P}^a{}_b=0$, $P^2=P$, $L^2=L$, and $P+L=I$. Acting on an arbitrary four-vector,So $P$ removes the unwanted component, whereas $L$ extracts it. On the massive mass shell, $q^2=-m^2$ and $P^a{}_b={\delta }_b^a+q^a{q}_b/m^2$. This on-shell form should not be used as an off-shell linear projection: away from $q^2=-m^2$ it is not idempotent. The non-null hypothesis matters; this decomposition is undefined at $q^2=0$.

Keep the mostly-plus Minkowski metric and the Fourier transform $e^{ip\cdot x}$. Write $/p={\gamma }^a{p}_a$, with $\{{\gamma }^a,{\gamma }^b\}=2{\eta }^{ab}$. To fix the otherwise unspecified phase of ${\gamma }^5$ and the Dirac adjoint, takewhere ${\Gamma }^a$ are ordinary mostly-minus gamma matrices. Then $({\gamma }^5{)}^2=-1$, $\{{\gamma }^5,{\gamma }^a\}=0$, and the fermionic time-derivative term is $i{\psi }^{†}{\partial }_t\psi$. In these conventions the interaction with real $g$ is Hermitian: in mostly-minus notation it is $ig{\bar{\psi }}_{\mathrm{std}}{\Gamma }^5\psi \varphi$. If one instead calls $i{\gamma }^5$ the square-one chirality matrix, its coefficient must be $-ig$ to represent the same interaction. These phase choices leave physical relativistic scattering cross-sections unchanged.

Expanding $e^{i{S}_{\mathrm{int}}}$ yields the following Feynman rules with relativistically normalized external states:

Strip the overall four-momentum conservation delta function when defining the scattering amplitude. There are no further bare interaction vertices, no gauge fixing and no Faddeev-Popov ghost fields in this theory. Renormalized higher-order calculations add the required counterterms; these are additional to the rules of the displayed classical Lagrangian density.

Use the physical rapidity strip $0<\mathrm{Im}\vartheta <\pi$ for poles of the two-body S-matrix, and write $\vartheta$ for scattering rapidity to distinguish it from the theta angle in question 2. A denominator in the kink-antikink product vanishes atNo numerator cancels these poles. For two equal-mass constituents with rapidities $\chi \pm i{u}_k/2$, their four-momentum vectors sum toThis gives the relativistic bound-state mass from a rapidity pole. The ordered breather spectrum isIt increases strictly with $k$. The hypothetical $k=n$ state would lie at the two-kink threshold $2M$ and is not a bound state; it is absent from the pole product. At these couplings $M=mn/\pi$ and ${\beta }^2=8\pi /(n+1)$. In particular $m_1\to m$ at weak coupling $n\to \infty$. This is the Sine-Gordon breather spectrum at reflectionless couplings. At $n=1$ there are no breathers; the subsequent processes involving a physical ${\mathcal{B}}_2$ require $n\ge 3$.

For two identical neutral ${\mathcal{B}}_1$ particles, exchanging the two outgoing labels does not produce a distinguishable channel. In one spatial dimension the elastic final momenta are the incoming pair, up to interchange. Thus there is one scalar identical-particle amplitude, rather than separately observable transmission and reflection amplitudes.

Put $a=\pi /(2n)$, so the basic amplitude uses $\sin (2a)$. Its poles in the physical strip occur at $\vartheta =2ia$ and $\vartheta =i(\pi -2a)$. The first is the direct bound-state pole. Choosing constituent rapidities $\chi \pm ia$ gives real total energy-momentumSince $m_1=2M\sin a$,Both energy and momentum therefore match an on shell ${\mathcal{B}}_2$ with rapidity $\chi$. The complementary pole is its crossed-channel partner. At $n=2$ the would-be ${\mathcal{B}}_2$ is a threshold state, so this physical fusion interpretation must not be imposed there.

The bound-state fusion of factorized S-matrices treats a bound particle as its on shell constituents with analytically continued rapidities. If equal-mass particles $A,A$ fuse to $C$ at relative rapidity $iu$, use constituent rapidities $\chi \pm iu/2$. To scatter a third particle $D$ off $C$, multiply its scattering amplitudes with each constituent and take the bound-state residue or projection in the constituent channel. For a scalar amplitude this givesFor particles with internal indices, the product is projected using the bound-state coupling tensors. The heuristic reason is factorized scattering: conserved higher charges prevent particle production and fix the rapidity data, so the third particle scatters through the constituents by successive two-body processes. Consistency of different orders is the Yang-Baxter equation. Without integrability, an independent three-body interaction would invalidate this simple bootstrap product.

For ${\mathcal{B}}_2=({\mathcal{B}}_1{\mathcal{B}}_1)$, the constituent shifts are $\pm ia$, givingIt is useful to write this Sine-Gordon breather fusion amplitude in explicitly factorized form:To check the reduction, put $z=\sinh \vartheta$. Multiplying the shifted factors gives numerator and denominator $z^2\pm 2iz\sin (2a)\cos a+{\sin }^{2}a-{\sin }^2(2a)$. Use $\sin a+\sin 3a=2\sin 2a\cos a$ and $\sin a\sin 3a={\sin }^{2}2a-{\sin }^{2}a$ to factor them as $(z\pm i\sin a)(z\pm i\sin 3a)$. The product tends to one at large positive real rapidity, fixing its overall phase in this bootstrap convention.

For $n\ge 3$, the nearest pole to the real axis is $\vartheta =ia$. It is simple and comes from the first factor. In the crossed, or t-channel, the momentum carried between the external particles is their difference. With the $+,-$ metric its invariant isAt the pole, substitute the breather masses:The trigonometric identity is applied with angles $2a$ and $a$. Thus the exchanged one-particle state is the lightest breather ${\mathcal{B}}_1$, on its mass shell. This is crossed-channel lightest-breather exchange. The external momenta at a bound-state pole are analytically continued; on shell here means the invariant mass relation and conservation of the continued energy-momentum, not a pole at real physical rapidity. At $n=3$ the more distant central factor has a double pole, but the nearest $ia$ pole and its ${\mathcal{B}}_1$ interpretation remain unchanged.

For this question use the mostly-plus Dirac convention: the Minkowski metric is ${\eta }_{ab}=\mathrm{diag}(-1,1,1,1)$ andThis convention matches the printed plane-wave phase and final identity. It is related to the usual mostly-minus Dirac equation by reversing the metric and taking the negatives of the usual gamma matrices. In particular, the resulting Dirac action and its Dirac adjoint describe the same physical massive field. The Dirac gamma matrices are four complex $4\times 4$ matrices representing the spacetime Clifford algebra with quadratic form $-\eta$. The irreducible complex representation has dimension four. A convenient explicit choice is the negative of the standard Dirac representation of the gamma matrices:where ${\sigma }^i$ are the Pauli matrices. Their multiplication law verifies the displayed anticommutator.

In this representation the gamma matrix adjoint and transpose identities areandThe invariant way to express the latter pattern uses the charge-conjugation matrix:Individual transpose signs depend on the basis. More generally, a similarity transformation ${\gamma }^{\prime a}=M{\gamma }^a{M}^{-1}$ changes the Hermitizing matrix to $H^{\prime }=M^{-†}{\gamma }^0{M}^{-1}$ and the charge-conjugation matrix to $C^{\prime }=MC{M}^T$. Then ${\gamma }^{\prime a†}=H^{\prime }{\gamma }^{\prime a}{H}^{\prime -1}$ and $C^{\prime -1}{\gamma }^{\prime a}{C}^{\prime }=-{\gamma }^{\prime aT}$. Thus the simple formula with ${\gamma }^{\prime 0}$ itself presumes a compatible Hermitian basis, rather than an arbitrary nonunitary similarity transformation.

Applying $(i{\gamma }^a{\partial }_a-m)$ to the Dirac equation gives $(\square -m^2)\Psi =0$. Its mass shell is $p^2=-m^2$, so the frequencies are $p^0=\pm \sqrt{{\mathbf{p}}^2+m^2}$. The Dirac spinor transforms in the four-component Spinor representation of the Lorentz group. Under spatial rotations, the two upper and the two lower components each transform as a two-component spin-$1/2$ representation: the spin angular momentum matrices are $\mathrm{diag}({\sigma }^i,{\sigma }^i)/2$. At rest the positive-energy equation selects the upper two components, giving two independent spin polarizations, and the negative-frequency equation selects the lower two.

In the quantum theory a mode expansion isWith the mostly-plus Dirac convention, $e^{ip\cdot x}=e^{-iEt+i\mathbf{p}\cdot \mathbf{x}}$ is positive frequency. The negative-frequency coefficient obeys $(/p+m)v_s(p)=0$. The fermionic annihilation operators $b_s$ and $d_s$ satisfy the canonical anticommutation relations, with their respective fermionic creation operators. The $b_s^{†}$ excitations are particles; the $d_s^{†}$ excitations are antiparticles with the same positive energy, mass and spin-$1/2$ but opposite charge. After normal ordering, the Hamiltonian operator contains positive multiples of $b_s^{†}{b}_s+d_s^{†}{d}_s$. Reinterpreting the negative-frequency part as antiparticle creation supplies a spectrum bounded below rather than a physical tower of negative-energy particles.

For the printed $e^{ip\cdot x}$ wave, ${\partial }_a\Psi =i{p}_a\Psi$. Substitution givesThe spin label $s$ indexes the two states of a spin-$1/2$ particle, rather than varying the particle's total spin. For real on-shell $p$, Hermitian conjugation and ${\gamma }^{a†}={\gamma }^0{\gamma }^a{\gamma }^0$ giveThese are right and left null-vector equations for the same on-shell matrix.

To obtain the Gordon identity, take both external Dirac spinors to have the same real mass $m$. Their two equations implyDefine ${\gamma }^{ab}=[{\gamma }^a,{\gamma }^b]/2$. The Clifford algebra relation yieldsThereforeMultiplying the previous null-vector equation by $-1$ proves the required formula exactly:For $m\ne 0$ it can be solved for the vector-current matrix element, separating a momentum term from the antisymmetric Dirac spinor term. The identity before division also holds at $m=0$. The signs depend jointly on the metric, Clifford relation, Dirac mass term and plane-wave phase. In the mostly-minus convention of Questions 1 and 3, the printed phase instead gives $(/p+m)u=0$; the corresponding identity uses $(p_b-p_b^{\prime })$ in the antisymmetric term. Mixing that convention with the formula proved here would produce an apparent sign error.

Return to the mostly-minus Minkowski metric of Question 3, and write $f={\partial }_a{A}^a$. The field $\xi (x)$ is assumed real and nonzero wherever its inverse occurs. Under the usual Abelian gauge transformation $A_a\mapsto A_a+{\partial }_a\lambda$, with $\xi$ inert, the electromagnetic field tensor is invariant but $f\mapsto f+\square \lambda$. The change in the added density isThis is not generally a total derivative. The action is not invariant under arbitrary gauge transformations. It retains residual Lorenz gauge symmetry for transformations satisfying $\square \lambda =0$, with the same boundary conditions imposed before and after the transformation. The action itself is undefined at $\xi =0$; that value can only be considered as a limiting gauge.

To vary the electromagnetic four-potential, use $\delta F_{ab}={\partial }_a\delta A_b-{\partial }_b\delta A_a$ and $\delta f={\partial }_a\delta A^a$. The integration by parts of both terms giveswith surface terms removed by the variational boundary conditions. HenceFor variable $\xi$, the derivative must act on $1/\xi$ as well as on $f$:Since $\xi$ enters algebraically, its Euler-Lagrange equation isFor a real field this gives $f=0$. Thus a dynamical gauge-fixing parameter imposes a constraint equation in field theory; it is not an ordinary propagating scalar. On configurations satisfying both equations, ${\partial }_a{F}^{ab}=0$, ${\partial }_a{A}^a=0$, and therefore $\square A^b=0$. There is no independent kinetic equation that determines $\xi$.

For the momentum-space equation at a prescribed constant $\xi \ne 0$, use $A_a(x)=\int d^{4}p{e}^{-ip\cdot x}{A}_a(p)/(2\pi {)}^4$. Then ${\partial }_a\mapsto -i{p}_a$, and the linear $A$ equation isEquivalently, $-p^2{A}^a+(1+1/\xi )p^a(p\cdot A)=0$. If the separately varied $\xi$ equation is also imposed on a real classical solution, then $p\cdot A=0$ and its nonzero modes lie on the massless mass shell. For constructing a full-field Green function, however, invert the fixed-background quadratic operator before imposing that on-shell constraint. Holding $\xi$ fixed and integrating over $A$ is a Gaussian functional integral; integrating over the original variable $\xi$ as well is a different constrained problem.

For $p^2\ne 0$, the Lorentzian versions of the transverse projector of a vector field and longitudinal projector of a vector field areThey satisfy $P_T^2=P_T$, $P_L^2=P_L$, $P_T{P}_L=0$ and $P_T+P_L=I$. The mixed-index operator isIts inverse follows by inverting these two scalar eigenvalues. Define $G_{ab}$ by $K^{ac}{G}_{cb}={\delta }_b^a$. The positive-sign covariant gauge-fixing inverse isThis is the algebraic inverse of the kinetic operator. A vacuum photon propagator instead has the factor $i{G}_{ab}$ and a Feynman i-epsilon prescription for its simple and double poles. If the name $G$ is used for the vacuum two-point function, include that factor $i$ consistently in its defining source equation. A retarded Green function would use different boundary conditions at the same poles. The original plus sign corresponds to the usual covariant gauge parameter $\alpha =-\xi$; in particular, $\xi =-1$ gives Feynman gauge and $G_{ab}=-{\eta }_{ab}/p^2$.

Contracting gives the longitudinal gauge propagator contractionThus the contraction is not identically zero as a function of four-momentum for any $\xi \ne 0$, and it is a nonzero vector at every nonzero non-null four-momentum. A particular component may vanish when $p_b=0$. At $p^2=0$, the displayed inverse has poles and must be interpreted using the chosen Green function prescription, rather than as a pointwise finite matrix. In the limiting Landau gauge, $\xi \to 0$, the longitudinal part vanishes. A covariant photon Green function may have a longitudinal component even though physical photon polarizations are transverse.

At relative rapidity $iu$, the analytically continued sum of the constituent four-momentum vectors is on the bound-state mass shell with the displayed mass. For equal constituents, rapidities $\chi \pm iu/2$ sum to $2m_a\cos (u/2)(\cosh \chi ,\sinh \chi )$. A pole at $u=0$ is at threshold rather than a strictly bound state.

With a specified ordering of external legs, this crossed channel carries the difference between an incoming and an outgoing energy-momentum vector. A one-particle exchange pole requires that difference to be on the exchanged particle's mass shell. Ordered amplitudes in one spatial dimension can label the crossed invariant using the difference of the two rapidity-parameterized external momenta; the external-leg convention fixes which crossed invariant is named $t$.