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 of a smooth Lorentzian four-manifold satisfies the point-normal first-order identities , and at a point , then in addition " (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 with the identity chart and the smooth covariant -tensor field , that is and for all other index pairs.
A smooth symmetric covariant -tensor field on is a Lorentzian metric when its matrix of components is symmetric and nondegenerate with inertia at every point (Smooth covariant 2-tensor fields on a smooth manifold, Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model).
The Christoffel symbols of the metric-selected connection are 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).
The point-normal identities at are , and (Point-normal and exponential coordinate charts of the metric-selected connection).
Counterexample
The components are smooth functions on ; at every point the matrix of components is , which is symmetric with one negative and three positive eigenvalues. Hence is a smooth Lorentzian metric on with the same time orientation as the flat model.
At the point the matrix is , so . The only component depending on the coordinates is , and vanishes at ; all other components are constant. Hence , and by the Christoffel formula of [L2] also : the identity chart satisfies the point-normal identities of [L3] at .
The second derivative in the direction of of the component is . Therefore does not vanish for all index choices, namely not for , and the displayed statement is refuted.
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 at , 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 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
Point-normal and exponential coordinate charts of the metric-selected connection
Smooth time-oriented Lorentzian four-manifolds: the geometric objects of the model
Smooth covariant 2-tensor fields on a smooth manifold
Christoffel symbols of an affine connection
Metric compatibility, torsion freedom and the metric-selected connection class
Torsion freedom and metric compatibility in chart components
The inverse metric, musical isomorphisms and index raising
Dependency tree · 2 levels
Sources
- D. Tong, General Relativity (Cambridge Part III Mathematical Tripos, Michaelmas 2019), section 3.3.2: it is not generally possible to make the second derivatives of the metric vanish in normal coordinates, with the parameter-counting argument, printed pp. 119-121 (PDF pp. 126-128)
- H. S. Reall, Part III General Relativity (Cambridge, October 12, 2022 revision), section 3.4: normal coordinates give $g_{\mu\nu,\rho}(p)=0$ at one point only, and derivatives away from p need not vanish, printed pp. 38-40 (PDF pp. 39-41)