Dependency and Scope

0.1 — What this paper does

AP15 derives electromagnetism from the axioms. The argument is: the Born rule (AP09) has a U(1) phase symmetry; the pre-state is one (no manifold structure); records emerge a manifold M with locality (AP20); the pre-state’s global phase must be read locally; the U(1) connection Aμ is the field that does that reading; its curvature Fμν is the electromagnetic field; ε — the break, the electron — is the source.

The paper closes five structural questions. Theorem 1: ε carries non-zero charge (because Axiom B places it outside the involution’s domain). Theorem 2: ε forces non-trivial connection and curvature (by gauge invariance and the field equations). Theorem 3: the action principle is contained in the path sum (AP09). Theorem 4: the pre-state’s phase coherence partitions exhaustively into connection curvature on M and entanglement in ℋ, with ε as sole transfer mechanism. Theorem 5: charge is quantised in integer multiples of ε’s charge.

What the paper does not close: the numerical value α_em ≈ 1/137 (Gap A / KS-4). The fine-structure constant’s value is the work of AP24 (Residual) and AP28 (Constant) in subsequent NB IV chapters.

0.2 — Dependencies

AP15 depends on the following derived results.

Notebook I (Premise). The four axioms {S, B, R, C} and the governing axiom 1:1 + 1×ε @ AS. Load-bearing throughout.

AP05 (The Break). The structural derivation of ε as the unique unpaired element. Load-bearing for ε’s structural role as source of the connection.

AP06 (The Leakage Constant). The Landauer bound (ε’s thermodynamic receipt of k_B T ln 2 per record-writing event, AP06 section 4) and the structural ground for ε ≡ η. Load-bearing for Theorem 4 part (iii) and for the receipt account in the Phase Coherence Partition.

AP08 (The Identity). Einstein’s field equations and the Lovelock-type uniqueness argument for gravity. Load-bearing for the parallel uniqueness argument in section 4.4 that selects the Maxwell action as the unique gauge-invariant local action at leading derivative order.

AP09 (Quantum Mechanics). The complex Hilbert space ℋ, complex amplitudes, the Born rule (P = ψψ*), the Schrödinger equation, the path sum, and the involution σ identified with complex conjugation (AP09 section 3.2). Load-bearing for the U(1) phase symmetry (section 1) and the action principle (Theorem 3).

AP10 (The Dimension). D = 4 (three spatial + one temporal). Load-bearing for the Lovelock-type uniqueness argument (Maxwell action is dimension-4 gauge-invariant local; the dimension is derived, not assumed).

AP11 (Spin). Fermion/boson distinction and spin from the two-sector structure. Load-bearing for the photon’s identification as a spin-1 boson and for ε as a spin-½ fermion.

AP12 (The Limit). The uncertainty principle and ℏ as the quantum cost per record. Load-bearing for the path sum’s exp(iS/ℏ) weighting.

AP13 (Decoherence). Record-writing produces decoherence; the accumulated record is the environment. Load-bearing for Theorem 4 part (iii)(b): ε-record-events decohere the subsystems that shared phase coherence.

AP14 (Correction). Time-slicing of the path sum (AP14 section 2.3). Load-bearing for Theorem 3: the action principle’s derivation from the discrete record algebra via the time-sliced sum.

AP20 (The Proof). The Embedding Hypothesis (EH) and the Quantum–Records Algebra (QRA): the algebraic pre-state structure embeds into the physical manifold M. Load-bearing for the bundle construction in section 3 (the U(1) principal bundle over M) and for the EH pushforward used throughout.

0.3 — Axiom mapping

The four axioms map to AP15 as follows.

Axiom S (two sectors / involution). The two-sector structure of ℋ gives the involution σ = complex conjugation. σ acts as ψ → ψ*. The Born rule P = ψψ* is the structural fingerprint of σ. The Born rule’s invariance under ψ → e^{iθ}ψ is the U(1) phase symmetry that this paper derives electromagnetism from.

Axiom B (unique breaking). ε is outside Dom(σ) — the one element with no σ-image. Theorem 1: ε is therefore charged. Theorem 5: ε carries the minimum non-zero charge. The break is the charge. The break is the source of the connection. The electron is charged because it has no mirror image.

Axiom R (record monotonicity). Records are written irreversibly. Time begins. The accumulated record is the environment (AP13). Theorem 3: the action principle is contained in the path sum. Theorem 4: ε-record-events transfer phase coherence from entanglement to field, irreversibly.

Axiom C (Constraint — locality). Finite c. The manifold acquires spatial separation (finite propagation means “here” and “there” are distinguishable). The photon propagates at c — c is not a property of light but the characteristic speed of the wave equation, which is the causal bound of Axiom C read through the derived Maxwell dynamics.

0.4 — Epistemic status per section

1 (The Phase): [DERIVED] — U(1) follows from the Born rule (Axiom S, AP09).

2 (The Pre-state is One): [DERIVED] — the pre-state is structurally unbroken before records; the manifold emerges via R + C + G (AP20). Proposition (Global U(1) covariance) is proved from the Born rule and Schrödinger evolution.

3 (The Connection): [DERIVED USING STANDARD MATHEMATICS] — the bundle construction follows from ℋ’s complex structure (AP09) and M’s locality (AP20); standard bundle mathematics applied to the derived manifold.

4 (Electromagnetism): [DERIVED] — Theorems 1, 2, 3 and the Corollary are derived from the axioms. The field equations follow uniquely at leading derivative order via the Lovelock-type argument (parallel to AP08’s derivation of gravity).

5 (The Non-actualised): [DERIVED] — Theorem 4 (Phase Coherence Partition) is derived. All premises are derived or established. The partition is exhaustive by construction.

6 (Charge): [DERIVED USING STANDARD MATHEMATICS] — Theorem 5 (Charge Quantisation) uses Peter–Weyl on the compact group U(1) and the bundle construction of section 3.

7 (The Photon): [DERIVED] — boson via AP11; massless via U(1) exactness and gauge-invariance of the mass term; spin 1 via the 1-form structure of Aμ; propagates at c via Axiom C and the Maxwell wave equation.

8 (Summary of Derivation): [SYNTHESIS] — enumeration of the derivation chain.

0.5 — Kill switch summary

Four kill switches engage in AP15. One existing corpus kill switch (KS-4) is affected. Identifiers per the Master Kill Switch Registry.

KS-28 (Phase-group uniqueness (U(1))). CLOSED — MATHEMATICAL. targets the derivation of U(1) as the gauge group.

KS-29 (Maxwell uniqueness). CLOSED — MATHEMATICAL. targets the Maxwell action as the unique dimension-4 gauge-invariant local action.

KS-30 (Phase globality). LIVE — STRUCTURAL. targets the assumption that the pre-state’s phase is globally coherent.

KS-31 (Entanglement–connection identification). LIVE — STRUCTURAL. targets the identification of connection curvature and entanglement as two readings of pre-state unity.

KS-4 (α ≈ 1/137). Existing corpus kill switch. AP15 identifies the fine-structure constant as the coupling strength of ε to the connection. Its value remains open. LIVE — HARD. Carried forward to AP24 and AP28.

0.6 — Structural debts owed

AP15 closes the structural debts within its scope. Gap A remains the one open item that AP15 does not close.

Gap A (the value of α_em). AP15 derives that ε couples to the connection with some strength. It does not derive the numerical value ≈ 1/137. This is Open Problem 1 / KS-4. The path to closure runs through AP24 (the six-faces formalisation of ε’s multi-projection structure) and AP28 (the channel-counting derivation of G that uses ε = α_em). [AP15 scope: not closed]

0.7 — Items held open without claiming debt status

The phase coherence partition of Theorem 4 names ε as the sole transfer agent between entanglement and field. Whether other elements of the record algebra can act as transfer agents under specific structural conditions (for example, in the strong-force sector developed in AP19) is held open at the structural level. The expectation from Axiom B (ε is the unique unpaired element) is that no other transfer agent exists; the formal proof of uniqueness across all gauge sectors is not advanced in AP15.

The relationship between the U(1)_EM derived here and the larger gauge structures of subsequent NB IV chapters (SU(2)_L in AP16, SU(3) in AP19) is held open at the bundle-construction level. The expectation is that each gauge group arises by the same structural logic — a global symmetry of the pre-state read through the local manifold — with the gauge group identified by the corresponding symmetry of the algebraic structure. The formal extension lives in AP16, AP19, AP27.

0.8 — Structural relationships

AP05 (The Break). ε is the unique unpaired element. AP15 reads ε as the source of the connection. The break is the charge.

AP06 (The Leakage Constant). AP06 grounds ε in the leakage ratio η. AP15 carries that grounding into the electromagnetic sector: α_em is the leakage ratio at the electromagnetic boundary, the coupling strength of ε to the connection.

AP08 (The Identity). AP08 derives Einstein’s field equations via a Lovelock-type uniqueness argument. AP15 uses the same uniqueness argument structure to select the Maxwell action.

AP09 (Quantum Mechanics). AP09 derives ℋ, complex amplitudes, the Born rule, the Schrödinger equation, and the path sum. AP15 reads the Born rule’s phase symmetry as U(1) and identifies the path sum as the containing structure for the action principle (Theorem 3).

AP11 (Spin). The fermion/boson distinction follows from the two-sector structure. AP15 reads ε as a fermion (spin ½, Axiom B places it outside Dom(σ)) and the photon as a boson (spin 1, Aμ transforms as a vector under the Lorentz group).

AP13 (Decoherence). Record-writing produces decoherence. AP15’s Theorem 4 uses this: ε-record-events decohere the subsystems that shared phase coherence, transferring the coherence from the entanglement column to the field column.

The Lock (Edition 04). The Lock identifies ε with the electron at the chemical-biological scale. AP15 reads charge −e (the electron) as ε itself, and charge +e (the positron) as the conjugate state in the second sector.

AP20 (The Proof). The Embedding Hypothesis (EH) is proved in AP20. AP15 uses the EH pushforward throughout: the algebraic pre-state’s phase structure is represented on M as the connection geometry.

AP24 (The Residual) and AP28 (The Constant). KS-4 (the value of α_em) is carried forward. AP24 formalises the multi-projection structure of ε; AP28 derives G via channel-counting using ε = α_em ≈ 1/137. Together they address Gap A.