Definition

Let XX be a , and write d=+ˉd=\partial+\bar\partial for its . In this knowl the dcd^c-operator is the real first-order differential operator

dc=i(ˉ).d^c=i(\bar\partial-\partial).

It raises total form degree by one and satisfies

ddc=2iˉ,dcd=ddc,(dc)2=0.dd^c=2i\,\partial\bar\partial,\qquad d^cd=-dd^c,\qquad (d^c)^2=0.

On a real-valued smooth function ff, one has dcf=dfJd^cf=-df\circ J, where JJ is the complex structure on the real . The displayed normalization is part of the definition.

Structure and consequences

Complex conjugation interchanges \partial and ˉ\bar\partial, while also replacing ii by i-i; hence dcd^c preserves real forms. The identity ddc=2iˉdd^c=2i\partial\bar\partial follows from 2=ˉ2=0\partial^2=\bar\partial^2=0 and ˉ=ˉ\partial\bar\partial=-\bar\partial\partial. Thus a real function determines a real (1,1)(1,1)-form ddcfdd^cf.

In a holomorphic coordinate z=x+iyz=x+iy,

dcf=fxdyfydx.d^cf=\frac{\partial f}{\partial x}\,dy-\frac{\partial f}{\partial y}\,dx.

This local formula makes the relation dcf=dfJd^cf=-df\circ J explicit.

Conventions and scope
dDemc=12πi(ˉ)=12πdc,ddDemc=iπˉd^c_{\mathrm{Dem}}=\frac{1}{2\pi i}(\partial-\bar\partial) =\frac{1}{2\pi}d^c, \qquad dd^c_{\mathrm{Dem}}=\frac{i}{\pi}\partial\bar\partial

in Chapter III, §3. Other texts insert a factor 1/21/2 or reverse the sign. Formulas involving dcd^c, ddcdd^c, curvature, or must therefore be interpreted with their stated convention.

References
  1. Jean-Pierre Demailly, Complex Analytic and Differential Geometry, 2012. Author-hosted text. Relevant: Chapter III, §3, “Definition of Monge–Ampère Operators,” for an explicitly normalized dcd^c-operator and the resulting ddcdd^c formula.
  2. Daniel Huybrechts, Complex Geometry: An Introduction, Springer, 2005. Publisher record. Relevant: §3.1 for ˉ\partial\bar\partial-formulas in Kähler geometry.