Alphabeta Math
LemmaStatement: AI-adaptedProof: AI-generatedprecheck pass
How statement and proof provenance work

The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.

  • Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
  • AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
  • AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.

These labels describe origin, not correctness: citations and verification chips remain separate evidence.

Constant metric rescaling preserves the connection and Ricci tensor and inversely scales scalar and sectional curvature

Statement

Assume the inherited ACω (The Axiom of Countable Choice (ACω)); the local calculations below use no further choice principle.

Let Σ be a smooth manifold, let γ be a Riemannian metric on Σ (Riemannian metric and riemannian manifold) and let λ>0 be a constant. Write γλ:=λγ for the rescaled metric. Then:

(a) Connection. The Levi-Civita connection of γλ equals the Levi-Civita connection of γ (Christoffel formula for the levi civita connection).

(b) Curvature operator. If Rλ and R are the curvature operators of the two Levi-Civita connections in the convention R(X,Y)Z=∇X∇YZ−∇Y∇XZ−∇[X,Y]Z (Coordinate formula for the curvature tensor, Curvature is a type (1,3) tensor), then Rλ=R: the two operators are equal as (1,3)-tensor fields.

(c) Ricci and scalar curvature. With the Ricci curvature of Ricci curvature and the scalar curvature of Scalar curvature,

Ric⁡(γλ)=Ric⁡(γ),S(γλ)=λ−1S(γ).

(d) Lowered curvature and sectional curvature. With the Riemann four-tensor of Riemann curvature four-tensor,

Rm⁡γλ(X,Y,Z,W)=λ Rm⁡γ(X,Y,Z,W),

and for every tangent two-plane σ on which γ is defined the sectional curvature scales inversely, Kγλ(σ)=λ−1Kγ(σ) (Sectional curvature).

Facts & Assumptions

Given: A smooth manifold Σ, a Riemannian metric γ, a constant λ>0, and a smooth chart (U,x).

[L1]

In a chart with metric matrix (γij) and inverse (γij), the Levi-Civita symbols of γ are Γkij=12∑ℓγkℓ(∂iγjℓ+∂jγiℓ−∂ℓγij) (Christoffel formula for the levi civita connection).

[L2]

A chart's Christoffel symbols are the coefficients in ∇∂i∂j=Γkij∂k; an affine connection is real bilinear and function-linear in its first argument, and ∇X(fY)=X(f)Y+f∇XY (Christoffel symbols of an affine connection, Affine connection on a smooth manifold). A vector field on a chart domain is a finite sum ∑ifi∂i with smooth coefficients, and the coordinate fields form a basis of each tangent space (Coordinate derivations form a basis of the tangent space, Smoothness of a vector field is equivalent to smooth coordinate components).

[L3]

In a chart, Rℓkij=∂iΓℓjk−∂jΓℓik+ΓmjkΓℓim−ΓmikΓℓjm (Coordinate formula for the curvature tensor), and the curvature operator is a smooth (1,3)-tensor determined by its coordinate components (Curvature is a type (1,3) tensor).

[L4]

The Riemann four-tensor is Rm⁡(X,Y,Z,W)=g(R(X,Y)Z,W) (Riemann curvature four-tensor); Ricci curvature is Ric⁡(X,Y)=tr⁡(Z↦R(Z,X)Y), a trace of the curvature endomorphism that involves no metric (Ricci curvature); scalar curvature is the metric trace S=tr⁡gRic⁡ (Scalar curvature); sectional curvature is Rm⁡(u,v,v,u) divided by the positive Gram determinant of a basis (u,v) of the two-plane (Sectional curvature).

Proof

technique · direct; compute the Christoffel symbols of $\lambda\gamma$ and then transport the equality along the definitions
1.1L1algebra

(Symbols of the rescaled metric.) In a chart, the matrix of γλ is λ(γij) with inverse λ−1(γij), and its coordinate derivatives are ∂i(λγjℓ)=λ ∂iγjℓ. Substituting into [L1], Γλkij=12λ−1γkℓλ(∂iγjℓ+∂jγiℓ−∂ℓγij)=Γkij: the symbols of γλ and γ agree in every chart.

2.1L2step 1.1algebra

(Connection equality.) Fix a chart. By [L2] a vector field on its domain is ∑ifi∂i with smooth fi, and the symbols describe the connection on coordinate fields, ∇∂i∂j=∑kΓkij∂k. Since ∇ is function-linear in its first argument and satisfies the Leibniz rule in its second, ∇XY=Xa∂a(Yb)∂b+XaYb∇∂a∂b for smooth fields; hence two affine connections with the same symbols in every chart agree on all smooth vector fields. By step 1.1 the Levi-Civita connections of γλ and γ have the same symbols in every chart, so they are equal.

3.1L3step 2.1algebra

(Curvature operator equality.) The curvature operator is defined from the connection alone by R(X,Y)Z=∇X∇YZ−∇Y∇XZ−∇[X,Y]Z; substituting the common connection of step 2.1 gives Rλ=R on smooth fields. Equivalently, the coordinate formula [L3] expresses the components through the common symbols and their derivatives, so the components agree in every chart and [L3] makes the operators equal as (1,3)-tensors.

4.1L4step 3.1

(Ricci equality.) By the definition recalled in [L4], Ric⁡(X,Y) is the trace of the endomorphism Z↦R(Z,X)Y of TpΣ; this trace is computed from the curvature endomorphism and the vector-space structure alone and uses no metric. Since Rλ=R by step 3.1, the endomorphisms coincide at every point and so do their traces: Ric⁡(γλ)=Ric⁡(γ). In particular no factor of λ appears.

5.1L4step 3.1step 4.1algebra∎

(Lowered curvature, scalar curvature and sectional curvature.) At a point, Rm⁡γλ(X,Y,Z,W)=(λγ)(Rλ(X,Y)Z,W)=λ γ(R(X,Y)Z,W)=λRm⁡γ(X,Y,Z,W) by [L4], step 3.1 and bilinearity of γ. Taking the metric trace of step 4.1, S(γλ)=∑i,j(λγ)ijRic⁡(γλ)ij=λ−1∑i,jγijRic⁡(γ)ij=λ−1S(γ), since the inverse metric of λγ is λ−1γ−1. Finally, for an independent pair (u,v) the numerator of the sectional curvature of γλ is Rm⁡γλ(u,v,v,u)=λRm⁡γ(u,v,v,u) while the Gram determinant of (u,v) with respect to γλ is λ2 times the Gram determinant with respect to γ; the ratio is therefore multiplied by λ−1, Kγλ(σ)=λ−1Kγ(σ). This proves the four claims.

Remarks

  • Scope. The lemma is stated for smooth manifolds with a Riemannian metric; it is pointwise and local, and it holds on every such manifold. The constant λ must be strictly positive so that λγ is again positive definite. The raised-index Ricci tensor satisfies Ric⁡(γλ)ab=λ−2Ric⁡(γ)ab, which is the statement used if an index-raised form is wanted.

  • Use on this page. Constant rescaling preserves the covariant Ricci tensor and the sign of sectional curvature, while its magnitude changes inversely with the metric factor. Thus a normalized spatial metric with curvature k has curvature k/a(t)2 when multiplied by a(t)2; clause (c) of The constant-curvature spatial model of a homogeneous cosmology distinguishes this scale from the normalized parameter.

Depends on

Dependency tree · 2 levels

Sources