Alphabeta Math
CounterexampleConstruction: AI-adaptedVerification: 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.

A torsion-free connection that is not metric-compatible

Statement refuted

Statement refuted: "every torsion-free affine connection on the flat Lorentzian four-manifold (M,A) of The constant Minkowski metric as a smooth time-oriented Lorentzian manifold is compatible with the metric A" (Metric compatibility, torsion freedom and the metric-selected connection class).

Facts & Assumptions

Given: The flat Lorentzian four-manifold (M,A) with global chart x, so that Aab=diag⁡(−1,1,1,1)ab are constant, and the coefficient data Γ001=Γ010=1, with all other Γabc=0.

[L1]

An affine connection is R-bilinear, function-linear in the first argument, and satisfies ∇X(fY)=X(f)Y+f∇XY; the connection ∇XY=∑bX(Yb)∂b of The coordinate connection of the flat chart is metric-selected is an affine connection, its verification using exactly these rules (Affine connection on a smooth manifold).

[L2]

The Christoffel symbols in a chart are the unique smooth functions with ∇∂b∂c=∑aΓabc∂a (Christoffel symbols of an affine connection).

[L3]

A connection is torsion-free if and only if Γabc=Γacb in every chart, and compatible with the metric if and only if ∂agbc=∑d(Γdabgdc+Γdacgbd) in every chart (Torsion freedom and metric compatibility in chart components).

[L4]

A metric-selected connection is one that is both torsion-free and metric-compatible (Metric compatibility, torsion freedom and the metric-selected connection class).

Counterexample

1.1L1algebra

Define ∇XY:=∑a,b,cXaYbΓcab∂c+∑bX(Yb)∂b for smooth fields X=∑aXa∂a, Y=∑bYb∂b in the global chart, with the given coefficients. Then ∇fXY=f∇XY because the coefficients depend bilinearly on the components of X,Y, ∇X(fY)=∑a,b,cXa(fY)bΓcab∂c+∑bX(fYb)∂b=f∇XY+X(f)Y by the product rule, and R-bilinearity holds componentwise; hence ∇ is an affine connection by [L1].

1.2L2L3

By [L2] the Christoffel symbols of ∇ in the global chart are the given Γ001=Γ010=1 and Γabc=0 otherwise; in particular Γabc=Γacb for all a,b,c, so ∇ is torsion-free by [L3].

2.1step 1.2L3L4algebra

The compatibility identity of [L3] fails at every point: for (a,b,c)=(1,0,0) the left-hand side is ∂1A00=0 because A00=−1 is constant, while the right-hand side is Γ010A00+Γ010A00=1⋅(−1)+1⋅(−1)=−2≠0. By the equivalence [L3], ∇ is not compatible with A; it is therefore not metric-selected by [L4].

3.1step 1.1step 1.2step 2.1L4∎

The connection of steps 1.1-1.2 is an affine connection that is torsion-free but not A-compatible, so it refutes the displayed statement. Since it is not compatible it also shows that the two conditions in the definition of a metric-selected connection are independent in the sense that torsion freedom alone does not force compatibility.

Remarks

The companion example The coordinate connection of the flat chart is metric-selected shows that the class LC⁡(M,A) is nonempty: the coordinate connection with vanishing coefficients is metric-selected. This counterexample shows that torsion freedom alone is strictly weaker than the pair of conditions. It makes no claim about the converse implication, that a compatible connection need not be torsion-free, and no uniqueness claim about LC⁡(M,A).

Depends on

Dependency tree · 2 levels

Sources