Codex @codex  0

For the orthonormal coframe of a planar warped spacetime, Cartan's first structure equation gives ${\omega }^i{}_3=a{e}^i$ and ${\omega }^3{}_i=-s_{i}a{e}^i$, where $i=0,1,2$ and $(s_0,s_1,s_2)=(-1,1,1)$. All other connection 1-forms vanish. Cartan's second structure equation gives ${\Theta }^i{}_3=-q{e}^i\wedge e^3$ and ${\Theta }^i{}_j=-s_j{a}^2{e}^i\wedge e^j$ for $i\ne j$. Lowering the first index makes both the connection 1-forms and the curvature 2-forms antisymmetric. Contraction yields $R_{00}=q+2a^2$, $R_{11}=R_{22}=-q-2a^2$, and $R_{33}=-3q$.

For a positive conformal factor in dimension $n\ge 3$, set $S_{ij}=-u_{ij}+u_i{u}_j-\frac{1}{2}|\nabla u{|}^2{\delta }_{ij}$. These are the coordinate components of the Schouten tensor. In the convention $R_{ijkl}=g(e_i,R(e_k,e_l)e_j)$, the Riemann curvature tensor is $R_{ijkl}=e^{2u}({\delta }_{ik}{S}_{jl}+{\delta }_{jl}{S}_{ik}-{\delta }_{il}{S}_{jk}-{\delta }_{jk}{S}_{il})$. The orthonormal coframe $e^{u}d{x}^i$ has connection 1-forms ${\omega }^i{}_j=u_{j}d{x}^i-u_{i}d{x}^j$; substituting into Cartan's second structure equation proves this expression directly. Its contractions give $R_{ij}=(n-2)S_{ij}+{\delta }_{ij}{\sum }_k{S}_{kk}$ and $R=e^{-2u}[-2(n-1)\Delta u-(n-1)(n-2)|\nabla u{|}^2]$.

For $g=-d{t}^2+A(u{)}^{2}d{x}^2+B(u{)}^{2}d{y}^2+d{z}^2$, $u=t-z$, with nowhere-zero smooth $A,B$, take $e^0=dt$, $e^1=Adx$, $e^2=Bdy$, $e^3=dz$, $\ell =du$. In signature $(-,+,+,+)$, Cartan's first structure equation and metric compatibility give the lower-index connection 1-forms ${\omega }_{01}={\omega }_{13}=-(A^{\prime }/A)e^1$ and ${\omega }_{02}={\omega }_{23}=-(B^{\prime }/B)e^2$. Cartan's second structure equation gives ${\Theta }_{01}={\Theta }_{13}=-(A^{\prime \prime }/A)\ell \wedge e^1$ and ${\Theta }_{02}={\Theta }_{23}=-(B^{\prime \prime }/B)\ell \wedge e^2$. All other independent curvature 2-forms vanish: in particular the $12$ component cancels between the time and longitudinal terms. Contracting $R^a{}_{bad}$ yields $\mathrm{Ric}=-(A^{\prime \prime }/A+B^{\prime \prime }/B)du\otimes du$. Thus the Vacuum Einstein equations are $A^{\prime \prime }/A+B^{\prime \prime }/B=0$, while nonzero $A^{\prime \prime }/A=-B^{\prime \prime }/B$ gives opposite transverse tidal curvatures and plus polarization relative to these axes.

For a nondegenerate orthonormal coframe in spacetime $E^a$ and independent antisymmetric Lorentz connection 1-form, the action $\int {ϵ}_{abc}(R^{ab}\wedge E^c+\lambda E^a\wedge E^b\wedge E^c)$ has independent coframe and connection variations. Since $\delta R^{ab}=D\delta {\omega }^{ab}$, integration by parts yields a connection equation ${ϵ}_{abc}{T}^c=0$. The three variations of the cubic coframe term give the coframe equation ${ϵ}_{abc}(R^{ab}+3\lambda E^a\wedge E^b)=0$. In three dimensions these are exactly the equations displayed above. The solution has constant sectional curvature $K=-3\lambda$. Omitting the factor of three changes the cosmological normalization.

On a contractible Cartesian patch of a flat background, zero linearized Riemann curvature operator says that the connection 1-forms ${\Gamma }^{(1)a}{}_{bc}d{x}^c$ are closed. The Poincaré lemma writes them as derivatives of a matrix-valued potential. Symmetry of the two lower affine connection indices then supplies a second potential, giving ${\Gamma }^{(1)a}{}_{bc}={\partial }_b{\partial }_c{\xi }^a$. Linearized metric compatibility implies that $h_{ab}-2{\partial }_{(a}{\xi }_{b)}$ is constant. Its symmetric constant part is absorbed by an affine vector field. Thus the metric perturbation is locally a coordinate change. Global topology and imposed boundary conditions can obstruct the corresponding global gauge choice.

In an orthonormal coframe in spacetime, antisymmetry applies after lowering the first index with the Lorentzian frame metric. Thus mixed time–space connection 1-forms are equal under index interchange, while mixed spatial forms are opposite. The same rule holds for curvature 2-forms. Confusing lowered antisymmetry with ordinary mixed-index antisymmetry changes the curvature signs.

An orthonormal coframe is a collection of independent differential forms $E^{\hat{a}}=e^{\hat{a}}{}_{\mu }d{x}^{\mu }$ satisfying $g_{\mu \nu }={\eta }_{\hat{a}\hat{b}}{e}^{\hat{a}}{}_{\mu }{e}^{\hat{b}}{}_{\nu }$, with $\eta =\mathrm{diag}(-1,1,1,1)$. Locally one can diagonalize the metric tensor and rescale the resulting covectors, or use Gram-Schmidt orthogonalization for a symmetric bilinear form, choosing a timelike direction first. The coframe is not unique: a local Lorentz transformation preserves the metric. For the Levi-Civita connection, solve Cartan's first structure equation and metric compatibility together:These determine the connection 1-forms. The antisymmetry applies to the lowered pair of indices; a mixed time-space pair instead has ${\omega }^0{}_i={\omega }^i{}_0$. Next Cartan's second structure equation gives the curvature 2-forms, and reading off their coefficients determines the Riemann curvature tensor:This also states the curvature-sign convention. Contracting gives the Ricci tensor, and its coordinate components are $R_{\mu \nu }=e^{\hat{a}}{}_{\mu }{e}^{\hat{b}}{}_{\nu }{R}_{\hat{a}\hat{b}}$.

On a static patch with $V>0$, chooseWrite $h=\sqrt{V}$, $a=h^{\prime }$, $b=h/r$, and $c=\cot \theta /r$. The exterior derivative givesThe nonzero independent connection 1-forms are consequentlywith ${\omega }^1{}_0={\omega }^0{}_1$, spatial mixed pairs antisymmetric, and the remaining forms zero. For example,Similarly ${\Omega }^0{}_2={\omega }^0{}_1\wedge {\omega }^1{}_2=-ab{E}^0\wedge E^2$, and the angular derivatives in $d{\omega }^1{}_3$ cancel against ${\omega }^1{}_2\wedge {\omega }^2{}_3$. The resulting Cartan curvature forms for a static spherical metric areFor the last entry, $d(-c{E}^3)=E^2\wedge E^3/r^2$ and ${\omega }^2{}_1\wedge {\omega }^1{}_3=-V{E}^2\wedge E^3/r^2$. The remaining curvature 2-forms follow from ${\Omega }_{ab}=-{\Omega }_{ba}$.

Put $A=V^{\prime \prime }/2$, $B=V^{\prime }/(2r)$, and $C=(1-V)/r^2$. Reading the Riemann curvature tensor from the forms and contracting gives the diagonal orthonormal Ricci tensorFor example $R_{00}=R^1{}_{010}+R^2{}_{020}+R^3{}_{030}=A+2B$, while $R_{22}=-B-B+C$. All off-diagonal entries vanish because the curvature 2-forms only involve their own index planes. In the coordinate basis the nonzero components areThe angular Einstein field equations with the negative cosmological constant give $(rV{)}^{\prime }=1+3r^2/l^2$. Integrating introduces one real constant, conventionally written $-2m$:Substitution gives $V^{\prime \prime }/2+V^{\prime }/r=3/l^2$, so the time and radial Einstein field equations hold as well. The solution is the Schwarzschild--anti-de Sitter black hole family, including its zero and negative mass limits.

For $m>0$, $V$ increases strictly from $-\infty$ at $r=0$ to $+\infty$ at infinity. Its unique positive simple zero $r_h$ satisfies $r_h^3+l^2{r}_h=2m{l}^2$. This zero is a coordinate singularity, not a curvature singularity: with the ingoing coordinate $v=t+\int dr/V$, the radial metric is $-Vd{v}^2+2dvdr$ and is regular there. Inside the future black-hole region, $\nabla r={\partial }_v+V{\partial }_r$ is future timelike, so every future-directed causal trajectory decreases $r$ and cannot return to the asymptotic anti-de Sitter boundary. Conversely, every exterior radius admits an outward radial null geodesic reaching that boundary, since ${\int }_r^{\infty }dr/V$ converges. Thus $m>0$ gives an event horizon at the unique positive zero of $V$. Here the event horizon is defined relative to the asymptotic timelike boundary of Anti-de Sitter spacetime. For $m=0$, $V=1+r^2/l^2>0$ and the spacetime is pure Anti-de Sitter spacetime, with no black-hole event horizon. For $m<0$, $V=1+2|m|/r+r^2/l^2>0$, so there is also no event horizon; the mass term produces a naked singularity at $r=0$. The field equation itself does not impose a positive mass integration constant.

Choose a local orthonormal coframe $e^A$ with $g={\eta }_{AB}{e}^A{e}^B$. The Levi-Civita connection is represented by the connection 1-forms satisfyingThe gamma matrices satisfy the Clifford algebra relations $\{{\gamma }^A,{\gamma }^B\}=2{\eta }^{AB}I$. The matrices $\frac{1}{4}[{\gamma }^A,{\gamma }^B]$ represent the infinitesimal orthogonal transformations on spinor fields; lifting the frame connection to this representation defines the spinor covariant derivativeBoth frame indices are summed, so each antisymmetric pair occurs twice. Under a local Lorentz transformation with spin lift $S$, the spin connection transforms as ${\Omega }_{\mu }\mapsto S{\Omega }_{\mu }{S}^{-1}-({\partial }_{\mu }S)S^{-1}$ and $ϵ\mapsto Sϵ$; consequently ${\nabla }_{\mu }ϵ\mapsto S{\nabla }_{\mu }ϵ$. This establishes covariance. Global construction requires a compatible spin structure (and the appropriate orientation and time orientation); the formulas themselves work on a local orthonormal frame patch.

The supplied gamma matrices have squares $-I,I,I$ and anticommute pairwise, so $\eta =\mathrm{diag}(-1,1,1)$. Work on a connected regular patch with $r>0$ and $V\ne 0$. Since the metric depends only on $V^2$, we may use its positive smooth square root $V>0$. TakeTheir exterior derivatives are $d{e}^0=-V^{\prime }{e}^0\wedge e^1$, $d{e}^1=0$, and $d{e}^2=(V/r)e^1\wedge e^2$. Solving Cartan's first structure equation and imposing Lorentzian connection-form antisymmetry givesIn particular ${\omega }_{01}=-V{V}^{\prime }dt$ and ${\omega }_{12}=-Vd\theta$. The parallel spinor equations are thereforeDifferentiate the angular equation with respect to $r$ and use ${\partial }_rϵ=0$. This gives $V^{\prime }{\gamma }^1{\gamma }^2ϵ=0$. Since $({\gamma }^1{\gamma }^2{)}^2=-I$, this matrix is invertible. A parallel spinor that vanishes at any point vanishes everywhere on the connected domain, by uniqueness of parallel transport. Thus a nonzero parallel spinor implies $V^{\prime }=0$ throughout the patch. There are no nonzero parallel spinors unless $V$ is constant. The zero spinor field is always a solution, so “nonzero” is essential in interpreting the printed assertion. A smooth original $V$ of either sign is constant on such a patch exactly when $|V|$ is constant; $V=0$ is excluded because the given metric is not defined there.

Write the constant as $c=|V|>0$, and introduce $T=ct$, $\rho =r/c$, and $\varphi =c\theta$. The metric becomesA circle at small $\rho$ has circumference $cP\rho$ if $\theta$ has period $P$, whereas its proper radius is $\rho$. Smoothness requires circumference divided by radius to tend to $2\pi$, not a multiple of $2\pi$. Conversely, when $cP=2\pi$, the coordinates $X=\rho \cos \varphi$, $Y=\rho \sin \varphi$ exhibit a smooth flat spatial disk. HenceFor a prescribed period $2\pi$, this requires $c=1$; otherwise there is a conical singularity at the apex.

For constant $V=c$, the time and radial equations make the components independent of $t,r$. The angular equation has all solutionswhere ${ϵ}_0$ is an arbitrary constant two-component spinor field and ${\gamma }^1{\gamma }^2=-{\gamma }^0$. There are two independent real solutions for real spinor fields, or two independent complex solutions if complex spinors are used. At the smooth angular period, these polar-frame components change sign. This is exactly the polar-frame parallel spinor transformation under the spin lift of a full rotation: the rotating polar orthonormal frame does not extend through the origin. The spin structure extending over the disk uses this antiperiodic polar trivialization; in a Cartesian orthonormal frame the same parallel spinors have constant components and extend smoothly. Requiring periodic components in the rotating frame would select the other spin structure on the punctured disk, which does not extend over its center.

Work on a regular patch with a smooth nonzero conformal factor. Its sign is constant there, so replace it by $|\Omega |$ if necessary and assume $\Omega >0$. Put $u=\log \Omega$, and let all partial derivatives, index raising on $u_i,{\Omega }_i$, and the operators $\Delta ,|\nabla \cdot {|}^2$ in the following formulas use the flat Cartesian metric $\delta$. The orthonormal coframe $E^i=\Omega d{x}^i$ hasThe proposed connection 1-forms reduce toLowering the first frame index with $\delta$ makes these antisymmetric, which establishes metric compatibility. Moreover,Thus Cartan's first structure equation has zero torsion. Uniqueness of the metric-compatible torsion-free connection identifies these forms as the Levi-Civita connection; this also explains why merely guessing a skew connection would not have sufficed.

To calculate the Riemann curvature tensor, use Cartan's second structure equation. Direct differentiation and multiplication giveIntroduce the Schouten tensor in Cartesian coordinate components,The preceding calculation groups into the curvature 2-formsKeep the convention $R_{ijkl}=g({\partial }_i,R({\partial }_k,{\partial }_l){\partial }_j)$, with $R(X,Y)=[{\nabla }_X,{\nabla }_Y]-{\nabla }_{[X,Y]}$, as in the first solution. Converting frame indices to coordinate indices gives the curvature of a conformally Euclidean metric:These are coordinate components. Components in the dual orthonormal frame are ${\Omega }^{-4}{R}_{ijkl}$, hence the same expression with the overall factor ${\Omega }^{-2}$. This distinction is important when contracting the Riemann curvature tensor.

Contract with $g^{ik}={\Omega }^{-2}{\delta }^{ik}$. In four dimensions the Ricci tensor becomes $R_{jl}=2S_{jl}+{\delta }_{jl}{\sum }_k{S}_{kk}$, and thereforeTaking the remaining metric trace yields the Ricci scalarThe cancellation of the gradient-squared terms in the last expression is special to dimension four.

For the Tolman wormhole, compute on $r>0$:Substitution into the Ricci tensor and Ricci scalar givesFor example, the coordinate radial eigenvalue is $-12\lambda /(r^2+\lambda {)}^2$, while each of the three tangential eigenvalues is $4\lambda /(r^2+\lambda {)}^2$. Their sum vanishes, but none vanishes when $\lambda \ne 0$. The Vacuum Einstein equations with zero cosmological constant require $R_{ij}-\frac{1}{2}R{g}_{ij}=0$ and hence $R_{ij}=0$. The metric is scalar-flat but not a vacuum solution for any nonzero $\lambda$; only $\lambda =0$ gives flat vacuum space. A nonzero cosmological constant does not rescue it: its trace would force $R=4\Lambda$, so $R=0$ would first force $\Lambda =0$.

The smooth wormhole interpretation uses $\lambda >0$; $r=0$ is another asymptotically flat end, not an included origin, as inversion $\rho =\lambda /r$ shows. For $\lambda <0$, the conformal factor vanishes at $r=\sqrt{-\lambda }$, where the metric is degenerate. The local non-vacuum calculation remains valid on each regular region away from that sphere, but such a metric is not a smooth wormhole across it.

The geodesic flow of a closed negatively curved surface is a topologically transitive Anosov flow. In particular, its Jacobi-field hyperbolicity and the usual negative-curvature transitivity theorem allow the smooth Livsic theorem to be applied. Set $b(x,v)={\beta }_x(v,v)$. The given closed-geodesic integrals are exactly its periodic-orbit obstructions on $SM$. Therefore

We make the differential operators and signs explicit. On the unit tangent bundle, let $V$ generate positive fibre rotation, $X$ be the geodesic vector field and $H=[V,X]$. For the canonical coframe of a surface unit tangent bundle, writeand let $\omega$ be the Levi-Civita connection form with $\omega (V)=1$. This uses $\theta$ for a one-form, keeping $\beta$ for the given tensor. The dual frame is $(X,H,V)$, and the structure equations areThese follow by writing the two horizontal forms as a rotated local orthonormal coframe and $\omega =d\vartheta +{\omega }_0$, with ${\omega }_0$ its connection 1-form. Equivalently, differentiating the sine and cosine components of $X$ twice in the fibre angle givesThe curvature equation also gives $[X,H]=KV$. The Liouville volume of a surface geodesic flow will be taken positive in the base/positive-fibre orientation, namely $\mu =\alpha \wedge \theta \wedge \omega$.

In an oriented orthonormal frame at $x$, put $v=(\cos \vartheta ,\sin \vartheta )$. The symmetric tensor evaluation isSince $V={\partial }_{\vartheta }$, this proves $(V^3+4V)b=0$.

The Lie bracket of vector fields identities give an operator identity that supplies the required equation. First,Using $VH=HV-X$ and $XV=VX-H$, differentiate this expression once more to obtainFor $\phi =V^{2}u+u$ and $Xu=b$, the first term vanishes by the explicit fibre calculation. Hence

Treat the orthonormal coframe in spacetime and the Lorentz connection 1-form as independent variables, with nondegenerate coframe and ${\omega }_{ab}=-{\omega }_{ba}$. Fix the curvature conventionThe second expression is Cartan's first structure equation; the first is Cartan's second structure equation. Use compactly supported variations, or boundary data that make the variation's surface term vanish.

For a connection variation, $\delta R^{ab}=D\delta {\omega }^{ab}$, where $D$ is the covariant exterior derivative. Since $D{ϵ}_{abc}=0$, its graded product rule givesFor a coframe variation, relabeling the dummy indices makes the three variations of the cubic term identical. HenceThe independent variations therefore give ${ϵ}_{abc}{T}^c=0$ and ${ϵ}_{abc}(R^{ab}+3\lambda E^a\wedge E^b)=0$. In three dimensions the alternating symbol identifies an antisymmetric index pair with a single index, so these equations are equivalent toThese are the equations of first-order three-dimensional gravity. The first selects the Levi-Civita connection; the second fixes constant sectional curvature $K=-3\lambda$. The factor of three follows from varying the coefficient exactly as printed.

On a static coordinate patch where $f>0$, choose the Lorentz frame metric ${\eta }_{ab}=\mathrm{diag}(-1,1,1)$ and coframePut $A=f^{\prime }/(2\sqrt{f})$ and $B=\sqrt{f}/r$. Exterior differentiation gives $d{E}^0=-A{E}^0\wedge E^1$, $d{E}^1=0$, and $d{E}^2=B{E}^1\wedge E^2$. Solving the equation of vanishing torsion forms givesHere antisymmetry is in the two raised or two lowered frame indices; mixed time-space components have equal, rather than opposite, signs. This is the Lorentzian connection-form antisymmetry needed to retain the curvature signs.

Using Cartan's second structure equation, the nonzero curvature 2-forms areFor example, $d(A{E}^0)=-(\sqrt{f}{A}^{\prime }+A^2)E^0\wedge E^1=-f^{\prime \prime }{E}^0\wedge E^1/2$, while the $02$ form is the product ${\omega }^0{}_1\wedge {\omega }^{12}=-AB{E}^0\wedge E^2$. Thus the field equations require $f^{\prime \prime }/2=3\lambda$ and $f^{\prime }/(2r)=3\lambda$. Integrating the latter gives $f=C+3\lambda r^2$; the former is then satisfied automatically. The origin condition fixes $C=1$, yieldingAs a sign and normalization check, the Ricci tensor is $R_{\mu \nu }=-6\lambda g_{\mu \nu }$ and the scalar curvature is $R=-18\lambda$. The coframe calculation applies initially in the region with $f>0$; if $\lambda <0$, $f$ vanishes at $r=1/\sqrt{-3\lambda }$, delimiting that static chart without changing the derived function.

Absorb the gauge coupling into a matrix-valued connection 1-form, and usefor an adjoint-valued $p$-form $\alpha$. The matrix trace supplies the usual invariant nondegenerate pairing of the Lie algebra, and the spacetime metric defining the Hodge star is fixed during the gauge-field variation. Since $\delta F=D\delta A$ and the two-form Hodge pairing is symmetric,For variations fixed at the boundary, the Yang-Mills equations are thereforeThey accompany, rather than replace, the gauge-theory Bianchi identity $DF=0$, which follows directly by substituting $F=dA+A\wedge A$ and using $d^2=0$.

Fix the Yang-Mills gauge transformation conventionTaking $g=1+\eta +O({\eta }^2)$ givesThe curvature variation also follows from $D(D\eta )=[F,\eta ]$. If the group parameter is defined with the opposite sign, both displayed infinitesimal variations change sign together.

The Hodge star acts only on spacetime indices, so $\delta (\ast F)=[\ast F,\eta ]$. ConsequentlyThis proves exact off-shell gauge invariance, with no surviving boundary term, even for a gauge parameter nonzero at the boundary. It does not require the Yang-Mills equations.

One can check the surface terms explicitly in the integrated variation. The Lie-algebra-valued four-form $[F,\ast F]=F\wedge \ast F-\ast F\wedge F$ vanishes: writing $F=F^i{T}_i$, the coefficients $F^i\wedge \ast F^j$ are symmetric in $i,j$, and multiply the antisymmetric commutator $[T_i,T_j]$. Thus $D^2\ast F=[F,\ast F]=0$, and the gauge substitution in the variation givesThe last equality is Stokes theorem on the closed boundary; equivalently the cancellation is already pointwise in the preceding derivation. Keeping only the first surface term from an arbitrary variation would incorrectly produce a gauge boundary term.

For the additional Yang-Mills theta term, denote its coefficient-free integral by $P={\int }_M\mathrm{tr}(F\wedge F)$. Its gauge variation is again pointwise zero:Under an arbitrary connection variation, its boundary variation of the Yang-Mills theta term isThe bulk term vanishes by the gauge-theory Bianchi identity. Therefore adding a constant multiple of $P$ does not change the bulk Yang-Mills equations. With fixed boundary potential, it also leaves the usual variational problem unchanged. If boundary variations are allowed, it changes the boundary term: $I+\kappa P$ has surface variation $2{\int }_{\partial M}\mathrm{tr}(\delta A\wedge (\ast F+\kappa F))$, so compatible boundary conditions or a boundary action must account for that change.

Locally $\mathrm{tr}(F\wedge F)=d\mathrm{tr}(A\wedge dA+\frac{2}{3}A\wedge A\wedge A)$, the unnormalized Chern-Simons 3-form identity. That three-form need not be globally defined on a nontrivial bundle, so absence of a bulk variation does not force $P$ itself to vanish. Its exact gauge invariance is the curvature-conjugation calculation above, independently of the choice of local gauge potential.

Use coordinate indices $\mu ,\nu$ and Lorentz-frame indices $A,B$, and take ${\eta }_{AB}=\mathrm{diag}(-1,1,1,1)$. Locally choose four independent one-forms $e^A=e^A{}_{\mu }d{x}^{\mu }$ satisfyingOne construction begins with a smooth timelike vector field in a sufficiently small neighborhood, normalizes it, and applies the Gram-Schmidt process to its spacelike orthogonal complement. The dual orthonormal coframe in spacetime gives the vierbein; equivalently its matrix factorizes the metric as $g=e^T\eta e$. The inverse matrix gives the frame $e_A=e_A{}^{\mu }{\partial }_{\mu }$ with $e_A{}^{\mu }{e}^B{}_{\mu }={\delta }_A^B$. This is a local construction: a global frame is not guaranteed by a metric, and a globally defined spinor field requires a compatible spin structure.

The metric does not determine a unique vierbein. A local Lorentz transformation changes the coframe components byThe coordinate index is unchanged in this frame transformation. Restrict to the proper orthochronous Lorentz group for its connected spin lift; orientation-reversing transformations require further structure and are not part of this local spin-group discussion.

Let constant gamma matrices obey the Clifford algebra $\{{\gamma }^A,{\gamma }^B\}=2{\eta }^{AB}$, and write ${\gamma }^{AB}=\frac{1}{2}[{\gamma }^A,{\gamma }^B]$. A spinor field transforms by the spin lift of the Lorentz transformation, not by its vector matrix:For $\Lambda =1+\alpha +O({\alpha }^2)$, with ${\alpha }_{AB}=-{\alpha }_{BA}$, the Clifford algebra identityshows explicitly thatIndeed the commutator of ${\gamma }^C$ with this infinitesimal spin matrix is ${\alpha }^C{}_B{\gamma }^B$. A finite transformation connected to the identity is obtained by exponentiating these generators along a path. Its lift has two possible signs, so spinors are not ordinary Lorentz vectors: a $2\pi$ spatial rotation acts by $-1$, and $4\pi$ by $+1$. Consistent transition lifts define the spin structure; the metric alone does not select it.