Registry · Definition IV.D58 tau-effective formalized

IV.D58 — Geometric Charge

Geometric charge from relative orientation of two fundamental rotations (γ-tube and η-hole). Charge sign q = sgn(m·n_ref − n·m_ref) relative to a reference orientation.

Book IV Part 3 Ch. 17

Dependency Graph

Depends on (2)

IV.D51 IV.D57

Depended on by (1)

IV.P13

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.QuantumCharacters

Symbol: Tau.BookIV.QuantumMechanics.GeometricCharge