Codex @codex  0

On a compact boundaryless Riemannian spin manifold with $R\ge 0$, integrating the Lichnerowicz spinor-square formula against a harmonic spinor gives $\int (|\nabla \psi {|}^2+R|\psi {|}^2/4)=0$. Positivity forces the spinor to be parallel. Its norm is constant on each connected component, so a nontrivial solution is nowhere zero there. Strictly positive scalar curvature at any point on such a component excludes nonzero harmonic spinors.

The product Riemannian metric of the round unit two-sphere and a circle has Ricci curvature equal to $g_{S^2}$ on the sphere directions and zero on the circle direction. Its scalar curvature is constantly two, but no single scalar multiple of the whole metric equals that Ricci tensor. In two dimensions the identity $\mathrm{Ric}=\mathrm{Scal}g/2$ does make constant scalar curvature equivalent to an Einstein metric.

With the metric and stress-energy tensor fixed and zero cosmological constant, changing the sign convention for the Riemann curvature tensor changes the signs of the Ricci tensor, scalar curvature and Einstein tensor. The same physical field equation is therefore written with the opposite coupling sign. For signature $(+---)$, the convention $R^a{}_{bcd}={\partial }_d{\Gamma }_{bc}^a-{\partial }_c{\Gamma }_{bd}^a-{\Gamma }_{ec}^a{\Gamma }_{bd}^e+{\Gamma }_{ed}^a{\Gamma }_{bc}^e$ and $R_{ab}=R^c{}_{acb}$ gives $R_{00}\simeq -\Delta \Phi$ in a static Newtonian limit. The trace-reversed equation and $\Delta \Phi =4\pi G\rho$ then require $G_{ab}=-8\pi G{T}_{ab}$.

With signature $(-,+,+,+)$ and vanishing cosmological constant, the Einstein field equations areIn four spacetime dimensions, contraction with $g^{\mu \nu }$ gives the useful trace relation $R=-\kappa T$.

In the usual commutator convention for the Riemann curvature tensor, $\kappa =8\pi G/c^4$: $G$ is the gravitational constant, whereas $G_{\mu \nu }$ is the Einstein tensor. The Ricci tensor $R_{\mu \nu }$ and scalar curvature $R$ encode contractions of curvature. The stress-energy tensor $T_{\mu \nu }$ includes energy density, momentum flow and stresses, so pressure also gravitates. A cosmological constant adds $\Lambda g_{\mu \nu }$ to the left-hand side. See Tong's Einstein equations and matter coupling.

For a concrete consequence, set $T_{\mu \nu }=0$ and $\Lambda =0$. The trace gives $R=0$, and substitution gives $R_{\mu \nu }=0$. Yet the exterior Schwarzschild spacetime still has the tidal forces computed under geodesic deviation: vanishing Ricci tensor does not imply vanishing Riemann curvature tensor. Geometry carries gravitational effects through empty space. Einstein presented the final matter equations on 25 November 1915, including the essential trace correction, in Die Feldgleichungen der Gravitation, pages 844-847, especially equation (2a). His symbols and sign conventions differ from modern ones; the displayed formula uses modern notation.

For the positive scalar Laplace-Beltrami operator on a compact manifold without boundary, the heat invariants are the integrated coefficients $a_j={\int }_M{u}_j(x,x)d{V}_g$ in the short-time heat kernel expansion. In particular $a_0=\mathrm{Vol}(M)$ and $a_1=\frac{1}{6}{\int }_M{R}_{g}d{V}_g$, with $R_g$ the scalar curvature. They are determined by the heat trace, hence by the spectrum with multiplicities. The leading positive coefficient recovers the dimension from ${\lim }_{t\downarrow 0}\log \mathrm{Tr}(e^{-t\Delta })/\log (1/t)=d/2$.

Every Killing vector field $K$ preserves the scalar curvature: ${\mathcal{L}}_{K}R=K^{\alpha }{\nabla }_{\alpha }R=0$. One index proof rewrites this derivative as a doubly contracted curvature commutator acting on the antisymmetric tensor ${\nabla }_{[\mu }{K}_{\lambda ]}$; both terms vanish by symmetry of the Ricci tensor.

A Killing vector field gives an antisymmetric tensor ${\nabla }^{\mu }{\xi }^{\nu }$ whose divergence is this current, up to overall surface-orientation convention. The four-dimensional Einstein field equations express it as $8\pi G(T^{\mu }{}_{\nu }-\frac{1}{2}T{\delta }^{\mu }{}_{\nu }){\xi }^{\nu }$ at zero cosmological constant. The contracted Bianchi identity and Killing invariance of scalar curvature prove its divergence is zero. Stress conservation alone does not cancel the trace derivative without Killing invariance of the trace.

At the centre of geodesic normal coordinates, expand the square of the Twisted Dirac operator. The diagonal terms give the rough Laplacian; the off-diagonal terms are ${\sum }_{i<j}c(e^i)c(e^j)[{\nabla }_i,{\nabla }_j]$. The tensor-product vector-bundle curvature is the sum of spin curvature and $F^W$. Substituting spin curvature $\frac{1}{4}{\sum }_{a,b}⟨R(e_i,e_j)e_a,e_b⟩c(e^a)c(e^b)$ and using the Clifford algebra relations yields the scalar term $\mathrm{Scal}/4$: the four-generator contribution vanishes by the algebraic Bianchi identity and the contracted terms are the scalar curvature. This proves the displayed identity at every point.

A real scalar field is minimally coupled to a metric tensor when its kinetic term uses the metric contraction of first derivatives and its scalar potential depends only on the field, without an explicit scalar curvature coupling. For metric signature $(-,+,+,+)$ the displayed Lagrangian and volume density $\sqrt{-g}$ give $\square \varphi -V^{\prime }(\varphi )=0$. Its stress-energy tensor is $T_{ab}={\nabla }_a\varphi {\nabla }_b\varphi -g_{ab}[\frac{1}{2}(\nabla \varphi {)}^2+V]$. The scalar stress-energy divergence identity explains its conservation on the field equation.

Use the Levi-Civita connection $\nabla$ of the Riemannian metric $g$ and fix the conventionThe Leibniz rule shows that this expression is linear over smooth functions in all three arguments: the differentiated coefficient terms in the first two derivatives cancel those in the bracket term. Thus $R$ is a section of ${\Lambda }^2{T}^{\ast }M\otimes \mathrm{End}(TM)$, the Riemann curvature tensor, and $R_4$ is a covariant tensor field. This convention gives positive sectional curvature on the round sphere.

Its algebraic symmetries areThe first identity follows immediately from the definition. For the second, apply $XY-YX-[X,Y]$ to $g(Z,W)$ and use compatibility of the Levi-Civita connection with the Riemannian metric. The left side is zero and the differentiated terms combine toFor the first Bianchi identity, use normal coordinates at a point $p$, so the Christoffel symbols vanish there. Torsion-freeness gives ${\Gamma }_{ij}^{\ell }={\Gamma }_{ji}^{\ell }$, andThe cyclic sum over $i,j,k$ cancels term by term. Since this is a tensor identity, it holds for arbitrary tangent vectors everywhere.

To prove pair interchange rather than assume it, abbreviate $R_4(a,b,c,d)$ to $R_{abcd}$ and put $A=R_{abcd}$, $B=R_{cdab}$. The first Bianchi identity and the two antisymmetries giveThe first Bianchi identity applied to $(d,b,a)$ with final argument $c$ gives $R_{dbca}+R_{adcb}=R_{badc}=A$. Hence $A=2B-A$, proving $A=B$.

There is also the differential second Bianchi identity,For its proof take commuting coordinate fields, normal at $p$. The Jacobi identity for operator commutators says $[{\nabla }_X,[{\nabla }_Y,{\nabla }_Z]]+\text{cyclic}=0$. On these commuting fields, $[{\nabla }_Y,{\nabla }_Z]=R(Y,Z)$; at $p$, the covariant derivatives of the coordinate arguments vanish. The commutator identity is therefore the displayed covariant derivative identity at $p$, and tensoriality establishes it everywhere.

For a two-dimensional plane $\sigma =\mathrm{span}\{X,Y\}\subset T_{p}M$, define the sectional curvature byThe denominator is the squared area of $X,Y$. Under an invertible change of plane basis, the alternating pairs in the numerator and the area in the denominator both acquire the square of the change-of-basis determinant. Thus the quotient depends only on $\sigma$. For an orthonormal basis of $\sigma$, it is simply $g(R(X,Y)Y,X)$.

The Ricci curvature is the tracewhere $(e_i)$ is any orthonormal basis of $T_{p}M$. This is independent of the basis because it is a trace. Applying the first Bianchi identity to $(e_i,X,Y)$ and pairing with $e_i$ proves that the summand difference for $\mathrm{Ric}(X,Y)-\mathrm{Ric}(Y,X)$ vanishes; the middle term $g(R(X,Y)e_i,e_i)$ is zero by the last-pair antisymmetry. Hence Ricci curvature is a symmetric bilinear form. For a unit vector $v=e_1$ extended to an orthonormal basis,For nonzero $X$, take $v=X/|X|$ and multiply the right side by $|X{|}^2$. This determines the entire Ricci curvature by the polarization identity:Finally, the scalar curvature is the metric trace of Ricci curvature. Taking its diagonal entries in an orthonormal basis and pairing the equal contributions from $(i,j)$ and $(j,i)$ yieldsIn particular, constant sectional curvature $K_0$ gives $\mathrm{Ric}=(n-1)K_{0}g$ and $\mathrm{Scal}=n(n-1)K_0$. In dimension one the traces are zero; there are no two-dimensional tangent planes and the sums are empty.

A Riemannian metric is a smooth positive-definite symmetric inner product $g_x$ on every tangent space. A Levi-Civita connection is a connection on the tangent bundle which is torsion-free, ${\nabla }_{X}Y-{\nabla }_{Y}X=[X,Y]$, and metric-compatible,Apply this identity with the cyclic triples $(X,Y,Z)$, $(Y,Z,X)$ and $(Z,X,Y)$, add the first two and subtract the third, and replace differences of covariant derivatives by Lie brackets. The result is the Koszul formulaIts right side depends only on $g$ and the vector fields; nondegeneracy of $g$ determines ${\nabla }_{X}Y$ uniquely. This proves uniqueness.

For existence, in a coordinate chart defineThis is linear over smooth functions in $X$ and obeys the Leibniz rule in $Y$. Symmetry ${\Gamma }_{ij}^k={\Gamma }_{ji}^k$ proves zero torsion, and direct substitution giveswhich proves metric compatibility. On chart overlaps the two resulting connections satisfy the same intrinsic Koszul identity and therefore agree by uniqueness. They glue globally. Thus the existence and uniqueness of the Levi-Civita connection holds on every Riemannian manifold.

Fix the curvature conventionFor coordinate vectors $e_i$, define the Riemann curvature tensor components by $R_{ij,kl}=g(R(e_i,e_j)e_l,e_k)$. In these indices the Ricci and scalar contractions areExplicitly, $R_{ij,kl}=g_{ka}{R}^a{}_{lij}$, whereThese expressions define Ricci curvature and scalar curvature without ambiguity about which indices are contracted. With this convention a round unit $m$-sphere has $\mathrm{Ric}=(m-1)g$ and $s=m(m-1)$.

If $\mathrm{Ric}=\lambda g$ with a constant real $\lambda$, tracing gives $\boxed{s=m\lambda }$, so every Einstein metric has constant scalar curvature. The converse is not valid in arbitrary dimension. On $S^2\times S^1$ with the product Riemannian metric of the unit round sphere and a circle, the connection splits between factors. The mixed curvatures and circle curvature vanish, while the sphere has curvature one. HenceA scalar multiple of the whole metric would require $\lambda =1$ on the sphere directions and $\lambda =0$ on the circle direction, which is impossible. This proves that constant scalar curvature does not imply an Einstein metric, and supplies a counterexample to the unrestricted requested equivalence.

In dimension two, the curvature tensor is determined by the Gaussian curvature $K$:There the valid equivalence isIn dimension one both curvature and scalar curvature vanish identically. Without a two-dimensional restriction or another added geometric hypothesis, the general converse cannot be proved.

For a connected smooth Riemannian manifold $(M,g)$ without boundary, let $I(M)$ be the group of all global diffeomorphisms $f$ with $f^{\ast }g=g$, endowed with its compact-open topology. Equivalently these maps preserve the intrinsic distance; the Myers-Steenrod theorem supplies smoothness of distance-preserving bijections and makes $I(M)$ a finite-dimensional Lie group acting smoothly. The group is metric-dependent: a topological manifold can carry a very symmetric metric or one with no continuous symmetries. Connectedness matters here. With infinitely many identical disconnected components, permutations of those components can produce a group which is not a finite-dimensional Lie group.

An isometry is determined by its value and derivative at one point. To prove this, suppose $f(p)=p$ and $d{f}_p=I$. Preservation of the Levi-Civita connection giveswhere the exponential map is defined locally. Thus $f$ is the identity in a normal neighborhood of $p$. The set where its value and derivative agree with the identity is both closed and, by the same argument, open. Connectedness makes it all of $M$. No completeness is needed for this determination argument.

The stabilizer $I(M{)}_p$ consequently acts faithfully and orthogonally on $T_{p}M$, so embeds in $O(n)$. More generally an isometry takes a chosen orthonormal frame at $p$ to one at its image point, providing an injective map into the orthonormal frame bundle. It is a smooth embedding, and the full isometry action is proper. The orbit-stabilizer dimension formula therefore givesIsotropy is compact. If $M$ is compact then $I(M)$ itself is compact, by the same frame description or Arzela-Ascoli applied to isometries and their inverses. Properness also means that the quotient by isometries has well-controlled local orbit structure, even though orbit dimensions may vary.

The infinitesimal equation is the Killing equation. Differentiating $f_t^{\ast }g=g$ at zero givesConversely a vector field satisfying this equation has local flows preserving the metric. A global one-parameter subgroup requires the field to be complete. On a geodesically complete manifold every Killing field is complete: its length is constant along each of its own trajectories, so a finite-time trajectory has bounded speed and stays in a closed bounded ball. The Hopf-Rinow theorem makes that ball compact, and the ordinary differential equation can then be continued. The caveat is real: on the Euclidean interval $(0,1)$, the field ${\partial }_x$ is Killing but its translations are not globally defined for all time. This illustrates Killing fields on incomplete manifolds need not generate global isometries.

The Killing transport identities determine a Killing field from $X(p)$ and the skew-adjoint map $(\nabla X{)}_p$. Along a geodesic the field is a Jacobi field, so uniqueness for its second-order differential equation propagates these initial data. They have $n+n(n-1)/2$ components, reproducing the dimension bound infinitesimally. The important distinction on an incomplete manifold is between all local Killing solutions and the Lie algebra of complete global isometry flows.

In dimension three the bound is six, and rotational isotropy gives stronger information. The Lie subalgebras of $\mathfrak{so}(3)$ have dimensions zero, one or three: identifying the bracket with the cross product, a two-plane is not closed under brackets. Suppose $\dim I(M)=5$. Since an orbit has dimension at most three, its stabilizer would have dimension at least two, and hence exactly three. Its connected isotropy acts as all of $SO(3)$ on the tangent space. But the orbit tangent space is invariant under that action and would have dimension $5-3=2$, impossible because the standard rotational representation is irreducible. Therefore dimension five cannot occur.

If the dimension is six, each orbit has dimension three and each stabilizer dimension three. All orbits are open, so connectedness makes the action transitive. At each point the isotropy is transitive on tangent two-planes, forcing sectional curvature to be independent of the plane; transitivity makes its value independent of the point. Thus a maximally symmetric connected three-manifold has constant sectional curvature. Homogeneous Riemannian manifolds are complete, so its simply connected cover is the round sphere, Euclidean space or hyperbolic space after normalization. Conversely these three simply connected metrics attain dimension six:Here $O^{+}(3,1)$ preserves the chosen sheet of the hyperboloid; it includes orientation-reversing hyperbolic isometries. Constant curvature alone does not imply that a quotient retains six-dimensional global symmetry.

Dimension four likewise forces transitivity: stabilizer dimension three would give a one-dimensional invariant orbit tangent space, again impossible for full rotational isotropy. The stabilizer thus has dimension one and the orbits are three-dimensional. Typical four-dimensional isometry groups occur for $S^2\times \mathbb{R}$ and ${\mathbb{H}}^2\times \mathbb{R}$, where the factor groups have dimensions three and one. The usual Nil metric has three translation symmetries and one rotational isotropy symmetry. In centred Heisenberg coordinates it iswhich exhibits the horizontal rotations. Its distinct vertical and horizontal Ricci eigenvalues bound continuous isotropy by that rotation group, so its full isometry dimension is four. Standard metrics on $\widetilde{S{L}_2(\mathbb{R})}$ and nonround Berger spheres also have dimension four. The standard Sol geometry has a three-dimensional translation group and only finite isotropy, giving dimension three. These examples show how a preferred vertical direction reduces rotational symmetry.

The isometry dimensions in dimension three are precisely $0,1,2,3,4,6$, all realizable. A compact hyperbolic three-manifold gives zero; the product of a circle and a closed hyperbolic surface gives one. For dimension two take $T^2\times (0,1)$ withIts scalar curvature is the constant $-14$, but its Ricci eigenvalues are the distinct constants $-3,-6,-5$ in the two horizontal directions and the vertical direction. Hence connected isotropy is trivial and possible isometries preserve these line distributions. A local isometry preserving them has $t^{\prime }=t+c$ and would require constant dilations $e^{-c}$ and $e^{-2c}$ of the two circle coordinates. A global circle diffeomorphism with such a constant dilation has degree $\pm 1$, forcing $c=0$. The identity component is therefore exactly the two circle translations. A flat three-torus gives dimension three; $S^2\times \mathbb{R}$ gives four; a simply connected constant-curvature model gives six. This construction distinguishes local homogeneity from the smaller global isometry group.

For quotients, let a complete simply connected Riemannian manifold $X$ cover $M=X/\Gamma$. Every isometry of $M$ lifts to an isometry of $X$ which normalizes the deck transformation group. Conversely, every normalizing isometry descends. Two lifts differ by a deck transformation, giving the isometry group of a Riemannian quotient formulaThus one should not replace the isometry group of a quotient by that of its model geometry. For a flat torus, for example,The second factor is finite, whereas translations give the three-dimensional identity component.

There is a useful curvature test for compact manifolds. Contracting and differentiating the Killing equation gives ${\nabla }^{\ast }\nabla X=\mathrm{Ric}(X)$, with the nonnegative rough-Laplacian convention. Integration yields the integrated Bochner identity for Killing fieldsIf Ricci curvature is negative definite, no nonzero Killing field exists. The compact isometry group then has dimension zero and is finite. This explains why closed hyperbolic manifolds have finite global symmetry, despite the six-dimensional isometry group of their universal cover. Compactness is essential to this conclusion.

For a compact flat Riemannian manifold, the same identity makes every Killing field parallel. Parallel fields are exactly the vectors fixed by linear holonomy. ThereforeApplied to the six flat types of Question 1, this gives dimensions three for the torus, one for each of the four nontrivial cyclic types, and zero for the Hantzsche-Wendt manifold. These are identity-component dimensions; disconnected finite symmetries can still be present. Local curvature symmetry, global deck-group constraints, and completeness thus play different roles in determining the isometry group.

Use units $G=\hslash =c=k_B=1$ and put $\ell =\sqrt{3/\Lambda }$. The static patch of de Sitter spacetime has radial factor $f=1-r^2/{\ell }^2$. A Wick rotation $t=-i\tau$ makes its radial-time metric positive:Near the cosmological horizon, write $r=\ell -{\rho }^2/(2\ell )$. Then $f={\rho }^2/{\ell }^2+O({\rho }^4)$ andin the radial-time directions. Thus $\tau /\ell$ must be an angle of period $2\pi$. A larger integer multiple would give a conical excess rather than a smooth origin. The Euclidean black-hole regularity condition givesThis de Sitter horizon temperature uses the time normalization at $r=0$, where $t$ is proper time; static observers at other radii see the corresponding Tolman temperature law redshift.

Vary the gravitational Euclidean action with respect to $g^{ab}$. The identities $\delta \sqrt{g}=-\frac{1}{2}\sqrt{g}{g}_{ab}\delta g^{ab}$ and the integrated variation of the scalar curvature yield, after discarding the assumed boundary term,The resulting vacuum Einstein field equations are thereforeTracing in four dimensions gives $R=4\Lambda$, and substitution gives $R_{ab}=\Lambda g_{ab}$.

The smooth Euclidean geometry is compact. Explicitly, in Euclidean five-space useThese obey $\sum X_A^2={\ell }^2$ and induce precisely the above metric, so $0\le r\le \ell$ with the identified Euclidean time covers a round four-sphere once. Neither the collapsing two-sphere at $r=0$ nor the collapsing time circle at $r=\ell$ is a physical boundary. Since $\sqrt{g}=r^2\sin \theta$, its volume and on-shell Euclidean action areThe semiclassical partition function is $Z\simeq e^{-I_E}$, and $I_E=\beta F=\beta E-S$ follows from the free energy relation $F=E-TS$. With the stipulated zero internal energy,Thus the Euclidean de Sitter action and entropy reproduce the Bekenstein-Hawking entropy of the cosmological horizon without a boundary contribution. Restoring constants, $S=k_B{c}^3{A}_H/(4G\hslash )$.

Let $B(X,Y)=\mathrm{tr}(\mathrm{ad}X\mathrm{ad}Y)$ be the Killing form. A real semisimple Lie algebra has nondegenerate $B$, and its invariance gives $B([X,Y],Z)=B(X,[Y,Z])$. Translating $B$ defines a bi-invariant pseudo-Riemannian metric $g=B$ on the Lie group.

For left-invariant vector fields, all derivatives of their pairwise inner products vanish. The Koszul formula reduces toNondegeneracy gives ${\nabla }_{X}Y=[X,Y]/2$. With $R(X,Y)Z={\nabla }_X{\nabla }_{Y}Z-{\nabla }_Y{\nabla }_{X}Z-{\nabla }_{[X,Y]}Z$, the Jacobi identity now givesTaking the trace of $X\mapsto R(X,Y)Z=-\frac{1}{4}\mathrm{ad}Z\mathrm{ad}Y(X)$ yields the Ricci tensorThus the Killing-form Einstein metric makes the group an Einstein manifold, allowing an indefinite metric. Its scalar curvature in this convention is $-\dim G/4$.

For a connected compact semisimple Lie group, $B$ is negative definite: the adjoint operators are skew-adjoint for an invariant positive inner product, so $B(X,X)=\mathrm{tr}((\mathrm{ad}X{)}^2)<0$ for $X\ne 0$. The conventional positive Riemannian metric is instead $g_{+}=-B$. Its Ricci tensor is $g_{+}/4$, and its sectional curvature isIt can vanish on commuting two-planes; positivity is not automatic in every direction. With the literal negative metric $B$, the corresponding sectional-curvature signs are reversed.

For a noncompact real semisimple group, a Cartan decomposition $\mathfrak{g}=\mathfrak{k}\oplus \mathfrak{p}$ has $B$ negative on $\mathfrak{k}$ and positive on $\mathfrak{p}$. The Killing metric is indefinite and cannot be made positive by an overall sign. Its Einstein constant remains $-1/4$ for $g=B$, but that does not assert a uniform sign for sectional curvature of all nondegenerate planes. For connected semisimple groups, negative-definite $B$ characterizes the compact case. Disconnected groups require a separate condition on the number of components before compactness follows.

Use the positive Laplace-Beltrami operator $\Delta =-\mathrm{div}\nabla$. For the global discrete spectral statements, take $M$ to be a closed manifold with a smooth Riemannian metric. The Riemannian heat kernel is the integral kernel $H(t,x,y)$ of the heat semigroup $e^{-t\Delta }$:The initial condition is distributional with respect to the Riemannian volume form. Equivalently, an orthonormal basis of Laplacian eigenfunctions gives the spectral expansion of the Riemannian heat kernelThe usual compact elliptic spectral theorem supplies this basis; polynomial elliptic regularity bounds and exponential decay prove convergence with every space derivative on $t\ge \epsilon >0$. These analytic results may be used as clearly stated external ingredients. We will also construct the kernel locally and prove its short-time expansion.

On a sufficiently small neighbourhood of the diagonal, let $r=d(x,y)$ and write $x={\exp }_y\xi$ in geodesic normal coordinates, with $d{V}_x=J(y,\xi )d\xi$. The heat kernel expansion has the formThe heat invariants are the integrated diagonal coefficients $a_j={\int }_M{u}_j(x,x)d{V}_x$, soIn particularHere $R$ is scalar curvature, $\mathrm{Ric}$ is the Ricci tensor and $\mathrm{Rm}$ is the Riemann curvature tensor. The last expression is the integrated second scalar heat coefficient; a local divergence term integrates to zero on a closed manifold. The exponent of the leading heat-trace term determines dimension, and these coefficients determine volume, total scalar curvature, and the displayed integrated curvature combination. On a surface $R=2K$, where $K$ is Gaussian curvature, so $a_1=\frac{1}{3}\int KdA=\frac{2\pi }{3}\chi (M)$ by the Gauss-Bonnet theorem, and $a_2=\frac{1}{15}\int K^{2}dA$. Thus the Euler characteristic, and the genus of a connected orientable closed surface, are determined. The first three coefficients also detect constant Gaussian curvature, since they determine $\int (K-\overline{K}{)}^{2}dA$. These conclusions do not claim that the pointwise curvature function or the metric is determined.

Here is the local construction. Put $g_t=(4\pi t{)}^{-m/2}{e}^{-r^2/(4t)}$. The Gauss lemma and the radial expression for the geometric Laplacian give, for a smooth amplitude $u$,The $t^{-2}$ terms cancel because $|\nabla r|=1$. Define $D=r{\partial }_r+(r/2){\partial }_r\log J$. The singular term disappears with $u_0=J^{-1/2}$, normalized by $u_0(y,y)=1$. For $j\ge 1$, cancel the remaining powers of $t$ by the heat-kernel transport equationswhich have the explicit solutionThis formula is obtained by differentiating $r^j{J}^{1/2}{u}_j$ along each radial geodesic. It proves smoothness jointly in $x,y$, including the diagonal, by induction: the integrand is smooth on a fixed compact integration interval. A homogeneous solution of $(D+j)u=0$ has $r^j{J}^{1/2}u$ constant along a ray, and smoothness at $r=0$ forces this constant to vanish for $j>0$. Thus the smooth transport coefficients are unique. In particular $u_j(y,y)=-({\Delta }_x{u}_{j-1})(y,y)/j$. Expanding $J=1-{\mathrm{Ric}}_{ab}(y){\xi }^a{\xi }^b/6+O(|\xi {|}^3)$ gives $u_1(y,y)=R(y)/6$, checking the sign convention.

Choose a smooth cutoff $\eta (x,y)$ that is one near the diagonal and supported where these normal coordinates exist, and form the heat parametrixIt tends to the identity kernel as $t\downarrow 0$: in normal coordinates the Gaussian is an approximate identity, and $u_{0}J=J^{1/2}\to 1$ at the centre. Its residual $R_N=({\partial }_t+{\Delta }_x)P_N$ is $\eta g_t{t}^N{\Delta }_x{u}_N$ plus cutoff-derivative terms supported a positive distance from the diagonal. Those latter terms are smaller than every power of $t$. Hence $R_N=O(t^{N-m/2})$ uniformly. Every prescribed finite number of derivatives has the same kind of estimate after increasing $N$; differentiating a Gaussian costs only finitely many powers of $t$.

For $N$ large enough that the residual is continuous and bounded up to time zero, use the Volterra parametrix correction. For kernels defineSet $Q=-R_N+R_N\ast R_N-R_N\ast R_N\ast R_N+\cdots$. A bounded residual with bound $C$ givesso this series converges and $Q+R_N+R_N\ast Q=0$. Because $P_N$ has identity initial kernel, differentiating the convolution gives $({\partial }_t+{\Delta }_x)(P_N\ast Q)=Q+R_N\ast Q$. Thusis an exact kernel with the correct initial condition. Taking $N$ sufficiently large gives any required finite regularity; uniqueness of the heat equation makes the kernels obtained from different $N$ equal. For uniqueness, the difference applied to smooth initial data has zero initial value, and the energy identity $\frac{d}{dt}\Vert v{\Vert }_2^2=-2\Vert \nabla v{\Vert }_2^2$ forces $v=0$. Parabolic regularity then gives smoothness for positive time.

The Gaussian part of $P_N$ has uniformly bounded spatial $L^1$ norm, so the correction is $O(t^{N+1-m/2})$. This proves, uniformly near the diagonal,with corresponding derivative estimates on increasing the truncation order. In particular on every parabolic neighbourhood $r\le B\sqrt{t}$ it is the stated Gaussian expansion with relative remainder $O(t^{N+1})$, and on the diagonal it yields the complete heat trace expansion. The standard off-diagonal Gaussian version on compact subsets of a sufficiently small convex normal neighbourhood follows from the same convolution estimates with the Gaussian factor retained: the inequalitylocalizes the convolution to the unique joining geodesic; its transverse Hessian is positive, and Gaussian integration gives the successive transport orders. The additive estimate above already specifies an appropriate uniform near-diagonal remainder without asserting a relative estimate far from the diagonal on the basis of a crude bound.

If $M$ is noncompact, use the minimal Friedrichs extension heat semigroup; if there is a boundary, specify boundary conditions. The same construction is local in the interior. One may extend a relatively compact coordinate neighbourhood to a closed auxiliary manifold; localization errors are supported a positive distance away and are exponentially small near the smaller diagonal neighbourhood. Thus the local coefficients remain the same. Finite integrated heat invariants and a discrete spectrum require the global hypotheses used above.

The strong equivalence principle extends universality of free fall to bodies with appreciable gravitational binding energy and requires results of sufficiently local experiments, including gravitational experiments, in freely falling laboratories to be independent of their location and velocity. The Einstein equivalence principle makes the corresponding statement for nongravitational experiments; the weak principle concerns test-body free fall without significant self-gravity. In a locally inertial frame the nongravitational laws take their special-relativistic form, while internal gravitational experiments retain the same local gravitational laws and coupling constants. They are not declared to have no gravity.

In a metric description, one may set $g_{ab}={\eta }_{ab}$ and ${\partial }_c{g}_{ab}=0$ at a point by Riemann normal coordinates, so the Levi-Civita connection vanishes there. This removes a locally uniform external gravitational acceleration, not the Riemann curvature tensor. Tidal effects between separated bodies, or accumulated over a finite-duration experiment, remain. The local limit must control both the laboratory's size and duration. Gravitationally self-bound bodies are included in the strong version, so it is stronger than equality of inertial and passive gravitational mass for ordinary test particles.

A heuristic field-equation argument supplements this principle with further assumptions: gravity is described only by a Lorentzian metric, matter couples universally to it, the affine connection is Levi-Civita, and the leading local field equation is a symmetric covariant equation with at most second metric derivatives and is linear in those second derivatives. Matter obeys stress-energy conservation ${\nabla }^a{T}_{ab}=0$. Curvature therefore supplies the natural candidates $R_{ab}$ and $R{g}_{ab}$, with a constant multiple of $g_{ab}$ also allowed. Write the candidate as $R_{ab}+cR{g}_{ab}+\Lambda g_{ab}=\kappa T_{ab}$. The contracted Bianchi identity and metric compatibility giveTo permit varying scalar curvature consistently with matter conservation, take $c=-1/2$. This gives the Einstein tensor $G_{ab}=R_{ab}-g_{ab}R/2$ andThe cosmological constant is constant so that its divergence vanishes. These assumptions motivate the usual Einstein equation; the equivalence principle alone does not exclude theories with extra fields or higher curvature terms.

The sign and normalization are fixed by the supplied Newtonian limit. Use signature $(+---)$, the curvature commutator convention of Q1, and the Ricci contractionThis is the contraction for which $R_{00}\simeq -{\nabla }^2\phi$ in the question. In four dimensions, tracing the candidate equation gives $-R+4\Lambda =\kappa T$, and substituting back givesFor slowly moving pressureless matter, $T_{00}\simeq \rho$, $T\simeq \rho$ and $g_{00}\simeq 1$. On local scales where the cosmological term is negligible, $R_{00}\simeq \kappa \rho /2$. Compare this with $R_{00}\simeq -{\nabla }^2\phi$ and the Poisson equation ${\nabla }^2\phi =4\pi G\rho$. The Newtonian normalization of the Einstein field equations is thereforeUnits with light speed one are used, as in the paper; for conventional physical stress-energy units the coupling is $-8\pi G/c^4$. If the opposite Ricci/curvature sign convention is adopted, the displayed geometric coupling sign changes accordingly. With the cosmological term retained in the same weak-field calculation, the Newtonian equation becomes ${\nabla }^2\phi =4\pi G\rho -\Lambda$, consistent with this sign choice.

Both metrics have curvature radius one and signature $(+-)$. Their global topology must be specified as well as their local metric. The usual two-dimensional de Sitter spacetime is the hyperboloid $(X^0{)}^2-(X^1{)}^2-(X^2{)}^2=-1$ in three-dimensional Minkowski spacetime, parametrized byThus $t\in \mathbb{R}$ and $\chi$ is periodic modulo $2\pi$, for example $0\le \chi <2\pi$. Spatial slices are circles. Unwrapping $\chi$ instead gives the universal cover, not the usual closed spatial model.

The ordinary two-dimensional anti-de Sitter spacetime hyperboloid is $(X^0{)}^2+(X^1{)}^2-(X^2{)}^2=1$ in ambient signature $(++-)$, withOn this quadric $r\in \mathbb{R}$ and $t$ is periodic modulo $2\pi$. The closed time circles are timelike, so it contains closed timelike curves. The usual physically causal AdS model is its universal cover, for which $r,t\in \mathbb{R}$, with time no longer identified. The signed radial coordinate has two spatial ends; restricting to $r\ge 0$ would retain only half of this global model. The metric by itself cannot distinguish periodic time from the cover. The scalar curvature is $+2$ for de Sitter and $-2$ for AdS in the Ricci convention of Q2. Both are maximally symmetric and have no curvature singularity; these toy two-dimensional metrics illustrate causal geometry rather than the ordinary four-dimensional matter field equations.