Registry · Definition III.D47 tau-effective formalized

III.D47 — σ-Fixed Character

A boundary character χ is σ-fixed if σ(χ) = χ under complex conjugation in the split-complex codomain. σ-fixed characters form a sublattice of ℤ². In spectral trichotomy, σ-fixed = balanced B/C content.

Book III Part 5 Ch. 41

Dependency Graph

Depends on (3)

Depended on by (4)

Lean Formalization

Module: TauLib.BookIII.Physics.Hodge

Symbol: sigma_fixed_check