Definition

Let (M,J,g)(M,J,g) be an . Its fundamental 22-form is the differential form ω\omega defined by

ω(X,Y)=g(JX,Y)\omega(X,Y)=g(JX,Y)

for X,YX,Y at the same point. Compatibility of gg with JJ makes ω\omega skew-symmetric, while positivity of gg makes it nondegenerate. Thus ω\omega is a smooth, nondegenerate real , but it need not be closed. The displayed order fixes the sign convention: interchanging XX and JYJY changes the sign.

Recovering the compatible data

The form and recover the metric by

g(X,Y)=ω(X,JY).g(X,Y)=\omega(X,JY).

Conversely, compatible pairs among JJ, gg, and ω\omega, together with the appropriate positivity condition, determine the third object. This is pointwise Hermitian linear algebra applied smoothly to the .

Closedness and integrability

If dω=0d\omega=0, the almost-Hermitian structure is called almost Kähler, and ω\omega is a symplectic form. If JJ is , the structure is Hermitian. It is Kähler when both conditions hold. Neither of ω\omega nor integrability of JJ follows from compatibility alone; see Huybrechts, Chapter 3.

Conventions and scope
References
  1. Shoshichi Kobayashi and Katsumi Nomizu, Foundations of Differential Geometry, vol. II, Wiley, 1969. Publisher record. Relevant: Chapter IX, §1, almost-Hermitian structures and their fundamental forms.
  2. Daniel Huybrechts, Complex Geometry: An Introduction, Springer, 2005. DOI record. Relevant: Chapter 3, Hermitian and Kähler geometry.