Registry · Proposition V.P193 tau-effective not_applicable

V.P193 — Modular Image of the τ-Torus

The modular parameter of the T² fiber is z_τ = i·ι_τ⁻¹ ≈ 2.930i, which lies inside the standard fundamental domain F of SL(2,Z). Re(z_τ)=0 ≤ 1/2 and |z_τ|=ι_τ⁻¹≈2.930>1. No modular transformation needed; the τ-torus is already in canonical position, high in the cusp region.

Book V Part 6 Ch. 50

Dependency Graph

Depends on (1)

Lean Formalization

Module: