Registry · Remark IV.R328 tau-effective formalized

IV.R328 — Why |barpartial

The CR-operator dbar_b measures only the non-holomorphic part of variation (the tension between fiber and base directions), unlike the full gradient nabla f; holomorphic variation is "free" (costs no energy) while non-holomorphic variation is the real cost, so energy counts only |dbar_b f|^2.

Book IV Part 3 Ch. 22

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.WhyBarpartial