Registry · Definition V.D273 tau-effective skeleton

V.D273 — Weak Lensing Convergence from Boundary Holonomy

Weak lensing convergence κ(θ) = Σ(θ)/Σ_cr where Σ includes baryonic + boundary holonomy surface density. Shear γ related to κ by standard lensing kernel (preserved because τ-Einstein is a metric theory). Convergence power spectrum P_κ(ℓ) via Limber integral with τ-native d_A(z).

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.weakLensingConvergence