Registry · Proposition
IV.P09
tau-effective
formalized
IV.P09 — Integrability of τ³ CR-Structure
The CR-structure (H, J, ν) on τ³ is integrable. Follows from the torus fiber T² carrying a globally flat complex structure: coordinate vector fields commute and N_J vanishes identically on H.
Book IV
Part 3
Ch. 16