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.
Sectional curvatures determine the Riemann tensor
Statement
Let and be covariant four-tensors on a finite-dimensional real inner-product space, each having all algebraic symmetries of a Riemann curvature tensor. If they give the same sectional curvature on every two-plane, then .
Facts & Assumptions
Given: The stated tensors have first- and last-pair skewness, pair-interchange symmetry, and the cyclic Bianchi identity. Their difference has the same symmetries.
Proof
The sectional quotient is intrinsic to a two-plane using only the given pair skews. Indeed, if its ordered basis is changed by a matrix with determinant , the alternating-pair numerator becomes , while the Gram determinant becomes . Thus the quotient is basis-independent. For independent , equality of the two quotients and positivity of the common Gram denominator give . For dependent , the same equality follows from first-pair skewness.
Expanding and using step 1.1 removes both diagonal terms. Pair interchange followed by the two pair skews identifies the two cross terms, so . Hence for all .
Polarize step 2.1 in : expanding leaves , so is also skew in its two middle slots. The Bianchi identity now gives by first-pair and middle-slot skewness. Therefore and .
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Ved Datar, Lectures on Riemannian Geometry (standard reference, not scraped)
- John M. Lee, Riemannian Manifolds: An Introduction to Curvature (standard reference, not scraped)