Registry · Definition
IV.D49
tau-effective
formalized
IV.D49 — CR-Manifold
A CR-manifold of type (k, l) is a real smooth manifold of dimension 2k+l equipped with a rank-2k horizontal distribution H, a complex structure J on H with J^2 = -id, and an integrability condition on Lie brackets of (1,0)-sections.
Book IV
Part 3
Ch. 16