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 chart with the point-normal first-order form whose second metric derivatives do not vanish

Statement refuted

Statement refuted: "If a smooth chart (U,x) of a smooth Lorentzian four-manifold satisfies the point-normal first-order identities gab(p)=ηab, ∂agbc(p)=0 and Γabc(p)=0 at a point p∈U, then in addition ∂a∂bgcd(p)=0" (Point-normal and exponential coordinate charts of the metric-selected connection, Metric compatibility, torsion freedom and the metric-selected connection class).

Facts & Assumptions

Given: The open set U=R4 with the identity chart x and the smooth covariant 2-tensor field gab=ηab+(x0)2δ1aδ1b, that is g11=1+(x0)2 and gab=ηab for all other index pairs.

[L1]

A smooth symmetric covariant 2-tensor field on U is a Lorentzian metric when its matrix of components is symmetric and nondegenerate with inertia (3,1,0) at every point (Smooth covariant 2-tensor fields on a smooth manifold, Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model).

[L2]

The Christoffel symbols of the metric-selected connection are Γabc=12∑dgad(∂bgdc+∂cgbd−∂dgbc) in a chart, and the inverse-metric components are the inverse matrix (Christoffel symbols of an affine connection, Point-normal and exponential coordinate charts of the metric-selected connection, The inverse metric, musical isomorphisms and index raising).

[L3]

The point-normal identities at p are gab(p)=ηab, ∂agbc(p)=0 and Γabc(p)=0 (Point-normal and exponential coordinate charts of the metric-selected connection).

Counterexample

1.1givenL1algebra

The components gab are smooth functions on R4; at every point the matrix of components is diag⁡(−1, 1+(x0)2, 1, 1), which is symmetric with one negative and three positive eigenvalues. Hence g is a smooth Lorentzian metric on U with the same time orientation N=∂0 as the flat model.

2.1step 1.1L2L3algebra

At the point p=(0,0,0,0) the matrix is diag⁡(−1,1,1,1), so gab(p)=ηab. The only component depending on the coordinates is g11=1+(x0)2, and ∂cg11=2x0δ0c vanishes at p; all other components are constant. Hence ∂agbc(p)=0, and by the Christoffel formula of [L2] also Γabc(p)=0: the identity chart satisfies the point-normal identities of [L3] at p.

3.1step 2.1algebra

The second derivative in the direction of x0 of the (1,1) component is ∂0∂0g11(0)=∂0(2x0)∣0=2≠0. Therefore ∂a∂bgcd(p) does not vanish for all index choices, namely not for (a,b,c,d)=(0,0,1,1), and the displayed statement is refuted.

4.1step 3.1L3algebra∎

The statement refuted concerns only second-order vanishing in a chart with the point-normal first-order identities; the example asserts nothing about the curvature of g at p, and no such claim is used. In particular this item does not refute any claim of Point-normal and exponential coordinate charts of the metric-selected connection, which is explicitly silent at second order.

Remarks

The computation exhibits the exact sense in which normal coordinates are a first-order statement: the metric can always be put in the form ηab+O(∣x∣2) at a point, but the coefficient of the second-order term is not removable by a coordinate change in general, as the counting argument in the cited source records. The physical reading of this limitation is recorded in Scope of normal coordinates and of the local-inertial-frame reading.

Depends on

Dependency tree · 2 levels

Sources