research40 min studyLesson 947 in Mathematics

Hodge decomposition on compact Kähler manifolds

Use ellipticity and Kähler identities to split de Rham classes by type and derive checkable restrictions on Betti numbers.

Before you begin

Kähler forms and Kähler identities

On this page

The question for today

What you’ll understand

State the compact boundaryless Kähler assumptions behind the cohomological type decomposition.
Separate Dolbeault harmonic theory on a Hermitian manifold from its Kähler comparison with de Rham theory.
Calculate Hodge and Betti numbers of a flat complex torus and test a proposed Kähler topology.

Complex type is initially a decomposition of differential forms, not automatically a decomposition of their de Rham cohomology classes. Compact Hodge theory supplies unique harmonic representatives, and the Kähler identities ensure their types remain harmonic. Together these facts create the Hodge decomposition and impose symmetries on cohomology dimensions. The result is powerful precisely because its assumptions are restrictive. A compact complex manifold still has Dolbeault cohomology, but without Kähler structure one cannot simply copy the same decomposition of de Rham cohomology.

Ellipticity turns classes into harmonic forms

Let X be a smooth compact Kähler manifold without boundary, with its induced Riemannian volume and complex orientation. The Hodge Laplacian is elliptic and self-adjoint, and each complex de Rham class has a unique harmonic representative. Its kernel in each degree is finite dimensional. Compactness and absence of boundary are doing analytic work: on a manifold with boundary one must impose suitable boundary conditions, while on a noncompact manifold ordinary cohomology need not be represented by square-integrable harmonic forms.

For any compact complex manifold equipped with a Hermitian metric, the bar-partial Laplacian is likewise elliptic and its harmonic forms represent Dolbeault cohomology. This assertion does not itself need Kähler closedness. What Kähler geometry adds is the equality between twice the bar-partial Laplacian and the real Laplacian. That equality lets the same representative serve both theories and makes the real harmonic space split into its bidegree components. The comparison, rather than the existence of Dolbeault harmonic representatives alone, is the special Kähler conclusion.

X\text{ compact Kähler, }\partial X=\varnothing:\qquad H_{\mathrm{dR}}^k(X;\mathbb C)\simeq\mathcal H_d^k(X)=\bigoplus_{p+q=k}\mathcal H_{\bar\partial}^{p,q}(X)\simeq\bigoplus_{p+q=k}H_{\bar\partial}^{p,q}(X)

The notation for Kähler is purely descriptive. The first and last identifications use elliptic Hodge theory; the middle splitting uses the Kähler Laplacian identity.↔ Scroll wide equations horizontally.

Conjugation and duality constrain dimensions

Define the Hodge number h-p-q as the complex dimension of the corresponding Dolbeault group. Complex conjugation exchanges p and q on real-Laplacian harmonic forms, producing Hodge symmetry. The Hodge star and duality also relate complementary bidegrees. Summing along a fixed total degree gives the Betti number, which is the dimension of complexified real cohomology. These are equalities of finite dimensions; they are not a claim that every possible array satisfying them is realized by a compact Kähler manifold.

In odd total degree, no bidegree lies on the diagonal p equal to q. Each summand is paired with a distinct conjugate summand of the same dimension, making every odd Betti number even. Thus an odd first Betti number obstructs any Kähler metric compatible with a proposed compact complex structure. It does not obstruct complex structure itself: the Kähler assumption is stronger. Other constraints, such as Lefschetz properties and integral structures, go beyond these dimension symmetries, so even Betti numbers alone do not establish existence.

b_k=\sum_{p+q=k}h^{p,q},\qquad h^{p,q}=h^{q,p}=h^{n-p,n-q},\qquad b_{2r+1}\in2\mathbb Z

These statements concern a compact Kähler manifold of complex dimension n. The complementary-degree symmetry uses duality, and parity follows by pairing distinct conjugate bidegrees.↔ Scroll wide equations horizontally.

Flat tori give a complete test case

On a flat complex torus, constant coefficient forms descend from its vector-space cover. Fourier expansion shows nonconstant coefficient modes have positive Laplacian eigenvalues, while the constant modes are harmonic. Hence every harmonic form has constant coefficients. Choosing p holomorphic differentials and q conjugate differentials gives the product of two binomial coefficients as the Hodge number. This directly computes the entire array and connects complex Hodge dimensions to the usual real-torus exterior algebra.

The heat-flow picture isolates the same mechanism: a positive-eigenvalue mode decays, while a harmonic mode stays fixed. The available instrument includes positive sine modes only, so it can display removal of a nonharmonic component but cannot select the constant mode or represent arbitrary differential forms. To identify a harmonic projection one must also specify the function space and geometry. The finite flat example permits a complete Fourier argument; the general compact theorem rests on elliptic analysis and the Kähler identities, not on plotting several decays.

Work it through

The Hodge array of a complex two-torus

Let $X=\mathbb C^2/(\mathbb Z+i\mathbb Z)^2$ with its flat metric. Compute the Hodge dimensions in total degrees one and two, then the full Betti list and Euler characteristic.

Constant forms give $h^{p,q}=\binom2p\binom2q$ . In degree one, h-one-zero and h-zero-one are both two, so $b_1=4$ .
In degree two the dimensions are $h^{2,0}=1$ , $h^{1,1}=4$ , and $h^{0,2}=1$ , giving $b_2=6$ . The four mixed basis forms are $dz^j\wedge d\bar z^k$ for j and k each one or two.
The real four-torus Betti list is $(1,4,6,4,1)$ . Its alternating sum is $1-4+6-4+1=0$ , agreeing with the exterior-algebra calculation. The odd entries satisfy the Kähler parity condition.

The result

The full flat Hodge calculation gives six independent degree-two classes, four of mixed type, and Euler characteristic zero.

The living notebook

Explore the model

Interactive lab

Interactive lab · heat

Nonharmonic Fourier modes decay at different rates

Pause and Reset; set both $n=1,\kappa=1$ . At time one, reached by two Steps, predict amplitude $e^{-1}$ and spatial L2 norm $\sqrt\pi e^{-1}$ . Reset and set both $n=2,\kappa=1$ ; at the same time predict $e^{-4}$ and norm $\sqrt\pi e^{-4}$ . The lab's zero mode is unavailable: calculate its unchanged constant value separately. This is a one-dimensional scalar heat model, not the whole Hodge decomposition. Edits retain time; Reset clears both parameters and clock.

Current temperature modeInitial sineCurrent amplitude

Current amplitude: 1
Spatial L² norm: 1.772
Decay rate · κn²: 3.6 /s

Spatial mode n3Diffusivity κ0.4

t = 0 s

The exact periodic heat-equation mode is u(x,t) = exp(−κn²t) sin(nx), on [0,2π]. Playback advances physical time. The initial sine is shown separately, and the unnormalized L² norm is √π exp(−κn²t). This analytic instrument does not run a finite-difference solver or test discretization stability. 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-eigenvalue components disappear under heat, whereas harmonic components require a separate zero-eigenvalue calculation.

Pause & reason

Check your understanding

Interactive checks need JavaScript. You can still read the explanation.

Read the checkpoint explanation

Odd total degree has no p-equals-q term, so Hodge symmetry pairs equal dimensions. This does not impose evenness on even Betti numbers or integrality of all mixed classes.

Your turn

Try it yourself

For a connected compact Kähler surface, suppose $h^{1,0}=1$ , $h^{2,0}=0$ , and $h^{1,1}=2$ . Compute its Betti list and Euler characteristic using the symmetries. Would a proposed compact complex surface with first Betti number three pass the same Kähler test?

Take a moment to make a prediction or work it out on paper. Open a hint when you need one.

Give me a hint

Use conjugation in degree one, complementary-degree duality in degree three, and connectedness for the extreme degrees.

Compare with the solution

The numbers are $b_0=b_4=1$ , $b_1=b_3=2$ , and $b_2=0+2+0=2$ . The Euler characteristic is $1-2+2-2+1=0$ . These deductions are necessary consequences of the supplied Kähler data, not an existence proof from numbers alone. A compact complex surface with $b_1=3$ cannot be Kähler because its first Betti number is odd, although that parity does not rule out complex structure.

Keep the idea

Take it with you

Compact boundaryless Hodge theory and Kähler identities jointly produce the de Rham type decomposition.
Dolbeault harmonic representatives alone require only a compact Hermitian setting.
Hodge symmetry forces odd Betti numbers to be even and gives concrete topological obstructions.

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.