Registry · Proposition V.P143 conjectural formalized

V.P143 — JWST Rotation Curve Predictions

JWST Rotation Curve Predictions: v_flat(z=2)/v_flat(z=0) = (H(z=2)/H_0)^(1/4) ~ 1.32. Higher a_0 at z=2 means higher v_flat for same baryonic mass. Consistent with JWST observations of flat rotation curves at z~1-3 (Genzel+2017, Nelson+2023). BTFR normalization A(z) proportional to 1/H(z) decreases at high z.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.jwst_rotation_predictions