Electric Charge

Electric Charge (IV.D84) is the τ-categorical winding-number quantity on the U(1)-electromagnetic sector. It is a topological invariant of the defect bundle's holonomy around the EM-fiber loop, sign-definite up to charge-conjugation, and quantized by IV.P138 / IV.P45.

Categorical invariant. ElectricCharge(B) := winding number of B's EM-holonomy on the U(1)-fiber; an integer-valued topological invariant in elementary units.

Primary registry anchor: IV.D84

Supporting items: IV.D58, IV.P45, IV.P138, IV.D154

1. I.K0 — Universe Postulate establishes τ
2. IV.D58 — Geometric Charge — the underlying topological winding invariant
3. IV.D84 — Electric Charge specializes the geometric charge to the EM/U(1) sector
4. IV.P45 — Charge Density as Winding-Number Density gives the local form
5. IV.P138 — Flux quantization fixes the integer-valued spectrum of Q

Lean modules referenced: TauLib.BookIV.Sectors.CouplingFormulas, TauLib.BookV.FluidMacro.ChargeObstruction

Numerical value: 1.602176634e-19 ± 0 C

Calibration anchor: PG-P01-neutron

Calibration chain:

1. m_n (anchor)
2. α (fine-structure constant) via dimensionless coupling ledger IV.D300
3. e := τ-elementary-charge unit fixed by α and the relational c, ℏ

Manuscript reference: manuscript-sources/book-04/part05-electromagnetism/ch-electric-charge.tex

Status: Formalized

Module: TauLib.BookIV.Sectors.CouplingFormulas

Lean kind: def

Related glossary entries

• PG-P01-neutron τ-Neutron

Referenced by

• PG-Q08-geometric-charge Geometric Charge
• PG-Q16-color-charge Color Charge