Registry · Definition
IV.D76
tau-effective
formalized
IV.D76 — Energy as CR-Tension
Energy of a CR-function f on τ³ is the holomorphic tension integral E[f] = ∫_{τ³} |∂̄_b f|² dμ. Measures the structural cost of maintaining a CR-compatible address.
Book IV
Part 3
Ch. 22