Abstract
Thus far, our approach has been primarily algebraic or topological.We are going to need a basic analytic result, namely the Hodge theorem. This says that on a compact oriented manifold equipped with a metric, every de Rham cohomology class has a unique “smallest” element, called its harmonic representative. When combined with the Kähler identities in later chapters, this will have strong consequences for complex algebraic geometry. The original proof is due to Hodge [64] with a correction by Weyl [121]. Different proofs were given by Bidal and de Rham [12] and Kodaira [72] soon there after. Standard accounts of these results, with the necessary details, can be found in the books of Griffiths and Harris [49], Warner [117], andWells [120]. These books follow a similar approach of first establishing a weak Hilbert space version of the Hodge theorem, and then applying some regularity results from elliptic PDE theory to deduce the stronger statement. We will depart slightly from these treatments by outlining the heat equation method of Milgram and Rosenbloom [84]. This is an elegant and comparatively elementary approach to the Hodge theorem. As a warmup, we will do a combinatorial version that requires nothing more than linear algebra.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
Copyright information
© 2012 Springer Science+Business Media, LLC
About this chapter
Cite this chapter
Arapura, D. (2012). The Hodge Theorem for Riemannian Manifolds. In: Algebraic Geometry over the Complex Numbers. Universitext. Springer, Boston, MA. https://doi.org/10.1007/978-1-4614-1809-2_8
Download citation
DOI: https://doi.org/10.1007/978-1-4614-1809-2_8
Published:
Publisher Name: Springer, Boston, MA
Print ISBN: 978-1-4614-1808-5
Online ISBN: 978-1-4614-1809-2
eBook Packages: Mathematics and StatisticsMathematics and Statistics (R0)