Alphabeta Math
DefinitionDefinition: AI-adaptedProof: Not applicablePipeline-generated
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 geometric solution parameter identifications

Physical scope

A model-local map from SI mass, angular-momentum, electric-charge, and magnetic-flux inputs to the length parameters in the selected four-dimensional, zero-cosmological-constant Einstein–Maxwell solution families. It fixes no global ADM or Komar identification, magnetic-charge convention, charge quantization, empirical value, observed black-hole claim, or field law.

Definition

Use the SI quantities, coordinate convention, and primitive/derived distinction of Einstein–Maxwell primitive quantities and SI conventions, and the zero-cosmological-constant geometric electrovac flux normalization of Geometric electrovac equations and flux normalization. This definition is the model-local parameter map for the RN and KN ansatz families; it is not a claim that nature contains an object with these parameters.

Take GN>0, c>0, and μ0>0 as the gravitational and electromagnetic constants used by this coupled model, with ε0=(μ0c2)−1. Let m∗>0 be a selected SI mass parameter in kg, J∈R a selected angular-momentum parameter in kg m2 s−1, Qe∈R a selected electric charge parameter in C, and ΦB∈R a selected magnetic flux in Wb through an oriented sphere. These are the chosen SI inputs of this parametrization; this role is local to the solution families and is not a universal ontology for mass, angular momentum, or charge.

For the geometric flux integrals below, retain the ACω convention explicitly stated by Geometric electrovac equations and flux normalization and defined by The Axiom of Countable Choice (ACω). No arbitrary-index choice principle or magnetic-charge quantization is added.

Set

α:=4πGNμ0c4,F:=αF,

where F is the SI electromagnetic two-form of Einstein–Maxwell primitive quantities and SI conventions and F is its geometric normalization. In length coordinates Fab has unit T, Fab has unit m−1, and α has unit T−1m−1. For an oriented sphere S, write the geometric flux parameters as

qe:=14π∫S⋆gF,qm:=14π∫SF.

The SI electric-flux convention is Qe=ε0c∫S⋆gF, and the magnetic quantity used here is the flux ΦB=∫SF. Thus

qe=α4πε0cQe=GN4πε0c4 Qe,qm=α4πΦB.

The second equality in the electric formula uses the exact SI relation ε0μ0c2=1. Both qe and qm have units of length; qm is a flux parameter and is not assigned a universal SI magnetic-charge convention. If one separately chooses the convention Qm:=ΦB/μ0 with unit A m, then the same definition reads qm=GNμ0/(4πc4) Qm; this optional relabeling adds no new physical assumption or quantization rule.

For the metric parameters, set

M:=GNm∗c2,a:=Jm∗c,Qgeom2:=qe2+qm2.

Here M, a, qe, and qm are derived length parameters, while m∗, J, Qe, ΦB, GN, c, and μ0 are the selected inputs of this map. The dimensionless metric coefficients use M/r, a/r, and Qgeom2/r2. Horizon radii, areas, angular velocities, and surface gravities are further derived quantities of a specified solution, not additional primitive inputs.

These parameter identifications do not establish that M equals an ADM or Komar mass, or that J equals an ADM or Komar angular momentum; such identifications need their own global hypotheses and proofs. They supply no empirical values for GN or μ0, no measured black-hole parameters, no global potential in a nonzero magnetic-flux sector, and no claim of charge quantization. The source treatments use differing signatures, charge normalizations, and natural or Gaussian unit conventions; the SI formulas above are fixed by the stated local conventions and are not copied without conversion.

Depends on

Dependency tree · 2 levels

Sources