Registry · Theorem IV.T212 tau-effective not_applicable

IV.T212 — Cooper Pairing from EW-Mixed Normalization

Cooper pairing DERIVED from EW-mixed normalization on T². B and W sector coupling forces mixed inner product pairing (k₁,k₂)↔(−k₁,−k₂). BCS interaction V₀ = restriction of EW-mixed normalization to Fermi surface. Not postulated — derived.

Book IV Part 7 Ch. 61

Dependency Graph

Depends on (1)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.ManyBody.CondensedMatter