Hermitian metrics and complex differential forms
Fix metric and fundamental-form normalizations, distinguish bidegrees, and test positivity separately from closedness.
On this page
The question for today
What you’ll understand
- Translate a positive Hermitian coefficient matrix into a real metric and fundamental form.
- Track wedge products and complex bidegrees with their antisymmetric signs.
- Distinguish a Hermitian metric from the additional closedness condition defining a Kähler metric.
A complex manifold supplies holomorphic directions but no preferred lengths. A Hermitian metric measures those lengths compatibly with multiplication by i. Its associated real two-form packages the same information in an alternating tensor and later becomes the Kähler form when closed. Factors of two matter: our real metric convention makes the standard Euclidean plane correspond to Hermitian coefficient one half. We fix that normalization before computing volumes, adjoints, curvature, or Ricci forms.
Fix the real metric and fundamental form
In holomorphic coordinates write the positive Hermitian coefficient matrix as G, with entries indexed by one holomorphic and one antiholomorphic index. Define the real metric by twice the real part of its Hermitian tensor, and define the fundamental form by applying J to the first argument of that real metric. The resulting form has the coordinate expression below. With these choices, its evaluation on a nonzero real vector and its J-rotation is positive. Both the real metric and the form determine one another once J is fixed.
For one complex coordinate z equal to x plus iy, the wedge of dz with its conjugate is minus twice i times the oriented real area form. Thus coefficient one half gives the usual Euclidean metric and usual oriented area form. Coefficient one instead doubles both. Neither convention is intrinsically better, but mixing them would change Laplacian factors and curvature comparisons. We use the displayed convention throughout the module and state any rescaling explicitly when comparing examples or sources.
Type decomposes exterior algebra
Complex differential forms split into bidegrees: a type p-q form has p holomorphic and q antiholomorphic differentials. Conjugation exchanges the two indices. A real two-form of type one-one can therefore contain factors of i while still being real, because conjugation reverses the wedge order as well. Wedge products add the bidegrees and obey the usual total-degree sign. The fundamental form is real and of type one-one, while a top holomorphic form has type n-zero and belongs to the canonical bundle.
On an integrable complex manifold, exterior differentiation splits as partial plus bar-partial, increasing the respective type indices. This simple two-piece decomposition relies on integrability; general almost complex structures can introduce additional type components. For the Hermitian metric, the top wedge of the fundamental form divided by factorial is the positive Riemannian volume form. A determinant calculation in a coordinate chart gives its density. It is the full determinant, rather than only diagonal entries, that accounts for correlations between coordinate directions.
Positivity does not imply closedness
A smooth positive Hermitian matrix field always defines a Hermitian metric. It becomes Kähler only when its fundamental form is closed. In complex dimension one, a two-form is already of top real degree, so closedness is automatic. In higher dimensions, derivatives of the coefficients impose nontrivial conditions. For example, letting the second diagonal coefficient depend on the first coordinate produces a positive metric whose derivative generally has a nonzero three-form component. Pointwise positivity cannot detect this variation.
At a single tangent space, an invertible real coordinate matrix has a positive Gram matrix given by transpose times itself. Its singular values determine the Gram eigenvalues, so a matrix diagram can visualize positive quadratic forms and anisotropy. This does not create a globally defined Hermitian metric field or check its closedness. The useful lesson is narrower: positive definiteness is a pointwise statement, while the Kähler condition involves spatial derivatives that cannot be inferred from one selected matrix's determinant.
Work it through
Volume and length from a nondiagonal positive matrix
On complex two-space take constant . Verify positivity, compute the real metric's squared length on the real vector with complex components , and find the volume density.
The eigenvectors and have eigenvalues three and one, so G is positive Hermitian. Its determinant is three. Constant coefficients also imply .
For the Hermitian quadratic value is two. The real metric convention multiplies this by two, so .
The real volume density is . Equivalently , and dividing by two gives the same Riemannian volume form.
The off-diagonal entries affect the determinant and directional lengths. The chosen factor of two is visible in both the squared length and the volume density.
The living notebook
Explore the model
Interactive lab · matrix
Positive Gram forms from invertible matrices
Pause and Reset, set both , and form on paper, predicting determinant one and eigenvalues . Reset and set both ; predict Gram determinant one quarter and largest eigenvalue . The lab reports A's singular values, whose squares give these Gram eigenvalues. It displays real tangent geometry, not a complex metric field or its derivative. Edits retain time; Reset clears both controls and the clock.
- Area scale · det A
- 1.4
- Singular values · σmax, σmin
- 1.597, 0.876
- Condition number · κ₂(A)
- 1.823
The selected matrix is A = [[a,b],[0,1]]. Playback interpolates geometry between the identity and A; readouts always describe A. Its determinant is a and its singular values come from AᵀA. Positive a makes every supported matrix invertible. This two-dimensional family is not a general eigensolver or a learned network. Parameter changes pause playback and recompute the model at the current elapsed time. Reset restores both parameters and returns time to zero. Playback starts paused. Adjust either parameter, then choose Play or Step.
Look forPositive Gram matrices are pointwise objects; closedness requires information about how a metric varies.
Pause & reason
Check your understanding
Your turn
Try it yourself
On complex two-space let . Check positivity and compute its partial derivative. Is this a Kähler form on the whole space?
Take a moment to make a prediction or work it out on paper. Open a hint when you need one.
Give me a hint
Only the second coefficient varies. Differentiate it with respect to the first holomorphic coordinate before taking the wedge.
Compare with the solution
The diagonal coefficients are one and a positive exponential, so the associated metric is Hermitian. But , nonzero wherever the first coordinate is nonzero. Hence d omega is not identically zero and this is not a Kähler form on the whole space. Its derivative vanishing at the origin alone does not change that conclusion.
Keep the idea
Take it with you
- Our real metric is twice the real Hermitian tensor and fixes the fundamental-form normalization.
- Bidegrees and wedge signs control complex differential calculations.
- Hermitian positivity is pointwise; the Kähler condition is differential closedness.
Read further
Original sources and deeper explanations to follow at your own pace.
Optional progress, saved in this browser when available. Revisit any lesson at any time.
Lesson not marked complete.