Codex @codex  0

For $n\ne 0$, put $\rho =f(r)/|n|$ and $\theta =|n|\varphi$. Then $d{\rho }^2=d{r}^2$ andThese give a local isometry wherever $\rho >0$. For $n=0$, $f=b>0$, and the local coordinates $X=r$, $Y=b\varphi$ similarly give the Euclidean plane metric tensor. Equivalently, the Gaussian curvature of the original Riemannian metric is $-f^{\prime \prime }/f=0$ throughout this family.

A local isometry need not be a global isometry. If $|n|=1$, the displayed polar map is injective modulo $\varphi \sim \varphi +2\pi$ and identifies the regular domain with a Euclidean annulus, possibly a punctured disc or the punctured Euclidean plane, according to the radial interval. If $|n|>1$, it is a $|n|$-fold covering of that annulus: distinct angles differing by $2\pi /|n|$ have the same image. This developing map cannot be made injective by a different choice of Euclidean coordinates, since two local Euclidean isometries on a connected flat domain differ by a rigid motion once their value and differential are fixed at one point. For $n=0$, the domain is a flat cylinder; its circular curves are closed geodesics, whereas the Euclidean plane has no nonconstant closed geodesic.

All these metrics are locally Euclidean; they are not all globally Euclidean. Even the regular $|n|=1$ domain is an annular region rather than the entire Euclidean plane. A regular axis can be added without a conical singularity only when $|n|=1$; with the full radial range this completion becomes the Euclidean plane. Trivial holonomy alone therefore does not supply a global injective Euclidean chart.

The Equivalence principle permits Riemann normal coordinates at any event, in which the first derivatives of the metric tensor, and hence the Christoffel symbols, vanish. A putative universal local gravitational stress-energy tensor constructed from the metric and its first derivatives would vanish in that freely falling description. If it were a genuine tensor, it would then vanish in every description, even where other coordinates assign nonzero gravitational energy density. The gravitational field therefore does not have a local stress-energy tensor analogous to that of matter, with coordinate-independent energy density and the usual energy-balance interpretation.

Gravitational energy is not represented by a universal local covariant stress-energy tensor. This does not assert that all local curvature tensors vanish or are forbidden: the Riemann curvature tensor measures tidal gravity, and higher-curvature tensors can be constructed. They do not provide the sought ordinary local gravitational energy density. Boundary charges, quantities associated with a background, and suitable averaged wave energies have different definitions and evade that local requirement. This is the absence of a local gravitational stress-energy tensor.

The metric tensor of the planar warped spacetime depends only on $z$. The three translations therefore preserve it, givingThey are linearly independent Killing vector fields everywhere. The associated geodesic conserved quantities from Killing vectors are $-A^2\dot{t}$, $A^2\dot{x}$ and $A^2\dot{y}$, for an affine parameter; the conventional positive energy is $E=A^2\dot{t}$. No restriction on the positive function $A$ is needed for these three symmetries.

A Killing vector field $\xi$ generates a local one-parameter family of isometries of the metric tensor. Equivalently, its tensor Lie derivative of the metric vanishes:The latter is the Killing equation; the equivalence uses metric compatibility and the torsion-free connection.

Use signature $(-,+,+,+)$ and write $h_{ij}$ for the spatial induced metric, $D_i$ for its spatial covariant derivative, and $q^2=h^{ij}{D}_i\varphi D_j\varphi$. The negative shift vector convention gives $n^{\mu }=N^{-1}(1,N^i)$ and $\Pi =n^{\mu }{\partial }_{\mu }\varphi$. Decomposing the scalar field derivative givesVarying the scalar field matter action with respect to the inverse metric tensor, including the variation of $\sqrt{-g}$, gives the stress-energy tensorRaising both indices gives the requested $T^{\mu \nu }$. Contracting with the unit normal twice, or once with the spatial projection tensor, givesProjecting both indices of the stress-energy tensor onto the spatial hypersurface givesTwo printed identifications require correction. The canonical momentum of the displayed density is ${\pi }_{\varphi }=\sqrt{h}\Pi$, not $\Pi$: explicitly ${\mathcal{L}}_m=N\sqrt{h}[{\Pi }^2/2-q^2/2-V]$ and differentiation with respect to $\dot{\varphi }$ supplies $\sqrt{h}$. Thus $\Pi$ is the normal scalar-field momentum. Also, the printed trace-free stress has an extra factor $1/2$ and uses ${\delta }_{ij}$ where the general spatial induced metric requires $h_{ij}$. In an orthonormal spatial frame the latter becomes ${\delta }_{ij}$, but the coefficient is still one. For a gradient $(q,0,0)$ in that frame, direct projection gives ${\tilde{S}}_{11}=2q^2/3$, rather than the printed $q^2/3$. The PDF's energy-density gradient is spatial ${\partial }_i\varphi {\partial }^i\varphi$; the TeX aid's spacetime index there is an OCR defect.

Adopt the printed Riemann curvature tensor convention and contract $R_{ab}=R^c{}_{acb}$. At an arbitrary point choose normal coordinates for the original metric tensor. There the original connection coefficients vanish. Varying the coordinate curvature formula leavesAt that point these partial derivatives equal the covariant derivatives of the tensor $C$. Both sides are tensors, so the result is valid in every coordinate system:Contracting its first and third indices proves the Palatini identityThe normal-coordinate argument is applied independently at every point; it does not assume a flat background or set derivatives of the original connection to zero.

The pure gravitational action is invariant under diffeomorphisms. An infinitesimal diffeomorphism generated by a compactly supported vector field $\xi$ changes the metric by its tensor Lie derivative,Using symmetry of $E^{ab}$ and the variational expression already derived,As ${\xi }_b$ is arbitrary, the off-shell metric divergence identity isThis Noether identity follows for every metric tensor without imposing either the gravitational field equation or the matter equations. It is a consequence of the metric action's diffeomorphism invariance, not a conclusion requiring a long component calculation.

Take compactly supported metric variations, or impose boundary conditions that remove the integration by parts terms. Let $F=f^{\prime }(R)$ and $\square ={\nabla }^a{\nabla }_a$. Since $\delta \sqrt{-g}=\frac{1}{2}\sqrt{-g}{g}^{ab}{h}_{ab}$, the gravitational action varies asApplying integration by parts twice to the derivative terms givesFor the usual stress-energy tensor definition $T_{ab}=-2(-g{)}^{-1/2}\delta S_m/\delta g^{ab}$, varying the covariant metric tensor gives $\delta S_m=\frac{1}{2}\int \sqrt{-g}{T}^{ab}{h}_{ab}{d}^{4}x$. Thus the action's stated normalization impliesThere is no implicit $1/(16\pi )$ in this gravitational action. This is the normalization of the metric f(R) field equation, rather than the commonly normalized version with $8\pi T_{ab}$ on the right.

Finally, the chain rule gives ${\nabla }_a{\nabla }_{b}F=f^{\prime \prime }{\nabla }_a{\nabla }_{b}R+f^{(3)}{\nabla }_{a}R{\nabla }_{b}R$ and $\square F=f^{\prime \prime }\square R+f^{(3)}(\nabla R{)}^2$. Substitution yieldsThis is a metric f(R) gravity variation: the connection is always the Levi-Civita connection of the varied metric tensor, not an independent variable.

A four-dimensional vacuum Einstein solution with the fixed cosmological constant $\Lambda$ has $R_{ab}=\Lambda g_{ab}$ and $R=4\Lambda$, constant. Thus every derivative of $f^{\prime }(R)$ vanishes andThe metric tensor is nondegenerate, so this is zero precisely whenThis is the necessary and sufficient Einstein metric condition in f(R) gravity for the specified $\Lambda$, and works for every such Einstein metric, even when its Weyl tensor is nonzero. There is no need to divide by $f^{\prime }(4\Lambda )$; the degenerate case where both $f$ and $f^{\prime }$ vanish at that curvature is included. At $\Lambda =0$, the condition is simply $f(0)=0$.

If the intention is to demand the inclusion for every real $\Lambda$ simultaneously, the stronger functional condition is $R{f}^{\prime }(R)=2f(R)$ for all $R$. On each nonzero half-line it integrates to $f(R)=C{R}^2$; smoothness across zero makes the constants equal. Thus the all-$\Lambda$ version gives $f(R)=C{R}^2$, including $C=0$. This stronger reading is distinct from fixing one cosmological constant.

Multiplying the matrices gives the Heisenberg group lawDifferentiating at the identity gives all strictly upper-triangular matrices. With $X=E_{12}$, $Y=E_{23}$ and $Z=E_{13}$, the commutator givesThis is the Heisenberg Lie algebra.

The right Maurer-Cartan form isThus the right-invariant coframe of the real Heisenberg group is ${\sigma }^1=dx$, ${\sigma }^2=dy$, ${\sigma }^3=dz-ydx$. Under a right translation,we have $d{x}^{\prime }=dx$, $d{y}^{\prime }=dy$, and $d{z}^{\prime }-y^{\prime }d{x}^{\prime }=dz-ydx$. All three right-invariant differential forms are preserved.

Every right-invariant Riemannian metric is determined by an arbitrary inner product at the identity. In this coframe its most general expression isEquivalently,Products here are symmetric products. If a pseudo-Riemannian metric tensor is intended, replace positive definiteness by nondegeneracy. Since every right translation preserves the coframe, it is an isometry. The action is faithful, and $a\mapsto R_{a^{-1}}$ is a group homomorphism, embedding a copy of $G$ into the isometry group.

The one-parameter right translations produce the Killing frame for a right-invariant Heisenberg metric:Their flows are respectively $(x+t,y,z)$, $(x,y+t,z+xt)$ and $(x,y,z+t)$. Each preserves $h$, and their Lie brackets of vector fields are $[K_X,K_Y]=K_Z$, with the other two zero. This explicitly realizes the Heisenberg Lie algebra. These Killing vector fields are left-invariant vector fields; the vector fields dual to the right-invariant coframe are instead ${\partial }_x+y{\partial }_z,{\partial }_y,{\partial }_z$, and should not be substituted for these generators.

For the diagonal case, putThe Kaluza-Klein decomposition along a Killing field uses $V=h(K_X,K_X)=\alpha +\chi y^2$. Completing the square in $dx$ gives the Heisenberg metric Kaluza-Klein reduction:These depend only on the quotient coordinates $(y,z)$ and satisfy $h=V(dx+A{)}^2+\gamma$. For a diagonal indefinite metric tensor, the same expressions hold wherever $V\ne 0$; a null Killing vector field cannot be treated with this completed-square decomposition.

Write $h_{ij}={}^{(3)}{g}_{ij}$ for the positive spatial metric tensor and $h^{ij}$ for its inverse. Expanding the 3+1 decomposition gives $g_{00}=N^2-h_{ij}{N}^i{N}^j$, $g_{0i}=-h_{ij}{N}^j$ and $g_{ij}=-h_{ij}$. The inverse isFor example, $g^{00}{g}_{00}+g^{0i}{g}_{i0}=1$, and $g^{00}{g}_{0j}+g^{0i}{g}_{ij}=0$. The spatial block similarly gives $g^{i0}{g}_{0j}+g^{ik}{g}_{kj}={\delta }^i{}_j$. These checks determine all blocks without treating the spatial block alone as the inverse of the four-metric.

Raising the normal covector with this inverse metric tensor yieldsTake $N>0$ so it is future-pointing. Its norm is $n_{\mu }{n}^{\mu }=1$. The spatial projection tensor obeys $P^{\mu }{}_{\nu }{n}^{\nu }=0$, and multiplication givesThus it is an idempotent linear projection onto vectors tangent to the spatial hypersurface. The negative spatial components of the spacetime metric tensor do not change this idempotence.

Complexifying the Clifford algebra removes the signature dependence of its representation dimension. Pair the $2k$ gamma matrices into operators $a_i,a_i^{†}$ with $\{a_i,a_j^{†}\}={\delta }_{ij}$ and $\{a_i,a_j\}=0$. The $k$ commuting occupation operators have eigenvalues zero or one. Starting from a Clifford vacuum, applying every subset of the $k$ fermionic creation operators produces $2^k$ independent states. Conversely, these operators construct matrices on a $2^k$-dimensional space, and their products span its full matrix algebra. Thus an irreducible complex Clifford algebra module in $D=2k$ hasA general Clifford module is a direct sum of these; the statement concerns the minimal spinor.

The Lorentz group acts through even Clifford products, ${\Sigma }^{\mu \nu }=\frac{1}{4}[{\Gamma }^{\mu },{\Gamma }^{\nu }]$. More precisely this is a representation of its double cover, the Spin group. The normalized product ${\Gamma }_{\ast }$ of all $2k$ matrices squares to one and anticommutes with each ${\Gamma }^{\mu }$, while commuting with every ${\Sigma }^{\mu \nu }$. Its eigenspaces are the two Weyl spinor representations, so the Dirac spinor is reducible under the connected spin group:Each summand is irreducible. The Clifford module itself remains irreducible because an individual ${\Gamma }^{\mu }$ interchanges the summands. In $D=2k+1$ one can use the old ${\Gamma }_{\ast }$ as the additional matrix, with an appropriate phase for its signature. No independent chirality matrix remains: the product of all $2k+1$ matrices is central and fixed to a scalar on an irreducible module. There are two choices of this central sign for the complex Clifford algebra, but each restricts to the same irreducible $2^k$-dimensional spinor representation of the connected spin group. An odd-dimensional spinor has no Weyl splitting. Majorana spinor reality conditions depend additionally on dimension and signature; they must be imposed separately from this complex dimension count.

For the massless field counts, use the rotational part $SO(D-2)$ of the little group and real physical polarizations. A massless p-form gauge field has only transverse, antisymmetric components after its gauge redundancy and equations of motion are imposed, giving $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)$ polarizations. A graviton has a symmetric traceless transverse tensor, giving $(D-2)(D-1)/2-1=D(D-3)/2$. A massless fermion obeys a Dirac equation which halves its off-shell spinor components. In ten dimensions a Majorana-Weyl spinor has sixteen real components off shell and eight physical components; in nine dimensions a Majorana spinor has sixteen off shell and eight physical components; in eleven dimensions a Majorana spinor has thirty-two off shell and sixteen physical components. A gravitino is a transverse vector-spinor with its gamma trace removed, leaving $(D-3)$ times the corresponding physical spinor dimension. Thus the ten-dimensional Majorana-Weyl gravitino has $7\times 8=56$ polarizations, the nine-dimensional Majorana gravitino has $6\times 8=48$, and the eleven-dimensional Majorana gravitino has $8\times 16=128$.

The common Neveu-Schwarz sector of type IIA supergravity and type IIB supergravity consists of a metric tensor, the Kalb–Ramond field $B_2$, and the dilaton $\varphi$. Their counts are respectively $35$, $\left(\genfrac{}{}{0ex}{}{8}{2}\right)=28$, and $1$. The Ramond-Ramond sectors and fermions distinguish the theories. In type IIA supergravity the independent bosonic potentials and counts areThere are two Majorana-Weyl gravitini of opposite chirality, giving $56+56=112$, and two Majorana-Weyl dilatini of opposite chirality, giving $8+8=16$. Their total is $128$. With gravitini labelled ${\psi }^{+}$ and ${\psi }^{-}$, the corresponding dilatini have signs $-$ and $+$ respectively. Type IIA is nonchiral.

In type IIB supergravity, the independent bosonic potentials and counts areThe five-form field strength associated with $C_4$ is a self-dual differential form, so only half the seventy transverse four-form components are independent. In Lorentzian ten dimensions the Hodge star operator on five-forms squares to one, making a real self-duality condition possible. The two Majorana-Weyl gravitini have the same chirality and contribute $112$ states. Both Majorana-Weyl dilatini have the opposite chirality to those gravitini and contribute $16$ states. Type IIB is chiral, with $128+128$ bosonic and fermionic polarizations.

For dimensional reduction, retain the massless zero modes on a flat circle, with no flux, gauging or fermion twist. A metric splits into a lower-dimensional metric, one vector and one scalar. An ordinary $p$-form splits into a $p$-form and a $(p-1)$-form, according as it has no compact index or one. This preserves counts by Pascal's identity, $\left(\genfrac{}{}{0ex}{}{D-2}{p}\right)=\left(\genfrac{}{}{0ex}{}{D-3}{p}\right)+\left(\genfrac{}{}{0ex}{}{D-3}{p-1}\right)$.

Reducing type IIA supergravity to nine dimensions gives the following decompositions; each number is a count of physical states:Thus the bosonic maximal nine-dimensional supergravity multiplet contains one graviton, three massless vectors, two massless two-forms, one massless three-form and three real scalars, withEach ten-dimensional Majorana-Weyl gravitino becomes one nine-dimensional Majorana gravitino and one Majorana spin-one-half field, giving $56=48+8$. Each ten-dimensional dilatino gives one more Majorana spin-one-half field. The fermionic multiplet therefore has two gravitini and four spin-one-half fields, with $2(48)+4(8)=128$. The fields belong to one maximal gravity supermultiplet, not separate interacting matter multiplets.

Reducing type IIB supergravity gives $g_{\mu \nu },A_{\mu }^{\mathrm{metric}},\rho$ from the metric; one two-form and one vector each from $B_2$ and $C_2$; and the two scalars $\varphi ,C_0$. The four-form potential yields a nine-dimensional four-form and three-form, but the ten-dimensional self-dual differential form condition relates their field strengths. Retaining either one gives $\left(\genfrac{}{}{0ex}{}{7}{3}\right)=\left(\genfrac{}{}{0ex}{}{7}{4}\right)=35$ independent polarizations, not seventy. The same bosonic count, three scalars, three vectors, two two-forms and one three-form, follows. The fermionic reduction likewise gives two gravitini and four spin-one-half fields. These are the same maximal nine-dimensional supergravity spectrum, as expected from T-duality. The spectrum is nonchiral in nine dimensions, since the odd-dimensional spinor representation has no independent Weyl chirality; the ten-dimensional distinction is lost on restriction to nine-dimensional Lorentz symmetry.

Eleven-dimensional supergravity has a metric with $11(8)/2=44$ states, a three-form with $\left(\genfrac{}{}{0ex}{}{9}{3}\right)=84$, and a Majorana gravitino with $128$. For direct reduction on a flat two-torus, write the internal indices as $i=1,2$. The metric gives $g_{\mu \nu }$, two vectors $g_{\mu i}$ and three symmetric components $g_{ij}$; the three-form gives $A_{\mu \nu \rho }$, two two-forms $A_{\mu \nu i}$ and one vector $A_{\mu 12}$. HenceThe eleven-dimensional Majorana spinor restricts to two nine-dimensional Majorana spinors. The vector-spinor consequently yields two gravitini and four spin-one-half fields, giving $128=2(48)+4(8)$. This is again the same $128+128$ maximal nine-dimensional multiplet.

For reduction of massless type IIA supergravity to four dimensions, use a flat six-torus and retain all zero modes, without flux or projections. Internal indices $i=1,\dots ,6$ giveThe multiplicities $21,15,20$ come respectively from a symmetric pair of six internal indices, $\left(\genfrac{}{}{0ex}{}{6}{2}\right)$, and $\left(\genfrac{}{}{0ex}{}{6}{3}\right)$. Before dualizing, this gives one graviton, $28$ vectors, $63$ scalars, seven two-forms and one three-form. The seven two-forms provide seven scalar polarizations, whereas the three-form has no local propagating polarization. Thus the final bosonic spectrum is one graviton, $28$ vectors and $70$ scalars, with $2+56+70=128$ states.

A ten-dimensional Majorana-Weyl spinor decomposes into four four-dimensional Majorana spinors. Each ten-dimensional gravitino supplies four four-dimensional gravitini and twenty-four spin-one-half fields, with $56=4(2)+24(2)$. Each ten-dimensional dilatino supplies four spin-one-half fields, with $8=4(2)$. Together they give eight gravitini and fifty-six spin-one-half fields, with $8(2)+56(2)=128$. As a separate check, the helicity spectrum of a massless supermultiplet with $\mathcal{N}=8$ has multiplicities $\left(\genfrac{}{}{0ex}{}{8}{j}\right)$ at helicity $2-j/2$, giving $1,8,28,56,70,56,28,8,1$. The reduced theory has the field content of four-dimensional N=8 supergravity, with $128+128$ physical states, exactly as in ten and eleven dimensions. Other compact manifolds or projections can reduce the number of preserved supercharges; the flat-torus assumption is essential to this spectrum.

Here is the local two-form scalar duality including its coupling dependence. For this calculation use signature $(-+++)$, $H_{\mu \nu \rho }=3{\partial }_{[\mu }{B}_{\nu \rho ]}$, and the contravariant volume tensor ${ϵ}^{0123}=+1$. A healthy two-form kinetic term and its first-order form areTreat $H$ as independent. Varying $a$ imposes its Bianchi identity for an Abelian p-form, ${\partial }_{\sigma }({ϵ}^{\mu \nu \rho \sigma }{H}_{\mu \nu \rho })=0$, so locally $H=dB$. Varying $H$ instead yieldsUse ${ϵ}^{\mu \nu \rho \sigma }{ϵ}_{\mu \nu \rho \lambda }=-6{\delta }_{\lambda }^{\sigma }$. The original kinetic term becomes $+(g_B^2/2)(\partial a{)}^2$, and the multiplier term becomes $-g_B^2(\partial a{)}^2$. Both terms must be substituted; replacing $H$ only in the original kinetic term would produce the wrong sign. ThusAt fixed normalization of the Bianchi multiplier, the dual kinetic coefficient is the inverse of the original coefficient: if the scalar convention is $-\frac{1}{2g_a^2}(\partial a{)}^2$, then $g_a=1/g_B$. A canonical scalar is $g_{B}a$ for constant $g_B$, but that rescaling hides the formal coupling inversion and changes any assigned scalar periodicity. For a scalar-dependent positive kinetic matrix ${\mathcal{G}}_{IJ}$ of several two-forms, the same calculation gives $-\frac{1}{2}({\mathcal{G}}^{-1}{)}^{IJ}\partial a_I\partial a_J$. Additional topological couplings modify the multiplier's derivative terms but do not change this basic inversion of the two-form kinetic matrix. The Hodge star operator exchanges the two-form Euler-Lagrange equations and Bianchi identities for an Abelian p-form with those of the dual scalars; the duality is local and global flux sectors require separate treatment.

A four-dimensional three-form instead has $F_4=d{C}_3=f{\mathrm{vol}}_4$. Its equation of motion, $d(g_3^{-2}\ast F_4)=0$, makes $f/g_3^2$ a spacetime constant. For constant coupling the first-order expression in this convention can be writtenHere the first-order construction includes a multiplier $q(F_4-d{C}_3)$: varying $C_3$ imposes $dq=0$, and the displayed density retains the term fixing the flux normalization. Eliminating $f$ gives $f=g_3^{2}q$ and ${\mathcal{L}}_{\mathrm{eff}}=-g_3^2{q}^2/2$. Thus it can encode a constant-flux contribution to the vacuum energy, but no local massless particle or scalar wave. On the zero-flux perturbative vacuum it contributes no state. The seven two-forms are scalar duals; the three-form is nondynamical, which completes the four-dimensional field count without discarding a possible global flux parameter.