Alphabeta Math
TheoremStatement: AI-adaptedProof: AI-adaptedPipeline-generatedprecheck passjudge pass (gpt-5.6-terra)audited 2026-09-14
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 R1 and R2 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 R1=R2.

Facts & Assumptions

Given: The stated tensors have first- and last-pair skewness, pair-interchange symmetry, and the cyclic Bianchi identity. Their difference T=R1R2 has the same symmetries.

Proof

technique · polarization using only the stated algebraic symmetries
1.1

The sectional quotient is intrinsic to a two-plane using only the given pair skews. Indeed, if its ordered basis (X,Y) is changed by a matrix AGL2(R) with determinant d, the alternating-pair numerator R(X,Y,Y,X) becomes d2R(X,Y,Y,X), while the Gram determinant becomes det(AGAT)=d2detG. Thus the quotient is basis-independent. For independent X,Y, equality of the two quotients and positivity of the common Gram denominator give T(X,Y,Y,X)=0. For dependent X,Y, the same equality follows from first-pair skewness.

givenalgebra
2.1

Expanding 0=T(X+Y,Z,Z,X+Y) and using step 1.1 removes both diagonal terms. Pair interchange followed by the two pair skews identifies the two cross terms, so 2T(X,Z,Z,Y)=0. Hence T(X,Z,Z,Y)=0 for all X,Y,Z.

givenstep 1.1algebra
3.1

Polarize step 2.1 in Z: expanding 0=T(X,Z+W,Z+W,Y) leaves T(X,Z,W,Y)+T(X,W,Z,Y)=0, so T is also skew in its two middle slots. The Bianchi identity now gives 0=T(X,Y,Z,W)T(Y,X,Z,W)T(X,Z,Y,W)=3T(X,Y,Z,W) by first-pair and middle-slot skewness. Therefore T=0 and R1=R2.

givenstep 2.1algebra

Used by

Dependency tree · 0 levels

Nothing. This result depends on no other item in the library.

Sources