research37 min studyLesson 943 in Mathematics

Hermitian metrics and complex differential forms

Fix metric and fundamental-form normalizations, distinguish bidegrees, and test positivity separately from closedness.

On this page

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.

gR=2Re⁡ ⁣∑j,kgjkˉ dzj⊗dzˉk,ω(u,v)=gR(Ju,v),ω=i∑j,kgjkˉ dzj∧dzˉk,dz∧dzˉ=−2i dx∧dyg_{\mathbb R}=2\operatorname{Re}\!\sum_{j,k}g_{j\bar k}\,dz^j\otimes d\bar z^k,\quad \omega(u,v)=g_{\mathbb R}(Ju,v),\quad \omega=i\sum_{j,k}g_{j\bar k}\,dz^j\wedge d\bar z^k,\quad dz\wedge d\bar z=-2i\,dx\wedge dy
G is positive Hermitian and these formulas are for real tangent arguments. Euclidean real metric corresponds to G equal to one half times identity.↔ Scroll wide equations horizontally.

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.

d=∂+∂ˉ,∂:Ap,q→Ap+1,q,∂ˉ:Ap,q→Ap,q+1,ωnn!=2ndet⁡(G) dx1∧dy1∧⋯∧dxn∧dynd=\partial+\bar\partial,\qquad \partial:\mathcal A^{p,q}\to\mathcal A^{p+1,q},\quad \bar\partial:\mathcal A^{p,q}\to\mathcal A^{p,q+1},\qquad \frac{\omega^n}{n!}=2^n\det(G)\,dx^1\wedge dy^1\wedge\cdots\wedge dx^n\wedge dy^n
The type decomposition uses the complex manifold structure. The volume normalization follows from the fixed real metric convention and the complex orientation.↔ Scroll wide equations horizontally.

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.

Volume and length from a nondiagonal positive matrix

On complex two-space take constant G=(2112)G=\begin{pmatrix}2&1\\1&2\end{pmatrix}. Verify positivity, compute the real metric's squared length on the real vector with complex components (1,−1)(1,-1), and find the volume density.

  1. The eigenvectors (1,1)(1,1) and (1,−1)(1,-1) have eigenvalues three and one, so G is positive Hermitian. Its determinant is three. Constant coefficients also imply dω=0d\omega=0.

  2. For v=(1,−1)v=(1,-1) the Hermitian quadratic value is two. The real metric convention multiplies this by two, so gR(v,v)=4g_{\mathbb R}(v,v)=4.

  3. The real volume density is 22det⁡G=122^2\det G=12. Equivalently ω2=24 dx1∧dy1∧dx2∧dy2\omega^2=24\,dx^1\wedge dy^1\wedge dx^2\wedge dy^2, and dividing by two gives the same Riemannian volume form.

The result

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.

Explore the model

Interactive lab

Interactive lab · matrix

Positive Gram forms from invertible matrices

Pause and Reset, set both a=1,b=1a=1,b=1, and form ATAA^TA on paper, predicting determinant one and eigenvalues (3±5)/2(3\pm\sqrt5)/2. Reset and set both a=0.5,b=1a=0.5,b=1; predict Gram determinant one quarter and largest eigenvalue (9+65)/8(9+\sqrt{65})/8. 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.

Positive Gram forms from invertible matricesThe 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. Current readings: Area scale · det A: 1.4; Singular values · σmax, σmin: 1.597, 0.876; Condition number · κ₂(A): 1.823. All parameters are adjustable with the labeled controls below.Matrix A with first row 1.4, 0.6 and second row zero, one; display interpolates between identity and A while final determinant remains 1.4.−4−2024−2−1012x · equal geometric scaleyA = [ 1.4 0.6 ; 0 1 ]Display blend: 0% · final values below
Interpolated geometryOriginal unit squareSelected final transform
Area scale · det A
1.4
Singular values · σmax, σmin
1.597, 0.876
Condition number · κ₂(A)
1.823
t = 0 s

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.

Check your understanding

What extra condition makes the stated Hermitian metric Kähler?

Try it yourself

On complex two-space let ω=i dz1∧dzˉ1+ie∣z1∣2dz2∧dzˉ2\omega=i\,dz^1\wedge d\bar z^1+i e^{|z^1|^2}dz^2\wedge d\bar z^2. 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 ∂ω=ie∣z1∣2zˉ1 dz1∧dz2∧dzˉ2\partial\omega=i e^{|z^1|^2}\bar z^1\,dz^1\wedge dz^2\wedge d\bar z^2, 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.

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.