View source for Hodge theory

{{Short description|Mathematical manifold theory}}
In [[mathematics]], '''Hodge theory''', named after [[William Vallance Douglas Hodge|W. V. D. Hodge]], is a method for studying the [[cohomology group]]s of a [[smooth manifold]] ''M'' using [[partial differential equation]]s.  The key observation is that, given a [[Riemannian metric]] on ''M'', every cohomology class has a [[representative (mathematics)|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 manifold]]s and [[Kähler manifold]]s.  Hodge's primary motivation, the study of complex [[projective variety|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 cycle]]s.

While Hodge theory is intrinsically dependent upon the real and [[complex number]]s, it can be applied to questions in [[number theory]].  In arithmetic situations, the tools of [[p-adic Hodge theory|''p''-adic Hodge theory]] have given alternative proofs of, or analogous results to, classical Hodge theory.

==History==
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 homology|singular]] chains induces, for any compact smooth manifold ''M'', a bilinear pairing as shown below:
:<math>H_k(M; \mathbf{R}) \times H^k_{\text{dR}}(M; \mathbf{R}) \to \mathbf{R}.</math>
As originally stated,<ref name=glimpse>{{Citation | first1 = Srishti | last1 = Chatterji | last2 = Ojanguren | first2 = Manuel | title = A glimpse of the de Rham era | url = http://sma.epfl.ch/~ojangure/Glimpse.pdf | series = working paper, [[École Polytechnique Fédérale de Lausanne|EPFL]] | year = 2010 | access-date = 2018-10-15 | archive-date = 2023-12-04 | archive-url = https://web.archive.org/web/20231204114020/https://sma.epfl.ch/~ojangure/Glimpse.pdf | url-status = dead }}</ref> 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:
:<math>H^k_{\text{sing}}(M; \mathbf{R}) \cong H^k_{\text{dR}}(M; \mathbf{R}).</math>
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 [[Bernhard Riemann|Riemann]].<ref>{{cite journal | last= Lefschetz| first= Solomon | title=Correspondences Between Algebraic Curves | journal= Ann. of Math. (2)| volume= 28| number= 1| year= 1927| pages= 342–354| doi= 10.2307/1968379 | jstor= 1968379 }}</ref> In modern language, if ''ω''<sub>1</sub> and ''ω''<sub>2</sub> 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 <math>\sqrt{-1}\,\omega \wedge \bar\omega</math> 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 <math>\sqrt{-1}\,\omega \wedge \bar\omega</math> is positive, so the cup product of <math>\omega</math> and <math>\bar\omega</math> 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.<ref>[[Michael Atiyah]], ''William Vallance Douglas Hodge, 17 June 1903 – 7 July 1975'', Biogr. Mem. Fellows R. Soc., 1976, vol. 22, pp. 169–192.</ref>

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.

<blockquote>
In retrospect it is clear that the technical difficulties in the existence theorem did not really require any significant new ideas, but merely a careful extension of classical methods. The real novelty, which was Hodge’s major contribution, was in the conception of harmonic integrals and their relevance to algebraic geometry. This triumph of concept over technique is reminiscent of a similar episode in the work of Hodge’s great predecessor Bernhard Riemann.

—[[Michael Atiyah|M. F. Atiyah]], William Vallance Douglas Hodge, 17 June 1903 – 7 July 1975, ''Biographical Memoirs of Fellows of the Royal Society'', vol. 22, 1976, pp. 169–192.
</blockquote>

==Hodge theory for real manifolds==
===De Rham cohomology===
The Hodge theory references the [[de Rham cohomology|de Rham complex]]. Let ''M'' be a [[smooth manifold]]. For a non-negative integer ''k'', let Ω<sup>''k''</sup>(''M'') be the [[real number|real]] [[vector space]] of smooth [[differential form]]s of degree ''k'' on ''M''. The de Rham complex is the sequence of [[differential operator]]s

:<math>0\to \Omega^0(M) \xrightarrow{d_0} \Omega^1(M)\xrightarrow{d_1} \cdots\xrightarrow{d_{n-1}} \Omega^n(M)\xrightarrow{d_n} 0,</math>

where ''d<sub>k</sub>'' denotes the [[exterior derivative]] on Ω<sup>''k''</sup>(''M''). This is a [[cochain complex]] in the sense that {{nowrap|1=''d''{{sub|''k''+1}} ∘ ''d''{{sub|''k''}} = 0}} (also written {{nowrap|1=''d''{{i sup|2}} = 0}}). De Rham's theorem says that the [[singular cohomology]] of ''M'' with real coefficients is computed by the de Rham complex:

:<math>H^k(M,\mathbf{R})\cong \frac{\ker d_k}{\operatorname{im} d_{k-1}}.</math>

===Operators in Hodge theory===
Choose a Riemannian metric ''g'' on ''M'' and recall that:

:<math>\Omega^k(M) = \Gamma \left (\bigwedge\nolimits^k T^*(M) \right ).</math>

The metric yields an [[inner product]] on each fiber <math>\bigwedge\nolimits^k(T_p^*(M))</math> by extending (see [[Gramian matrix]]) the inner product induced by ''g'' from each cotangent fiber <math>T_p^*(M)</math> to its <math>k^{th}</math> [[exterior product]]: <math>\bigwedge\nolimits^k(T_p^*(M))</math>. The <math>\Omega^k(M)</math> inner product is then defined as the integral of the pointwise inner product of a given pair of ''k''-forms over ''M'' with respect to the volume form <math>\sigma</math> associated with ''g''. Explicitly, given some <math>\omega,\tau \in \Omega^k(M)</math> we have

:<math> (\omega,\tau) \mapsto \langle\omega,\tau\rangle := \int_M \langle \omega(p),\tau(p)\rangle_p \sigma.</math>

Naturally the above inner product induces a norm, when that norm is finite on some fixed ''k''-form:

:<math>\langle\omega,\omega\rangle = \| \omega\|^2 < \infty,</math>

then the integrand is a real valued, square integrable function on ''M'', evaluated at a given point via its point-wise norms,

:<math> \|\omega(p)\|_p:M \to \mathbf{R}\in L^2(M).</math>

Consider the [[adjoint operator]] of ''d'' with respect to these inner products:

:<math>\delta : \Omega^{k+1}(M) \to \Omega^k(M).</math>

Then the [[Laplacian]] on forms is defined by

:<math>\Delta = d\delta + \delta d.</math>

This is a second-order linear differential operator, generalizing the Laplacian for functions on '''R'''<sup>''n''</sup>. By definition, a form on ''M'' is '''harmonic''' if its Laplacian is zero:

:<math>\mathcal{H}_\Delta^k(M) = \{\alpha\in\Omega^k(M)\mid\Delta\alpha=0\}.</math>

The Laplacian appeared first in [[mathematical physics]]. In particular, [[Differential forms#Applications in physics|Maxwell's equations]] say that the electromagnetic field in a vacuum, i.e. absent any charges, is represented by a 2-form ''F'' such that {{nowrap|1=Δ''F'' = 0}} on spacetime, viewed as [[Minkowski space]] of dimension 4.

Every harmonic form ''α'' on a [[Closed manifold|closed]] Riemannian manifold is [[Closed and exact differential forms|closed]], meaning that {{nowrap|1=''dα'' = 0}}. As a result, there is a canonical mapping <math>\varphi:\mathcal{H}_\Delta^k(M)\to H^k(M,\mathbf{R})</math>. The '''Hodge theorem''' states that <math>\varphi</math> is an isomorphism of vector spaces.<ref>Warner (1983), Theorem 6.11.</ref> In other words, each real cohomology class on ''M'' has a unique harmonic representative. Concretely, the harmonic representative is the unique closed form of minimum ''L''<sup>2</sup> norm that represents a given cohomology class. The Hodge theorem was proved using the theory of [[elliptic operator|elliptic]] partial differential equations, with Hodge's initial arguments completed by [[Kunihiko Kodaira|Kodaira]] and others in the 1940s.

For example, the Hodge theorem implies that the cohomology groups with real coefficients of a closed manifold are [[finite-dimensional]]. (Admittedly, there are other ways to prove this.) Indeed, the operators Δ are elliptic, and the [[kernel (algebra)|kernel]] of an elliptic operator on a closed manifold is always a finite-dimensional vector space. Another consequence of the Hodge theorem is that a Riemannian metric on a closed manifold ''M'' determines a real-valued [[inner product]] on the integral cohomology of ''M'' modulo [[torsion subgroup|torsion]]. It follows, for example, that the image of the [[isometry group]] of ''M'' in the [[general linear group]] {{nowrap|GL(''H''{{sup|∗}}(''M'', '''Z'''))}} is finite (because the group of isometries of a [[lattice (group)|lattice]] is finite).

A variant of the Hodge theorem is the '''Hodge decomposition'''. This says that there is a unique decomposition of any differential form ''ω'' on a closed Riemannian manifold as a sum of three parts in the form

:<math>\omega = d \alpha +\delta \beta + \gamma,</math>

in which ''γ'' is harmonic: {{nowrap|1=Δ''γ'' = 0}}.<ref>Warner (1983), Theorem 6.8.</ref> In terms of the ''L''<sup>2</sup> metric on differential forms, this gives an orthogonal [[direct sum]] decomposition:

:<math> \Omega^k(M) \cong \operatorname{im} d_{k-1} \oplus \operatorname{im} \delta_{k+1} \oplus \mathcal H_\Delta^k(M).</math>
The Hodge decomposition is a generalization of the [[Helmholtz decomposition]] for the de Rham complex.

===Hodge theory of elliptic complexes===
[[Michael Atiyah|Atiyah]] and [[Raoul Bott|Bott]] defined [[elliptic complex]]es as a generalization of the de Rham complex. The Hodge theorem extends to this setting, as follows. Let <math>E_0,E_1,\ldots,E_N</math> be [[vector bundles]], equipped with metrics, on a closed smooth manifold ''M'' with a volume form&nbsp;''dV''. Suppose that

:<math>L_i:\Gamma(E_i)\to\Gamma(E_{i+1})</math>

are linear [[differential operators]] acting on [[smoothness|C<sup>∞</sup>]] sections of these vector bundles, and that the induced sequence

:<math> 0\to\Gamma(E_0)\to \Gamma(E_1) \to \cdots \to \Gamma(E_N) \to 0</math>

is an elliptic complex. Introduce the direct sums:

: <math>\begin{align}
\mathcal E^\bullet &= \bigoplus\nolimits_i \Gamma(E_i) \\
L &= \bigoplus\nolimits_i L_i:\mathcal E^\bullet\to\mathcal E^\bullet
\end{align}</math>

and let ''L''{{sup|∗}} be the adjoint of ''L''. Define the elliptic operator {{nowrap|1=Δ = ''LL''{{sup|∗}} + ''L''{{sup|∗}}''L''}}. As in the de Rham case, this yields the vector space of harmonic sections

:<math>\mathcal H=\{e\in\mathcal E^\bullet\mid\Delta e=0\}.</math>

Let <math>H:\mathcal E^\bullet\to\mathcal H</math> be the orthogonal projection, and let ''G'' be the [[Green's function|Green's operator]] for Δ. The '''Hodge theorem''' then asserts the following:<ref>Wells (2008), Theorem IV.5.2.</ref>

#''H'' and ''G'' are well-defined.
#Id = ''H'' + Δ''G'' = ''H'' + ''G''Δ
#''LG'' = ''GL'', ''L''{{sup|∗}}''G'' = ''GL''{{sup|∗}}
#The cohomology of the complex is canonically isomorphic to the space of harmonic sections, <math>H(E_j)\cong\mathcal H(E_j)</math>, in the sense that each cohomology class has a unique harmonic representative.

There is also a Hodge decomposition in this situation, generalizing the statement above for the de Rham complex.

==Hodge theory for complex projective varieties==
{{main|Hodge structure}}
Let ''X'' be a [[smooth scheme|smooth]] complex projective manifold, meaning that ''X'' is a closed [[complex manifold|complex submanifold]] of some [[complex projective space]] '''CP'''<sup>''N''</sup>. By [[Algebraic geometry and analytic geometry#Chow's theorem|Chow's theorem]], complex projective manifolds are automatically algebraic: they are defined by the vanishing of [[homogeneous polynomial]] equations on '''CP'''<sup>''N''</sup>. The [[Fubini–Study metric|standard Riemannian metric]] on '''CP'''<sup>''N''</sup> induces a Riemannian metric on ''X'' which has a strong compatibility with the complex structure, making ''X'' a [[Kähler manifold]].

For a complex manifold ''X'' and a natural number ''r'', every [[smooth function|C<sup>∞</sup>]] ''r''-form on ''X'' (with complex coefficients) can be written uniquely as a sum of [[complex differential form|forms of {{nowrap|type (''p'', ''q'')}}]] with {{nowrap|1=''p'' + ''q'' = ''r''}}, meaning forms that can locally be written as a finite sum of terms, with each term taking the form
:<math>f\, dz_1\wedge\cdots\wedge dz_p\wedge d\overline{w_1}
\wedge\cdots\wedge d\overline{w_q}</math>
with ''f'' a C<sup>∞</sup> function and the ''z''<sub>s</sub> and ''w''<sub>s</sub> [[holomorphic function]]s. On a Kähler manifold, the {{nowrap|(''p'', ''q'')}} components of a harmonic form are again harmonic. Therefore, for any [[compact space|compact]] Kähler manifold ''X'', the Hodge theorem gives a decomposition of the [[cohomology]] of ''X'' with complex coefficients as a direct sum of complex vector spaces:<ref>Huybrechts (2005), Corollary 3.2.12.</ref>
:<math>H^r(X,\mathbf{C})=\bigoplus_{p+q=r} H^{p,q}(X).</math>

This decomposition is in fact independent of the choice of Kähler metric (but there is no analogous decomposition for a general compact complex manifold). On the other hand, the Hodge decomposition genuinely depends on the structure of ''X'' as a complex manifold, whereas the group {{nowrap|''H''<sup>''r''</sup>(''X'', '''C''')}} depends only on the underlying [[topological space]] of ''X''.

Taking wedge products of these harmonic representatives corresponds to the [[cup product#Cup_product_and_differential_forms|cup product]] in cohomology, so the cup product with complex coefficients is compatible with the Hodge decomposition:

:<math>\smile \colon H^{p,q}(X) \times H^{p',q'}(X) \rightarrow H^{p+p',q+q'}(X).</math>

The piece ''H''<sup>''p'',''q''</sup>(''X'') of the Hodge decomposition can be identified with a [[coherent sheaf cohomology]] group, which depends only on ''X'' as a complex manifold (not on the choice of Kähler metric):<ref>Huybrechts (2005), Corollary 2.6.21.</ref>
:<math>H^{p,q}(X)\cong H^q(X,\Omega^p),</math>
where Ω<sup>''p''</sup> denotes the [[sheaf (mathematics)|sheaf]] of holomorphic ''p''-forms on ''X''. For example, ''H''<sup>''p'',''0''</sup>(''X'') is the space of holomorphic ''p''-forms on ''X''. (If ''X'' is projective, [[Jean-Pierre Serre|Serre]]'s [[GAGA]] theorem implies that a holomorphic ''p''-form on all of ''X'' is in fact algebraic.)

On the other hand, the integral can be written as the [[cap product]] of the homology class of ''Z''{{clarification needed|date=May 2024}} and the cohomology class represented by <math>\alpha</math>.  By [[Poincaré duality]], the homology class of ''Z'' is dual to a cohomology class which we will call [''Z''], and the cap product can be computed by taking the cup product of [''Z''] and α and capping with the fundamental class of ''X''.

Because [''Z''] is a cohomology class, it has a Hodge decomposition.  By the computation we did above, if we cup this class with any class of type <math>(p,q) \ne (k,k)</math>, then we get zero.  Because <math>H^{2n}(X, \Complex) = H^{n,n}(X)</math>, we conclude that [''Z''] must lie in <math>H^{n-k,n-k}(X)</math>.

The '''Hodge number''' ''h''<sup>''p'',''q''</sup>(''X'') means the dimension of the complex vector space ''H''<sup>''p''.''q''</sup>(''X''). These are important invariants of a smooth complex projective variety; they do not change when the complex structure of ''X'' is varied continuously, and yet they are in general not topological invariants. Among the properties of Hodge numbers are '''Hodge symmetry''' {{nowrap|1=''h''<sup>''p'',''q''</sup> = ''h''<sup>''q'',''p''</sup>}} (because ''H''<sup>''p'',''q''</sup>(''X'') is the [[complex conjugate]] of ''H''<sup>''q'',''p''</sup>(''X'')) and {{nowrap|1=''h''<sup>''p'',''q''</sup> = ''h''<sup>''n''−''p'',''n''−''q''</sup>}} (by [[Serre duality]]).

The Hodge numbers of a smooth complex projective variety (or compact Kähler manifold) can be listed in the [[Homological mirror symmetry#Hodge diamond|'''Hodge diamond''']] (shown in the case of complex dimension 2):
{{Hodge diamond
|''h''<sup>2,2</sup>
|''h''<sup>2,1</sup>|''h''<sup>1,2</sup>
|''h''<sup>2,0</sup>|''h''<sup>1,1</sup>|''h''<sup>0,2</sup>
|''h''<sup>1,0</sup>|''h''<sup>0,1</sup>
|''h''<sup>0,0</sup>
}}
For example, every smooth projective [[algebraic curve|curve]] of [[genus (mathematics)|genus]] ''g'' has Hodge diamond
{{Hodge diamond
|1
|''g''|''g''
|1
}}

For another example, every [[K3 surface]] has Hodge diamond 
{{Hodge diamond
|1
|0|0
|1|20|1
|0|0
|1
}}

The [[Betti number]]s of ''X'' are the sum of the Hodge numbers in a given row. A basic application of Hodge theory is then that the odd Betti numbers ''b''<sub>2''a''+1</sub> of a smooth complex projective variety (or compact Kähler manifold) are even, by Hodge symmetry. This is not true for compact complex manifolds in general, as shown by the example of the [[Hopf surface]], which is [[diffeomorphic]] to {{nowrap|''S''<sup>1</sup> × ''S''<sup>3</sup>}} and hence has {{nowrap|1=''b''<sub>1</sub> = 1}}.

The "Kähler package" is a powerful set of restrictions on the cohomology of smooth complex projective varieties (or compact Kähler manifolds), building on Hodge theory. The results include the [[Lefschetz hyperplane theorem]], the [[hard Lefschetz theorem]], and the [[Hodge structure#Definition of Hodge structures|Hodge–Riemann bilinear relations]].<ref>Huybrechts (2005), sections 3.3 and 5.2; Griffiths & Harris (1994), sections 0.7 and 1.2; Voisin (2007), v. 1, ch. 6, and v. 2, ch. 1.</ref> Many of these results follow from fundamental technical tools which may be proven for compact Kähler manifolds using Hodge theory, including the [[Kähler identities]] and the [[Ddbar lemma|<math>\partial \bar \partial</math>-lemma]].

Hodge theory and extensions such as [[Nonabelian Hodge correspondence|non-abelian Hodge theory]] also give strong restrictions on the possible [[fundamental group]]s of compact Kähler manifolds.

==Algebraic cycles and the Hodge conjecture==
{{main|Hodge conjecture}}
Let <math>X</math> be a smooth complex projective variety. A complex subvariety <math>Y</math> in <math>X</math> of [[codimension]] <math>p</math> defines an element of the cohomology group <math>H^{2p}(X,\Z)</math>. Moreover, the resulting class has a special property: its image in the complex cohomology <math>H^{2p}(X,\Complex)</math> lies in the middle piece of the Hodge decomposition, <math>H^{p,p}(X)</math>. The '''Hodge conjecture''' predicts a converse: every element of <math>H^{2p}(X,\Z)</math> whose image in complex cohomology lies in the subspace <math>H^{p,p}(X)</math> should have a positive integral multiple that is a <math>\Z</math>-linear combination of classes of complex subvarieties of <math>X</math>. (Such a linear combination is called an '''algebraic cycle''' on <math>X</math>.)

A crucial point is that the Hodge decomposition is a decomposition of cohomology with complex coefficients that usually does not come from a decomposition of cohomology with integral (or rational) coefficients. As a result, the intersection
:<math>(H^{2p}(X,\Z)/{\text{torsion}})\cap H^{p,p}(X)\subseteq H^{2p}(X,\Complex)</math>
may be much smaller than the whole group <math>H^{2p}(X,\Z)/\text{torsion}</math>, even if the Hodge number <math>h^{p,p}</math> is big. In short, the Hodge conjecture predicts that the possible "shapes" of complex subvarieties of <math>X</math> (as described by cohomology) are determined by the '''Hodge structure''' of <math>X</math> (the combination of integral cohomology with the Hodge decomposition of complex cohomology).

The [[Lefschetz theorem on (1,1)-classes|Lefschetz (1,1)-theorem]] says that the Hodge conjecture is true for <math>p=1</math> (even integrally, that is, without the need for a positive integral multiple in the statement).

The Hodge structure of a variety <math>X</math> describes the integrals of algebraic differential forms on <math>X</math> over [[singular homology|homology]] classes in <math>X</math>. In this sense, Hodge theory is related to a basic issue in [[calculus]]: there is in general no "formula" for the integral of an [[algebraic function]]. In particular, [[definite integral]]s of algebraic functions, known as [[ring of periods|periods]], can be [[transcendental number]]s. The difficulty of the Hodge conjecture reflects the lack of understanding of such integrals in general.

Example: For a smooth complex projective K3 surface <math>X</math>, the group <math>H^2(X,\mathbb{Z})</math> is isomorphic to <math>\mathbb{Z}^{22}</math>, and <math>H^{1,1}(X)</math> is isomorphic to <math>\mathbb{C}^{20}</math>. Their intersection can have rank anywhere between 1 and 20; this rank is called the [[Picard number]] of <math>X</math>. The [[moduli space]] of all projective K3 surfaces has a [[countably infinite]] set of components, each of complex dimension 19. The subspace of K3 surfaces with Picard number <math>a</math> has dimension <math>20-a</math>.<ref>Griffiths & Harris (1994), p. 594.</ref> (Thus, for most projective K3 surfaces, the intersection of <math>H^2(X,\mathbb{Z})</math> with <math>H^{1,1}(X)</math> is isomorphic to <math>\mathbb Z</math>, but for "special" K3 surfaces the intersection can be bigger.)

This example suggests several different roles played by Hodge theory in complex algebraic geometry. First, Hodge theory gives restrictions on which topological spaces can have the structure of a smooth complex projective variety. Second, Hodge theory gives information about the moduli space of smooth complex projective varieties with a given topological type. The best case is when the [[Torelli theorem]] holds, meaning that the variety is determined up to isomorphism by its Hodge structure. Finally, Hodge theory gives information about the [[Chow group]] of algebraic cycles on a given variety. The Hodge conjecture is about the image of the [[Chow group#Cycle maps|cycle map]] from Chow groups to ordinary cohomology, but Hodge theory also gives information about the kernel of the cycle map, for example using the [[intermediate Jacobian]]s which are built from the Hodge structure.

==Generalizations==
'''Mixed Hodge theory''', developed by [[Pierre Deligne]], extends Hodge theory to all complex algebraic varieties, not necessarily smooth or compact. Namely, the cohomology of any complex algebraic variety has a more general type of decomposition, a [[mixed Hodge structure]].

A different generalization of Hodge theory to singular varieties is provided by '''[[intersection homology]]'''. Namely, [[Morihiko Saito]] showed that the intersection homology of any complex projective variety (not necessarily smooth) has a pure Hodge structure, just as in the smooth case. In fact, the whole Kähler package extends to intersection homology.

A fundamental aspect of complex geometry is that there are continuous families of non-isomorphic complex manifolds (which are all diffeomorphic as real manifolds). [[Phillip Griffiths]]'s notion of a '''[[variation of Hodge structure]]''' describes how the Hodge structure of a smooth complex projective variety <math>X</math> varies when <math>X</math> varies. In geometric terms, this amounts to studying the [[period mapping]] associated to a family of varieties. Saito's theory of [[Hodge module]]s is a generalization. Roughly speaking, a mixed Hodge module on a variety <math>X</math> is a sheaf of mixed Hodge structures over <math>X</math>, as would arise from a family of varieties which need not be smooth or compact.

== See also==
* [[Potential theory]]
* [[Serre duality]]
* [[Helmholtz decomposition]]
* [[Local invariant cycle theorem]]
* [[Arakelov theory]]
* [[Hodge–Arakelov theory]]
* [[ddbar lemma]], a key consequence of Hodge theory for compact Kähler manifolds.

==Notes==
{{Reflist|30em}}

==References==
*{{Citation | last=Arapura | first=Donu | title=Computing Some Hodge Numbers | url=http://www.math.purdue.edu/~dvb/preprints/book-chap17.pdf }}
*{{cite book |last1=Griffiths |first1=Phillip | author-link1=Phillip Griffiths |last2=Harris |first2=Joseph |author-link2=Joe Harris (mathematician) | title=Principles of Algebraic Geometry | series=Wiley Classics Library | publisher=Wiley Interscience | year=1994 | orig-year=1978 | isbn=0-471-05059-8 | mr=0507725}}
*{{Citation | last1=Hodge | first1=W. V. D. | author-link1=W. V. D. Hodge | title=The Theory and Applications of Harmonic Integrals | journal=Nature | publisher=[[Cambridge University Press]] | isbn= 978-0-521-35881-1 |mr=0003947 | year=1941| volume=148 | issue=3743 | page=97 | doi=10.1038/148097a0 | bibcode=1941Natur.148...97D }}
*{{Citation | author1-last=Huybrechts | author1-first=Daniel | author1-link=Daniel Huybrechts | title=Complex Geometry: An Introduction | publisher=[[Springer Science+Business Media|Springer]] | year=2005 | isbn=3-540-21290-6 | mr=2093043}}
*{{Citation | author1-last=Voisin | author1-first=Claire | author1-link=Claire Voisin | title=Hodge Theory and Complex Algebraic Geometry (2 vols.) | publisher=[[Cambridge University Press]] | year=2007 | orig-year=2002 | isbn=978-0-521-71801-1 | mr=1967689 | doi=10.1017/CBO9780511615344}}
*{{Citation | author1-first=Frank | author1-last=Warner | title=Foundations of Differentiable Manifolds and Lie Groups | year=1983 | orig-year=1971 | publisher=[[Springer Science+Business Media|Springer]] | mr=0722297 | isbn=0-387-90894-3}}
*{{Citation | author1-first=Raymond O. | author1-last=Wells Jr. | author1-link=Raymond O. Wells Jr. | title=Differential Analysis on Complex Manifolds | volume=65 | edition=3rd | publisher=[[Springer Science+Business Media|Springer]] | year=2008 | orig-year=1973 | mr=2359489 | isbn=978-0-387-73891-8 | doi=10.1007/978-0-387-73892-5| series=Graduate Texts in Mathematics | hdl=10338.dmlcz/141778 | hdl-access=free }}

* [https://github.com/MaximLeyenson/hodge-numbers-of-hypersurfaces Python code for computing Hodge numbers of hypersurfaces] on GitHub


{{Authority control}}

[[Category:Hodge theory| ]]