Alphabeta Math
RemarkRemark: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-22 (gpt-6.1-sol)
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

Physical scope

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 x0=ctSI, the Kerr metric's coordinate t is the length coordinate x0 (not the time in seconds), and r is a length; θ,ϕ are dimensionless. The metric parameters M and a in the Kerr exterior definition are geometric lengths: the associated physical mass is mphys=c2M/GN, and the physical angular momentum is Jphys=c3Ma/GN. Thus a=Jphys/(mphysc) is the specific angular-momentum parameter. The horizon parameter ΩH=a/(r+2+a2) has units of inverse length; the physical angular frequency is cΩH in inverse seconds.

For the local Hamilton-Jacobi solutions on an axis-avoiding coordinate rectangle, adopt the following action normalization. Let SSI:U→R be a C1 reduced action with units J s=kg m2 s−1, and define S:=(GN/c3)SSI. Thus [S]=length2. The momentum covector is p=dS; on the separated branches S=−Et+Lϕ+Sr(r)+Sθ(θ), define E:=−pt and L:=pϕ. The real constant μ is the normalization parameter in gabpapb=−μ2, and the angular separation constant is Q:=pθ2+cos⁡2θ[a2(μ2−E2)+L2sin⁡2θ]. These are the constants of the local separation theorem, with its domain and radicand restrictions. Since t,r have length units and the angles are dimensionless, [pt]=[pr]=length and [pθ]=[pϕ]=length2. The inverse-metric contraction has units length2, so this convention assigns [μ]=[E]=length, [L]=length2, and [Q]=length4. 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 m0 is assigned in a massive-particle interpretation, its corresponding positive parameter is μ=GNm0/c2; 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.

Depends on

Dependency tree · 2 levels

Sources