Registry · Proposition V.P106 tau-effective formalized

V.P106 — NCG spectral triple from tau

The boundary holonomy algebra at E1 determines a canonical spectral triple (A_tau, H_tau, D_tau) where A_tau = O(tau^3) = A_spec(L) (from the Central Theorem), H_tau is the Hilbert space of square-integrable boundary characters, and D_tau = partial_L is the boundary Dirac operator. NCG's spectral triple is a natural readout of tau.

Book V Part 7 Ch. 64

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Orthodox.OtherApproaches

Symbol: Tau.BookV.Orthodox.NcgSpectralTripleFromTau