Registry · Definition IV.D65 tau-effective formalized

IV.D65 — Holomorphic Vector Field

A vector field X on τ³ is holomorphic if [X, ∂̄_b] = 0. The Lie algebra X_CR(τ³) of holomorphic vector fields.

Book IV Part 3 Ch. 19

Dependency Graph

Depends on (2)

IV.D50 IV.D60

Depended on by (2)

IV.D66 IV.P23

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.Quantization

Symbol: Tau.BookIV.QuantumMechanics.HolomorphicVectorField