Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generatedverified 2026-10-15 (gpt-6-luna, gpt-6.1-sol, and delegated Codex review/repair agents; see completed run evidence)
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.

SI and geometrized Einstein–Maxwell parameters

Definition

Use the smooth oriented, time-oriented Lorentzian four-manifold, metric signature (−,+,+,+), and arbitrary smooth real two-form F of Oriented Lorentzian fields, observers and coordinate conventions. In a chart using the coordinate convention x0=ct with all four coordinates assigned metres, assign the SI component unit tesla to Fab; the two-form F=12Fab dxa∧dxb then has unit weber.

For this conversion dictionary, take c>0, G>0, and μ0>0 as numerical input parameters, with SI dimensions

[c]=m s−1,[G]=m3 kg−1 s−2,[μ0]=kg m C−2.

Define the derived parameters

ε0:=1μ0c2,κ:=8πGc4,α:=κ2μ0,F:=αF.

Thus ε0 has unit C2 s2 kg−1 m−3, κ has unit m J−1, α has unit C s kg−1 m−1, and the components Fab have unit m−1. In modern SI, c is fixed exactly by the definition of the metre; μ0 is not fixed exactly and its numerical value is determined experimentally. Here the equations use only the positive symbolic parameters above, not a selected numerical value.

For a physical mass M ⁣p>0 in kilograms, signed charge Qe in coulombs, and angular momentum Jang in kg m2 s−1, define the geometric length parameters

mgeo:=GM ⁣pc2,qgeo:=G4πε0c4 Qe,ageo:=JangM ⁣pc.

For a supplied magnetic-flux parameter ΦB in webers, also define pgeo:=αΦB/(4π) in metres. This is only a conversion of an already specified flux value; it asserts neither a global potential nor a magnetic source. The inverse parameter maps are M ⁣p=c2mgeo/G, Qe=4πε0c4/G qgeo, Jang=M ⁣pc ageo, and ΦB=4πpgeo/α.

The mass, charge, angular momentum and flux are inputs to this dictionary; their primitive or derived status in any physical model is framework-specific. No field equation, Maxwell postulate, matter law, or empirical value is part of this definition.

Remarks

The Lorentzian geometry supplier records the inherited tangent-bundle background under Countable Choice ACω; this dictionary uses no further choice and does not assume the full Axiom of Choice.

Depends on

Dependency tree · 2 levels

Sources