PMATH 852: Several Complex Variables and Hodge Theory
Estimated study time: 2 hr 20 min
Table of contents
These notes synthesize material from P. Griffiths and J. Harris’s Principles of Algebraic Geometry, D. Huybrechts’s Complex Geometry, C. Voisin’s Hodge Theory and Complex Algebraic Geometry, L. Hörmander’s Introduction to Complex Analysis in Several Variables, and R.O. Wells’s Differential Analysis on Complex Manifolds, enriched with material from MIT OCW 18.117 and M. Kazarian’s lecture notes.
Chapter 1: Holomorphic Functions of Several Variables
The passage from one to several complex variables is one of the most striking transitions in all of mathematics. While many phenomena from complex analysis of one variable persist — the maximum principle, the identity theorem, the Cauchy integral formula — the theory of several complex variables exhibits profoundly new behaviour that has no one-variable analogue. The most dramatic example is Hartogs’ extension theorem: in dimensions \(n \geq 2\), isolated singularities of holomorphic functions are automatically removable, a phenomenon that simply cannot occur when \(n = 1\). This chapter develops the foundational theory, beginning with holomorphic functions on \(\mathbb{C}^n\) and culminating in the characterization of domains of holomorphy.
1.1 Holomorphic Functions on \(\mathbb{C}^n\)
We begin by establishing the basic objects of study. Throughout, we write points of \(\mathbb{C}^n\) as \(z = (z_1, \dots, z_n)\) with \(z_j = x_j + iy_j\), and we identify \(\mathbb{C}^n\) with \(\mathbb{R}^{2n}\) via the mapping \((z_1, \dots, z_n) \mapsto (x_1, y_1, \dots, x_n, y_n)\).
is holomorphic (in the one-variable sense) on the open subset of \(\mathbb{C}\) where it is defined. We write \(\mathcal{O}(U)\) for the ring of holomorphic functions on \(U\).
This definition, due to the requirement of separate holomorphicity in each variable, might appear weaker than one would expect. A remarkable theorem of Hartogs (1906) shows that it is in fact equivalent to far stronger regularity conditions.
Its distinguished boundary (or Shilov boundary) is
\[ T(a, r) = \{ z \in \mathbb{C}^n : |z_j - a_j| = r_j \text{ for all } j = 1, \dots, n \}, \]which is a real \(n\)-dimensional torus, rather than the full topological boundary of the polydisc.
1.2 The Cauchy Integral Formula in Polydiscs
The Cauchy integral formula generalises to several variables by iterating the one-variable formula over the distinguished boundary of a polydisc.
Now for fixed \(\zeta_n\) with \(|\zeta_n - a_n| = r_n\), the function \((z_1, \dots, z_{n-1}) \mapsto f(z_1, \dots, z_{n-1}, \zeta_n)\) is holomorphic in \(n-1\) variables on a neighbourhood of \(\overline{\Delta(a', r')}\) where \(a' = (a_1, \dots, a_{n-1})\) and \(r' = (r_1, \dots, r_{n-1})\). By the inductive hypothesis,
\[ f(z_1, \dots, z_{n-1}, \zeta_n) = \frac{1}{(2\pi i)^{n-1}} \int_{T(a', r')} \frac{f(\zeta_1, \dots, \zeta_{n-1}, \zeta_n)}{(\zeta_1 - z_1) \cdots (\zeta_{n-1} - z_{n-1})} \, d\zeta_1 \cdots d\zeta_{n-1}. \]Substituting back and applying Fubini’s theorem (justified since the integrand is continuous on the compact set \(T(a, r)\)) yields the desired formula. \(\square\)
where \(|\alpha| = \alpha_1 + \cdots + \alpha_n\), \(\alpha! = \alpha_1! \cdots \alpha_n!\), and \(r^\alpha = r_1^{\alpha_1} \cdots r_n^{\alpha_n}\).
1.3 Power Series Expansions
As in one variable, holomorphic functions admit convergent power series expansions.
converging absolutely and uniformly on compact subsets of \(\Delta(a, r)\), where
\[ c_\alpha = \frac{1}{\alpha!} \frac{\partial^{|\alpha|} f}{\partial z^\alpha}(a) = \frac{1}{(2\pi i)^n} \int_{T(a, r)} \frac{f(\zeta)}{(\zeta - a)^{\alpha + \mathbf{1}}} \, d\zeta, \]with \(\mathbf{1} = (1, \dots, 1)\) and \((\zeta - a)^{\alpha + \mathbf{1}} = \prod_j (\zeta_j - a_j)^{\alpha_j + 1}\).
converging absolutely since \(|z_j - a_j| < r_j = |\zeta_j - a_j|\) for \(\zeta \in T(a, r)\). Taking the product over \(j = 1, \dots, n\) and substituting into the Cauchy integral formula (Theorem 1.4), the absolute convergence justifies interchanging summation and integration, yielding the result. \(\square\)
The following deep result, due to Hartogs, shows that the definition of holomorphicity via separate analyticity implies joint analyticity — a fact whose proof requires substantially more work in the several-variable setting.
1.4 Hartogs’ Extension Theorem
We now come to one of the most striking phenomena in several complex variables. In one variable, the function \(1/z\) is holomorphic on \(\mathbb{C} \setminus \{0\}\) and cannot be extended to all of \(\mathbb{C}\). In contrast, for \(n \geq 2\), isolated singularities are always removable.
Consider the function defined by the Cauchy integral:
\[ \tilde{f}(z) = \frac{1}{2\pi i} \int_{|\zeta_n| = r_n} \frac{f(z_1, \dots, z_{n-1}, \zeta_n)}{\zeta_n - z_n} \, d\zeta_n, \]for \((z_1, \dots, z_{n-1})\) near the origin and \(|z_n| < r_n\). Since the integrand involves \(f\) evaluated only at points with \(|\zeta_n| = r_n\), and we may choose \(r_n\) so that these points are away from the origin, \(\tilde{f}\) is well-defined and holomorphic on a polydisc about the origin. For \(z \neq 0\) in this polydisc, the one-variable Cauchy formula shows \(\tilde{f}(z) = f(z)\), since \(z_n \mapsto f(z_1, \dots, z_n)\) is holomorphic on the disc \(|z_n| < r_n\) when \((z_1, \dots, z_{n-1}) \neq 0\). By the identity theorem for holomorphic functions, \(\tilde{f} = f\) on the connected set \(U \setminus K\). \(\square\)
1.5 Domains of Holomorphy
Hartogs’ extension theorem raises a fundamental question: given a domain \(\Omega \subseteq \mathbb{C}^n\), is it possible that every holomorphic function on \(\Omega\) extends to a strictly larger domain? This leads to the notion of a domain of holomorphy — a domain that is, in some sense, the natural domain of definition for at least one holomorphic function.
(i) \(\emptyset \neq U_1 \subset U_2 \cap \Omega\),
(ii) \(U_2\) is connected and not contained in \(\Omega\),
(iii) for every \(f \in \mathcal{O}(\Omega)\), there exists \(\tilde{f} \in \mathcal{O}(U_2)\) with \(\tilde{f}|_{U_1} = f|_{U_1}\).
This series converges on \(\Delta(0, r)\) but diverges at every point of the distinguished boundary \(T(0, r)\). More precisely, the domain of convergence of this power series is exactly \(\Delta(0, r)\), so \(f\) cannot be extended holomorphically past any boundary point.
The domain \(\Omega\) is holomorphically convex if \(\hat{K}_\Omega\) is compact in \(\Omega\) for every compact \(K \subseteq \Omega\).
1.6 The Cartan-Thullen Theorem
The following theorem, proved by Henri Cartan and Peter Thullen in 1932, gives a fundamental characterisation of domains of holomorphy.
(i) \(\Omega\) is a domain of holomorphy.
(ii) \(\Omega\) is holomorphically convex.
(iii) For every boundary point \(p \in \partial\Omega\), there exists \(f \in \mathcal{O}(\Omega)\) that is unbounded near \(p\).
The deep direction is (ii) \(\Rightarrow\) (i). The proof constructs, given holomorphic convexity, a holomorphic function that cannot extend past any boundary point, by an elaborate exhaustion argument. One takes an increasing sequence of compact sets \(K_\nu\) exhausting \(\Omega\), and at each stage finds a holomorphic function that separates \(\hat{K}_\nu\) from points near the boundary. A suitable infinite product or series of such functions yields a function with singularities at every boundary point. The full details are given in Hörmander, Chapter 2. \(\square\)
A landmark later development, due to Oka (1942) and independently Bremermann and Norguet, characterises domains of holomorphy in terms of a differential-geometric condition.
for all \(p \in U\) and all \(w \in \mathbb{C}^n\). A domain \(\Omega \subseteq \mathbb{C}^n\) with \(C^2\) boundary is pseudoconvex (or Levi pseudoconvex) if the Levi form of a defining function for \(\partial\Omega\) is positive semidefinite on the complex tangent space to \(\partial\Omega\).
This theorem, often called the solution to the Levi problem, was one of the central achievements of several complex variables in the twentieth century. It connects the function-theoretic notion of domain of holomorphy with the geometric notion of pseudoconvexity.
Chapter 2: Complex Manifolds and Holomorphic Vector Bundles
Having established the local theory of holomorphic functions in several variables, we now globalise. Complex manifolds are the natural geometric objects on which holomorphic functions and their higher-dimensional generalisations (sections of vector bundles) live. The interplay between the topology and the complex structure of these manifolds is the central theme of this entire course: Hodge theory, which we develop in Chapters 5 and 6, provides deep constraints on the topology of a manifold that admits a complex (and especially a Kähler) structure.
2.1 Complex Manifolds
are holomorphic (i.e., biholomorphic maps between open subsets of \(\mathbb{C}^n\)).
where \(z \sim w\) if and only if \(z = \lambda w\) for some \(\lambda \in \mathbb{C}^*\). The equivalence class of \((z_0, \dots, z_n)\) is denoted \([z_0 : \cdots : z_n]\) (homogeneous coordinates). The standard atlas consists of the open sets \(U_j = \{[z_0 : \cdots : z_n] : z_j \neq 0\}\) with charts
\[ \varphi_j: U_j \to \mathbb{C}^n, \quad [z_0 : \cdots : z_n] \mapsto \left(\frac{z_0}{z_j}, \dots, \widehat{\frac{z_j}{z_j}}, \dots, \frac{z_n}{z_j}\right), \]where the hat denotes omission. The transition functions are rational and hence holomorphic where defined.
2.2 Holomorphic Vector Bundles
Vector bundles are the natural habitat for “multi-valued” or “twisted” holomorphic objects on a complex manifold. They generalise the tangent bundle and play a central role in the Hodge-theoretic machinery we develop later.
(i) For each \(x \in X\), the fibre \(E_x = \pi^{-1}(x)\) is a complex vector space of dimension \(r\).
(ii) There exists an open cover \(\{U_\alpha\}\) of \(X\) and biholomorphisms (local trivialisations) \(\Phi_\alpha: \pi^{-1}(U_\alpha) \to U_\alpha \times \mathbb{C}^r\) compatible with projection to \(U_\alpha\) and linear on fibres.
(iii) The transition functions \(g_{\alpha\beta}: U_\alpha \cap U_\beta \to \mathrm{GL}(r, \mathbb{C})\), defined by \(\Phi_\alpha \circ \Phi_\beta^{-1}(x, v) = (x, g_{\alpha\beta}(x) v)\), are holomorphic.
where we view a point \(\ell \in \mathbb{CP}^n\) as a line through the origin in \(\mathbb{C}^{n+1}\). The fibre over \(\ell\) is the line \(\ell\) itself. The transition functions on \(U_i \cap U_j\) are \(g_{ij}([z]) = z_j/z_i\). Its dual \(\mathcal{O}(1) = \mathcal{O}(-1)^*\) is the hyperplane bundle, and we write \(\mathcal{O}(k) = \mathcal{O}(1)^{\otimes k}\) for \(k > 0\) and \(\mathcal{O}(k) = \mathcal{O}(-1)^{\otimes |k|}\) for \(k < 0\).
2.3 The Canonical Bundle
where \(\Omega_X^1\) denotes the holomorphic cotangent bundle. This is a holomorphic line bundle whose local sections are holomorphic \(n\)-forms \(f(z) \, dz_1 \wedge \cdots \wedge dz_n\).
by taking determinants: \(\det(T_{\mathbb{CP}^n}) \cong \mathcal{O}(n+1)\), so \(K_{\mathbb{CP}^n} = \det(\Omega^1_{\mathbb{CP}^n}) \cong \mathcal{O}(-(n+1))\).
2.4 Divisors and Line Bundles
The correspondence between divisors and line bundles is one of the most important bridges between the algebraic and analytic theories of complex manifolds.
where each \(Y_i\) is an irreducible analytic hypersurface in \(X\). The group of divisors is denoted \(\mathrm{Div}(X)\). A divisor is effective (written \(D \geq 0\)) if all \(n_i \geq 0\).
2.5 Blowups
with the natural projection \(\sigma: \mathrm{Bl}_0(\mathbb{C}^n) \to \mathbb{C}^n\). The preimage \(E = \sigma^{-1}(0) \cong \mathbb{CP}^{n-1}\) is the exceptional divisor. Away from \(E\), the map \(\sigma\) is a biholomorphism.
Chapter 3: Sheaves and Cohomology
Sheaf theory provides the natural language for passing between local and global data on complex manifolds. The cohomology of sheaves, especially coherent sheaves, is the algebraic engine that drives most of the results in later chapters — from the Dolbeault theorem to the Hodge decomposition to the Kodaira vanishing theorem. Historically, the systematic use of sheaves in complex geometry was pioneered by Henri Cartan, Jean-Pierre Serre, and the Cartan seminar in the early 1950s, building on ideas of Jean Leray.
3.1 Sheaves of Abelian Groups
(i) For each open set \(U \subseteq X\), an abelian group \(\mathcal{F}(U)\) (the sections of \(\mathcal{F}\) over \(U\)).
(ii) For each inclusion \(V \subseteq U\) of open sets, a restriction homomorphism \(\mathrm{res}_{U,V}: \mathcal{F}(U) \to \mathcal{F}(V)\), often written \(s \mapsto s|_V\).
These satisfy \(\mathrm{res}_{U,U} = \mathrm{id}\) and \(\mathrm{res}_{V,W} \circ \mathrm{res}_{U,V} = \mathrm{res}_{U,W}\) for \(W \subseteq V \subseteq U\). We set \(\mathcal{F}(\emptyset) = 0\).
(Locality) If \(s, t \in \mathcal{F}(U)\) satisfy \(s|_{U_i} = t|_{U_i}\) for all \(i\), then \(s = t\).
(Gluing) If \(s_i \in \mathcal{F}(U_i)\) satisfy \(s_i|_{U_i \cap U_j} = s_j|_{U_i \cap U_j}\) for all \(i, j\), then there exists \(s \in \mathcal{F}(U)\) with \(s|_{U_i} = s_i\) for all \(i\).
(a) \(\mathcal{O}_X\): the sheaf of holomorphic functions (\(\mathcal{O}_X(U) = \mathcal{O}(U)\)).
(b) \(\mathcal{O}_X^*\): the sheaf of nowhere-vanishing holomorphic functions (under multiplication).
(c) \(\mathcal{M}_X\): the sheaf of meromorphic functions.
(d) \(\Omega_X^p\): the sheaf of holomorphic \(p\)-forms.
(e) \(\underline{\mathbb{Z}}_X\), \(\underline{\mathbb{R}}_X\), \(\underline{\mathbb{C}}_X\): constant sheaves.
(f) \(\mathcal{A}^k_X\): the sheaf of smooth \(k\)-forms; \(\mathcal{A}^{p,q}_X\): the sheaf of smooth \((p,q)\)-forms.
taken over all open neighbourhoods \(U\) of \(x\). Elements of \(\mathcal{F}_x\) are called germs of sections at \(x\). For the sheaf \(\mathcal{O}_X\) on a complex manifold, the stalk \(\mathcal{O}_{X,x}\) is isomorphic to the ring of convergent power series \(\mathbb{C}\{z_1, \dots, z_n\}\), which is a local ring with maximal ideal \(\mathfrak{m}_x\) consisting of germs vanishing at \(x\).
3.2 Exact Sequences of Sheaves
is exact if it is exact at the level of stalks: for every point \(x \in X\), the sequence
\[ \cdots \to \mathcal{F}^{i-1}_x \to \mathcal{F}^i_x \to \mathcal{F}^{i+1}_x \to \cdots \]is exact as a sequence of abelian groups, i.e., \(\ker(\varphi^i_x) = \mathrm{im}(\varphi^{i-1}_x)\).
3.3 The Exponential Sequence
The exponential sequence is the most fundamental exact sequence in complex geometry, connecting topology, complex analysis, and line bundles.
is exact, where \(\iota\) is inclusion (multiplied by \(2\pi i\)) and \(\exp\) is the map \(f \mapsto e^{2\pi i f}\).
3.4 Sheaf Cohomology
There are two standard approaches to defining sheaf cohomology: derived functors and Cech cohomology. We present both.
(which exists since the category of sheaves of abelian groups on \(X\) has enough injectives), applies \(\Gamma(X, -)\) to obtain a complex of abelian groups, and takes cohomology:
\[ H^i(X, \mathcal{F}) = H^i(\Gamma(X, \mathcal{I}^\bullet)). \]with differential \(\delta: \check{C}^p \to \check{C}^{p+1}\) defined by
\[ (\delta \sigma)_{\alpha_0, \dots, \alpha_{p+1}} = \sum_{j=0}^{p+1} (-1)^j \sigma_{\alpha_0, \dots, \hat{\alpha}_j, \dots, \alpha_{p+1}}|_{U_{\alpha_0} \cap \cdots \cap U_{\alpha_{p+1}}}. \]The Cech cohomology with respect to \(\mathfrak{U}\) is \(\check{H}^p(\mathfrak{U}, \mathcal{F}) = H^p(\check{C}^\bullet(\mathfrak{U}, \mathcal{F}), \delta)\). The Cech cohomology of \(\mathcal{F}\) is the direct limit over all open covers:
\[ \check{H}^p(X, \mathcal{F}) = \varinjlim_{\mathfrak{U}} \check{H}^p(\mathfrak{U}, \mathcal{F}). \]3.5 The Long Exact Sequence and the Picard Group
The fundamental property of sheaf cohomology is that a short exact sequence of sheaves induces a long exact sequence in cohomology.
Applying this to the exponential sequence yields one of the most important computations in complex geometry.
The group \(H^1(X, \mathcal{O}^*)\) is the Picard group \(\mathrm{Pic}(X)\), classifying isomorphism classes of holomorphic line bundles on \(X\). The connecting homomorphism \(c_1\) sends a line bundle to its first Chern class.
3.6 Coherent Sheaves and Serre’s GAGA Principle
(i) \(\mathcal{F}\) is of finite type: every point has a neighbourhood \(U\) with a surjection \(\mathcal{O}_U^p \to \mathcal{F}|_U\).
(ii) For every open \(U \subseteq X\) and every morphism \(\varphi: \mathcal{O}_U^p \to \mathcal{F}|_U\), the kernel \(\ker(\varphi)\) is of finite type.
from the category of coherent algebraic sheaves on \(X\) to the category of coherent analytic sheaves on \(X^{\mathrm{an}}\) is an equivalence of categories. Moreover, it preserves cohomology:
\[ H^i(X, \mathcal{F}) \cong H^i(X^{\mathrm{an}}, \mathcal{F}^{\mathrm{an}}) \]for all \(i \geq 0\).
Chapter 4: Differential Forms on Complex Manifolds
Having established the algebraic framework of sheaves and cohomology, we now bring in analysis. The interplay between the complex structure and the calculus of differential forms on a complex manifold is the foundation upon which Hodge theory rests. The key idea is the decomposition of forms into types \((p, q)\), reflecting the distinction between the holomorphic and antiholomorphic directions, and the introduction of the Dolbeault operator \(\bar\partial\), which is the complex-analytic replacement for the exterior derivative.
4.1 Real and Complex Differential Forms
Let \(X\) be a complex manifold of dimension \(n\). At each point \(x \in X\), the real tangent space \(T_x X\) is a real vector space of dimension \(2n\). The complex structure \(J: T_x X \to T_x X\) (with \(J^2 = -\mathrm{id}\)) allows us to complexify and decompose.
where \(T_x^{1,0} X\) is the \(+i\)-eigenspace of \(J\) (spanned by \(\partial/\partial z_j\)) and \(T_x^{0,1} X\) is the \(-i\)-eigenspace (spanned by \(\partial/\partial \bar{z}_j\)). Dually, the complexified cotangent space decomposes as
\[ T_x^* X \otimes_{\mathbb{R}} \mathbb{C} = (T_x^{1,0} X)^* \oplus (T_x^{0,1} X)^*, \]where \((T_x^{1,0} X)^*\) is spanned by \(dz_j = dx_j + i \, dy_j\) and \((T_x^{0,1} X)^*\) is spanned by \(d\bar{z}_j = dx_j - i \, dy_j\).
4.2 The (p,q)-Decomposition
In local holomorphic coordinates \((z_1, \dots, z_n)\), a \((p, q)\)-form is a sum of terms
\[ f_{I, J}(z, \bar{z}) \, dz_{i_1} \wedge \cdots \wedge dz_{i_p} \wedge d\bar{z}_{j_1} \wedge \cdots \wedge d\bar{z}_{j_q}, \]with smooth coefficient functions \(f_{I,J}\). We write \(\mathcal{A}^{p,q}(X)\) for the space of smooth \((p, q)\)-forms on \(X\).
This decomposition depends on the complex structure but not on any choice of metric.
4.3 The Dolbeault Operator
In local coordinates, if \(\omega = \sum_{I,J} f_{I,J} \, dz_I \wedge d\bar{z}_J\), then
\[ \partial \omega = \sum_{I,J} \sum_{k=1}^n \frac{\partial f_{I,J}}{\partial z_k} dz_k \wedge dz_I \wedge d\bar{z}_J, \quad \bar\partial \omega = \sum_{I,J} \sum_{k=1}^n \frac{\partial f_{I,J}}{\partial \bar{z}_k} d\bar{z}_k \wedge dz_I \wedge d\bar{z}_J. \](i) \(\partial^2 = 0\),
(ii) \(\bar\partial^2 = 0\),
(iii) \(\partial\bar\partial + \bar\partial\partial = 0\).
These follow from \(d^2 = 0\) and comparison of types: since \(d^2 = (\partial + \bar\partial)^2 = \partial^2 + (\partial\bar\partial + \bar\partial\partial) + \bar\partial^2 = 0\), and each term has a different type, each must vanish separately.
4.4 The Dolbeault Complex and Dolbeault Cohomology
The identity \(\bar\partial^2 = 0\) means that, for each fixed \(p\), the Dolbeault operator \(\bar\partial\) defines a cochain complex.
A form in \(\ker(\bar\partial)\) is called \(\bar\partial\)-closed; a form in \(\mathrm{im}(\bar\partial)\) is called \(\bar\partial\)-exact.
4.5 The \(\bar\partial\)-Poincare Lemma
The key local result is that the Dolbeault complex is exact, i.e., every \(\bar\partial\)-closed form is locally \(\bar\partial\)-exact. This is the analogue of the Poincare lemma for the de Rham complex.
That this integral converges and defines a smooth function with \(\partial f / \partial \bar{z} = g\) is a standard result in PDE theory (it is the fundamental solution for the \(\bar\partial\)-equation on a disc). The general case proceeds by induction on the number of variables, using successive applications of the one-variable result. \(\square\)
4.6 Dolbeault’s Theorem
The \(\bar\partial\)-Poincare lemma says that the Dolbeault complex is a fine resolution of the sheaf of holomorphic \(p\)-forms. This immediately yields the following fundamental comparison theorem.
between Dolbeault cohomology and sheaf cohomology of the sheaf of holomorphic \(p\)-forms.
The \(\bar\partial\)-Poincare lemma (Theorem 4.10) shows this sequence is exact at the level of stalks: the kernel of \(\bar\partial: \mathcal{A}^{p,0} \to \mathcal{A}^{p,1}\) is exactly \(\Omega_X^p\), and every \(\bar\partial\)-closed \((p, q)\)-form is locally \(\bar\partial\)-exact for \(q \geq 1\). The sheaves \(\mathcal{A}^{p,q}\) are fine (they admit partitions of unity), hence acyclic for the global sections functor. By the abstract de Rham theorem (a general result on acyclic resolutions), the cohomology of the complex of global sections computes the sheaf cohomology of the kernel sheaf:
\[ H^q(\Gamma(X, \mathcal{A}^{p,\bullet}), \bar\partial) \cong H^q(X, \Omega_X^p). \quad \square \]Chapter 5: Hermitian and Kahler Geometry
The introduction of a Hermitian metric on a complex manifold brings the full power of analysis to bear on complex geometry. Among Hermitian metrics, Kahler metrics are distinguished by a compatibility condition between the complex structure, the Riemannian structure, and the symplectic structure. Kahler manifolds are the natural arena for Hodge theory, and the Kahler identities — algebraic relations between the metric operators and the complex structure operators — are the technical engine that makes the Hodge decomposition work.
5.1 Hermitian Metrics on Complex Manifolds
where \((h_{j\bar{k}})\) is a positive definite Hermitian matrix at each point, i.e., \(h_{j\bar{k}} = \overline{h_{k\bar{j}}}\) and \(\sum h_{j\bar{k}} v_j \bar{v}_k > 0\) for all nonzero \(v \in \mathbb{C}^n\).
(a) A Riemannian metric \(g = \mathrm{Re}(h)\) on the underlying smooth manifold.
(b) A real 2-form \(\omega\), the fundamental form or Kahler form, defined below.
This is a real \((1,1)\)-form (real means \(\bar\omega = \omega\)) and is positive in the sense that \(\omega^n / n! = \det(h_{j\bar{k}}) \cdot \left(\frac{i}{2}\right)^n dz_1 \wedge d\bar{z}_1 \wedge \cdots \wedge dz_n \wedge d\bar{z}_n\) is a positive volume form.
5.2 The Kahler Condition
(i) \(d\omega = 0\).
(ii) The Levi-Civita connection \(\nabla\) of the Riemannian metric \(g = \mathrm{Re}(h)\) satisfies \(\nabla J = 0\) (the complex structure is parallel).
(iii) At each point, there exist holomorphic coordinates in which \(h_{j\bar{k}} = \delta_{jk} + O(|z|^2)\) (one can "osculate to second order").
(iv) The holonomy group of \(g\) is contained in \(\mathrm{U}(n)\) (rather than the full \(\mathrm{O}(2n)\)).
Condition (iii) is particularly useful: it means that, to first order, a Kahler manifold looks like flat \(\mathbb{C}^n\), which makes many computations in Riemannian geometry much simpler.
5.3 Examples of Kahler Manifolds
One verifies directly that \(d\omega_{\mathrm{FS}} = 0\) (indeed, \(\omega_{\mathrm{FS}} = \frac{i}{2}\partial\bar\partial \varphi\) is automatically \(d\)-closed since \(d = \partial + \bar\partial\) and \(\partial\bar\partial\varphi = -\bar\partial\partial\varphi\), so \(d(\partial\bar\partial\varphi) = \partial^2\bar\partial\varphi - \bar\partial^2\partial\varphi = 0\)). Globally, the Kahler form can be written as \(\omega_{\mathrm{FS}} = \frac{i}{2}\partial\bar\partial\log|z|^2\), which transforms correctly between charts because the ambiguity \(\log|z|^2 \mapsto \log|z|^2 + \log|\lambda|^2\) is killed by \(\partial\bar\partial\).
5.4 The Hodge Star and Adjoints
To do analysis (and in particular to apply elliptic PDE theory), we need inner products on the spaces of forms. A Hermitian metric \(h\) on \(X\) induces a Hermitian metric on \(\bigwedge^k T_X^* \otimes \mathbb{C}\) and hence an \(L^2\) inner product on compactly supported forms.
for all \(k\)-forms \(\alpha, \beta\), where \(\langle \cdot, \cdot \rangle\) is the pointwise inner product induced by \(g\). On a compact manifold, the \(L^2\) inner product is
\[ (\alpha, \beta)_{L^2} = \int_X \alpha \wedge *\bar\beta. \]On a compact manifold of real dimension \(m = 2n\), one has \(d^* = (-1)^{m(k+1)+1} * d *\) on \(k\)-forms. Similarly, \(\bar\partial^* = - * \partial *\) (up to signs that depend on conventions).
5.5 The Kahler Identities
The Kahler identities are remarkable algebraic relations between the operators \(\partial\), \(\bar\partial\), and the Lefschetz operators. They are the technical heart of Hodge theory on Kahler manifolds.
(i) The Lefschetz operator \(L: \mathcal{A}^k(X) \to \mathcal{A}^{k+2}(X)\) by \(L\alpha = \omega \wedge \alpha\).
(ii) The dual Lefschetz operator \(\Lambda: \mathcal{A}^k(X) \to \mathcal{A}^{k-2}(X)\), the adjoint of \(L\) with respect to the \(L^2\) inner product.
Here \([A, B] = AB - BA\) denotes the commutator.
where \(e(\alpha)\) denotes exterior multiplication by \(\alpha\) and \(\iota(v)\) denotes interior multiplication (contraction) by \(v\). The computation involves repeated use of the anticommutation relations \(\{e(\alpha), \iota(v)\} = \alpha(v)\). Since both sides of the identities are zeroth-order (algebraic) operators on forms, and they agree at each point, the identities hold globally. See Griffiths-Harris, pp. 111-114, or Huybrechts, Proposition 3.1.12, for the full computation. \(\square\)
5.6 The Three Laplacians
Each is a second-order elliptic differential operator. In general, these three Laplacians are unrelated.
Expanding, using \(\partial^2 = 0\), \(\bar\partial^2 = 0\), and \((\partial^*)^2 = 0\), \((\bar\partial^*)^2 = 0\):
\[ \Delta_d = \underbrace{(\partial\partial^* + \partial^*\partial)}_{=\,\Delta_\partial} + \underbrace{(\bar\partial\bar\partial^* + \bar\partial^*\bar\partial)}_{=\,\Delta_{\bar\partial}} + (\partial\bar\partial^* + \bar\partial^*\partial) + (\bar\partial\partial^* + \partial^*\bar\partial). \]From the Kahler identity \([\Lambda, \bar\partial] = -i\partial^*\), i.e., \(\partial^* = i[\bar\partial, \Lambda]\), one computes
\[ \partial\bar\partial^* + \bar\partial^*\partial = \text{(terms involving } \Lambda\text{)}, \]and after careful computation using both Kahler identities, one shows that the cross terms satisfy
\[ \partial\bar\partial^* + \bar\partial^*\partial = 0 \quad \text{and} \quad \bar\partial\partial^* + \partial^*\bar\partial = 0. \]Therefore \(\Delta_d = \Delta_\partial + \Delta_{\bar\partial}\). Moreover, the Kahler identity \(\partial^* = i[\bar\partial, \Lambda] = i\bar\partial\Lambda - i\Lambda\bar\partial\) allows one to show by direct expansion that \(\Delta_\partial = \Delta_{\bar\partial}\) (using the fact that \([\partial, \Lambda]\) gives \(\bar\partial^*\) up to sign). Hence \(\Delta_d = 2\Delta_{\bar\partial} = 2\Delta_\partial\). \(\square\)
Chapter 6: Hodge Theory
We arrive at the centrepiece of this course. Hodge theory, developed by W.V.D. Hodge in the 1930s and refined by Kodaira, de Rham, Weil, and others, uses elliptic PDE theory to establish deep connections between the topology, the complex structure, and the geometry of Kahler manifolds. The main results — the Hodge theorem, the Hodge decomposition, Hodge symmetry, and the Hard Lefschetz theorem — impose powerful constraints on the topology of any manifold that admits a Kahler structure.
6.1 Harmonic Forms and the Hodge Theorem
Let \((X, h)\) be a compact Hermitian manifold of complex dimension \(n\). The Laplacian \(\Delta_d = dd^* + d^* d\) is an elliptic, self-adjoint, nonnegative second-order differential operator on the space of smooth \(k\)-forms.
so \(\alpha\) is harmonic if and only if \(d\alpha = 0\) and \(d^*\alpha = 0\).
(i) Each de Rham cohomology class in \(H^k_{\mathrm{dR}}(X, \mathbb{R})\) contains a unique harmonic representative: \(\mathcal{H}^k(X) \cong H^k_{\mathrm{dR}}(X, \mathbb{R})\).
(ii) There is an orthogonal decomposition (the Hodge decomposition of forms): \[ \mathcal{A}^k(X) = \mathcal{H}^k(X) \oplus d\mathcal{A}^{k-1}(X) \oplus d^*\mathcal{A}^{k+1}(X). \]
(iii) The space \(\mathcal{H}^k(X)\) is finite-dimensional.
Elliptic regularity: If \(\alpha\) is a distributional solution to \(\Delta_d \alpha = \beta\) with \(\beta\) smooth, then \(\alpha\) is smooth. This follows from the ellipticity of \(\Delta_d\) and standard Schauder estimates.
Fredholm theory: On a compact manifold, the Laplacian \(\Delta_d: W^{s+2,2}(\bigwedge^k T^*X) \to W^{s,2}(\bigwedge^k T^*X)\) is a Fredholm operator of index 0. Its kernel is finite-dimensional and equals the smooth harmonic forms (by elliptic regularity).
Orthogonal decomposition: Since \(\Delta_d\) is self-adjoint and Fredholm, the \(L^2\) space of \(k\)-forms decomposes as \(\ker(\Delta_d) \oplus \overline{\mathrm{im}(\Delta_d)}\). By elliptic regularity, the closure is unnecessary in the smooth category, and one obtains the decomposition \(\mathcal{A}^k = \mathcal{H}^k \oplus \mathrm{im}(\Delta_d)\). Since \(\mathrm{im}(\Delta_d) = d(d^*\mathcal{A}^k) + d^*(d\mathcal{A}^k) \subseteq d\mathcal{A}^{k-1} + d^*\mathcal{A}^{k+1}\) (using \(\Delta_d = dd^* + d^*d\)), and the three summands are mutually orthogonal (e.g., \((d\alpha, d^*\beta) = (d^2\alpha, \beta) = 0\)), we get the decomposition in (ii).
For (i), note that every harmonic form is closed (\(d\alpha = 0\) since \(\alpha\) is harmonic), so we have a map \(\mathcal{H}^k \to H^k_{\mathrm{dR}}\). This map is injective: if \(\alpha\) is harmonic and exact, say \(\alpha = d\beta\), then \(\alpha \in \mathcal{H}^k \cap d\mathcal{A}^{k-1}\), which forces \(\alpha = 0\) by the orthogonality of the decomposition. Surjectivity: given a closed form \(\omega\), write \(\omega = \alpha + d\beta + d^*\gamma\) with \(\alpha\) harmonic. Then \(0 = d\omega = dd^*\gamma\), so \(\|d^*\gamma\|^2 = (d^*\gamma, d^*\gamma) = (\gamma, dd^*\gamma) = 0\), giving \(\omega = \alpha + d\beta\), so \([\omega] = [\alpha]\) in \(H^k_{\mathrm{dR}}\). \(\square\)
6.2 The Hodge Decomposition
(i) There is a direct sum decomposition \[ H^k(X, \mathbb{C}) = \bigoplus_{p+q=k} H^{p,q}(X), \]
where \(H^{p,q}(X)\) denotes the space of cohomology classes represented by closed forms of type \((p,q)\).
(ii) Each summand \(H^{p,q}(X)\) is canonically isomorphic to the Dolbeault cohomology group \(H^{p,q}_{\bar\partial}(X)\) and to the space of \(\Delta_{\bar\partial}\)-harmonic \((p,q)\)-forms:
(iii) This decomposition is independent of the choice of Kahler metric.
By the Hodge theorem (Theorem 6.2), \(\mathcal{H}^k(X) \cong H^k(X, \mathbb{R}) \otimes \mathbb{C} = H^k(X, \mathbb{C})\). By Dolbeault’s theorem (Theorem 4.11) and the analogous Hodge theorem for \(\Delta_{\bar\partial}\), we have \(\mathcal{H}^{p,q}(X) \cong H^{p,q}_{\bar\partial}(X)\). Setting \(H^{p,q}(X) = \mathcal{H}^{p,q}(X)\) gives the decomposition in (i).
For the independence from the Kahler metric (iii), one shows that the subspace \(H^{p,q}(X) \subseteq H^k(X, \mathbb{C})\) can be characterised intrinsically: it is the image of the natural map \(H^{p,q}_{\bar\partial}(X) \to H^k(X, \mathbb{C})\) induced by the inclusion of closed \((p,q)\)-forms into closed \(k\)-forms. The Kahler condition is needed to show this map is injective and that its images for different \((p,q)\) are complementary, but the resulting subspaces depend only on the complex structure. \(\square\)
6.3 Hodge Numbers and Hodge Symmetry
The \(k\)-th Betti number satisfies \(b_k(X) = \sum_{p+q=k} h^{p,q}(X)\).
6.4 The Hodge Diamond
The diamond enjoys the following symmetries:
(i) Hodge symmetry: \(h^{p,q} = h^{q,p}\) (reflection across the vertical axis).
(ii) Serre duality: \(h^{p,q} = h^{n-p, n-q}\) (rotation by 180 degrees).
This reflects the facts that \(b_0 = b_2 = b_4 = 1\) and \(b_1 = b_3 = 0\) for \(\mathbb{CP}^2\).
This gives \(b_0 = 1\), \(b_1 = 2\), \(b_2 = 1\), consistent with the topology of the torus \(T^2\).
giving Betti numbers \(b_0 = 1\), \(b_1 = 0\), \(b_2 = 22\), \(b_3 = 0\), \(b_4 = 1\), and Euler characteristic \(\chi = 24\). The large value \(h^{1,1} = 20\) reflects the richness of the geometry of K3 surfaces.
6.5 Serre Duality
where \(K_X = \Omega_X^n\) is the canonical bundle and \(\mathcal{E}^*\) is the dual bundle. In particular, for the trivial bundle,
\[ H^q(X, \mathcal{O}_X) \cong H^{n-q}(X, K_X)^*. \]For Hodge numbers, this gives \(h^{p,q} = h^{n-p, n-q}\).
Composing with the isomorphism \(\mathcal{H}^{p,q}(X) \cong H^q(X, \Omega^p_X)\) from the Hodge theorem and Dolbeault’s theorem, and using that the pairing \(H^q(X, \Omega^p) \times H^{n-q}(X, \Omega^{n-p}) \to H^n(X, \Omega^n) \cong \mathbb{C}\) is nondegenerate (by integration), one obtains the duality. More generally, Serre proved this by purely algebraic methods using the trace map and a duality theorem for coherent sheaves on compact complex manifolds. \(\square\)
6.6 The Hard Lefschetz Theorem
The Hard Lefschetz theorem is one of the deepest results in Hodge theory. It asserts that repeated wedging with the Kahler class is an isomorphism, providing a powerful structural constraint on the cohomology of compact Kahler manifolds.
is an isomorphism.
The Hodge theorem gives a decomposition of the harmonic forms into a finite-dimensional representation of \(\mathfrak{sl}(2, \mathbb{C})\). By the representation theory of \(\mathfrak{sl}(2, \mathbb{C})\), in any finite-dimensional representation, the operator \(L^{n-k}\) maps the weight-\((k-n)\) space isomorphically onto the weight-\((n-k)\) space. The weight spaces here are precisely the spaces of harmonic \(k\)-forms and harmonic \((2n-k)\)-forms. \(\square\)
6.7 Lefschetz Decomposition
A cohomology class \(\alpha \in H^k(X, \mathbb{R})\) with \(k \leq n\) is primitive if \(L^{n-k+1}\alpha = 0\), equivalently \(\Lambda\alpha = 0\).
for each \(k\). In other words, every cohomology class is uniquely a sum of classes of the form \([\omega^r] \cup \alpha\) with \(\alpha\) primitive.
6.8 Hodge-Riemann Bilinear Relations
The Hodge-Riemann bilinear relations refine the Hard Lefschetz theorem by endowing the primitive cohomology with a definite bilinear form. They are essential for the theory of period domains and variations of Hodge structure.
(i) \(Q(\alpha, \beta) = 0\) if \(\beta \in H^{p',q'}(X)\) with \((p',q') \neq (q, p)\).
(ii) \(i^{p-q} (-1)^{k(k-1)/2} Q(\alpha, \bar\alpha) > 0\), where \(k = p + q\).
6.9 The Hodge Conjecture
We conclude this chapter with the statement of one of the most famous open problems in mathematics.
is a rational linear combination of classes of algebraic subvarieties.
The Hodge conjecture is deeply connected to the theory of motives and to the Tate conjecture over finite fields. Its resolution would have profound implications for algebraic geometry, number theory, and mathematical physics.
Chapter 7: Vanishing Theorems and Applications
The final chapter brings together the analytic, geometric, and cohomological threads of the course. Vanishing theorems — results asserting that certain cohomology groups are zero — are among the most powerful tools in complex algebraic geometry. They convert geometric positivity conditions (on line bundles) into algebraic vanishing conditions (on cohomology), with striking geometric consequences, the most famous being the Kodaira embedding theorem, which characterises projective manifolds among all compact complex manifolds.
7.1 Positive Line Bundles and Curvature
To state the Kodaira vanishing theorem, we need the notion of a positive line bundle, which is defined via the curvature of a Hermitian metric on the bundle.
where \(\varphi\) is the local weight. This is a globally well-defined closed real \((1,1)\)-form, and its cohomology class is the first Chern class: \([\Theta_h(L)] = c_1(L) \in H^{1,1}(X) \cap H^2(X, \mathbb{R})\).
is positive definite at every point. Equivalently, \(\Theta_h(L)\) is a Kahler form on \(X\).
7.2 The Kodaira Vanishing Theorem
In particular, taking \(p = n\), we obtain the important special case
\[ H^q(X, K_X \otimes L) = 0 \quad \text{for } q > 0, \]which is sometimes called the Kodaira-Nakano vanishing theorem (the full statement above, for all \(p\), is due to Nakano).
Step 1: Twisted Laplacian. Equip \(L\) with a Hermitian metric \(h\) such that \(\Theta_h(L) > 0\). The metric \(h\) induces a twisted Laplacian \(\Delta''_L = \bar\partial_L \bar\partial_L^* + \bar\partial_L^* \bar\partial_L\) on \(L\)-valued \((p,q)\)-forms, where \(\bar\partial_L\) is the \(\bar\partial\)-operator on \(\mathcal{A}^{p,q}(X, L)\).
Step 2: Bochner-Kodaira-Nakano identity. The generalised Kahler identity for twisted operators gives
\[ \Delta''_L = \Delta'_L + [\sqrt{-1}\Theta_h(L), \Lambda], \]where \(\Delta'_L = \partial_L \partial_L^* + \partial_L^* \partial_L\) and \([\sqrt{-1}\Theta_h(L), \Lambda]\) is an algebraic (zeroth-order) operator on forms.
Step 3: Positivity estimate. For a harmonic \(L\)-valued \((p,q)\)-form \(\alpha\) (i.e., \(\Delta''_L \alpha = 0\)), taking the \(L^2\) inner product with \(\alpha\):
\[ 0 = \|\partial_L^* \alpha\|^2 + \|\partial_L \alpha\|^2 + ([\sqrt{-1}\Theta_h(L), \Lambda]\alpha, \alpha). \]One then computes the algebraic operator \([\sqrt{-1}\Theta_h(L), \Lambda]\) on \((p,q)\)-forms. When \(\Theta_h(L)\) is positive, this operator is positive for \(p + q > n\) (this is a pointwise algebraic computation, the Nakano inequality). Therefore \(\alpha = 0\), showing that the space of harmonic \(L\)-valued \((p,q)\)-forms vanishes, hence \(H^q(X, \Omega^p \otimes L) = 0\) for \(p + q > n\). \(\square\)
Equivalently, by Serre duality, \(H^q(X, L^{-1}) = 0\) for \(q \leq n - 1\).
7.3 The Kodaira Embedding Theorem
The Kodaira embedding theorem is one of the crown jewels of complex geometry. It provides a clean, intrinsic characterisation of which compact complex manifolds can be embedded in projective space.
The “if” direction is the deep content. Given a positive line bundle \(L\) on \(X\), one shows that for \(k\) sufficiently large, the line bundle \(L^k\) has “enough sections” to embed \(X\) into projective space. This requires three properties of the linear system \(|L^k|\):
(a) Base-point freeness: For any \(x \in X\), there exists \(s \in H^0(X, L^k)\) with \(s(x) \neq 0\). (b) Separation of points: For distinct \(x, y \in X\), there exists \(s \in H^0(X, L^k)\) with \(s(x) = 0\) but \(s(y) \neq 0\). (c) Separation of tangent directions: For any \(x \in X\) and any tangent direction \(v \in T_x X\), there exists \(s \in H^0(X, L^k)\) vanishing at \(x\) but with \(ds(x)(v) \neq 0\).
Each of these is proved by applying the Kodaira vanishing theorem to an appropriate exact sequence. For instance, to show (a), consider the ideal sheaf \(\mathcal{I}_x\) of a point \(x\) and the exact sequence
\[ 0 \to \mathcal{I}_x \otimes L^k \to L^k \to L^k|_x \to 0. \]Taking cohomology, surjectivity of \(H^0(X, L^k) \to H^0(\{x\}, L^k|_x) = \mathbb{C}\) follows from \(H^1(X, \mathcal{I}_x \otimes L^k) = 0\), which is a consequence of Kodaira vanishing for \(k\) large. Similarly for (b) and (c), using the ideal sheaf of two points or of a first-order neighbourhood. Given these three properties, the map
\[ \Phi_{L^k}: X \to \mathbb{CP}^N, \quad x \mapsto [s_0(x) : \cdots : s_N(x)], \]where \(s_0, \dots, s_N\) is a basis for \(H^0(X, L^k)\), is a well-defined holomorphic embedding. \(\square\)
7.4 The Lefschetz Hyperplane Theorem
The Lefschetz hyperplane theorem relates the topology of a smooth projective variety to that of a hyperplane section. It is both a consequence of Hodge theory and a tool that complements it.
is an isomorphism for \(k < n - 1\) and injective for \(k = n - 1\).
The Hodge-theoretic proof uses the Kodaira vanishing theorem applied to the line bundle \(\mathcal{O}_X(Y)\) and the exact sequence
\[ 0 \to \mathcal{O}_X(-Y) \to \mathcal{O}_X \to \mathcal{O}_Y \to 0. \]Twisting by \(\Omega^p_X\) and taking cohomology, the vanishing of \(H^q(X, \Omega^p_X(-Y))\) for appropriate ranges of \(p, q\) (from Kodaira-Nakano vanishing) gives the comparison isomorphisms between the cohomology of \(X\) and \(Y\). \(\square\)
7.5 Kodaira-Spencer Deformation Theory (Preview)
Deformation theory studies how the complex structure of a manifold varies in families. It provides the infinitesimal counterpart to the study of moduli spaces.
7.6 Hodge Theory in Algebraic Geometry
We briefly indicate how Hodge theory interacts with central questions in algebraic geometry.
This is the Hodge filtration. It satisfies \(F^p \oplus \overline{F^{k-p+1}} = H^k(X, \mathbb{C})\). The pair \((H^k(X, \mathbb{Z}), F^\bullet)\) is called the Hodge structure of weight \(k\) on \(X\).
is surjective.
7.7 Period Domains and Variations of Hodge Structure
We conclude with an introduction to the theory that extends Hodge theory from individual manifolds to families — the theory of variations of Hodge structure, developed by Griffiths in the late 1960s.
with \(H^{q,p} = \overline{H^{p,q}}\) and satisfying the Hodge-Riemann bilinear relations with respect to \(Q\). The period domain \(\mathcal{D}\) is the space of all such Hodge structures with fixed Hodge numbers \(h^{p,q} = \dim H^{p,q}\). It is a complex manifold, typically a homogeneous space for a real Lie group.
(i) The local system \(\mathcal{H}_\mathbb{Z} = R^k\pi_*\mathbb{Z}\) on \(S\), whose fibre over \(t \in S\) is \(H^k(\mathcal{X}_t, \mathbb{Z})\).
(ii) The holomorphic vector bundle \(\mathcal{H} = \mathcal{H}_\mathbb{Z} \otimes \mathcal{O}_S\) with the flat (Gauss-Manin) connection \(\nabla\).
(iii) The Hodge filtration subbundles \(\mathcal{F}^p \subset \mathcal{H}\), which are holomorphic subbundles varying holomorphically in \(t\).
That is, the Gauss-Manin connection shifts the Hodge filtration by at most one step.
- Torelli-type theorems (recovering a variety from its Hodge structure).
- Constraints on moduli spaces of varieties.
- The study of algebraic cycles via the Abel-Jacobi map.
- Mixed Hodge theory (Deligne's extension to non-smooth and non-compact varieties).
7.8 Concluding Perspective
The journey from holomorphic functions in several variables to Hodge theory and beyond has traced one of the great arcs of twentieth-century mathematics. Beginning with the foundational results of Hartogs, Cartan, and Oka on domains of holomorphy, passing through the sheaf-theoretic revolution of the Cartan seminar, and culminating in Hodge’s harmonic analysis and Kodaira’s embedding theorem, the theory reveals a profound unity between analysis, algebra, and geometry.
The Hodge decomposition shows that the topology of a Kahler manifold (captured by de Rham cohomology) is intimately constrained by its complex structure (captured by Dolbeault cohomology). The Kodaira vanishing theorem converts geometric positivity into algebraic vanishing, which in turn yields the Kodaira embedding theorem — a complete characterisation of projective manifolds. The Hodge conjecture, still open, asks for the converse direction: whether topological data constrained by the complex structure must always come from algebraic geometry.
These ideas continue to evolve. The theory of variations of Hodge structure leads to period domains and Shimura varieties, connecting complex geometry to number theory. Mixed Hodge theory extends the framework to singular varieties. Non-abelian Hodge theory (the work of Hitchin, Donaldson, Corlette, and Simpson) replaces cohomology with representations of the fundamental group, connecting gauge theory, complex geometry, and representation theory. And the recent work on p-adic Hodge theory by Bhatt, Morrow, and Scholze extends Hodge-theoretic ideas to arithmetic geometry over p-adic fields. The subject remains as vital and generative as ever.
