Registry · Remark IV.R291 tau-effective not_applicable

IV.R291 — The flat torus is not a deficiency

The flatness of T^2 is not a deficiency: CR-structural richness comes from the omega-mediated coupling between fiber and base in the fibered product (not a Cartesian product), which introduces nontrivial constraints on CR-functions even though the fiber itself carries a globally flat complex structure.

Book IV Part 3 Ch. 16

Lean Formalization

Module: