nLab Serre duality


Complex geometry



Special and general types

Special notions


Extra structure





Serre duality in complex analytic geometry is the duality induced by the Hodge star operator on the Dolbeault complex. This generalizes to suitable non-singular projective algebraic varieties over other base rings.


In complex analytic geometry

Let XX be a Hermitian manifold of complex dimension dim (Σ)=ndim_{\mathbb{C}}(\Sigma) = n. Its Riemannian metric induces a Hodge star operator which acts on the pieces in the Dolbeault complex as

:Ω p,q(X)Ω nq,np(X) \star \colon \Omega^{p,q}(X)\to \Omega^{n-q, n-p}(X)

(see at Hodge star operator – On a Kähler manifold).

Moreover, complex conjugation gives \mathbb{C}-antilinear functions

()¯:Ω p,q(X)Ω q,p(X). \overline{(-)} \colon \Omega^{p,q}(X)\to \Omega^{q,p}(X) \,.


¯()¯=()¯:Ω p,q(X)Ω np,nq(X) \bar \star \;\coloneqq\; \overline{(-)} \circ \star = \star \circ \overline{(-)} \;\colon\; \Omega^{p,q}(X)\to \Omega^{n-p, n-q}(X)

for the composite antilinear function.

e.g. (Huybrechts 04, def. 4.1.6)


By the basic properties of the Hodge star it follows that restricted to Ω p,q(X)\Omega^{p,q}(X)

¯¯=(1) p+q. \bar \star \circ \bar \star = (-1)^{p+q} \,.

For XX a compact Hermitian manifold, define a bilinear form

X()¯():Ω p,q(X)Ω np,nq(X) \int_X (-) \wedge \bar \star (-) \;\colon\; \Omega^{p,q}(X) \otimes \Omega^{n-p,n-q}(X) \longrightarrow \mathbb{C}

as the integration of differential forms

(α,β) Xα¯β (\alpha,\beta) \mapsto \int_X \alpha \wedge \bar \star \beta

of the wedge product of α\alpha with the image of β\beta under the complex conjugated Hodge star operator of def. .


(Serre duality)

The pairing of def. induces a non-degenerate sesquilinear (i.e. hermitian) form on Dolbeault cohomology

X()¯():H p,q(X)H np,nq(X) \int_X (-) \wedge \bar \star (-) \;\colon\; \H^{p,q}(X) \otimes H^{n-p,n-q}(X) \longrightarrow \mathbb{C}

e.g. (Huybrechts 04, prop 4.1.15)


Relation to Poincaré duality


For Σ\Sigma a compact Kähler manifold the Hodge theorem gives an isomorphism

H k(X,)p+q=kH p,q(X) H^k(X, \mathbb{C}) \simeq \underset{p+q = k}{\oplus} H^{p,q}(X)

between the ordinary cohomology of the underlying topological space with coefficients in the complex numbers, and the direct sum of all the Dolbeault cohomology groups in the same total degree.

Therefore for Σ\Sigma of complex dimension dim (Σ)=ndim_{\mathbb{C}}(\Sigma)= n then Serre duality in the form of prop. induces an isomorphism in ordinary cohomology of the form

H k(X,)H 2nk(X,). H^k(X, \mathbb{C}) \stackrel{\simeq}{\longrightarrow} H^{2n-k}(X, \mathbb{C}) \,.

The isomorphism in remark coincides with Poincaré duality.


Discussion in complex analytic geometry (Hermitian manifolds) includes

  • Daniel Huybrechts around prop. 4.1.15 of Complex geometry - an introduction. Springer (2004). Universitext. 309 pages. (pdf)

  • R.O. Wells, Differential Analysis on Compact Manifolds, Second Edition, Springer, 1980. 14

and review with emphasis on the case of Kähler manifolds includes

  • Julien Meyer, Hodge theory on Kähler manifolds (pdf)

Last revised on June 3, 2014 at 23:47:23. See the history of this page for a list of all contributions to it.