Registry · Definition IV.D361 established formalized

IV.D361 — Fiber-Base Homology of τ³

H₁(τ³; ℤ) ≅ ℤ³ from the fiber-base decomposition τ³ = τ¹ ×_f T². The rank 3 = rank(H₁(T²)) + rank(H₁(τ¹)) = 2 + 1 is a topological invariant. Three independent generators: g₁ (meridian of T²), g₂ (longitude of T²), g₃ (base cycle of τ¹).

Book IV Part 5 Ch. 35

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIV.Particles.ThreeGenerations

Symbol: Tau.BookIV.Particles.fiber_base_homology