Registry · Definition IV.D379 established formalized

IV.D379 — Generation Eigenvalue Spectrum on Anisotropic T²

T² Laplacian eigenvalues λ_{(n,m)} = n² + m²·ι_τ⁻² for winding (n,m). Three primitive classes: λ(1,0)=1, λ(0,1)=ι_τ⁻²≈8.585, λ(1,1)=1+ι_τ⁻²≈9.585. Eigenvalue ratio ι_τ⁻² is fundamental T² anisotropy.

Book IV Part 5 Ch. 36

Dependency Graph

Depends on (2)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.generation_eigenvalue_spectrum