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 (The Axiom of Countable Choice ()); 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 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 and are the curvature operators of the two Levi-Civita connections in the convention (Coordinate formula for the curvature tensor, Curvature is a type (1,3) tensor), then : the two operators are equal as -tensor fields.
(c) Ricci and scalar curvature. With the Ricci curvature of Ricci curvature and the scalar curvature of Scalar curvature,
(d) Lowered curvature and sectional curvature. With the Riemann four-tensor of Riemann curvature four-tensor,
and for every tangent two-plane on which is defined the sectional curvature scales inversely, (Sectional curvature).
Facts & Assumptions
Given: A smooth manifold , a Riemannian metric , a constant , and a smooth chart .
In a chart with metric matrix and inverse , the Levi-Civita symbols of are (Christoffel formula for the levi civita connection).
A chart's Christoffel symbols are the coefficients in ; an affine connection is real bilinear and function-linear in its first argument, and (Christoffel symbols of an affine connection, Affine connection on a smooth manifold). A vector field on a chart domain is a finite sum 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).
In a chart, (Coordinate formula for the curvature tensor), and the curvature operator is a smooth -tensor determined by its coordinate components (Curvature is a type (1,3) tensor).
The Riemann four-tensor is (Riemann curvature four-tensor); Ricci curvature is , a trace of the curvature endomorphism that involves no metric (Ricci curvature); scalar curvature is the metric trace (Scalar curvature); sectional curvature is divided by the positive Gram determinant of a basis of the two-plane (Sectional curvature).
Proof
(Symbols of the rescaled metric.) In a chart, the matrix of is with inverse , and its coordinate derivatives are . Substituting into [L1], : the symbols of and agree in every chart.
(Connection equality.) Fix a chart. By [L2] a vector field on its domain is with smooth , and the symbols describe the connection on coordinate fields, . Since is function-linear in its first argument and satisfies the Leibniz rule in its second, 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.
(Curvature operator equality.) The curvature operator is defined from the connection alone by ; substituting the common connection of step 2.1 gives 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 -tensors.
(Ricci equality.) By the definition recalled in [L4], is the trace of the endomorphism of ; this trace is computed from the curvature endomorphism and the vector-space structure alone and uses no metric. Since by step 3.1, the endomorphisms coincide at every point and so do their traces: . In particular no factor of appears.
(Lowered curvature, scalar curvature and sectional curvature.) At a point, by [L4], step 3.1 and bilinearity of . Taking the metric trace of step 4.1, , since the inverse metric of is . Finally, for an independent pair the numerator of the sectional curvature of is while the Gram determinant of with respect to is times the Gram determinant with respect to ; the ratio is therefore multiplied by , . 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 , 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 has curvature when multiplied by ; clause (c) of The constant-curvature spatial model of a homogeneous cosmology distinguishes this scale from the normalized parameter.
Depends on
Riemannian metric and riemannian manifold
Christoffel formula for the levi civita connection
Coordinate formula for the curvature tensor
Christoffel symbols of an affine connection
Affine connection on a smooth manifold
Coordinate derivations form a basis of the tangent space
Smoothness of a vector field is equivalent to smooth coordinate components
Riemann curvature four-tensor
Ricci curvature
Scalar curvature
Sectional curvature
Curvature is a type (1,3) tensor
The Axiom of Countable Choice ()
Dependency tree · 2 levels
Sources
- John M. Lee, Riemannian Manifolds: An Introduction to Curvature, Chapter 3 (homotheties and the behavior of curvature under constant scaling of the metric), printed pp. 38-42, and the model-space curvatures, printed pp. 148-149
- Ved Datar, Lectures on Riemannian Geometry, Lecture 8 (the Christoffel formula) and Lecture 11 (the coordinate curvature formula), printed pp. 49 and 71-72