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.

Einstein–Maxwell primitive quantities and SI conventions

Physical scope

SI quantities and frame-local field conventions for the selected smooth classical Einstein–Maxwell model. It distinguishes primitive parameters and field variables from observer-derived fields, fixes the flat SI component dictionary and the curvature-coordinate units, and makes no field-equation, global inertial-chart, measured μ0 numerical-value, charge-quantization, or cross-framework identification claim.

Definition

Adopt SI units and the following model-local quantity roles. Here the selected Einstein–Maxwell framework combines the stated Lorentzian geometry with a classical electromagnetic two-form and current; this definition itself supplies no gravitational equation, matter action, or empirical claim. A primitive is an input or independent field variable of this formulation; a derived quantity is fixed by a stated construction from its inputs. Neither label is universal across physical theories, and unit choice alone does not determine it.

The spacetime data are a smooth, Hausdorff, second-countable, boundaryless four-manifold M, a smooth Lorentzian metric g of signature (−,+,+,+), a smooth time-orientation field, and an independent orientation, exactly as in Oriented Lorentzian fields, observers and coordinate conventions. The metric, its time orientation, and the manifold orientation are separate data. An observer at p∈M is a future unit timelike vector n∈TpM with g(n,n)=−1. A smooth observer congruence is a smooth field of such vectors. A local tetrad is a smooth basis (e0,e1,e2,e3) with metric matrix diag⁡(−1,1,1,1); an observer congruence, a coordinate chart, and a tetrad are different objects. Tetrads and observer fields need only exist locally; this definition assumes no global inertial chart, global tetrad, or hypersurface-orthogonal congruence.

The electromagnetic field-strength variable F is a smooth real two-form, hence an alternating covariant tensor of type (0,2), on an open subset of M, as in Oriented Lorentzian fields, observers and coordinate conventions. It is primitive in this formulation. For an observer congruence n, its electric and magnetic observer covectors are derived by

Ea:=cFabnb,Ba:=−(⋆gF)abnb.

Here ⋆g is the unique Hodge map characterized pointwise by α∧⋆gβ=⟨α,β⟩g volg, using the metric and independent orientation, as in Lorentzian exterior calculus and Hodge star. Both covectors annihilate n and lie in the rest covector space {α∈Tp∗M:α(n)=0}, whose induced metric is positive definite. In a positively oriented future orthonormal tetrad with e0=n and ϵ123=+1, their spatial components obey the fixed dictionary F0i=−Ei/c and Fij=ϵijkBk from Observer electric/magnetic reconstruction and invariants. Thus E and B are observer-dependent derived fields, not globally defined observer-independent three-vectors on a curved spacetime. Their tetrad components have units V m−1 and tesla (T), respectively; the components of F in a length-coordinate chart have unit T. No global potential is assumed; when a local potential Aa is used, its components have unit T m and a scalar potential φ has unit V.

For any chosen observer n, a smooth four-current is a vector field j whose local decomposition is j=cρ n+J, where ρ:=−g(n,j)/c is the observer charge density and J:=j−cρn is orthogonal to n. In the associated positively oriented orthonormal tetrad its components are j0=cρ and ji=Ji. The units are [ρ]=C m−3, [Ji]=[ja]=A m−2, and [q]=C for a charge parameter supplied by a matter model. The current is a prescribed input or is supplied by an explicitly stated matter model; it is not inferred from the Maxwell equation alone.

The SI constants and coordinate units are fixed as follows. The SI defining constant c>0 (the speed of light in vacuum) is exactly 299 792 458 m s−1. Independently of the flat physical postulate, this Einstein–Maxwell formulation chooses that SI constant as its primitive conversion parameter in Ea=cFabnb, j=cρn+J, and x0=ct. This explicitly adopted model-local normalization is not deduced from the SI unit definition or from a flat-spacetime assumption. The ideal-light and clock interpretation supplied by Adopted Minkowski physical model of the electromagnetic framework applies only when this model is restricted to flat Minkowski spacetime; it supplies no ideal-clock or light-ray law on a curved M. The elementary charge e is exactly 1.602 176 634×10−19 C. These unit definitions do not imply that charge is quantized. The magnetic constant μ0>0 has unit N A−2 and is experimentally determined in the revised SI, so no exact numerical value for μ0 is adopted. Define the electric constant (vacuum permittivity) ε0:=(μ0c2)−1 in F m−1; hence ε0μ0c2=1, and ε0 has the same relative standard uncertainty as μ0 because c is exact. The exact component equation ∇aFab=−μ0jb is dimensionally consistent: both sides have unit T m−1 in a length-coordinate frame.

In a length-coordinate chart all four coordinate values are assigned metres, with x0=ct when a time coordinate t in seconds is selected. This is local coordinate bookkeeping, not a global inertial-coordinate claim. In such a chart gab is dimensionless, the Levi-Civita coefficients Γabc have unit m−1, and curvature components have unit m−2, as in Oriented Lorentzian fields, observers and coordinate conventions. Components in other coordinate units transform by their Jacobians.

For the gravitational sector, take Newton's gravitational constant GN>0 with unit m3 kg−1 s−2 and the cosmological constant parameter Λ∈R with unit m−2 as primitive parameters of the selected model; no numerical value for either is used here. The coupling normalization κE:=8πGN/c4 is derived from these parameters and has unit m J−1. This definition records the convention for a later Einstein equation; it asserts no Einstein equation. A separate positive normalization κ0 with unit weber (Wb) is a chosen flux conversion reserved for a later explicitly specified U(1) formulation, where U(1):={z∈C:∣z∣=1} under multiplication. It is not κE, an electric charge, μ0, or Planck's constant, and it implies no charge quantization. Test-particle rest mass m>0 in kg and charge q in C are externally supplied matter parameters, not quantities derived by classical electromagnetism.

These are SI and model-definition conventions only. They neither assert empirical measurements beyond the stated SI defining constants and measured status of μ0, nor identify similarly named quantities in another framework.

Remarks

Within the primitive/derived convention stated above, c and μ0 are primitive inputs of this formulation; a numerical μ0 remains a qualified empirical input. The exact SI constant e is included only to specify the coulomb and is not a parameter in the selected field equations. The optional κ0 is an independent chosen primitive normalization convention. These role labels are local to this model and do not identify physical charge with integer multiples of e.

Depends on

Dependency tree · 2 levels

Sources