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.
Kerr geometric parameters and SI unit restoration
Unit and parameter interpretation for the Kerr metric; it asserts no measured value, astrophysical source model, or observational result.
Remark
In the SI coordinate convention , the Kerr metric's coordinate is the length coordinate (not the time in seconds), and is a length; are dimensionless. The metric parameters and in the Kerr exterior definition are geometric lengths: the associated physical mass is , and the physical angular momentum is . Thus is the specific angular-momentum parameter. The horizon parameter has units of inverse length; the physical angular frequency is in inverse seconds.
For the local Hamilton-Jacobi solutions on an axis-avoiding coordinate rectangle, adopt the following action normalization. Let be a reduced action with units , and define . Thus . The momentum covector is ; on the separated branches , define and . The real constant is the normalization parameter in , and the angular separation constant is These are the constants of the local separation theorem, with its domain and radicand restrictions. Since have length units and the angles are dimensionless, and . The inverse-metric contraction has units , so this convention assigns , , and . These assignments apply also when a constant vanishes. They fix an action normalization; they are not dimensions forced by the unnormalized Hamilton-Jacobi equation alone. If a positive rest mass is assigned in a massive-particle interpretation, its corresponding positive parameter is ; that interpretation is additional model data, not an existence or motion claim here.
These conversions restore units in the stated framework. They do not assert numerical parameter values, a particular astrophysical source, or an observation.