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.

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.