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
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 , a smooth Lorentzian metric 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 is a future unit timelike vector with . A smooth observer congruence is a smooth field of such vectors. A local tetrad is a smooth basis with metric matrix ; 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 is a smooth real two-form, hence an alternating covariant tensor of type , on an open subset of , as in Oriented Lorentzian fields, observers and coordinate conventions. It is primitive in this formulation. For an observer congruence , its electric and magnetic observer covectors are derived by
Here is the unique Hodge map characterized pointwise by , using the metric and independent orientation, as in Lorentzian exterior calculus and Hodge star. Both covectors annihilate and lie in the rest covector space , whose induced metric is positive definite. In a positively oriented future orthonormal tetrad with and , their spatial components obey the fixed dictionary and from Observer electric/magnetic reconstruction and invariants. Thus and are observer-dependent derived fields, not globally defined observer-independent three-vectors on a curved spacetime. Their tetrad components have units and tesla (T), respectively; the components of in a length-coordinate chart have unit T. No global potential is assumed; when a local potential is used, its components have unit and a scalar potential has unit V.
For any chosen observer , a smooth four-current is a vector field whose local decomposition is , where is the observer charge density and is orthogonal to . In the associated positively oriented orthonormal tetrad its components are and . The units are , , and 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 (the speed of light in vacuum) is exactly . Independently of the flat physical postulate, this Einstein–Maxwell formulation chooses that SI constant as its primitive conversion parameter in , , and . 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 . The elementary charge is exactly . These unit definitions do not imply that charge is quantized. The magnetic constant has unit and is experimentally determined in the revised SI, so no exact numerical value for is adopted. Define the electric constant (vacuum permittivity) in ; hence , and has the same relative standard uncertainty as because is exact. The exact component equation is dimensionally consistent: both sides have unit in a length-coordinate frame.
In a length-coordinate chart all four coordinate values are assigned metres, with when a time coordinate in seconds is selected. This is local coordinate bookkeeping, not a global inertial-coordinate claim. In such a chart is dimensionless, the Levi-Civita coefficients have unit , and curvature components have unit , 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 with unit and the cosmological constant parameter with unit as primitive parameters of the selected model; no numerical value for either is used here. The coupling normalization is derived from these parameters and has unit . This definition records the convention for a later Einstein equation; it asserts no Einstein equation. A separate positive normalization with unit weber (Wb) is a chosen flux conversion reserved for a later explicitly specified formulation, where under multiplication. It is not , an electric charge, , or Planck's constant, and it implies no charge quantization. Test-particle rest mass in kg and charge 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 , nor identify similarly named quantities in another framework.
Remarks
Within the primitive/derived convention stated above, and are primitive inputs of this formulation; a numerical remains a qualified empirical input. The exact SI constant is included only to specify the coulomb and is not a parameter in the selected field equations. The optional 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 .
Depends on
Oriented Lorentzian fields, observers and coordinate conventions
Observer electric/magnetic reconstruction and invariants
Lorentzian exterior calculus and Hodge star
The electromagnetic two-form, its observer decomposition and the four-current
Framework-local SI units, the vacuum constants and the exact/measured status of their values
Adopted Minkowski physical model of the electromagnetic framework
Dependency tree · 2 levels
Sources
- BIPM, The International System of Units (SI), 9th edition, version 4.01 (2026 update), complete 214-page brochure
- David Tong, Electromagnetism, University of Cambridge Mathematical Tripos lecture notes, complete 236-page author-hosted PDF
- David J. Griffiths, Introduction to Electrodynamics, 3rd edition (Prentice Hall, 1999), full scanned text
- David Tong, General Relativity, Cambridge Part III lecture notes, §2.4.2, The Electromagnetic Field
- David Tong, General Relativity, Cambridge Part III lecture notes, §§3.1.3 and 3.2.5
- H. S. Reall, Part III General Relativity, Cambridge, 12 October 2022 revision, full 125-page lecture notes (Internet Archive copy of the author-hosted PDF)