Recent from talks
Hodge theory
Knowledge base stats:
Talk channels stats:
Members stats:
Hodge theory
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.
The theory was developed by Hodge in the 1930s to study algebraic geometry, and it built on the work of Georges de Rham on de Rham cohomology. It has major applications in two settings—Riemannian manifolds and Kähler manifolds. Hodge's primary motivation, the study of complex projective varieties, is encompassed by the latter case. Hodge theory has become an important tool in algebraic geometry, particularly through its connection to the study of algebraic cycles.
While Hodge theory is intrinsically dependent upon the real and complex numbers, it can be applied to questions in number theory. In arithmetic situations, the tools of p-adic Hodge theory have given alternative proofs of, or analogous results to, classical Hodge theory.
The field of algebraic topology was still nascent in the 1920s. It had not yet developed the notion of cohomology, and the interaction between differential forms and topology was poorly understood. In 1928, Élie Cartan published an idea, "Sur les nombres de Betti des espaces de groupes clos", in which he suggested—but did not prove—that differential forms and topology should be linked. Upon reading it, Georges de Rham, then a student, was inspired. In his 1931 thesis, he proved a result now called de Rham's theorem. By Stokes' theorem, integration of differential forms along singular chains induces, for any compact smooth manifold M, a bilinear pairing as shown below:
As originally stated, de Rham's theorem asserts that this is a perfect pairing, and that therefore each of the terms on the left-hand side are vector space duals of one another. In contemporary language, de Rham's theorem is more often phrased as the statement that singular cohomology with real coefficients is isomorphic to de Rham cohomology:
De Rham's original statement is then a consequence of the fact that over the reals, singular cohomology is the dual of singular homology.
Separately, a 1927 paper of Solomon Lefschetz used topological methods to reprove theorems of Riemann. In modern language, if ω1 and ω2 are holomorphic differentials on an algebraic curve C, then their wedge product is necessarily zero because C has only one complex dimension; consequently, the cup product of their cohomology classes is zero, and when made explicit, this gave Lefschetz a new proof of the Riemann relations. Additionally, if ω is a non-zero holomorphic differential, then is a positive volume form, from which Lefschetz was able to rederive Riemann's inequalities. In 1929, W. V. D. Hodge learned of Lefschetz's paper. He immediately observed that similar principles applied to algebraic surfaces. More precisely, if ω is a non-zero holomorphic form on an algebraic surface, then is positive, so the cup product of and must be non-zero. It follows that ω itself must represent a non-zero cohomology class, so its periods cannot all be zero. This resolved a question of Severi.
Hodge felt that these techniques should be applicable to higher dimensional varieties as well. His colleague Peter Fraser recommended de Rham's thesis to him. In reading de Rham's thesis, Hodge realized that the real and imaginary parts of a holomorphic 1-form on a Riemann surface were in some sense dual to each other. He suspected that there should be a similar duality in higher dimensions; this duality is now known as the Hodge star operator. He further conjectured that each cohomology class should have a distinguished representative with the property that both it and its dual vanish under the exterior derivative operator; these are now called harmonic forms. Hodge devoted most of the 1930s to this problem. His earliest published attempt at a proof appeared in 1933, but he considered it "crude in the extreme". Hermann Weyl, one of the most brilliant mathematicians of the era, found himself unable to determine whether Hodge's proof was correct or not. In 1936, Hodge published a new proof. While Hodge considered the new proof much superior, a serious flaw was discovered by Bohnenblust. Independently, Hermann Weyl and Kunihiko Kodaira modified Hodge's proof to repair the error. This established Hodge's sought-for isomorphism between harmonic forms and cohomology classes.
Hub AI
Hodge theory AI simulator
(@Hodge theory_simulator)
Hodge theory
In mathematics, Hodge theory, named after W. V. D. Hodge, is a method for studying the cohomology groups of a smooth manifold M using partial differential equations. The key observation is that, given a Riemannian metric on M, every cohomology class has a canonical representative, a differential form that vanishes under the Laplacian operator of the metric. Such forms are called harmonic.
The theory was developed by Hodge in the 1930s to study algebraic geometry, and it built on the work of Georges de Rham on de Rham cohomology. It has major applications in two settings—Riemannian manifolds and Kähler manifolds. Hodge's primary motivation, the study of complex projective varieties, is encompassed by the latter case. Hodge theory has become an important tool in algebraic geometry, particularly through its connection to the study of algebraic cycles.
While Hodge theory is intrinsically dependent upon the real and complex numbers, it can be applied to questions in number theory. In arithmetic situations, the tools of p-adic Hodge theory have given alternative proofs of, or analogous results to, classical Hodge theory.
The field of algebraic topology was still nascent in the 1920s. It had not yet developed the notion of cohomology, and the interaction between differential forms and topology was poorly understood. In 1928, Élie Cartan published an idea, "Sur les nombres de Betti des espaces de groupes clos", in which he suggested—but did not prove—that differential forms and topology should be linked. Upon reading it, Georges de Rham, then a student, was inspired. In his 1931 thesis, he proved a result now called de Rham's theorem. By Stokes' theorem, integration of differential forms along singular chains induces, for any compact smooth manifold M, a bilinear pairing as shown below:
As originally stated, de Rham's theorem asserts that this is a perfect pairing, and that therefore each of the terms on the left-hand side are vector space duals of one another. In contemporary language, de Rham's theorem is more often phrased as the statement that singular cohomology with real coefficients is isomorphic to de Rham cohomology:
De Rham's original statement is then a consequence of the fact that over the reals, singular cohomology is the dual of singular homology.
Separately, a 1927 paper of Solomon Lefschetz used topological methods to reprove theorems of Riemann. In modern language, if ω1 and ω2 are holomorphic differentials on an algebraic curve C, then their wedge product is necessarily zero because C has only one complex dimension; consequently, the cup product of their cohomology classes is zero, and when made explicit, this gave Lefschetz a new proof of the Riemann relations. Additionally, if ω is a non-zero holomorphic differential, then is a positive volume form, from which Lefschetz was able to rederive Riemann's inequalities. In 1929, W. V. D. Hodge learned of Lefschetz's paper. He immediately observed that similar principles applied to algebraic surfaces. More precisely, if ω is a non-zero holomorphic form on an algebraic surface, then is positive, so the cup product of and must be non-zero. It follows that ω itself must represent a non-zero cohomology class, so its periods cannot all be zero. This resolved a question of Severi.
Hodge felt that these techniques should be applicable to higher dimensional varieties as well. His colleague Peter Fraser recommended de Rham's thesis to him. In reading de Rham's thesis, Hodge realized that the real and imaginary parts of a holomorphic 1-form on a Riemann surface were in some sense dual to each other. He suspected that there should be a similar duality in higher dimensions; this duality is now known as the Hodge star operator. He further conjectured that each cohomology class should have a distinguished representative with the property that both it and its dual vanish under the exterior derivative operator; these are now called harmonic forms. Hodge devoted most of the 1930s to this problem. His earliest published attempt at a proof appeared in 1933, but he considered it "crude in the extreme". Hermann Weyl, one of the most brilliant mathematicians of the era, found himself unable to determine whether Hodge's proof was correct or not. In 1936, Hodge published a new proof. While Hodge considered the new proof much superior, a serious flaw was discovered by Bohnenblust. Independently, Hermann Weyl and Kunihiko Kodaira modified Hodge's proof to repair the error. This established Hodge's sought-for isomorphism between harmonic forms and cohomology classes.