This course develops the analytic and geometric foundations of positivity in complex geometry and follows their consequences through vanishing theorems, deformation theory, and moduli problems. It begins with holomorphic line bundles and the notion of positivity, then studies how sections and jets encode projective embeddings and linear systems. From there, Bochner identities and $L^2$ methods provide the analytic engine behind Kodaira and Nakano vanishing, which in turn feed into Riemann-Roch-type consequences and sharpened control over the geometry of complex manifolds. The later chapters broaden the setting from line bundles to vector bundles, then shift to deformation theory of complex manifolds, submanifolds, and line bundles. Period maps and variations of Hodge structure explain how complex structures move in families, while Calabi-Yau manifolds and Ricci-flat metrics bring in the special geometry of varieties with holomorphically neutral canonical class. The final chapters connect unobstructedness, Calabi-Yau moduli, and broader compactness themes, tying together the analytic and algebro-geometric tools developed earlier into a coherent picture of how positivity governs both local and global behavior in complex geometry. # Introduction This opening chapter fixes the purpose and vocabulary of the course before the technical work begins. The central theme is that positivity in complex geometry has two complementary faces: differential-geometric curvature positivity and algebro-geometric abundance of holomorphic sections. The course develops the analytic tools that pass between these faces, then applies them to vanishing theorems, projective embeddings, deformations, period maps, and moduli questions for Calabi-Yau manifolds. The preceding material in complex manifolds, holomorphic vector bundles, sheaf cohomology, Kähler geometry, and Hodge theory supplies the language. This course asks what extra structure becomes available when the line bundles or vector bundles under study have positive curvature, and how this positivity turns cohomological obstructions into effective geometric information. ## The Guiding Problem of Positivity What does it mean for a holomorphic line bundle to be positive, and why should a curvature inequality have consequences for projective geometry? A holomorphic line bundle is locally generated by a non-vanishing holomorphic frame, while a Hermitian metric records the length of that frame. Differentiating the logarithm of the metric produces the Chern curvature form, so positivity becomes a local analytic condition on a real $(1,1)$-form. The hypothesis is not cosmetic. On a compact connected complex manifold, the structure sheaf line bundle $\mathcal{O}_X$ with the flat metric has zero curvature, and its holomorphic sections are often too few to distinguish points. Positivity is the extra convexity condition that turns local analytic weights into global section-producing estimates. [definition: Positive Hermitian Line Bundle] Let $X$ be a complex manifold and let $L \to X$ be a holomorphic line bundle with Hermitian metric $h$. The pair $(L,h)$ is positive if the Chern curvature form \begin{align*} \frac{i}{2\pi}F_h \end{align*} is a positive real $(1,1)$-form on $X$. [/definition] This definition is the analytic starting point of the course. In local holomorphic coordinates $(z_1,\dots,z_n)$ and a local holomorphic frame $e$ with $|e|_h^2=e^{-\varphi}$, the local curvature representative is $i\partial\bar{\partial}\varphi$, up to the harmless $2\pi$ normalization and the sign convention used for $F_h$. Thus positivity is controlled by the complex Hessian of the local weight $\varphi$. [example: Hyperplane Bundle as the Model Positive Line Bundle] On the affine chart $U_0=\{Z_0\neq 0\}\subset \mathbb{P}^N$, write $w_j=Z_j/Z_0$ for $1\leq j\leq N$. In the standard local frame of $\mathcal{O}_{\mathbb{P}^N}(1)$ over $U_0$, the Fubini-Study metric is \begin{align*} |e_0|_{h_{\mathrm{FS}}}^2=\frac{1}{1+\sum_{j=1}^N |w_j|^2}. \end{align*} Thus the local weight is \begin{align*} \varphi=\log\left(1+\sum_{j=1}^N |w_j|^2\right), \end{align*} because $|e_0|_{h_{\mathrm{FS}}}^2=e^{-\varphi}$. Set $r=1+\sum_{j=1}^N |w_j|^2$. Then \begin{align*} \frac{\partial \varphi}{\partial w_a}=\frac{\overline{w_a}}{r}. \end{align*} Differentiating this coefficient with respect to $\overline{w_b}$ gives \begin{align*} \frac{\partial^2\varphi}{\partial w_a\partial \overline{w_b}}=\frac{\delta_{ab}r-\overline{w_a}w_b}{r^2}. \end{align*} Therefore the curvature representative is \begin{align*} i\partial\overline{\partial}\varphi=i\sum_{a,b=1}^N \frac{\delta_{ab}r-\overline{w_a}w_b}{r^2}\,dw_a\wedge d\overline{w_b}. \end{align*} For a tangent vector $v=(v_1,\dots,v_N)$, the associated Hermitian form is \begin{align*} \sum_{a,b=1}^N \frac{\delta_{ab}r-\overline{w_a}w_b}{r^2}v_a\overline{v_b}=\frac{r\sum_{a=1}^N |v_a|^2-\left|\sum_{a=1}^N \overline{w_a}v_a\right|^2}{r^2}. \end{align*} Since $r=1+\sum |w_a|^2$, the [Cauchy-Schwarz inequality](/theorems/432) gives \begin{align*} \left|\sum_{a=1}^N \overline{w_a}v_a\right|^2\leq \left(\sum_{a=1}^N |w_a|^2\right)\left(\sum_{a=1}^N |v_a|^2\right)<r\sum_{a=1}^N |v_a|^2 \end{align*} whenever $v\neq 0$. Hence $i\partial\overline{\partial}\varphi$ is positive on every affine chart, so $\mathcal{O}_{\mathbb{P}^N}(1)$ with the Fubini-Study metric is the model positive line bundle. It is the model for embeddings because a Kodaira map defined by sections of $L^m$ pulls back $\mathcal{O}_{\mathbb{P}^N}(1)$ to $L^m$, transferring the positivity of the hyperplane bundle back to the line bundle that produced the projective coordinates. [/example] The example explains why projective space is not merely a source of examples but the target of the main embedding theorems. A positive line bundle supplies sections, those sections define a map to projective space, and the curvature comparison identifies the original positivity with the pullback of the hyperplane geometry. ## Analytic Methods Behind Vanishing Why should positivity force sheaf cohomology groups to vanish? The analytic answer is that curvature terms appear with a favourable sign in Bochner-Kodaira identities. Solving a $\bar{\partial}$-equation with estimates then converts a closed form into an exact one, which is the analytic counterpart of killing a cohomology class. [definition: Dolbeault Cohomology with Coefficients] Let $X$ be a complex manifold and let $E \to X$ be a holomorphic vector bundle. The Dolbeault cohomology group $H^{p,q}_{\bar{\partial}}(X,E)$ is the quotient of smooth $E$-valued $(p,q)$-forms $\alpha$ satisfying $\bar{\partial}\alpha=0$ by forms of the form $\bar{\partial}\beta$, where $\beta$ is a smooth $E$-valued $(p,q-1)$-form. [/definition] These groups are the bridge between analysis and sheaf theory. On compact complex manifolds, Dolbeault cohomology computes sheaf cohomology of holomorphic forms with coefficients, so analytic estimates become statements about coherent sheaves. The first major question is whether positivity can make the higher groups disappear, because that is the mechanism behind many later dimension counts and extension arguments. Without positivity this disappearance fails even in basic cases. If $X$ is an elliptic curve and $L=\mathcal{O}_X$, then $K_X\cong \mathcal{O}_X$ and \begin{align*} H^1(X,K_X\otimes L)=H^1(X,\mathcal{O}_X)\cong \mathbb{C}, \end{align*} so the expected higher cohomology group survives. The theorem below should therefore be read as saying that curvature positivity supplies a genuine analytic reason for vanishing. [quotetheorem:3501] [citeproof:3501] The compactness, Kähler, and positivity hypotheses all matter. Compactness gives Hodge theory and finite-dimensional [harmonic representatives](/theorems/2747), while positivity gives the sign in the curvature term; dropping the latter allows the elliptic-curve example above, where $H^1(X,\mathcal{O}_X)$ does not vanish. The Kähler hypothesis is also structural: on compact non-Kähler manifolds, the [Kähler identities](/theorems/3853) used to compare the $\bar{\partial}$-Laplacian with curvature need not hold, and standard Hopf-surface examples show that Dolbeault cohomology can behave unlike the projective or Kähler case. The theorem also does not say that every cohomology group involving $L$ vanishes: the canonical twist $K_X\otimes L$ and the condition $q>0$ are part of the statement. Later chapters refine this mechanism into $L^2$ estimates, Nakano-type vanishing for vector bundles, and singular-metric variants where multiplier ideals measure the failure of smooth positivity. [example: Vanishing on Projective Space] For $X=\mathbb{P}^n$ and $L=\mathcal{O}_{\mathbb{P}^n}(m)$ with $m>0$, Kodaira vanishing predicts \begin{align*} H^q(\mathbb{P}^n,K_{\mathbb{P}^n}\otimes \mathcal{O}_{\mathbb{P}^n}(m))=0 \quad \text{for } q>0. \end{align*} Using $K_{\mathbb{P}^n}\cong \mathcal{O}_{\mathbb{P}^n}(-n-1)$ and the [tensor product](/page/Tensor%20Product) rule $\mathcal{O}_{\mathbb{P}^n}(a)\otimes \mathcal{O}_{\mathbb{P}^n}(b)\cong \mathcal{O}_{\mathbb{P}^n}(a+b)$, the coefficient line bundle becomes \begin{align*} K_{\mathbb{P}^n}\otimes \mathcal{O}_{\mathbb{P}^n}(m)\cong \mathcal{O}_{\mathbb{P}^n}(-n-1)\otimes \mathcal{O}_{\mathbb{P}^n}(m)\cong \mathcal{O}_{\mathbb{P}^n}(m-n-1). \end{align*} Thus the predicted vanishing is the concrete statement \begin{align*} H^q(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(m-n-1))=0 \quad \text{for } q>0. \end{align*} Set $k=m-n-1$. Since $m>0$, we have $k\geq -n$. The standard projective-space line-bundle cohomology calculation says that $\mathcal{O}_{\mathbb{P}^n}(k)$ has no intermediate cohomology, and its top cohomology can be nonzero only when $k\leq -n-1$. Here $k\geq -n$, so the top cohomology also vanishes: \begin{align*} H^n(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(m-n-1))=0. \end{align*} Together with the vanishing of the intermediate groups, this verifies Kodaira vanishing in this case by the familiar Bott-style computation. [/example] ## From Sections to Embeddings How can the existence of many holomorphic sections recover the manifold itself inside projective space? A finite-dimensional [vector space](/page/Vector%20Space) of sections of a line bundle gives homogeneous coordinates, provided those sections do not all vanish at the same point. Stronger separation properties ensure that the resulting map distinguishes points and tangent directions. The first obstruction is already visible on a curve: a one-dimensional space of sections generated by a section vanishing at a point gives no projective coordinate at that point. Even when there is no common zero, two different points may still receive the same homogeneous coordinates. These failures motivate separating the construction into base-point freeness, point separation, and tangent-vector separation. [definition: Base-Point Free Linear System] Let $X$ be a compact complex manifold, let $L \to X$ be a holomorphic line bundle, and let $V \subset H^0(X,L)$ be a finite-dimensional vector subspace. The linear system $V$ is base-point free if for every $x \in X$ there exists $s \in V$ such that $s(x) \neq 0$. [/definition] Base-point freeness is the first threshold for producing a map to projective space, since it prevents the homogeneous coordinate list from vanishing at any point of $X$. This motivates the definition of the Kodaira map: it is the construction that turns a base-point free linear system into an actual holomorphic map with projective coordinates. [definition: Kodaira Map] Let $X$ be a compact complex manifold, let $L \to X$ be a holomorphic line bundle, and let $V \subset H^0(X,L)$ be a base-point free finite-dimensional linear system with basis $s_0,\dots,s_N$. The Kodaira map associated to $V$ is the holomorphic map \begin{align*} \Phi_V:X &\longrightarrow \mathbb{P}^N, \end{align*} given by $x \longmapsto [s_0(x):\cdots:s_N(x)]$. [/definition] The displayed homogeneous coordinates use a standard shorthand: the values $s_j(x)$ lie in the same one-dimensional fiber $L_x$, and after choosing any local non-vanishing frame near $x$ they become complex numbers. Changing the local frame rescales all entries by the same non-zero factor, so the resulting point of projective space is independent of that frame choice. Changing the basis of $V$ changes this map by a projective linear automorphism, so the geometric content lies in the linear system rather than in the chosen coordinates. The next issue is whether positivity provides enough sections for this map to be an embedding: it must separate distinct points and also distinguish tangent directions at each point. [quotetheorem:3871] [citeproof:3871] This preview connects the analytic estimates of the previous section to a geometric conclusion, but the quantifier over large tensor powers is essential. A positive line bundle need not itself be very ample: on an elliptic curve, a degree-one line bundle has too few sections to embed the curve, while sufficiently high tensor powers do embed it. If positivity is dropped, the statement can fail completely; for instance, $\mathcal{O}_X$ on a compact connected complex manifold gives only constant projective coordinates and cannot separate points. Compactness is also part of the package because the proof uses finite-dimensional spaces of sections and global analytic estimates. The theorem does not identify the smallest usable $m$, and it does not say that every positive line bundle embeds by its first power; later chapters turn the proof into concrete jet-separation tests. ## Deformations, Periods, and Moduli Once positivity gives embeddings and vanishing, how does it help describe families of complex manifolds? Deformation theory studies how complex structures vary infinitesimally, while moduli theory asks when local deformations can be organised into parameter spaces. Vanishing theorems often remove obstruction groups, and Hodge theory supplies period maps that record how cohomology varies in families. [definition: Infinitesimal Deformation Space] Let $X$ be a compact complex manifold. The infinitesimal deformation space of the complex structure of $X$ is the cohomology group $H^1(X,T_X)$, where $T_X$ is the holomorphic tangent bundle. [/definition] This group appears because first-order changes of complex structure are represented by $T_X$-valued $(0,1)$-forms, and changes induced by infinitesimal coordinate transformations are quotiented out by the $\bar{\partial}$-operator. The obstruction space in the standard deformation complex is $H^2(X,T_X)$. [definition: Calabi-Yau Manifold] Let $X$ be a compact Kähler manifold of complex dimension $n$. The manifold $X$ is a Calabi-Yau manifold if $K_X \cong \mathcal{O}_X$ and $H^q(X,\mathcal{O}_X)=0$ for $0<q<n$. [/definition] The course uses Calabi-Yau manifolds as a main testing ground for the interaction between analysis and moduli. Their canonical bundle condition gives a distinguished holomorphic volume form, and variation of this form controls the period map. Since obstruction spaces are usually hard to manage directly, the central deformation-theoretic question is whether the Calabi-Yau structure forces those obstruction classes to vanish. [quotetheorem:9098] [citeproof:9098] This theorem marks the point where the course moves beyond positivity alone, and its hypotheses should not be blurred. For a general compact complex manifold, first-order deformations may be obstructed by classes in $H^2(X,T_X)$, and the local Kuranishi space can be singular rather than smooth. The Calabi-Yau condition supplies the holomorphic volume form and Hodge-theoretic identities that neutralise these obstruction classes. The theorem is local: it gives smoothness of the deformation germ and identifies its tangent space, but it does not construct a global moduli space, prove separatedness, or control automorphisms. Period maps and moduli questions later in the course address those additional issues. ## How the Course Fits Together What should a reader track across the twelve lectures? The first part builds the dictionary between curvature positivity, algebraic positivity, and sections of line bundles. The second part proves vanishing and embedding results using $L^2$ estimates and Hodge theory. The final part applies these methods to deformation spaces, period maps, and moduli phenomena. [explanation: Course Roadmap] The course begins with Hermitian metrics on holomorphic line bundles, Chern curvature, and the Fubini-Study model. It then studies tensor powers, jets, and complete linear systems, culminating in the [Kodaira embedding theorem](/theorems/3836). The next stage develops analytic estimates for the $\bar{\partial}$-operator. These estimates feed into Kodaira, Nakano, and Nadel-type vanishing theorems, with multiplier ideals appearing when metrics acquire singularities. The final stage turns to families. Deformation theory introduces the cohomological tangent and obstruction spaces, period maps record variation of Hodge structure, and Calabi-Yau manifolds provide the main moduli-theoretic example. [/explanation] The unifying principle is that positivity is a mechanism for producing sections, solving equations, and controlling variation. Each later chapter should be read with this principle in mind: curvature inequalities are not merely local differential statements, but tools for extracting global geometry from analytic estimates. # 1. Positivity for Holomorphic Line Bundles This opening chapter fixes the dictionary between analytic curvature and algebraic positivity for holomorphic line bundles. The central question is how a Hermitian metric on a line bundle can encode enough positivity to force projective geometry. We begin with Chern curvature, then compare analytic positivity with ample, nef, and big line bundles, and finally compute the model example on projective space. ## Hermitian Metrics and Chern Curvature The first problem is local: given a holomorphic line bundle, how can a metric produce a globally meaningful differential form? A holomorphic frame changes by a nowhere-vanishing [holomorphic function](/page/Holomorphic%20Function), so the local formula must transform in a way that loses exact transition terms and leaves a global $(1,1)$-form. [definition: Hermitian Metric On A Line Bundle] Let $X$ be a complex manifold and let $L \to X$ be a holomorphic line bundle. A Hermitian metric on $L$ is a smooth map \begin{align*} h:L\times_X L \to \mathbb C \end{align*} such that, for each $x \in X$, the fibrewise map $h_x:L_x\times L_x\to \mathbb C$ is a positive definite Hermitian [inner product](/page/Inner%20Product), linear in the first argument and conjugate-linear in the second argument. [/definition] A metric supplies lengths of local sections, but positivity will come from how those lengths vary. To extract a differential form from this variation, choose a local holomorphic frame $e$ over an [open set](/page/Open%20Set) $U \subset X$ and write $h(e,e)=e^{-\varphi}$; the function $\varphi$ is the local weight of the metric in the frame $e$. The next definition packages the second complex derivatives of this weight into the curvature form. [definition: Chern Curvature Of A Hermitian Line Bundle] Let $(L,h)$ be a Hermitian holomorphic line bundle on a complex manifold $X$. In a local holomorphic frame $e$ with $h(e,e)=e^{-\varphi}$, the Chern curvature form is \begin{align*} \Theta_h(L) = \partial \bar\partial \varphi. \end{align*} The associated real curvature form is \begin{align*} c_1(L,h) = \frac{i}{2\pi}\Theta_h(L). \end{align*} [/definition] The definition is independent of the chosen holomorphic frame. If $e'=g e$ with $g$ nowhere vanishing and holomorphic, then the new weight is $\varphi' = \varphi - \log |g|^2$, and $\partial\bar\partial \log |g|^2=0$ because locally $\log |g|^2$ is the sum of a holomorphic and an antiholomorphic function. Since the resulting form is global, the next question is whether its cohomology class depends on the metric or only on the underlying line bundle. [quotetheorem:3848] [citeproof:3848] This theorem is the bridge from line bundles to cohomology. The holomorphic hypothesis is essential: arbitrary complex line bundles with arbitrary unitary connections still have curvature forms, but those forms need not arise from local holomorphic transition functions and therefore do not give the same analytic positivity theory used in Kodaira's theorem. The theorem also does not say that every representative of $c_1(L)$ is a curvature form for the same metric; changing the metric changes the representative by a global $\partial\bar\partial$-term. Positivity will be imposed on one suitable representative of $c_1(L)$, so we next need the pointwise notion of positivity for real $(1,1)$-forms. [definition: Positive Real One One Form] Let $X$ be a complex manifold and let $\alpha$ be a real $(1,1)$-form on $X$. The form $\alpha$ is positive if for every $x \in X$ and every nonzero tangent vector $v \in T_xX$, one has \begin{align*} \alpha_x(v,Jv)>0. \end{align*} It is semi-positive if the same expression is nonnegative for all $x$ and $v$. [/definition] In local holomorphic coordinates $(z_1,\dots,z_n)$, a real $(1,1)$-form can be written as \begin{align*} \alpha = i\sum_{j,k=1}^n a_{j\bar k}\, dz_j \wedge d\bar z_k, \end{align*} with $(a_{j\bar k})$ Hermitian. Positivity of $\alpha$ is exactly positive definiteness of this Hermitian matrix at every point. This matrix test turns curvature into a concrete local condition, as the following product-bundle example shows. [example: Curvature Weight On A Product Line Bundle] Let $L=X\times \mathbb C$ be trivialized by the global holomorphic frame $1$, and suppose $h(1,1)=e^{-\varphi}$ with $\varphi$ smooth and real-valued. By the definition of the local weight, the Chern curvature in this frame is \begin{align*} \Theta_h(L)=\partial\bar\partial\varphi. \end{align*} Writing $\varphi_j=\partial\varphi/\partial z_j$ and $\varphi_{j\bar k}=\partial^2\varphi/\partial z_j\partial\bar z_k$, we have \begin{align*} \bar\partial\varphi=\sum_{k=1}^n \frac{\partial\varphi}{\partial\bar z_k}\,d\bar z_k. \end{align*} Applying $\partial$ term by term gives \begin{align*} \partial\bar\partial\varphi=\sum_{j,k=1}^n \frac{\partial^2\varphi}{\partial z_j\partial\bar z_k}\,dz_j\wedge d\bar z_k. \end{align*} Therefore \begin{align*} c_1(L,h)=\frac{i}{2\pi}\sum_{j,k=1}^n \varphi_{j\bar k}\,dz_j\wedge d\bar z_k. \end{align*} For a tangent vector $v=\sum_{j=1}^n v_j\,\partial/\partial z_j$, the associated Hermitian coefficient matrix is \begin{align*} \left(\frac{1}{2\pi}\varphi_{j\bar k}\right)_{j,k}. \end{align*} Since $1/(2\pi)>0$, this matrix is positive definite exactly when \begin{align*} \sum_{j,k=1}^n \varphi_{j\bar k}v_j\overline{v_k}>0 \end{align*} for every nonzero $v\in\mathbb C^n$. Thus the curvature form is positive precisely when the complex Hessian $(\varphi_{j\bar k})$ is positive definite at every point, which is exactly the local condition that $\varphi$ is strictly plurisubharmonic. [/example] The example shows why positivity is sensitive to the metric rather than just to the smooth bundle. The global condition for a line bundle is the existence of at least one metric whose curvature form is positive. [definition: Positive Holomorphic Line Bundle] Let $X$ be a compact complex manifold and let $L \to X$ be a holomorphic line bundle. The line bundle $L$ is positive if there exists a smooth Hermitian metric $h$ on $L$ such that $c_1(L,h)$ is a positive real $(1,1)$-form on $X$. [/definition] Positive line bundles are the analytic input for the course, but in applications the available data is often a cohomology class rather than a preferred metric. The obstruction is that de Rham equality alone does not always produce a global potential: on a non-Kähler compact complex manifold, an exact real $(1,1)$-form need not be of the form $\frac{i}{2\pi}\partial\bar\partial\psi$. The next criterion separates the Bott-Chern statement, where the potential is part of the data, from the compact Kähler consequence supplied by the $\partial\bar\partial$-lemma. For the purposes of this criterion, the Bott-Chern group $H^{1,1}_{BC}(X,\mathbb R)$ records real closed $(1,1)$-forms modulo forms of the shape $\frac{i}{2\pi}\partial\bar\partial\psi$ for smooth real functions $\psi$. The Bott-Chern first Chern class $c_1^{BC}(L)$ is represented by any curvature form $c_1(L,h)$ of a Hermitian metric on $L$; changing $h$ changes the representative by exactly such a global potential term. The forward question is now a metric-existence criterion: given a positive representative in the relevant cohomology class, when can it be realised as the curvature of a Hermitian metric on the original line bundle? The answer is the curvature criterion below. [quotetheorem:9099] [citeproof:9099] This criterion is often used with the $\partial\bar\partial$-lemma: once the right cohomology class has a positive representative, the metric can be adjusted by a global potential. Compactness prevents uncontrolled global potentials, and the Kähler assumption is what converts de Rham information into Bott-Chern information; without it the stated de Rham shortcut can fail. The criterion does not classify all metrics on $L$, since many different potentials may give different positive curvature forms in the same class. The next section places this analytic condition among the standard algebraic positivity notions. ## Positivity Notions In The Compact Kähler Setting The next problem is comparison. Algebraic geometry measures positivity through sections, maps, and intersection growth, while differential geometry measures it through curvature. On compact Kähler manifolds these languages strongly constrain each other. [definition: Ample Line Bundle] Let $X$ be a compact complex manifold. A holomorphic line bundle $L \to X$ is ample if there exists an integer $m\ge 1$ such that $L^m$ is very ample, meaning that its global sections define a holomorphic embedding \begin{align*} \Phi_{|L^m|}:X\hookrightarrow \mathbb P(H^0(X,L^m)^*). \end{align*} [/definition] Ampleness is a section-theoretic condition. The embedding produced by a very ample power lets us compare $L^m$ with the hyperplane bundle on projective space. It is too rigid for limiting constructions: the trivial bundle on a compact Kähler manifold has curvature $0$ and should count as nonnegative, but it cannot be ample unless the manifold is zero-dimensional. To handle classes that are limits of ample classes but may not themselves embed the manifold, we need the weaker notion of nefness. [definition: Nef Line Bundle] Let $X$ be a compact Kähler manifold and let $L \to X$ be a holomorphic line bundle. The line bundle $L$ is nef if for every $\varepsilon>0$ there exists a smooth representative $\alpha_\varepsilon \in c_1(L)$ such that \begin{align*} \alpha_\varepsilon \ge -\varepsilon \omega \end{align*} for a fixed Kähler form $\omega$ on $X$. [/definition] The choice of Kähler form does not affect the condition, because any two Kähler metrics on a compact manifold dominate each other up to constants. Nefness should be read as limiting nonnegativity: the class may fail to contain a semi-positive representative, but it can be approximated from below by almost semi-positive forms. Nefness alone does not guarantee many sections; numerically flat line bundles can have no useful embedding power. A different weakening keeps asymptotic abundance of sections rather than pointwise curvature control. [definition: Big Line Bundle] Let $X$ be a compact complex manifold of dimension $n$ and let $L \to X$ be a holomorphic line bundle. The line bundle $L$ is big if its section growth has positive volume: \begin{align*} \operatorname{vol}(L)=\limsup_{m\to\infty}\frac{n!}{m^n}h^0(X,L^m)>0. \end{align*} [/definition] Big line bundles have many sections asymptotically, but they need not separate points everywhere. For example, if $\pi:\operatorname{Bl}_p\mathbb P^2\to\mathbb P^2$ is the blow-up at a point, then $\pi^*\mathcal O_{\mathbb P^2}(1)$ is big but not ample because it has degree $0$ on the exceptional curve. Thus bigness is a large-scale condition, while ampleness is a uniform embedding condition. In applications, a practical first test is to compute intersection numbers or volumes for bigness, and then check whether curvature or curve intersections rule out ampleness. The main analytic theorem of this part of the course says that positive curvature is strong enough to recover ampleness. [quotetheorem:3844] [citeproof:3844] This is the analytic heart behind the [Kodaira embedding theorem](/theorems/3844): curvature creates sections, and sections create projective maps. Compactness is used to make the separation argument uniform over all points and tangent directions; without compactness, local peak sections do not by themselves give a single global embedding power. The theorem also does not say that nef or big line bundles are ample, as the blow-up example above shows. The immediate geometric question is what this says about the manifold itself once such an embedding exists. [quotetheorem:3888] [citeproof:3888] The criterion explains why the course begins with line bundles rather than arbitrary Kähler classes. The Kähler hypothesis supplies the analytic background for the embedding theorem; compact complex manifolds can carry holomorphic line bundles without being projective if no positive one exists. The conclusion is also stronger than merely having many meromorphic functions: it identifies $X$ with a projective algebraic variety through an embedding. A positive integral $(1,1)$-class gives a geometric embedding, and the embedded geometry is governed by the hyperplane bundle. Before computing that universal model, it is useful to see how the definitions behave in two standard families. [example: Positive Line Bundles On Compact Riemann Surfaces] Let $X$ be a compact Riemann surface and let $L\to X$ be a holomorphic line bundle. For any Hermitian metric $h$ on $L$, define \begin{align*} \deg L=\int_X c_1(L,h). \end{align*} This number is independent of $h$, because $c_1(L,h)$ represents the fixed cohomology class $c_1(L)$ by ["Chern-Weil Representative of the First Chern Class of a Hermitian Holomorphic Line Bundle"](/theorems/3848). If $L$ is positive, choose $h$ such that $c_1(L,h)$ is a positive real $(1,1)$-form. Since $X$ has complex dimension $1$, this form is already a positive volume form. Hence its integral over the compact oriented surface is strictly positive: \begin{align*} \deg L=\int_X c_1(L,h)>0. \end{align*} Conversely, suppose $\deg L>0$. Choose any positive real $(1,1)$-form $\omega_0$ on $X$ and set \begin{align*} \omega=\frac{\deg L}{\int_X\omega_0}\,\omega_0. \end{align*} Because $\omega_0$ is positive, $\int_X\omega_0>0$, and because $\deg L>0$, the scalar $\deg L/\int_X\omega_0$ is positive. Therefore $\omega$ is positive, and \begin{align*} \int_X\omega=\frac{\deg L}{\int_X\omega_0}\int_X\omega_0=\deg L. \end{align*} On a compact connected Riemann surface, two real closed $2$-forms represent the same de Rham class exactly when they have the same integral. Thus $\omega$ represents $c_1(L)$. Since compact Riemann surfaces are Kähler, the de Rham form of the *Curvature Criterion For Positivity* applies, so there is a Hermitian metric on $L$ whose curvature form is $\omega$. Hence $L$ is positive. Thus, for holomorphic line bundles on compact Riemann surfaces, positivity is equivalent to positive degree. [/example] This example is special to complex dimension one: a real $(1,1)$-form is already a top-degree form, so positivity is governed by its total integral plus potential theory. In higher dimension, positivity has directional content at every point, and complex tori show how this directional condition interacts with lattice data. [example: Theta Line Bundles On Complex Tori] Let $X=\mathbb C^g/\Lambda$, and let $L$ be the theta line bundle attached to a Hermitian form $H:\mathbb C^g\times \mathbb C^g\to \mathbb C$ whose imaginary part is integral on $\Lambda\times\Lambda$. The integrality condition is the Appell-Humbert condition that makes the corresponding factor of automorphy define a holomorphic line bundle on the quotient. Write \begin{align*} H(z,w)=\sum_{j,k=1}^g h_{j\bar k}z_j\overline{w_k}. \end{align*} For the standard theta metric, the curvature form on the universal cover has constant local expression \begin{align*} \omega_H=\frac{i}{2}\sum_{j,k=1}^g h_{j\bar k}\,dz_j\wedge d\bar z_k. \end{align*} Because translation by any $\lambda\in\Lambda$ satisfies $(z\mapsto z+\lambda)^*dz_j=dz_j$ and $(z\mapsto z+\lambda)^*d\bar z_k=d\bar z_k$, every coefficient and every differential factor in $\omega_H$ is unchanged. Hence $\omega_H$ is $\Lambda$-invariant and descends to a real closed $(1,1)$-form on $X$. Now assume $H$ is positive definite. For a nonzero tangent vector $v=\sum_{j=1}^g v_j\,\partial/\partial z_j$, the Hermitian coefficient matrix of $\omega_H$ is \begin{align*} \left(\frac{1}{2}h_{j\bar k}\right)_{j,k}. \end{align*} Since $1/2>0$, this matrix is positive definite exactly when \begin{align*} \sum_{j,k=1}^g h_{j\bar k}v_j\overline{v_k}=H(v,v)>0. \end{align*} Thus the descended curvature form is positive. By *Positive Holomorphic Line Bundle*, the theta line bundle $L$ is positive, and by *[Kodaira Projectivity Criterion](/theorems/3888)* the compact Kähler torus $X$ is projective algebraic. In other words, the lattice-compatible positive Hermitian form is precisely the extra data that turns the complex torus into an abelian variety. [/example] The torus example separates the existence of a complex manifold from the existence of enough meromorphic or holomorphic functions. Positivity of a theta bundle is precisely the additional structure that forces projectivity. ## The Fubini-Study Metric And The Hyperplane Bundle The model computation asks what positivity looks like on projective space itself. Since every projective embedding pulls back the hyperplane bundle, the curvature of $\mathcal O_{\mathbb P^N}(1)$ is the universal local model for positive line bundles. [definition: Hyperplane Bundle] Let $\mathbb P^N$ be complex projective space. The hyperplane bundle $\mathcal O_{\mathbb P^N}(1)$ is the dual of the tautological line bundle $\mathcal O_{\mathbb P^N}(-1) \subset \mathbb P^N \times \mathbb C^{N+1}$. [/definition] The tautological fibre over $[Z]$ is the line $\mathbb C Z \subset \mathbb C^{N+1}$, so sections of $\mathcal O_{\mathbb P^N}(1)$ are linear forms on that line. To measure its curvature, we need a canonical Hermitian metric; the standard Hermitian norm on $\mathbb C^{N+1}$ gives exactly such a metric on the dual bundle. [definition: Fubini-Study Metric] Let $[Z_0:\cdots:Z_N]$ be homogeneous coordinates on $\mathbb P^N$. The Fubini-Study metric on $\mathcal O_{\mathbb P^N}(1)$ is the smooth Hermitian map \begin{align*} h_{FS}:\mathcal O_{\mathbb P^N}(1)\times_{\mathbb P^N}\mathcal O_{\mathbb P^N}(1)\to\mathbb C \end{align*} induced by the standard Hermitian inner product on $\mathbb C^{N+1}$ after identifying $\mathcal O_{\mathbb P^N}(1)$ with the dual of the tautological subbundle. On the affine chart $U_0=\{Z_0\ne 0\}$ with coordinates $z_j=Z_j/Z_0$, its local weight is \begin{align*} \varphi_{FS}(z)=\log(1+|z_1|^2+\cdots+|z_N|^2). \end{align*} [/definition] The local weights on different affine charts differ by logarithms of squared absolute values of holomorphic transition functions, so they define one global Hermitian metric. The next theorem computes the curvature of this metric and proves that it gives the standard positive Kähler form on projective space. [quotetheorem:3842] [citeproof:3842] This computation supplies the standard positive form on projective space. The strict positivity depends on using $\mathcal O_{\mathbb P^N}(1)$ rather than its dual; the tautological bundle $\mathcal O_{\mathbb P^N}(-1)$ has the opposite curvature sign with the dual metric. The theorem does not say that every positive form on projective space is Fubini-Study, only that this canonical one represents the hyperplane class. Tensor powers scale both the line bundle and the curvature, so projective space gives an immediate family of positive and non-positive examples. [example: The Bundles $\mathcal O_{\mathbb P^n}(m)$] On $\mathbb P^n$, write $\mathcal O_{\mathbb P^n}(m)=\mathcal O_{\mathbb P^n}(1)^{\otimes m}$ for $m\ge 0$, and $\mathcal O_{\mathbb P^n}(m)=(\mathcal O_{\mathbb P^n}(1)^*)^{\otimes(-m)}$ for $m<0$. If $h_{FS}$ has local weight $\varphi_{FS}$, then the tensor-power metric on $\mathcal O_{\mathbb P^n}(m)$ has local weight $m\varphi_{FS}$, because tensor product metrics multiply fibre norms and therefore add local weights. Hence, for $m\in\mathbb Z$, \begin{align*} c_1(\mathcal O_{\mathbb P^n}(m),h_{FS}^{\otimes m})=\frac{i}{2\pi}\partial\bar\partial(m\varphi_{FS})=m\frac{i}{2\pi}\partial\bar\partial\varphi_{FS}=m\omega_{FS}. \end{align*} If $m>0$, then for every nonzero tangent vector $v$, \begin{align*} (m\omega_{FS})_x(v,Jv)=m(\omega_{FS})_x(v,Jv)>0, \end{align*} since $m>0$ and $\omega_{FS}$ is positive by the quoted Fubini-Study curvature theorem card. Thus $\mathcal O_{\mathbb P^n}(m)$ is positive. If $m=0$, the local weight is $0\cdot\varphi_{FS}=0$, so \begin{align*} c_1(\mathcal O_{\mathbb P^n},h)=\frac{i}{2\pi}\partial\bar\partial 0=0, \end{align*} and the bundle is flat. For $m<0$, the standard tensor-power metric has curvature $m\omega_{FS}$, which is negative on every nonzero tangent vector because $m<0$ and $\omega_{FS}$ is positive. Moreover, no other metric can make $\mathcal O_{\mathbb P^n}(m)$ positive when $n\ge 1$: if some curvature form $\alpha$ were positive and represented $c_1(\mathcal O_{\mathbb P^n}(m))$, then \begin{align*} \int_{\mathbb P^n}\alpha\wedge\omega_{FS}^{n-1}>0. \end{align*} But cohomologically $\alpha$ represents $m[\omega_{FS}]$, so \begin{align*} \int_{\mathbb P^n}\alpha\wedge\omega_{FS}^{n-1}=m\int_{\mathbb P^n}\omega_{FS}^{n}. \end{align*} Since $\omega_{FS}$ is positive, $\int_{\mathbb P^n}\omega_{FS}^{n}>0$, and since $m<0$, the right-hand side is negative, a contradiction. Thus $\mathcal O_{\mathbb P^n}(m)$ is positive exactly for $m>0$. [/example] The example shows the linear behaviour of positivity under tensor powers. It also raises the functorial question needed for Kodaira maps: when a manifold maps to projective space by sections of a line bundle, which line bundle is obtained by pulling back $\mathcal O_{\mathbb P^N}(1)$? The point of the question is not cosmetic: using the wrong projective convention swaps sublines and quotient lines and can replace $L$ by $L^*$. [quotetheorem:3870] [citeproof:3870] The formula is the computational core of Kodaira maps. The no-common-zero hypothesis is essential because otherwise $\Phi$ is not defined at the base locus, and the quotient $H^0(X,L)\to L_x$ can vanish. The theorem does not assert that the chosen sections embed $X$; embedding requires separation of points and tangent vectors, which is why the earlier positivity theorem constructs many high-power sections. In practice, the displayed formula is the way to check induced positivity: compute the local functions $f_j$, form $\log\sum_j|f_j|^2$, and test the resulting complex Hessian. [remark: What This Chapter Establishes] Positive curvature for a Hermitian line bundle gives a positive real $(1,1)$ representative of $c_1(L)$, and on compact Kähler manifolds this positivity forces ampleness and projectivity. The Fubini-Study metric is the universal example, while the pullback formula explains how any Kodaira embedding transfers projective positivity back to the original manifold. The following chapter turns this into a construction of embeddings by studying sections, jets, and separation properties of high tensor powers. [/remark] # 2. Sections, Jets, and Projective Embeddings This chapter turns positivity into maps. In the previous chapter, a positive Hermitian metric on a holomorphic line bundle supplied curvature and Kähler forms; here the question is how that positivity produces enough holomorphic sections to see the manifold inside projective space. The central mechanism is separation: sections must avoid common zeros, distinguish different points, and detect tangent directions. The chapter proceeds from the intrinsic language of sections and jets to the concrete Kodaira map defined by a complete linear system. The final section explains the analytic bridge used in the [Kodaira embedding theorem](/theorems/3871): construct local peak sections near a point, correct them by solving a $\bar{\partial}$-equation, and use the resulting global sections to separate first jets for high tensor powers. ## Separating Points and Tangent Directions The first problem is to formulate exactly what a line bundle must do before its sections can define an embedding. A projective embedding records a point by the values of all sections, so there must be at least one section not vanishing at that point. It also records infinitesimal directions, so first-order values of sections must detect tangent vectors. [definition: Base-Point Free Line Bundle] Let $X$ be a compact complex manifold and let $L \to X$ be a holomorphic line bundle. The line bundle $L$ is base-point free if for every $x \in X$ there exists $s \in H^0(X,L)$ such that $s(x) \ne 0$. [/definition] Base-point freeness is the minimum condition needed to evaluate sections projectively at every point. If all sections vanished at $x$, the value of the complete linear system at $x$ would be the zero vector, which does not define a point of projective space. [example: Hyperplane Bundle Is Base-Point Free] For $X=\mathbb{P}^n$ and $L=\mathcal{O}_{\mathbb{P}^n}(1)$, a standard basis of $H^0(\mathbb{P}^n,\mathcal{O}(1))$ is given by the coordinate linear forms $Z_0,\dots,Z_n$. Let $p=[z_0:\cdots:z_n]\in\mathbb{P}^n$. By definition of projective space, the tuple $(z_0,\dots,z_n)$ is not the zero tuple, so there is an index $i$ with $z_i\ne 0$. Evaluating the section $Z_i$ at $p$ gives \begin{align*} Z_i(p)=z_i. \end{align*} Since $z_i\ne 0$, this section does not vanish at $p$. Because this argument works for every point $p\in\mathbb{P}^n$, the bundle $\mathcal{O}_{\mathbb{P}^n}(1)$ is base-point free. With respect to the basis $Z_0,\dots,Z_n$, the associated Kodaira map is \begin{align*} p=[z_0:\cdots:z_n]\longmapsto [Z_0(p):\cdots:Z_n(p)]. \end{align*} Substituting $Z_i(p)=z_i$ for each $i$ gives \begin{align*} [Z_0(p):\cdots:Z_n(p)]=[z_0:\cdots:z_n]=p. \end{align*} Thus these sections recover the identity embedding of projective space. [/example] After a map is defined at every point, the next issue is whether two points collapse to the same projective value. This is controlled by comparing the values of sections at pairs of points. [definition: Point Separation] Let $X$ be a compact complex manifold and let $L \to X$ be a holomorphic line bundle. The global sections of $L$ separate points if for every pair of distinct points $x,y \in X$ there exists $s \in H^0(X,L)$ such that $s(x)=0$ and $s(y)\ne 0$. [/definition] The vanishing condition at $x$ is a convenient normalization: if two sections give different projective ratios at $x$ and $y$, a linear combination produces a section vanishing at one point but not the other. This condition is therefore the geometric statement that the complete linear system distinguishes points. [example: Degree Two Forms on the Projective Line] On $\mathbb{P}^1$, the bundle $\mathcal{O}_{\mathbb{P}^1}(2)$ has sections represented by the homogeneous quadratics $Z_0^2$, $Z_0Z_1$, and $Z_1^2$. Let $p=[a_0:a_1]$ and $q=[b_0:b_1]$ be distinct points. Distinctness means the two nonzero vectors $(a_0,a_1)$ and $(b_0,b_1)$ are not scalar multiples, equivalently \begin{align*} a_0b_1-a_1b_0\ne 0. \end{align*} Consider the linear form $\ell_p=a_1Z_0-a_0Z_1$. At $p$ it gives \begin{align*} \ell_p(p)=a_1a_0-a_0a_1=0. \end{align*} At $q$ it gives \begin{align*} \ell_p(q)=a_1b_0-a_0b_1=-(a_0b_1-a_1b_0)\ne 0. \end{align*} Therefore the quadratic section $s=\ell_p^2$ satisfies \begin{align*} s(p)=\ell_p(p)^2=0^2=0. \end{align*} Also, \begin{align*} s(q)=\ell_p(q)^2\ne 0. \end{align*} Thus the degree-two sections separate the two points $p$ and $q$. With respect to the basis $Z_0^2,Z_0Z_1,Z_1^2$, the associated map is \begin{align*} [Z_0:Z_1]\longmapsto [Z_0^2:Z_0Z_1:Z_1^2]. \end{align*} On the affine chart $Z_0\ne 0$, writing $t=Z_1/Z_0$ gives \begin{align*} [Z_0^2:Z_0Z_1:Z_1^2]=[1:t:t^2]. \end{align*} So the degree-two complete linear system sends $\mathbb{P}^1$ to the plane conic parametrized by $[1:t:t^2]$, with the point $[0:1]$ mapping to $[0:0:1]$. [/example] Point separation gives injectivity of the associated projective map, but an embedding also requires the differential to be injective. The line bundle must therefore have sections whose first derivatives are rich enough to distinguish tangent vectors. [definition: Tangent-Vector Separation] Let $X$ be a compact complex manifold and let $L \to X$ be a holomorphic line bundle. The global sections of $L$ separate tangent vectors if for every $x \in X$ and every nonzero $v \in T_xX$, there exists $s \in H^0(X,L)$ such that $s(x)=0$ and, for any local holomorphic frame $e$ of $L$ near $x$ with $s=f e$, the differential \begin{align*} df_x:T_xX\longrightarrow \mathbb C \end{align*} satisfies $df_x(v)\ne 0$. [/definition] This definition is independent of the chosen trivialisation because the section is required to vanish at $x$. Multiplying a local representative by a nonvanishing holomorphic function changes its differential at $x$ by a factor equal to the value of that function at $x$. [definition: First Jet Separation] Let $X$ be a compact complex manifold and let $L \to X$ be a holomorphic line bundle. The sections of $L$ separate first jets at $x \in X$ if the natural map \begin{align*} H^0(X,L) \longrightarrow J^1_xL \end{align*} is surjective, where $J^1_xL$ is the space of first-order jets of local holomorphic sections of $L$ at $x$. [/definition] First jet separation packages two requirements at one point: prescribe the value of a section at $x$, and prescribe its first derivative. These local requirements are exactly what the differential of a projective map reads in affine coordinates, so the next result converts the separation language into the geometric condition of being an embedding. [quotetheorem:3868] [citeproof:3868] The criterion translates the analytic task into a finite list of separation properties, and each hypothesis has a distinct job. If base-point freeness fails at $x$, all section values at $x$ are zero and the formula $[s_0(x):\cdots:s_N(x)]$ has no projective meaning there. If point separation fails, two distinct points have proportional evaluation vectors and the Kodaira map identifies them. If tangent-vector separation fails at $x$, some nonzero tangent direction lies in the kernel of the differential, so the map cannot be an immersion. Compactness is used only at the final topological step: without compactness, an injective holomorphic immersion need not be a proper embedding, so extra properness hypotheses would be needed. The rest of the chapter is devoted to producing these properties from positivity, first abstractly through Kodaira maps and then analytically through peak sections. [remark: Very Ample Versus Ample] A line bundle is called very ample if its complete linear system gives an embedding. It is called ample if some positive tensor power is very ample. Positivity of curvature is an analytic condition on a Hermitian metric; ampleness is the algebro-geometric condition ultimately obtained from high tensor powers. [/remark] ## Kodaira Maps from Complete Linear Systems The next question is how a finite-dimensional space of sections turns into a map to projective space without choosing local coordinates on $X$. The construction is canonical up to a projective linear change of coordinates: a basis identifies the dual of the section space with homogeneous coordinates. [definition: Kodaira Map] Let $X$ be a compact complex manifold, let $L \to X$ be a base-point free holomorphic line bundle, and choose a basis $s_0,\dots,s_N$ of $H^0(X,L)$. The Kodaira map associated to $L$ and this basis is the holomorphic map $\Phi_L:X\to \mathbb{P}^N$ given by \begin{align*} \Phi_L(x)=[s_0(x):\cdots:s_N(x)], \end{align*} where the values are computed after any local holomorphic trivialisation of $L$ near $x$. [/definition] Changing the trivialisation multiplies all values $s_i(x)$ by the same nonzero scalar, so the projective point does not change. Changing the basis of $H^0(X,L)$ composes the map with an automorphism of $\mathbb{P}^N$. [example: Veronese Embeddings] For $m\ge 1$, the sections of $\mathcal{O}_{\mathbb{P}^n}(m)$ are represented by homogeneous polynomials of degree $m$ in $Z_0,\dots,Z_n$. Index the degree-$m$ monomials by multi-indices $\alpha=(\alpha_0,\dots,\alpha_n)\in\mathbb{Z}_{\ge 0}^{n+1}$ with $|\alpha|=\alpha_0+\cdots+\alpha_n=m$, and write \begin{align*} Z^\alpha=Z_0^{\alpha_0}\cdots Z_n^{\alpha_n}. \end{align*} The number of such multi-indices is $\binom{n+m}{m}$, so these monomials define a Kodaira map \begin{align*} \nu_m([z_0:\cdots:z_n])=[z^\alpha]_{|\alpha|=m}\in\mathbb{P}^{\binom{n+m}{m}-1}. \end{align*} This formula is independent of the chosen homogeneous representative. If $(z_0,\dots,z_n)$ is replaced by $(\lambda z_0,\dots,\lambda z_n)$ with $\lambda\ne 0$, then \begin{align*} (\lambda z)^\alpha=(\lambda z_0)^{\alpha_0}\cdots(\lambda z_n)^{\alpha_n}=\lambda^{\alpha_0+\cdots+\alpha_n}z_0^{\alpha_0}\cdots z_n^{\alpha_n}=\lambda^m z^\alpha. \end{align*} Thus every coordinate of $[z^\alpha]_{|\alpha|=m}$ is multiplied by the same nonzero scalar $\lambda^m$, which gives the same point of projective space. On the affine chart $Z_i\ne 0$, the coordinate indexed by $m e_i$ is $Z_i^m$, and the coordinate indexed by $e_j+(m-1)e_i$ is $Z_jZ_i^{m-1}$. Their projective ratio is \begin{align*} \frac{Z_jZ_i^{m-1}}{Z_i^m}=\frac{Z_j}{Z_i}. \end{align*} So the Veronese coordinates recover the usual affine coordinates $Z_j/Z_i$ on every standard chart. Hence the map separates points and tangent directions on each chart, and therefore gives the degree-$m$ Veronese embedding. If $X_\alpha$ denotes the homogeneous coordinate on the target corresponding to $Z^\alpha$, then points in the image satisfy the quadratic relations \begin{align*} X_\alpha X_\beta=X_\gamma X_\delta\quad\text{whenever}\quad \alpha+\beta=\gamma+\delta. \end{align*} Indeed, at a point $[z_0:\cdots:z_n]$ one has \begin{align*} X_\alpha X_\beta=z^\alpha z^\beta=z^{\alpha+\beta}=z^{\gamma+\delta}=z^\gamma z^\delta=X_\gamma X_\delta. \end{align*} These equations say that the degree-$m$ coordinate vector comes from a pure power of one vector, equivalently a rank-one symmetric tensor. [/example] The Veronese example shows that a Kodaira map is not only a set-theoretic parametrisation; it remembers the line bundle used to build the coordinates. The structural reason is that hyperplanes on the target pull back to divisors of sections on $X$, so the next theorem identifies the bundle being measured by the projective coordinates. Without this pullback identity, the projective coordinates would give an embedding but would not certify that the recovered polarization is the original line bundle used to build them. [quotetheorem:3870] [citeproof:3870] This theorem ties sections to curvature: a projective embedding lets the Fubini-Study metric induce a positive metric on the source line bundle. The base-point free hypothesis cannot be removed, since a common zero would leave no evaluation quotient and hence no map to projective space at that point. The conclusion is also tied to the complete linear system being used: if a smaller subspace of sections defines the map, the pullback is the quotient line bundle generated by that subspace and need not recover all of $L$ unless the evaluation map is still surjective everywhere. The identity is the reason hyperplane sections on the target correspond to divisors of sections of $L$, so it will later identify the projective polarization with $L^m$. Positivity, however, usually gives not an embedding by $L$ itself but an embedding by sufficiently high tensor powers, so we now record the notation for the varying maps built from $L^m$. [definition: Kodaira Map of a Tensor Power] Let $L \to X$ be a holomorphic line bundle and let $m\in\mathbb N$. If $L^m$ is base-point free and $s_0^{(m)},\dots,s_{N_m}^{(m)}$ is a basis of $H^0(X,L^m)$, the associated Kodaira map is the holomorphic map $\Phi_m:X\to\mathbb{P}^{N_m}$ given by \begin{align*} \Phi_m(x)=[s_0^{(m)}(x):\cdots:s_{N_m}^{(m)}(x)]. \end{align*} [/definition] The notation emphasizes that the map changes with $m$. The theorem of Kodaira says that if $L$ has positive curvature, then for all sufficiently large $m$ these maps are embeddings. [example: High-Degree Line Bundles on Curves] Let $C$ have genus $g$, and write $L(-p)=L\otimes\mathcal O_C(-p)$ and $L(-p-q)=L\otimes\mathcal O_C(-p-q)$. We show explicitly why degree $d\ge 2g+1$ gives the separation properties needed for an embedding. The Riemann-Roch formula for a line bundle $M$ on $C$ is \begin{align*} h^0(C,M)-h^0(C,K_C\otimes M^{-1})=\deg M+1-g. \end{align*} If a line bundle has negative degree, it has no nonzero holomorphic section, because the zero divisor of a nonzero section is effective and has degree equal to the degree of the line bundle. First, fix $p\in C$. Since \begin{align*} \deg(K_C\otimes L^{-1})=(2g-2)-d\le -3 \end{align*} and \begin{align*} \deg(K_C\otimes L^{-1}(p))=(2g-2)-d+1\le -2, \end{align*} the two dual correction terms in Riemann-Roch vanish. Hence \begin{align*} h^0(C,L)=d+1-g \end{align*} and \begin{align*} h^0(C,L(-p))=(d-1)+1-g=d-g. \end{align*} Therefore \begin{align*} h^0(C,L)-h^0(C,L(-p))=(d+1-g)-(d-g)=1. \end{align*} So not every section of $L$ vanishes at $p$, and $L$ is base-point free. Now let $p\ne q$. Since \begin{align*} \deg(K_C\otimes L^{-1}(p+q))=(2g-2)-d+2\le -1, \end{align*} Riemann-Roch gives \begin{align*} h^0(C,L(-p-q))=(d-2)+1-g=d-1-g. \end{align*} Together with $h^0(C,L(-p))=d-g$, this gives \begin{align*} h^0(C,L(-p))-h^0(C,L(-p-q))=(d-g)-(d-1-g)=1. \end{align*} Thus there is a section vanishing at $p$ but not vanishing at $q$, so the sections of $L$ separate points. Finally, fix a nonzero tangent vector $v\in T_pC$. The same computation with $2p$ gives \begin{align*} h^0(C,L(-p))-h^0(C,L(-2p))=1. \end{align*} Choose $s\in H^0(C,L(-p))$ not lying in $H^0(C,L(-2p))$. In a local coordinate $z$ centred at $p$ and a local frame $e$ for $L$, write $s=f e$. The condition $s\in H^0(C,L(-p))$ gives $f(0)=0$, while $s\notin H^0(C,L(-2p))$ means the zero has exact order one, so \begin{align*} f(z)=az+O(z^2) \end{align*} with $a\ne 0$. If $v=\lambda \frac{\partial}{\partial z}\big|_p$ with $\lambda\ne 0$, then \begin{align*} df_p(v)=a\lambda\ne 0. \end{align*} So the sections separate tangent vectors. The complete linear system of any line bundle of degree at least $2g+1$ therefore embeds the curve into projective space; this is the one-dimensional model for the high tensor power embedding theorem. [/example] The projective embedding of a polarized Kähler manifold is obtained by applying this construction to powers of the polarizing line bundle. The manifold need not come with projective coordinates at the outset; the coordinates are manufactured by the sections. [example: Polarized Kähler Manifolds] Let $(X,L)$ be a compact complex manifold with a positive holomorphic line bundle $L$. For $m$ large enough, *[Kodaira Embedding Theorem](/theorems/3872)* gives a basis $s_0^{(m)},\dots,s_{N_m}^{(m)}$ of $H^0(X,L^m)$ whose Kodaira map is \begin{align*} \Phi_m(x)=[s_0^{(m)}(x):\cdots:s_{N_m}^{(m)}(x)]\in\mathbb P^{N_m}. \end{align*} In a local holomorphic frame $e^{\otimes m}$ for $L^m$, write $s_i^{(m)}=f_i e^{\otimes m}$. Then the same point is written \begin{align*} \Phi_m(x)=[f_0(x):\cdots:f_{N_m}(x)]. \end{align*} Let $H\subset\mathbb P^{N_m}$ be the hyperplane cut out by a nonzero linear form \begin{align*} a_0W_0+\cdots+a_{N_m}W_{N_m}=0. \end{align*} Its pullback is the set of points $x\in X$ satisfying \begin{align*} a_0f_0(x)+\cdots+a_{N_m}f_{N_m}(x)=0. \end{align*} Now form the global section \begin{align*} s_H=a_0s_0^{(m)}+\cdots+a_{N_m}s_{N_m}^{(m)}\in H^0(X,L^m). \end{align*} In the same local frame, \begin{align*} s_H=(a_0f_0+\cdots+a_{N_m}f_{N_m})e^{\otimes m}. \end{align*} Since the frame $e^{\otimes m}$ never vanishes on its trivializing open set, the local zero set of $s_H$ is exactly the local equation for $\Phi_m^{-1}(H)$. Thus hyperplane sections of the projective image pull back to zero divisors of sections of $L^m$. The bundle identity $\Phi_m^*\mathcal O_{\mathbb P^{N_m}}(1)\cong L^m$, given by *Pullback of the Hyperplane Bundle*, says that these pulled-back hyperplanes measure precisely the $m$th tensor power of the original polarization. So the projective coordinates produced by positivity do not merely embed $X$; they remember the line bundle $L$ through its powers $L^m$. [/example] ## From Peak Sections to Global Embeddings The final problem is the analytic heart of the theorem: why should positivity imply separation by global holomorphic sections? Locally, positivity lets us build Gaussian-type holomorphic sections concentrated near a point. Globally, those local sections are not holomorphic after cutting them off, so the defect must be corrected by solving a $\bar{\partial}$-equation with estimates. [motivation] ### Local Models Near a Point In a holomorphic frame $e$ for a positive Hermitian line bundle $L\to X$, write the metric as $|e|_h^2=e^{-\varphi}$. At a chosen point $x_0$, [normal coordinates](/theorems/2713) and a normalized frame make $\varphi(z)=|z|^2+O(|z|^3)$ after rescaling the curvature form. For $L^m$, the weight becomes $m\varphi$, so local sections are measured against a sharply peaked Gaussian as $m\to\infty$. ### Correcting the Cutoff Error A local monomial section, such as $e^{\otimes m}$ or $z_j e^{\otimes m}$, can be multiplied by a cutoff supported near $x_0$. The result is a smooth global section whose $\bar{\partial}$ is supported in an annulus where the Gaussian weight is very small. To preserve an exact prescribed jet, the $\bar{\partial}$-problem is solved with an auxiliary singular weight at $x_0$; the finite weighted norm forces the correction term to vanish to the required order at $x_0$. Hörmander-type $L^2$ estimates then give a global solution $u$ of $\bar{\partial}u=\bar{\partial}\sigma$, and $\sigma-u$ is holomorphic while retaining the desired value and first derivative at $x_0$. [/motivation] The peak-section construction is designed to prescribe enough local behaviour to make the Kodaira map usable. At a point, this means producing sections of $L^m$ with controlled value and first derivative; across the manifold, it means having enough sections to separate the data that a projective embedding must see. The analytic theorem below is the packaged high-power positivity statement used for that purpose, so it should be read as the bridge from local $L^2$ correction to the global very-ampleness conclusion. [quotetheorem:3869] [citeproof:3869] The hypotheses explain why the statement is genuinely global. Positivity supplies peak sections with decay away from the chosen local model, while compactness lets the local estimates be made uniform after passing to a finite cover. The conclusion is also asymptotic: it is not claiming that the original line bundle $L$ already embeds $X$, only that sufficiently high tensor powers $L^m$ have enough holomorphic sections to support the Kodaira construction. The theorem is the bridge from analytic positivity to algebraic geometry, and it should be read with its compactness and positivity hypotheses intact. Without positivity, a line bundle can have no nonzero sections in any useful degree, so no Kodaira map can be expected to embed the manifold. Without compactness, the peak-section estimates need not yield a single exponent working everywhere, and an injective immersion need not be a closed embedding. The conclusion also concerns sufficiently high tensor powers rather than $L$ itself; a positive line bundle may fail to be very ample in low degree even though it is ample. A positive curvature form produces projective coordinates, and the pullback of the hyperplane bundle recovers the tensor power of the original line bundle. [remark: Ampleness of Positive Line Bundles] The conclusion that $L$ is ample is not an extra assumption; it is a consequence of the existence of embeddings by high tensor powers. This is the analytic direction of the equivalence between positive curvature and ampleness in the compact complex setting treated in this course. [/remark] # 3. Bochner Identities and $L^2$ Methods The preceding chapters explained why positivity of line bundles should produce many holomorphic sections: positive curvature gives local convexity, and high tensor powers amplify that convexity. The analytic mechanism behind this principle is the Bochner method. In this chapter we pass from geometric positivity to estimates for the Dolbeault Laplacian, and then from estimates to solvability of $\bar\partial u=f$ and vanishing of harmonic representatives. The central object is the Bochner-Kodaira-Nakano identity for bundle-valued forms on a compact Kähler manifold. It compares the $L^2$ norm of the first-order operators $\bar\partial$ and $\bar\partial^*$ with the quadratic form of the $(1,0)$ connection Laplacian and an explicit curvature term. Positivity enters because this curvature term can be bounded below on $(p,q)$-forms, giving coercive estimates in positive degree. ## The Bochner-Kodaira-Nakano Identity The first question is how the curvature of a holomorphic Hermitian vector bundle becomes visible in the analysis of the $\bar\partial$-operator. For functions, [integration by parts](/theorems/210) relates the Laplacian to first derivatives. For bundle-valued forms, the corresponding identity has an additional commutator term measuring the failure of covariant derivatives to commute. Let $X$ be a compact Kähler manifold of complex dimension $n$, with Kähler form $\omega$, and let $(E,h)$ be a holomorphic Hermitian vector bundle on $X$. Write $\nabla=\nabla'+\nabla''$ for the Chern connection of $(E,h)$, where $\nabla''=\bar\partial_E$. The $L^2$ inner product on $E$-valued forms is induced by $\omega$ and $h$. [definition: Bundle-Valued Dolbeault Operators] For $0\le p,q\le n$, the Dolbeault operator on $E$-valued forms is \begin{align*} \bar\partial_E:A^{p,q}(X,E)\longrightarrow A^{p,q+1}(X,E). \end{align*} Its formal adjoint with respect to the $L^2$ inner product is \begin{align*} \bar\partial_E^*:A^{p,q+1}(X,E)\longrightarrow A^{p,q}(X,E). \end{align*} The Dolbeault Laplacian is \begin{align*} \Delta''_E:A^{p,q}(X,E)\longrightarrow A^{p,q}(X,E),\qquad \Delta''_E=\bar\partial_E\bar\partial_E^*+\bar\partial_E^*\bar\partial_E. \end{align*} [/definition] The operator $\Delta''_E$ detects harmonic representatives in Dolbeault cohomology, but the Bochner identity rewrites its quadratic form using Kähler linear algebra. To state the algebraic part of this rewrite, we need the operators that wedge with the Kähler form and contract against it. [definition: Lefschetz Operators] The Lefschetz operator is \begin{align*} L:A^{p,q}(X,E)\longrightarrow A^{p+1,q+1}(X,E),\qquad L\alpha=\omega\wedge\alpha. \end{align*} Its formal adjoint is denoted by \begin{align*} \Lambda:A^{p,q}(X,E)\longrightarrow A^{p-1,q-1}(X,E). \end{align*} [/definition] The operator $\Lambda$ turns a curvature form into an endomorphism of the same bidegree, so it is the device that lets curvature enter a norm identity. This motivates isolating the commutator formed by wedging with $i\Theta(E,h)$ and contracting with $\Lambda$; that commutator is the curvature term whose positivity will be estimated throughout the chapter. [definition: Curvature Commutator] Let $\Theta(E,h)\in A^{1,1}(X,\operatorname{End}E)$ be the curvature of the Chern connection. For $0\le p,q\le n$, the curvature commutator is the degree-preserving operator \begin{align*} [i\Theta(E,h),\Lambda]:A^{p,q}(X,E)\longrightarrow A^{p,q}(X,E). \end{align*} [/definition] The square brackets denote the graded commutator in the convention \begin{align*} [i\Theta(E,h),\Lambda]=i\Theta(E,h)\Lambda-\Lambda i\Theta(E,h), \end{align*} where $i\Theta(E,h)$ acts by wedging the form part and applying the bundle endomorphism. This convention fixes the sign of all curvature estimates below. The next theorem says that this zero-order commutator is exactly the term that separates the Dolbeault Laplacian from the connection Laplacian, so a curvature lower bound becomes an analytic estimate. The Kähler hypothesis is essential here: on a general Hermitian manifold extra torsion terms appear, and the clean curvature-only identity no longer follows from the usual Kähler commutators. [quotetheorem:3859] [citeproof:3859] This identity is the analytic bridge between curvature and cohomology, but each hypothesis is doing work. Compactness lets formal adjoints be used without boundary terms; on a manifold with boundary, [integration by parts](/theorems/2098) would produce boundary contributions unless boundary conditions are imposed. The Kähler condition removes torsion terms from the commutator identities, so the same formula is not valid on an arbitrary Hermitian manifold without correction terms. Smoothness of $\alpha$ keeps all differential expressions classical; for $L^2$ forms the identity must first be proved on a dense core and then extended by closure. The theorem also does not say that curvature is positive: it only converts whatever curvature sign is present into a term in an estimate, which is why the next section is devoted to computing and bounding the commutator. [example: Positive Line Bundle On Functions] Let $s$ be a smooth $L$-valued $(0,0)$-form, and compute the curvature commutator at a point where $\omega$ is unitary and $i\Theta(L,h)=\sum_{j=1}^n\lambda_j\,i\,dz_j\wedge d\bar z_j$ with $\lambda_j\ge c$. Since $\Lambda$ lowers bidegree by $(1,1)$, one has $\Lambda s=0$, so the first term in the commutator is \begin{align*} i\Theta(L,h)\Lambda s=i\Theta(L,h)\cdot 0=0. \end{align*} The second term first wedges $s$ with the curvature: \begin{align*} i\Theta(L,h)s=\sum_{j=1}^n\lambda_j\, i\,dz_j\wedge d\bar z_j\otimes s. \end{align*} Because the coframe is unitary, $\Lambda(i\,dz_j\wedge d\bar z_j)=1$ for each $j$, hence \begin{align*} \Lambda(i\Theta(L,h)s)=\sum_{j=1}^n\lambda_j s. \end{align*} With the convention $[i\Theta(L,h),\Lambda]=i\Theta(L,h)\Lambda-\Lambda i\Theta(L,h)$, this gives \begin{align*} [i\Theta(L,h),\Lambda]s=-\left(\sum_{j=1}^n\lambda_j\right)s. \end{align*} Thus positivity of $L$ gives a negative zero-order term on $(0,0)$-forms, not a coercive lower bound. This is exactly why the Bochner estimate in positive line bundle arguments is applied in bidegrees with anti-holomorphic slots, especially $(n,q)$ with $q>0$, rather than to holomorphic sections themselves. [/example] ## Curvature Terms on $(p,q)$-Forms The identity becomes useful only after translating positivity of curvature into positivity of the operator $[i\Theta(E,h),\Lambda]$. The next problem is therefore algebraic: given a curvature tensor, how does it act on an $E$-valued $(p,q)$-form, and which curvature positivity conditions give lower bounds? For line bundles the answer has a concrete form. At a point $x\in X$, choose holomorphic coordinates normal for $\omega$ and a local unitary frame for the line bundle. Then the curvature can be diagonalised as \begin{align*} i\Theta(L,h)_x=\sum_{j=1}^n\lambda_j\, i\, dz_j\wedge d\bar z_j. \end{align*} The numbers $\lambda_j$ are the curvature eigenvalues with respect to $\omega$, and the following pointwise formula tells us exactly which sums of these eigenvalues appear in each bidegree. [quotetheorem:9100] [citeproof:9100] This formula explains why the same positive line bundle behaves differently in different bidegrees, but it should not be read as a coordinate-dependent trick. The unitary coframe and diagonal curvature expression are allowed only pointwise, and the conclusion is invariant because it describes the eigenvalues of a Hermitian endomorphism at that point. The line-bundle hypothesis is essential: for a higher-rank vector bundle the curvature entries need not commute or diagonalise simultaneously in the bundle direction, so the operator is not determined by a single list of scalar eigenvalues $\lambda_j$. A concrete failure occurs for a non-split Hermitian rank-two bundle whose curvature matrices $R_{1\bar 1}$ and $R_{2\bar 2}$ do not commute at a point; even if each matrix is Hermitian, no unitary frame diagonalises both in the bundle fibre, and the commutator on $\Lambda^{p,q}T_x^*X\otimes E_x$ has off-diagonal terms mixing the two fibre components. Thus replacing the vector-bundle curvature by the eigenvalues of the scalar $(1,1)$-form loses information and can give the wrong lower bound. The formula also depends on the commutator convention fixed above; reversing the order of the commutator would reverse the displayed sign and invalidate the later positivity claims. What survives beyond the scalar case is not the eigenvalue formula itself, but the lesson that top holomorphic degree removes the negative missing-index term. [example: Curvature Lower Bound On $(n,q)$-Forms] Suppose $i\Theta(L,h)\ge c\omega$ with $c>0$. At a point choose a unitary coframe in which \begin{align*} i\Theta(L,h)=\sum_{j=1}^n\lambda_j\, i\,dz_j\wedge d\bar z_j \end{align*} so the lower bound $i\Theta(L,h)\ge c\omega$ means $\lambda_j\ge c$ for every $j$. Write an $L$-valued $(n,q)$-form at this point as \begin{align*} \alpha=\sum_{|J|=q}\alpha_J\,dz_1\wedge\cdots\wedge dz_n\wedge d\bar z_J. \end{align*} For every component, the holomorphic index set is $I=\{1,\dots,n\}$, hence $\{j:j\notin I\}=\varnothing$. By *Curvature Commutator For Line Bundles*, the curvature commutator eigenvalue on the $J$-component is therefore \begin{align*} \sum_{j\in J}\lambda_j-\sum_{j\notin I}\lambda_j=\sum_{j\in J}\lambda_j-0=\sum_{j\in J}\lambda_j. \end{align*} Since $|J|=q$ and each $\lambda_j\ge c$, \begin{align*} \sum_{j\in J}\lambda_j\ge \sum_{j\in J}c=qc. \end{align*} Because the standard components are orthonormal in the chosen unitary coframe, the pointwise quadratic form satisfies \begin{align*} \langle [i\Theta(L,h),\Lambda]\alpha,\alpha\rangle=\sum_{|J|=q}\left(\sum_{j\in J}\lambda_j\right)|\alpha_J|^2. \end{align*} Using the lower bound on each summand gives \begin{align*} \sum_{|J|=q}\left(\sum_{j\in J}\lambda_j\right)|\alpha_J|^2\ge \sum_{|J|=q}qc\,|\alpha_J|^2=qc\,|\alpha|^2. \end{align*} Integrating this pointwise inequality over $X$ gives \begin{align*} \bigl([i\Theta(L,h),\Lambda]\alpha,\alpha\bigr)_{L^2}\ge qc\|\alpha\|_{L^2}^2. \end{align*} Thus the top holomorphic degree removes the negative missing-index term, and the $q$ anti-holomorphic slots contribute the positive curvature lower bound used in Kodaira-type vanishing for $H^q(X,K_X\otimes L)$. [/example] The line bundle computation shows the desired lower bound in the scalar case, but it also shows why scalar positivity is not the right language for vector bundles. For a line bundle the curvature acts by a scalar on the fibre, so after choosing a unitary coframe the commutator decomposes into independent one-coordinate contributions. In higher rank, the curvature has matrix entries mixing the tangent index and the bundle index, so diagonalising only the tangent part does not reduce the problem to independent eigenvalue sums. A bundle may be positive on every decomposable tensor in the Griffiths sense and still fail to give the Nakano lower bound needed for $E$-valued forms. To use the same Bochner argument for higher-rank bundles, we need a positivity condition that controls these mixed tensors rather than only each tangent direction separately. [definition: Nakano Positivity] Let $(E,h)$ be a Hermitian holomorphic vector bundle on a complex manifold $X$. The bundle $(E,h)$ is Nakano positive if for every point $x\in X$ and every non-zero tensor $u=\sum_{j,\alpha}u_{j\alpha}\,\partial_{z_j}\otimes e_\alpha\in T_xX\otimes E_x$, one has \begin{align*} \sum_{j,k,\alpha,\beta} i\Theta(E,h)_{j\bar k\alpha\bar\beta}\,u_{j\alpha}\,\overline{u_{k\beta}}>0. \end{align*} [/definition] Nakano positivity is stronger than Griffiths positivity, but it is the condition naturally paired with $L^2$ estimates for higher-rank bundles. The next estimate records the precise payoff: on $(n,q)$-forms it turns the curvature commutator into a uniform positive operator. [quotetheorem:9101] [citeproof:9101] This coercive inequality is the form of positivity needed for the analytic vanishing arguments, and the restrictions in the statement cannot be dropped without changing the conclusion. The Nakano lower bound itself is essential: if $E=\mathcal O_X$ has its flat metric on a complex torus, then $i\Theta(E,h)=0$, the commutator gives no positive term, and constant anti-holomorphic forms produce non-zero harmonic forms. Thus the coercive estimate fails in a concrete case where the curvature hypothesis is absent. More subtly, Griffiths positivity alone would not be enough for this theorem, because it tests decomposable tensors while the Nakano estimate must control arbitrary tensors in $T_xX\otimes E_x$. The condition $q\ge1$ is necessary because at $q=0$ there is no anti-holomorphic slot for the positive Nakano curvature to count, and positivity should not force holomorphic sections of a positive bundle to vanish. The top holomorphic degree is also essential for this clean estimate: away from degree $n$, the line-bundle formula already shows negative contributions from missing holomorphic indices. Compactness is not used in the pointwise algebra, but it is needed when the pointwise lower bound is integrated into a global spectral statement without boundary or completeness issues. The theorem therefore gives a spectral gap only in the precise bidegrees where the curvature commutator is positive, which is why it feeds directly into Kodaira-Nakano vanishing rather than arbitrary Dolbeault cohomology groups. [remark: Why The Top Holomorphic Degree Appears] The bidegree $(n,q)$ is not an accident. Dolbeault cohomology with coefficients in $K_X\otimes E$ is represented by $E$-valued $(n,q)$-forms, so positivity of $E$ produces vanishing for $H^q(X,K_X\otimes E)$. This is the analytic shape of Kodaira-Nakano vanishing. [/remark] ## $L^2$ Solvability for $\bar\partial$ with Positive Curvature The Bochner identity gives an a priori estimate. The next question is how such an estimate becomes an existence theorem for $\bar\partial u=f$. The functional-analytic principle is that a coercive estimate for the adjoint complex gives a bounded solution operator on the orthogonal complement of harmonic forms. For a positive line bundle, high tensor powers make the curvature term large because curvature scales linearly under tensor powers. This scaling is what turns positivity into a uniform estimate strong enough for Kodaira-Serre arguments. [quotetheorem:9102] [citeproof:9102] This estimate says that the Dolbeault Laplacian has no small eigenvalues in positive degree once the tensor power is high enough, but the positivity and degree hypotheses are decisive. Without positivity, the curvature term may be zero or negative; for example, a flat line bundle gives no growing lower bound under tensor powers. The restriction $q\ge1$ matters because the same estimate in degree $q=0$ would incorrectly rule out holomorphic sections, which are exactly what positivity is meant to produce. Analytically, the lower bound is the input that forces closed range for the relevant Dolbeault operator and gives a bounded inverse to the Laplacian on positive degree forms. That closed-range control is what the later section-construction argument uses when it corrects a cut-off local holomorphic model by solving a $\bar\partial$-equation. The estimate is still only an a priori inequality unless we connect it to the objects representing cohomology. On a compact Kähler manifold, each Dolbeault cohomology class has a harmonic representative, so ruling out harmonic forms is the homogeneous version of the vanishing theorem. The next criterion packages this step: whenever the Bochner identity supplies a positive curvature lower bound, the harmonic representative must have zero norm, and the corresponding cohomology group disappears. [quotetheorem:9103] [citeproof:9103] The criterion isolates the reusable part of the vanishing argument, but it is only as strong as its analytic hypotheses. If the curvature lower bound is absent, harmonic forms need not vanish; on a complex torus with $E=\mathcal O_X$ carrying its flat metric, constant anti-holomorphic forms give non-zero cohomology. Compact Kähler Hodge theory is also essential for the final cohomological conclusion, because vanishing of harmonic representatives identifies cohomology only when the relevant [Hodge theorem](/theorems/3942) applies. The statement does not assert that every $\bar\partial$-closed form is explicitly solved by a smooth primitive, nor does it treat non-compact manifolds without additional closed-range or completeness hypotheses. Its role is to turn a verified Bochner lower bound into vanishing, independently of whether the lower bound came from a line bundle, Nakano positivity, or a high tensor power. [example: Vanishing Of Harmonic $(0,q)$-Forms With Positive Coefficients] Let $X$ be compact Kähler, let $L$ be positive, and choose $c>0$ with $i\Theta(L,h)\ge c\omega$. At a unitary point where $i\Theta(L,h)=\sum_{j=1}^n\lambda_j\,i\,dz_j\wedge d\bar z_j$, positivity means $\lambda_j\ge c$ for every $j$. For an $L^m$-valued $(0,q)$-component with anti-holomorphic index set $J$, *Curvature Commutator For Line Bundles* gives the eigenvalue \begin{align*} \sum_{j\in J}m\lambda_j-\sum_{j\notin \varnothing}m\lambda_j=\sum_{j\in J}m\lambda_j-\sum_{j=1}^n m\lambda_j=-\sum_{j\notin J}m\lambda_j. \end{align*} This is not a positive lower bound unless no index is missing from $J$, so the scalar estimate is not the right way to control arbitrary $(0,q)$-forms with positive coefficients. After twisting by the canonical bundle, a class in $H^q(X,K_X\otimes L^m)$ is represented by an $L^m$-valued $(n,q)$-form. For a component of such a form the holomorphic index set is $I=\{1,\dots,n\}$, so *Curvature Commutator For Line Bundles* gives \begin{align*} \sum_{j\in J}m\lambda_j-\sum_{j\notin I}m\lambda_j=\sum_{j\in J}m\lambda_j-0=\sum_{j\in J}m\lambda_j. \end{align*} Since $|J|=q$ and each $\lambda_j\ge c$, \begin{align*} \sum_{j\in J}m\lambda_j\ge \sum_{j\in J}mc=mqc. \end{align*} Thus the curvature commutator on $L^m$-valued $(n,q)$-forms satisfies \begin{align*} \bigl([i\Theta(L^m,h^m),\Lambda]\alpha,\alpha\bigr)_{L^2}\ge mqc\|\alpha\|_{L^2}^2. \end{align*} By the quoted harmonic-representative vanishing criterion, every harmonic representative in $H^q(X,K_X\otimes L^m)$ is zero for $q\ge1$. This is the analytic vanishing mechanism behind the high-power Kodaira-Serre theorem. [/example] Vanishing is the homogeneous consequence of the estimate. For applications to projective embeddings we also need the inhomogeneous consequence: when a form $f$ is $\bar\partial$-closed, the same estimate should provide a controlled solution of $\bar\partial u=f$. The closedness condition on $f$ is necessary because $\bar\partial^2=0$; if $f=\bar\partial u$, then automatically $\bar\partial f=0$. Coercivity is the other essential input: for a closed densely defined operator with non-closed range, a formal solution sequence can have norms escaping to infinity even when the data converge. Thus the estimate is not just a bound after a solution exists, but the mechanism that prevents the range of $\bar\partial$ from having analytic gaps. [quotetheorem:3669] [citeproof:3669] This solvability statement is the analytic engine for constructing holomorphic sections in the next part of the course, but its hypotheses mark the boundary of the method. If $f$ is not $\bar\partial$-closed, no solution can exist because applying $\bar\partial$ to both sides would give $\bar\partial f=0$. If the coercive estimate fails, the range of $\bar\partial$ may fail to be closed, and the equation can be unsolvable or solvable only with no uniform control on $\|u\|_{L^2}$. The theorem also gives an $L^2$ weak solution, not automatic smoothness; regularity requires elliptic regularity and smooth input. In the projective-embedding argument, this is still enough: one first builds an approximately holomorphic local object, corrects its $\bar\partial$-error by solving $\bar\partial u=f$, and then uses the estimate to keep the correction smaller than the prescribed leading term. [example: Solving $\bar\partial u=f$ For Large Powers Of A Positive Line Bundle] Let $L$ be positive on compact Kähler $X$, and fix $q=1$. Choose a Hermitian metric with $i\Theta(L,h)\ge c\omega$ for some $c>0$. For the tensor power $L^m$, the curvature is $m\Theta(L,h)$, so the $(n,1)$ curvature lower bound from *Curvature Lower Bound On $(n,q)$-Forms* is \begin{align*} \bigl([i\Theta(L^m,h^m),\Lambda]\alpha,\alpha\bigr)_{L^2}\ge mc\|\alpha\|_{L^2}^2 \end{align*} for every smooth $L^m$-valued $(n,1)$-form $\alpha$. Substituting this into the Bochner estimate and dropping the non-negative $\nabla'$-terms gives \begin{align*} \|\bar\partial_{L^m}\alpha\|_{L^2}^2+\|\bar\partial_{L^m}^*\alpha\|_{L^2}^2\ge mc\|\alpha\|_{L^2}^2. \end{align*} Equivalently, \begin{align*} \|\alpha\|_{L^2}^2\le \frac{1}{mc}\left(\|\bar\partial_{L^m}\alpha\|_{L^2}^2+\|\bar\partial_{L^m}^*\alpha\|_{L^2}^2\right). \end{align*} Now let $f$ be a $\bar\partial$-closed $L^m$-valued $(n,1)$-form. Applying ["Model Hilbert Space Solvability Principle"](/theorems/3669) with $C=(mc)^{-1}$ gives an $L^m$-valued $(n,0)$-form $u$ satisfying \begin{align*} \bar\partial_{L^m}u=f \end{align*} and \begin{align*} \|u\|_{L^2}\le \frac{1}{\sqrt{mc}}\|f\|_{L^2}. \end{align*} In a peak-section construction, if $\sigma$ is a local holomorphic model and $\chi$ is a cutoff, then $f=\bar\partial(\chi\sigma)$ because $\bar\partial\sigma=0$ on the local holomorphic region. Solving $\bar\partial u=f$ makes \begin{align*} \bar\partial(\chi\sigma-u)=\bar\partial(\chi\sigma)-\bar\partial u=f-f=0. \end{align*} Thus $\chi\sigma-u$ is a genuine global holomorphic $K_X\otimes L^m$-section, and the bound $\|u\|_{L^2}\le (mc)^{-1/2}\|f\|_{L^2}$ shows that the correction becomes smaller as the curvature scale $m$ grows. [/example] The chapter therefore establishes the analytic half of the positivity story. Curvature lower bounds give Bochner inequalities; Bochner inequalities give vanishing and $\bar\partial$-solvability; solvability will be used next to separate points and tangent directions by global sections of high tensor powers. # 4. Kodaira and Nakano Vanishing This chapter turns positivity into cohomological consequences. Chapters 1 and 2 built positive line bundles from curvature and used their sections to produce maps, while Chapter 3 supplied the Bochner identity and $L^2$ estimates; here the same curvature positivity enters the Hodge-theoretic Laplacian and forces harmonic representatives to vanish in certain bidegrees. The main results are Kodaira vanishing, its Akizuki-Kodaira-Nakano refinement for holomorphic forms, and the Serre-dual statements for negative line bundles. ## Kodaira Vanishing from the Hodge-Theoretic Laplacian The guiding question is how curvature of a positive line bundle can control sheaf cohomology. On a compact Kähler manifold, sheaf cohomology of a holomorphic vector bundle can be represented by harmonic $(0,q)$-forms, so a vanishing theorem becomes an analytic statement: there are no harmonic forms in the relevant degree. Positivity enters through the Bochner-Kodaira identity, where the curvature term has a sign. We first fix the analytic setting in which cohomology and harmonic forms are identified. [definition: Harmonic Bundle-Valued Dolbeault Forms] Let $X$ be a compact Kähler manifold, let $E \to X$ be a holomorphic Hermitian vector bundle, and let \begin{align*} \bar\partial_E:A^{p,q}(X,E)\to A^{p,q+1}(X,E) \end{align*} be the Dolbeault operator. The formal adjoint with respect to the Kähler metric on $X$ and the Hermitian metric on $E$ is \begin{align*} \bar\partial_E^*:A^{p,q+1}(X,E)\to A^{p,q}(X,E). \end{align*} On $A^{p,q}(X,E)$, the Dolbeault Laplacian is the operator \begin{align*} \Delta_{\bar\partial,E}:A^{p,q}(X,E)\to A^{p,q}(X,E), \qquad \Delta_{\bar\partial,E} = \bar\partial_E\bar\partial_E^* + \bar\partial_E^*\bar\partial_E. \end{align*} A form $u \in A^{p,q}(X,E)$ is harmonic if $\Delta_{\bar\partial,E}u=0$. [/definition] This definition supplies the analytic object whose kernel we can estimate. To use it for sheaf cohomology, we need the bridge from differential forms to cohomology classes: every Dolbeault class has a unique harmonic representative. Once that bridge is available, proving a cohomology group is zero is reduced to proving that the corresponding harmonic space is zero. [quotetheorem:9104] [citeproof:9104] This theorem is quoted from the Hodge theory developed earlier in the course. The proof uses elliptic regularity and the [orthogonal decomposition](/theorems/436) of forms into harmonic, exact, and coexact parts. Compactness is part of the mechanism: it gives a discrete elliptic theory with finite-dimensional harmonic spaces and prevents mass from escaping to infinity. The Hermitian metric on $E$ and the Kähler metric on $X$ are not decorative choices; they define the $L^2$ inner product, the formal adjoint, and the elliptic Laplacian whose kernel is being used. The statement also has boundaries. It identifies Dolbeault cohomology with harmonic forms for holomorphic vector bundles, but it does not by itself force any cohomology group to vanish; the vanishing comes only after an additional curvature estimate. On a noncompact complex manifold the same conclusion can fail without imposing boundary conditions or growth conditions, since harmonic representatives need not exist in a unique finite-energy form. For coherent sheaves that are not locally free, the theorem is not applied in this form; one must pass through resolutions or a sheaf-theoretic version of Hodge theory. The point of Kodaira vanishing is that positivity can be inserted into this harmonic-form model. When $E=L$ is positive and $p=n$, the Bochner-Kodaira identity gives a curvature term with a definite positive lower bound in every antiholomorphic degree $q>0$. Thus the next theorem is the first place where positivity of a line bundle becomes a concrete vanishing statement for coherent cohomology. [quotetheorem:3501] [citeproof:3501] Kodaira vanishing should be read as a theorem about adjoint bundles: tensoring the canonical bundle with a positive line bundle removes all higher cohomology. It does not assert that $H^0(X,K_X\otimes L)$ vanishes, and in many geometric applications that space is the object one wants to compute. It also does not say that every positive twist has no higher cohomology; the canonical factor is part of the theorem's shape. The hypotheses are sharp enough that removing them changes the statement. If $L$ is not positive, vanishing can fail: taking $L=\mathcal O_X$ would predict $H^q(X,K_X)=0$ for $q>0$, but by Serre duality $H^n(X,K_X)^*\cong H^0(X,\mathcal O_X)$ is nonzero on any connected compact complex manifold. Compact Kähler geometry is also part of the analytic proof, since the argument uses global harmonic representatives and the Kähler Bochner identity; on noncompact spaces, cohomology and $L^2$ harmonic forms no longer match without extra conditions. The range $q>0$ is the vanishing range, while degree zero is deliberately left open. [example: Cohomology of an Adjoint Line Bundle] Let $\iota:X\hookrightarrow \mathbb P^N$ be a projective embedding, let $\dim_{\mathbb C}X=n$, and put $L=\iota^*\mathcal O_{\mathbb P^N}(m)$ with $m>0$. The Fubini-Study metric has positive curvature form $\omega_{\mathrm{FS}}$ on $\mathcal O_{\mathbb P^N}(1)$, and the induced metric on the $m$-th tensor power satisfies \begin{align*} i\Theta(\mathcal O_{\mathbb P^N}(m))=m\omega_{\mathrm{FS}}. \end{align*} Pulling back the metric to $L$ gives \begin{align*} i\Theta(L)=\iota^*\bigl(m\omega_{\mathrm{FS}}\bigr). \end{align*} If $0\ne v\in T_xX$, then $d\iota_x(v)\ne 0$ because $\iota$ is an embedding. Hence \begin{align*} i\Theta(L)_x(v,Jv)=m\,\omega_{\mathrm{FS},\iota(x)}\bigl(d\iota_x(v),Jd\iota_x(v)\bigr)>0. \end{align*} Thus $L$ is positive on $X$. By *Kodaira Vanishing* applied to this positive line bundle, \begin{align*} H^q(X,K_X\otimes L)=0 \quad \text{for every } q>0. \end{align*} Therefore \begin{align*} h^q(X,K_X\otimes L)=\dim H^q(X,K_X\otimes L)=0 \quad \text{for every } q>0. \end{align*} The Euler characteristic of $K_X\otimes L$ is \begin{align*} \chi(X,K_X\otimes L)=\sum_{q=0}^n(-1)^q h^q(X,K_X\otimes L). \end{align*} Separating the $q=0$ term from the remaining terms gives \begin{align*} \chi(X,K_X\otimes L)=h^0(X,K_X\otimes L)+\sum_{q=1}^n(-1)^q h^q(X,K_X\otimes L). \end{align*} Since each summand in the second term is zero, \begin{align*} \sum_{q=1}^n(-1)^q h^q(X,K_X\otimes L)=0. \end{align*} Thus \begin{align*} \chi(X,K_X\otimes L)=h^0(X,K_X\otimes L). \end{align*} Equivalently, \begin{align*} h^0(X,K_X\otimes L)=\chi(X,K_X\otimes L). \end{align*} So *Hirzebruch-Riemann-Roch*, which computes $\chi(X,K_X\otimes L)$ from characteristic classes, gives the number of global adjoint sections of $K_X\otimes L$ without any higher-cohomology correction terms. [/example] The proof strategy contains a useful pattern that reappears throughout this course: identify a sheaf cohomology group with harmonic forms, compute an analytic identity, and use positivity to force the harmonic form to vanish. The next section keeps the same strategy but tracks the bidegree more carefully. ## Akizuki-Kodaira-Nakano Vanishing Kodaira vanishing is only the top holomorphic-degree case of a more general phenomenon. The natural question is what happens to $H^q(X,\Omega_X^p\otimes L)$ when $p$ is not necessarily $n$. The curvature computation remembers both $p$ and $q$, and the sign is strong enough precisely when $p+q$ lies above the complex dimension. [quotetheorem:3862] [citeproof:3862] The range $p+q>n$ explains why Kodaira vanishing is obtained by setting $p=n$: then every $q>0$ lies in the Nakano range. The statement also gives vanishing for lower-degree holomorphic forms, but only after the antiholomorphic degree is large enough. The boundary is not included: on any compact Kähler manifold with a positive line bundle $L$, the diagonal condition $p+q=n$ can include groups not controlled by this theorem, and projective-space computations show that middle diagonal groups are where residual cohomology may occur. Positivity is again essential. If $L=\mathcal O_X$ on a compact Kähler manifold with nonzero Hodge numbers, the claimed analogue would become a false vanishing statement for ordinary Hodge cohomology; for example $H^0(X,\Omega_X^0)\cong \mathbb C$ lies on the allowed side of the table and is not forced away. Compactness supplies the uniform positive lower bound for the curvature operator after choosing metrics. Without compactness, pointwise positivity alone need not produce a global coercive estimate on all forms. [example: Projective Space and Bott Formula Comparison] On $\mathbb P^n$, take $L=\mathcal O_{\mathbb P^n}(m)$ with $m>0$. The Fubini-Study metric on $\mathcal O_{\mathbb P^n}(1)$ has positive curvature form $\omega_{\mathrm{FS}}$. If $h_{\mathrm{FS}}$ is this Hermitian metric, then the induced metric on $\mathcal O_{\mathbb P^n}(m)=\mathcal O_{\mathbb P^n}(1)^{\otimes m}$ is $h_{\mathrm{FS}}^{\otimes m}$, and the Chern curvature is additive under tensor product, so \begin{align*} i\Theta(\mathcal O_{\mathbb P^n}(m),h_{\mathrm{FS}}^{\otimes m})=m\,i\Theta(\mathcal O_{\mathbb P^n}(1),h_{\mathrm{FS}}) \end{align*} and hence \begin{align*} i\Theta(\mathcal O_{\mathbb P^n}(m))=m\,\omega_{\mathrm{FS}}. \end{align*} Since $m>0$ and $\omega_{\mathrm{FS}}$ is positive, for every nonzero $v\in T_x\mathbb P^n$ we have \begin{align*} i\Theta(\mathcal O_{\mathbb P^n}(m))_x(v,Jv)=m\,\omega_{\mathrm{FS},x}(v,Jv)>0. \end{align*} Thus $\mathcal O_{\mathbb P^n}(m)$ is positive. By *Akizuki-Kodaira-Nakano Vanishing*, this gives \begin{align*} H^q(\mathbb P^n,\Omega_{\mathbb P^n}^p\otimes \mathcal O_{\mathbb P^n}(m))=0 \end{align*} whenever $p+q>n$. The allowed holomorphic degrees satisfy $0\le p\le n$, so subtracting $p$ from $p+q>n$ gives \begin{align*} q>n-p. \end{align*} Since $p\le n$, we also have \begin{align*} n-p\ge 0. \end{align*} Combining the two inequalities gives $q>0$. Therefore every group killed by AKN in this example lies in positive cohomological degree. For comparison, *Bott's Formula* gives the sharper projective-space computation: when $m>0$, \begin{align*} H^q(\mathbb P^n,\Omega_{\mathbb P^n}^p\otimes \mathcal O_{\mathbb P^n}(m))=0 \end{align*} for every $q>0$, and the only possible nonzero cohomology occurs in degree $q=0$ when $m>p$. Thus the AKN condition $p+q>n$ implies $q>0$, while Bott's formula vanishes for all $q>0$ without requiring $p+q>n$. Bott's formula therefore contains the AKN vanishing range on projective space and also records additional vanishings forced by the special geometry of $\mathbb P^n$. [/example] The inequality $p+q>n$ is not a cosmetic detail; it records the eigenvalue count of the curvature commutator. In a unitary frame, wedging and contracting with the Kähler form count how many holomorphic and antiholomorphic directions are present, and positivity wins only past the middle dimension. [remark: Middle Degree Boundary] The theorem makes no general vanishing assertion when $p+q\le n$. For instance, with $p=q=0$, the group $H^0(X,L)$ is expected to be nonzero for sufficiently positive $L$, not zero. On $\mathbb P^n$ with $L=\mathcal O_{\mathbb P^n}(1)$, Bott's formula gives concrete examples showing that the anti-diagonal $p+q=n$ is a boundary rather than an omitted case of the same estimate. The strict inequality is therefore part of the content. [/remark] The next example shows how this applies to a standard class of projective manifolds. It is often the first place where vanishing theorems simplify concrete cohomology calculations. [example: Vanishing on Smooth Hypersurfaces] Let $X\subset \mathbb P^{n+1}$ be a smooth hypersurface of degree $d$, so $\dim_{\mathbb C}X=n$, and let \begin{align*} L=\mathcal O_X(m)=\mathcal O_{\mathbb P^{n+1}}(m)|_X \end{align*} with $m>0$. The Fubini-Study metric on $\mathcal O_{\mathbb P^{n+1}}(1)$ has positive curvature form $\omega_{\mathrm{FS}}$. Since \begin{align*} \mathcal O_{\mathbb P^{n+1}}(m)=\mathcal O_{\mathbb P^{n+1}}(1)^{\otimes m}, \end{align*} and Chern curvature is additive under tensor products of Hermitian line bundles, the induced metric satisfies \begin{align*} i\Theta(\mathcal O_{\mathbb P^{n+1}}(m))=m\,i\Theta(\mathcal O_{\mathbb P^{n+1}}(1))=m\omega_{\mathrm{FS}}. \end{align*} Restricting the metric to $X$ gives \begin{align*} i\Theta(L)=i\Theta(\mathcal O_{\mathbb P^{n+1}}(m))|_X=m\,\omega_{\mathrm{FS}}|_X. \end{align*} If $0\ne v\in T_xX$, then $v$ is also nonzero as a tangent vector to $\mathbb P^{n+1}$ at $x$, and positivity of $\omega_{\mathrm{FS}}$ gives \begin{align*} i\Theta(L)_x(v,Jv)=(m\,\omega_{\mathrm{FS}}|_X)_x(v,Jv)=m\,\omega_{\mathrm{FS},x}(v,Jv)>0. \end{align*} Thus $L=\mathcal O_X(m)$ is positive on $X$. By *Akizuki-Kodaira-Nakano Vanishing*, this positivity gives \begin{align*} H^q(X,\Omega_X^p\otimes \mathcal O_X(m))=0 \end{align*} whenever $p+q>n$. Taking $p=n$ gives \begin{align*} \Omega_X^n=K_X. \end{align*} The inequality $p+q>n$ then becomes \begin{align*} n+q>n. \end{align*} Subtracting $n$ from both sides gives \begin{align*} q>0. \end{align*} Therefore \begin{align*} H^q(X,K_X\otimes \mathcal O_X(m))=0 \end{align*} for every $q>0$. It remains to identify this adjoint bundle explicitly. By the adjunction formula for a smooth degree-$d$ hypersurface, \begin{align*} K_X\cong (K_{\mathbb P^{n+1}}\otimes \mathcal O_{\mathbb P^{n+1}}(d))|_X. \end{align*} Since \begin{align*} K_{\mathbb P^{n+1}}\cong \mathcal O_{\mathbb P^{n+1}}(-n-2), \end{align*} substitution gives \begin{align*} K_X\cong (\mathcal O_{\mathbb P^{n+1}}(-n-2)\otimes \mathcal O_{\mathbb P^{n+1}}(d))|_X. \end{align*} Restriction commutes with tensor product, so \begin{align*} K_X\cong \mathcal O_X(-n-2)\otimes \mathcal O_X(d). \end{align*} For hyperplane line bundles, tensor powers add their indices: \begin{align*} \mathcal O_X(-n-2)\otimes \mathcal O_X(d)\cong \mathcal O_X(d-n-2). \end{align*} Hence \begin{align*} K_X\cong \mathcal O_X(d-n-2). \end{align*} Tensoring with $\mathcal O_X(m)$ gives \begin{align*} K_X\otimes \mathcal O_X(m)\cong \mathcal O_X(d-n-2)\otimes \mathcal O_X(m)\cong \mathcal O_X(d-n-2+m). \end{align*} Thus the vanishing statement can be written explicitly as \begin{align*} H^q(X,\mathcal O_X(d-n-2+m))=0 \end{align*} for every $q>0$. For a smooth hypersurface, the ambient positive hyperplane bundle removes all higher cohomology of these adjoint twists, and adjunction converts the adjoint bundle into the concrete line bundle $\mathcal O_X(d-n-2+m)$. [/example] The vanishing theorem is analytic, but its usefulness is often algebraic: it removes higher cohomology from exact sequences. For hypersurfaces, this combines with the conormal sequence and adjunction to turn many questions about differential forms on $X$ into explicit graded-module computations. ## Serre Duality and Negative Line Bundles The positive line bundle theorems also have a dual face. The question is what can be said about cohomology after tensoring by the inverse of a positive line bundle. Serre duality converts such a group into the dual of a positive adjoint group, so vanishing migrates from high cohomological degree to low cohomological degree. We use the standard duality pairing for coherent sheaves on a compact complex manifold. The point of recalling the formal theorem here is to make the later vanishing statement a direct translation problem: once cohomology of a positive adjoint bundle is known to vanish, the duality pairing identifies the corresponding negative-bundle group that must vanish. [quotetheorem:3864] [citeproof:3864] The theorem just stated is the bridge from positive to negative line bundles: it turns a cohomology group of $L^{-1}$ into the dual of a cohomology group of $K_X\otimes L$. Compactness is essential because the pairing is perfect between finite-dimensional cohomology groups; on noncompact spaces, duality usually requires compact support, growth hypotheses, or derived functor refinements. The vector-bundle hypothesis keeps the dual sheaf $E^*$ and the tensor product $K_X\otimes E^*$ inside the locally free setting; for general coherent sheaves, Serre duality exists but must be stated with Ext sheaves or derived duals. Serre duality is an identification, not a vanishing theorem. It does not say either side is zero, and it does not turn positivity into cohomological consequences until a separate vanishing theorem is applied to the dual group. With $E=\mathcal O_X$, for example, it identifies $H^0(X,\mathcal O_X)^*$ with $H^n(X,K_X)$, so the existence of constants produces top-degree canonical cohomology rather than removing it. The input needed for the negative-line-bundle consequence is therefore still the positive adjoint vanishing theorem. We recall it here in the precise form used after dualizing: positivity kills the higher cohomology of $K_X\otimes L$, and Serre duality then translates that vanishing into the corresponding low-degree statement for $L^{-1}$. The quoted result itself is the positive theorem; the negative statement is its dual application, not a second independent theorem card. [quotetheorem:3865] [citeproof:3865] The statement says that an anti-positive line bundle has no low-degree cohomology. In degree zero this recovers the familiar fact that a negative line bundle has no nonzero holomorphic sections on a compact Kähler manifold. The restriction $q<n$ is sharp: if $X=\mathbb P^n$ and $L=\mathcal O_{\mathbb P^n}(1)$, then \begin{align*} H^n(\mathbb P^n,\mathcal O_{\mathbb P^n}(-n-1))\cong \mathbb C \end{align*} by Serre duality, so top degree cannot be added to the theorem. Positivity of $L$ is also necessary; if $L=\mathcal O_X$, the conclusion would force $H^0(X,\mathcal O_X)=0$ when $n>0$, contradicting the constants on a connected compact manifold. [example: No Sections of a Negative Hyperplane Bundle] On $\mathbb P^n$, let $L=\mathcal O_{\mathbb P^n}(1)$, so $L^{-1}=\mathcal O_{\mathbb P^n}(-1)$. The hyperplane bundle $\mathcal O_{\mathbb P^n}(1)$ is positive, so *[Kodaira Vanishing for Negative Line Bundles](/theorems/3865)* gives \begin{align*} H^q(\mathbb P^n,\mathcal O_{\mathbb P^n}(-1))=0 \quad \text{for every } q<n. \end{align*} Since $\mathbb P^n$ has complex dimension $n$, coherent sheaf cohomology can occur only in degrees $0\le q\le n$. Thus the displayed vanishing covers $q=0,1,\ldots,n-1$, and the only degree still to check is $q=n$. By *Bott's Formula* for line bundles on projective space, \begin{align*} H^n(\mathbb P^n,\mathcal O_{\mathbb P^n}(-1))=0. \end{align*} Combining the two cases gives \begin{align*} H^q(\mathbb P^n,\mathcal O_{\mathbb P^n}(-1))=0 \quad \text{for every } 0\le q\le n. \end{align*} There are no cohomology degrees outside this range, so $\mathcal O_{\mathbb P^n}(-1)$ has no cohomology in any degree, in particular no nonzero global sections. The top-degree exception in dual Kodaira is real for more negative twists. Consider $\mathcal O_{\mathbb P^n}(-n-1)$. Since \begin{align*} K_{\mathbb P^n}\cong \mathcal O_{\mathbb P^n}(-n-1), \end{align*} *Serre Duality for Vector Bundles* with $E=\mathcal O_{\mathbb P^n}(-n-1)$ gives \begin{align*} H^n(\mathbb P^n,\mathcal O_{\mathbb P^n}(-n-1))^*\cong H^0(\mathbb P^n,K_{\mathbb P^n}\otimes \mathcal O_{\mathbb P^n}(n+1)). \end{align*} Substituting the canonical bundle formula into the right-hand side gives \begin{align*} K_{\mathbb P^n}\otimes \mathcal O_{\mathbb P^n}(n+1)\cong \mathcal O_{\mathbb P^n}(-n-1)\otimes \mathcal O_{\mathbb P^n}(n+1). \end{align*} For projective-space twisting sheaves, tensor powers add their indices, so \begin{align*} \mathcal O_{\mathbb P^n}(-n-1)\otimes \mathcal O_{\mathbb P^n}(n+1)\cong \mathcal O_{\mathbb P^n}((-n-1)+(n+1)). \end{align*} The integer in the twist is \begin{align*} (-n-1)+(n+1)=-n-1+n+1=0. \end{align*} Hence \begin{align*} K_{\mathbb P^n}\otimes \mathcal O_{\mathbb P^n}(n+1)\cong \mathcal O_{\mathbb P^n}. \end{align*} Therefore \begin{align*} H^n(\mathbb P^n,\mathcal O_{\mathbb P^n}(-n-1))^*\cong H^0(\mathbb P^n,\mathcal O_{\mathbb P^n}). \end{align*} The global holomorphic functions on projective space are constant, so \begin{align*} H^0(\mathbb P^n,\mathcal O_{\mathbb P^n})\cong \mathbb C. \end{align*} Thus \begin{align*} H^n(\mathbb P^n,\mathcal O_{\mathbb P^n}(-n-1))^*\cong \mathbb C. \end{align*} A finite-dimensional complex vector space is isomorphic to $\mathbb C$ exactly when its dual is, so \begin{align*} H^n(\mathbb P^n,\mathcal O_{\mathbb P^n}(-n-1))\cong \mathbb C. \end{align*} This nonzero top cohomology group shows why *Kodaira Vanishing for Negative Line Bundles* stops at $q<n$ rather than including $q=n$. [/example] This example shows the simplest negative line bundle case, where $p=0$ and only ordinary line-bundle cohomology appears. The natural next question is whether the same duality argument also controls negative twists of holomorphic $p$-forms. To answer it, we combine Serre duality with the bundle identity $K_X\otimes (\Omega_X^p)^*\cong \Omega_X^{n-p}$, so the positive theorem reappears with complementary holomorphic degree. [quotetheorem:3862] [citeproof:3862] Together, the positive and negative versions split the cohomology table into forced vanishing regions. Positive twists kill the region above the anti-diagonal $p+q=n$, while negative twists kill the region below it. The anti-diagonal itself is a genuine boundary: for $X=\mathbb P^n$, Bott's formula gives nonzero groups on middle diagonals for suitable twists, and neither AKN nor its dual claims to remove them. The theorem also requires positivity in the same way as its positive counterpart; with $L=\mathcal O_X$, it would incorrectly impose vanishing on ordinary Hodge cohomology below the diagonal. [example: Cohomology Table Heuristic] Let $X$ be a compact Kähler manifold of complex dimension $n$, let $L$ be positive, and fix integers $p,q$ with $0\le p\le n$ and $0\le q\le n$. For the positive twist $\Omega_X^p\otimes L$, *Akizuki-Kodaira-Nakano Vanishing* says that \begin{align*} H^q(X,\Omega_X^p\otimes L)=0 \quad \text{if } p+q>n. \end{align*} Thus a table entry indexed by $(p,q)$ is forced to vanish exactly when its indices satisfy the strict inequality \begin{align*} p+q>n. \end{align*} These are precisely the entries strictly above the anti-diagonal defined by $p+q=n$. For the negative twist $\Omega_X^p\otimes L^{-1}$, the Serre-dual form of Akizuki-Kodaira-Nakano vanishing says that \begin{align*} H^q(X,\Omega_X^p\otimes L^{-1})=0 \quad \text{if } p+q<n. \end{align*} So the negative-twist vanishing applies exactly to the entries whose indices satisfy \begin{align*} p+q<n, \end{align*} which are the entries strictly below the same anti-diagonal. The three possible comparisons between $p+q$ and $n$ are \begin{align*} p+q<n, \qquad p+q=n, \qquad p+q>n. \end{align*} The positive-twist theorem covers only the third case, and the negative-twist theorem covers only the first case. Therefore the entries not covered by either statement are exactly those satisfying \begin{align*} p+q=n. \end{align*} On this middle diagonal, the condition $p+q>n$ is false and the condition $p+q<n$ is false, so neither vanishing theorem alone gives a general vanishing result there. Projective-space computations such as Bott's formula show that this boundary region is where essential cohomology can remain. [/example] The chapter's main lesson is that positivity has two complementary cohomological effects. Analytically, curvature positivity appears as a positive term in the Bochner-Kodaira-Nakano identity and removes harmonic forms. Algebraically, Serre duality reflects the same vanishing into statements for negative bundles, producing the dual vanishing theorems that are used throughout embedding, deformation, and moduli arguments. # 5. Consequences for Linear Systems and Riemann-Roch The preceding chapters established the analytic force of positivity: positive line bundles give embeddings after taking high powers, and curvature hypotheses feed into vanishing theorems. This chapter turns those tools into concrete numerical and geometric consequences. The guiding question is how much information about a projective manifold can be read from the spaces of sections of positive line bundles and from canonical bundle calculations inside projective space. ## Hilbert Polynomials and Asymptotic Riemann-Roch The first problem is to measure the size of a complete linear system when the tensor power becomes large. For a positive line bundle $L \to X$ on a compact complex manifold of dimension $n$, the spaces $H^0(X,L^m)$ are finite-dimensional, and their dimensions control both Kodaira maps and projective embeddings. Vanishing theorems make the Euler characteristic computable from global sections, while Riemann-Roch turns the Euler characteristic into an intersection-theoretic polynomial. In this chapter the polynomial language is used in the projective or positivity-backed setting where Riemann-Roch supplies polynomial dependence on $m$. Concretely, Hirzebruch-Riemann-Roch expresses $\chi(X,L^m)$ as the integral of $\operatorname{ch}(L^m)\operatorname{td}(X)$, and $\operatorname{ch}(L^m)=e^{m c_1(L)}$ makes the result a rational polynomial in $m$ of degree at most $n$. Positivity then lets vanishing theorems convert that Euler characteristic into a section count for high powers. To record this growth systematically, we package Euler characteristics into a polynomial attached to a line bundle. [definition: Hilbert Polynomial] Let $X$ be a compact complex manifold of dimension $n$ and let $L \to X$ be a holomorphic line bundle. The [Hilbert polynomial](/theorems/2894) of $L$ is the polynomial $P_L \in \mathbb{Q}[m]$ whose values agree, for all sufficiently large integers $m$, with \begin{align*} P_L(m) = \chi(X,L^m) = \sum_{q=0}^{n}(-1)^q h^q(X,L^m). \end{align*} [/definition] The definition uses the Euler characteristic rather than $h^0$ because the Euler characteristic is governed by Hirzebruch-Riemann-Roch. The next question is what the leading term of this polynomial measures geometrically. Positivity lets us pass from Euler characteristics to actual section counts, so the following theorem is the numerical bridge between intersection theory and linear systems. [quotetheorem:9105] [citeproof:9105] The theorem has two logically separate inputs. Riemann-Roch gives the polynomial Euler characteristic, while positivity is what allows that polynomial to count actual sections in high degree. Without positivity this second step can fail: on a compact Riemann surface, a line bundle of negative degree has $h^0(X,L^m)=0$ for all $m>0$, while its Euler characteristic is governed by Riemann-Roch and becomes increasingly negative because higher cohomology contributes. Thus the theorem does not say that every [Hilbert polynomial](/theorems/2953) is a section-counting function; it says that positive twisting kills the obstruction from higher cohomology. The model positive case is projective space, where the section count can be computed by counting monomials. [example: Growth of Sections on Projective Space] Let $X=\mathbb{P}^n$ and $L=\mathcal{O}_{\mathbb{P}^n}(1)$. For $m\ge 0$, a section of $\mathcal{O}_{\mathbb{P}^n}(m)$ is a homogeneous polynomial of degree $m$ in coordinates $X_0,\dots,X_n$, so a basis is given by the monomials $X_0^{a_0}\cdots X_n^{a_n}$ with $a_i\ge 0$ and $a_0+\cdots+a_n=m$. The number of such exponent vectors is the stars-and-bars number \begin{align*} \#\{(a_0,\dots,a_n)\in \mathbb{Z}_{\ge 0}^{n+1}:a_0+\cdots+a_n=m\}=\binom{m+n}{n}. \end{align*} Therefore \begin{align*} h^0(\mathbb{P}^n,\mathcal{O}_{\mathbb{P}^n}(m))=\binom{m+n}{n}. \end{align*} Expanding the [binomial coefficient](/page/Binomial%20Coefficient) as a polynomial in $m$ gives \begin{align*} \binom{m+n}{n}=\frac{(m+1)(m+2)\cdots(m+n)}{n!}. \end{align*} The product has highest-degree term $m^n$, because choosing the $m$ term from each factor gives $m\cdot m\cdots m=m^n$, while every other choice uses at least one constant factor and hence has degree at most $n-1$. Thus \begin{align*} \binom{m+n}{n}=\frac{1}{n!}m^n+O(m^{n-1}). \end{align*} If $H=c_1(\mathcal{O}_{\mathbb{P}^n}(1))$ is the hyperplane class, then $\int_{\mathbb{P}^n}H^n=1$, since $n$ general hyperplanes in $\mathbb{P}^n$ meet in one point. Hence the leading term $\frac{1}{n!}m^n$ agrees with the asymptotic Riemann-Roch prediction \begin{align*} \frac{1}{n!}\left(\int_{\mathbb{P}^n}c_1(\mathcal{O}_{\mathbb{P}^n}(1))^n\right)m^n=\frac{1}{n!}m^n. \end{align*} This model case shows that the intersection number of the hyperplane class is exactly the coefficient controlling the dominant growth of sections. [/example] The example shows the leading term in its most elementary form, but applications to canonical geometry often require an additional canonical twist. The next theorem checks that this twist changes lower-order coefficients without changing the dominant growth rate. This matters because adjoint bundles $K_X\otimes L^m$ are the natural output of Kodaira vanishing and $L^2$ estimates. [quotetheorem:3867] [citeproof:3867] The canonical twist is invisible in the leading term because it is fixed while $L^m$ carries the growing positivity. The hypothesis that the relevant vanishing theorem applies is essential: without it, $\chi(X,K_X\otimes L^m)$ remains computable but higher cohomology may prevent it from being equal to $h^0(X,K_X\otimes L^m)$. The theorem also does not determine the canonical class from the leading asymptotic alone; that information appears in lower-order terms. This is why adjoint linear systems are useful later: they combine the abundance supplied by $L^m$ with the finer geometry encoded by $K_X$. ## Effective Generation from Vanishing The next problem is not only to know that many sections exist, but to use them at specified points. A linear system is useful for geometry when its sections generate fibres, separate points, or separate tangent directions. Vanishing turns these local generation questions into cohomology calculations by inserting ideal sheaves into short exact sequences. We first isolate the basic generation property that is needed for a morphism to projective space to be defined everywhere. The obstruction is a base point: a point at which every global section vanishes, so the complete linear system has no well-defined value in projective space. [example: A Base Point] On $\mathbb{P}^1$ with homogeneous coordinates $[X_0:X_1]$, the line bundle $\mathcal{O}_{\mathbb{P}^1}(1)$ has global sections represented by homogeneous linear forms. Consider the one-dimensional subspace \begin{align*} V=\operatorname{span}\{X_0\}\subset H^0(\mathbb{P}^1,\mathcal{O}_{\mathbb{P}^1}(1)). \end{align*} At the point $p=[0:1]$, evaluating the section $X_0$ gives \begin{align*} X_0(p)=X_0([0:1])=0. \end{align*} Every section in $V$ has the form $\lambda X_0$ for some $\lambda\in\mathbb{C}$, so its value at $p$ is \begin{align*} (\lambda X_0)(p)=\lambda X_0(p)=\lambda\cdot 0=0. \end{align*} Thus the evaluation map $V\to \mathcal{O}_{\mathbb{P}^1}(1)_p$ has image $\{0\}$, not the whole one-dimensional fibre. Therefore $p=[0:1]$ is a base point of this chosen linear system, showing that a nonzero space of sections is not enough; the sections used by the linear system must generate each fibre. [/example] This failure motivates an intrinsic generation condition for a line bundle rather than for a chosen subspace of sections. A line bundle should count as usable for a projective map only when its full space of global sections can supply a nonzero value in every fibre. The definition is therefore phrased through the evaluation map at each point, since base points are exactly the points where this map fails to hit the one-dimensional fibre. [definition: Globally Generated Line Bundle] Let $X$ be a compact complex manifold and let $M \to X$ be a holomorphic line bundle. The line bundle $M$ is globally generated if, for every $x \in X$, the evaluation map \begin{align*} H^0(X,M) \longrightarrow M_x \end{align*} is surjective. [/definition] A globally generated line bundle has no base points, so its complete linear system gives a holomorphic map $X \to \mathbb{P}(H^0(X,M)^*)$. To prove global generation in practice, we need a test that replaces direct construction of sections with a vanishing statement. The following result gives exactly that test at a fixed point. [quotetheorem:9106] [citeproof:9106] The hypothesis is precisely the disappearance of the obstruction carried by the connecting homomorphism. If $H^1(X,M\otimes\mathcal{I}_x)$ is nonzero, the theorem gives no conclusion: some fibre values may still be achieved, but surjectivity is no longer forced by cohomology. For instance, on $\mathbb{P}^1$ with $M=\mathcal{O}_{\mathbb{P}^1}$ and any point $x$, the sequence $0\to \mathcal{O}_{\mathbb{P}^1}(-1)\to \mathcal{O}_{\mathbb{P}^1}\to \mathcal{O}_x\to 0$ has $H^1(\mathbb{P}^1,\mathcal{O}_{\mathbb{P}^1}(-1))=0$, so the criterion proves generation. By contrast, on an elliptic curve $E$, if $M=\mathcal{O}_E$ and $x\in E$, then $M\otimes\mathcal{I}_x\cong\mathcal{O}_E(-x)$ has nonzero $H^1$ by Serre duality, while the constant section still generates the fibre of $M$ at $x$. This result is therefore a criterion, not a converse, and it is designed to be paired with a vanishing theorem that applies uniformly to coherent ideal sheaves. The next local condition is stronger: rather than prescribing a value at one fibre, we prescribe independent values at two fibres. A failure example helps separate these two notions. The structure sheaf $\mathcal{O}_X$ on a connected compact complex manifold is globally generated by the constant section, but it does not separate two distinct points: the same constant value is seen at both fibres. Point separation is therefore not a formal consequence of base-point freeness. To distinguish points, the evaluation map must have two independently adjustable fibre values, not merely a nonzero value at each point considered separately. This strengthens the target of the evaluation map from one fibre to the direct sum of two fibres. The Kodaira map distinguishes two points only when its sections can assign independent fibre values at those points. This is stronger than having a section nonzero at each point, because independence is a statement about the combined evaluation map. The next definition records this two-point condition in the same intrinsic language as global generation. [definition: Point Separation] Let $X$ be a compact complex manifold and let $M \to X$ be a holomorphic line bundle. The complete linear system $|M|$ separates points if, for every pair of distinct points $x,y \in X$, the evaluation map \begin{align*} H^0(X,M) \longrightarrow M_x \oplus M_y \end{align*} is surjective. [/definition] Point separation is controlled by an ideal sheaf exact sequence, now for the reduced zero-dimensional subscheme $\{x,y\}$. This mirrors the generation criterion but has a stronger target, so the relevant obstruction group uses the ideal sheaf of both points. The resulting criterion is the cohomological form of separating two images in projective space. [quotetheorem:9107] [citeproof:9107] The two-point ideal sheaf is needed because generation at $x$ and generation at $y$ separately does not guarantee independent control of the two values. A one-dimensional space of constant sections illustrates the failure: it generates $\mathcal{O}_X$ at each point, but the image in $M_x\oplus M_y$ is diagonal rather than all of the direct sum. The theorem does not assert that nonvanishing of $H^1(X,M\otimes\mathcal{I}_{x,y})$ prevents separation; it says that vanishing removes the only obstruction visible in the long exact sequence. To obtain an embedding rather than only an injective map, the linear system must also control tangent directions. [definition: First Jet Separation] Let $X$ be a compact complex manifold and let $M \to X$ be a holomorphic line bundle. The complete linear system $|M|$ separates first jets at $x \in X$ if the map \begin{align*} H^0(X,M) \longrightarrow H^0(X,M \otimes \mathcal{O}_X/\mathcal{I}_x^2) \end{align*} is surjective. [/definition] The quotient by $\mathcal{I}_x^2$ records the value and first derivative data of a section at $x$. Surjectivity therefore says that sections can impose arbitrary first-order behaviour at the point. The same long exact sequence argument should now be applied to $\mathcal{I}_x^2$, giving the first-jet criterion. [quotetheorem:9108] [citeproof:9108] The square $\mathcal{I}_x^2$ is the key hypothesis: using only $\mathcal{I}_x$ would control the value at $x$ but would not see first derivatives. On $\mathbb{P}^1$, the bundle $\mathcal{O}_{\mathbb{P}^1}$ is generated at every point by constants, but at a chosen point $x$ every global section has zero first derivative in any local coordinate, so it cannot prescribe an arbitrary first jet. In contrast, $\mathcal{O}_{\mathbb{P}^1}(1)$ separates first jets at each point: after choosing an affine coordinate near $x$, linear polynomials realise arbitrary constant and linear terms. Nonvanishing of $H^1(X,M\otimes\mathcal{I}_x^2)$ again does not prove jet separation fails; it means this cohomological argument has an obstruction. Together, the three criteria reduce geometric generation properties to the vanishing of $H^1$ for coherent sheaves twisted by the chosen line bundle. We therefore need a theorem guaranteeing such vanishings after enough positive twisting. Serre vanishing supplies this uniform engine and converts positivity into effective control of linear systems. [quotetheorem:9109] [citeproof:9109] Serre vanishing is a uniform eventual statement, and each part of that phrase matters. The sheaf must be coherent; arbitrary sheaves need not be controlled by finite projective resolutions or analytic estimates of this kind. The line bundle must supply positive twisting; twisting by a flat or negative line bundle does not force higher cohomology to disappear. On an elliptic curve $E$, a non-torsion degree-zero line bundle $P$ is flat and has $H^q(E,P^m)=0$ for every $q$ and every $m\ge 1$, but this vanishing comes without growing positivity or an expanding supply of sections. The identity flat bundle $\mathcal{O}_E$ shows the opposite flat behaviour, since $H^1(E,\mathcal{O}_E)\neq 0$. On $\mathbb{P}^1$, negative twisting gives the sharper failure: $H^1(\mathbb{P}^1,\mathcal{O}_{\mathbb{P}^1}(-m))\neq 0$ for $m\ge 2$. The theorem also gives no effective numerical value of $m_0$ in this form. Its power here is that the ideal sheaves $\mathcal{I}_x$, $\mathcal{I}_{x,y}$, and $\mathcal{I}_x^2$ are coherent, so the abstract vanishing theorem applies directly to the obstruction groups above. The simplest application is base-point freeness, where only the ideal sheaf of a single point is needed. This example shows how the abstract vanishing statement becomes a concrete generation result. [example: Effective Base-Point Freeness from Serre Vanishing] Let $L$ be positive on $X$ and fix $x\in X$. The ideal sheaf $\mathcal{I}_x$ is coherent, so by *[Serre Vanishing for Positive Line Bundles](/theorems/9109)* there is an integer $m_x$ such that, for every $m\ge m_x$, \begin{align*} H^1(X,\mathcal{I}_x\otimes L^m)=0. \end{align*} Tensoring $0\to \mathcal{I}_x\to \mathcal{O}_X\to \mathcal{O}_x\to 0$ by $L^m$ gives \begin{align*} 0\to \mathcal{I}_x\otimes L^m\to L^m\to L^m\otimes \mathcal{O}_x\to 0. \end{align*} The corresponding cohomology sequence contains \begin{align*} H^0(X,L^m)\to H^0(X,L^m\otimes \mathcal{O}_x)\to H^1(X,\mathcal{I}_x\otimes L^m). \end{align*} Since $H^0(X,L^m\otimes \mathcal{O}_x)\cong (L^m)_x$ and the last group is $0$, the evaluation map \begin{align*} H^0(X,L^m)\to (L^m)_x \end{align*} is surjective. Thus $L^m$ is generated at the fixed point $x$ by the quoted global-generation consequence of vanishing. To make this simultaneous in $x$, use the usual projective proof of Serre vanishing with the universal ideal sheaf of the diagonal in $X\times X$; coherence of that ideal sheaf gives one integer $m_0$ working for all fibres $\mathcal{I}_x$. Hence for every $m\ge m_0$ and every $x\in X$, the map $H^0(X,L^m)\to (L^m)_x$ is surjective, so $L^m$ has no base points. [/example] The example is the local mechanism behind the global embedding theorem: higher powers of a positive bundle eventually generate sections, separate points, and separate tangent directions. The numerical Riemann-Roch estimates say there are enough sections; the vanishing criteria say these sections can be placed where they are needed. ## Adjunction and Canonical Bundles in Projective Embeddings The final problem of the chapter is to compute canonical bundles of submanifolds that arise inside projective space. Positivity and vanishing explain the existence of embeddings, but once $X$ is embedded, the canonical bundle can often be computed from the ambient canonical bundle and the normal direction. This is the role of adjunction. For a smooth divisor, the normal direction is itself a line bundle, and it is measured by the divisor line bundle. [definition: Divisor Line Bundle] Let $X$ be a complex manifold and let $D\subset X$ be a smooth divisor. The divisor line bundle $\mathcal{O}_X(D)$ is the holomorphic line bundle whose local defining sections vanish to order one along $D$. [/definition] The restriction of $\mathcal{O}_X(D)$ to $D$ is the normal bundle of $D$ in $X$. The key question is how this normal line modifies the canonical bundle when passing from $X$ to the hypersurface $D$. The next theorem answers that question by comparing the tangent-normal exact sequence with top exterior powers. [quotetheorem:3878] [citeproof:3878] Adjunction depends essentially on smoothness and codimension one. Smoothness gives the tangent-normal exact sequence by honest vector bundles; for a singular divisor, the tangent bundle of the divisor is not a vector bundle in this sense and the formula must be replaced by a dualising-sheaf statement. Codimension one is also important because the normal bundle is then the restriction of a divisor line bundle; higher-codimension submanifolds require the determinant of the normal bundle. Thus the theorem is not merely a formal restriction rule for canonical bundles. It explains exactly how the missing normal direction modifies volume forms on the hypersurface. Adjunction is most concrete in projective space because the divisor class of a hypersurface is explicit. To use it, we also need the ambient canonical bundle. The next computation supplies the standard formula for $K_{\mathbb{P}^n}$ from the Euler sequence. [quotetheorem:9110] [citeproof:9110] The Euler sequence is essential because projective space has no global holomorphic coordinates, so the canonical bundle cannot be computed by taking $dz_1\wedge\cdots\wedge dz_n$ globally as in an affine chart. The determinant calculation also shows what the theorem does not say: $K_{\mathbb{P}^n}$ is negative, not holomorphically equivalent to $\mathcal{O}_{\mathbb{P}^n}$, even though projective space is locally modelled on affine space. This negativity is the ambient contribution that adjunction must offset by the degree of the hypersurface. Combining the ambient canonical bundle with adjunction yields the canonical bundle of a smooth hypersurface. This is the basic calculation behind many examples of Fano, Calabi-Yau, and general type varieties. The degree of the defining equation determines the sign of the canonical class relative to the hyperplane class. [example: Canonical Bundle of a Smooth Hypersurface] Let $Y\subset \mathbb{P}^n$ be a smooth hypersurface of degree $d$. Its defining homogeneous equation has degree $d$, so the associated divisor line bundle is $\mathcal{O}_{\mathbb{P}^n}(Y)\cong \mathcal{O}_{\mathbb{P}^n}(d)$. By *Adjunction Formula for Smooth Divisors*, \begin{align*} K_Y \cong (K_{\mathbb{P}^n}\otimes \mathcal{O}_{\mathbb{P}^n}(Y))|_Y. \end{align*} Substituting $\mathcal{O}_{\mathbb{P}^n}(Y)\cong \mathcal{O}_{\mathbb{P}^n}(d)$ gives \begin{align*} K_Y \cong (K_{\mathbb{P}^n}\otimes \mathcal{O}_{\mathbb{P}^n}(d))|_Y. \end{align*} By *[Canonical Bundle of Projective Space](/theorems/9110)*, $K_{\mathbb{P}^n}\cong\mathcal{O}_{\mathbb{P}^n}(-n-1)$, so \begin{align*} K_Y \cong (\mathcal{O}_{\mathbb{P}^n}(-n-1)\otimes \mathcal{O}_{\mathbb{P}^n}(d))|_Y. \end{align*} Using $\mathcal{O}_{\mathbb{P}^n}(a)\otimes \mathcal{O}_{\mathbb{P}^n}(b)\cong \mathcal{O}_{\mathbb{P}^n}(a+b)$, the tensor factor is \begin{align*} \mathcal{O}_{\mathbb{P}^n}(-n-1)\otimes \mathcal{O}_{\mathbb{P}^n}(d)\cong \mathcal{O}_{\mathbb{P}^n}(d-n-1). \end{align*} Therefore \begin{align*} K_Y \cong \mathcal{O}_{\mathbb{P}^n}(d-n-1)|_Y. \end{align*} The sign of $K_Y$ is now read from the integer $d-n-1$ relative to the hyperplane class. If $d<n+1$, then $d-n-1<0$, so $K_Y$ is negative and \begin{align*} K_Y^{-1}\cong \mathcal{O}_{\mathbb{P}^n}(n+1-d)|_Y \end{align*} is positive. If $d=n+1$, then $d-n-1=0$, so \begin{align*} K_Y\cong \mathcal{O}_{\mathbb{P}^n}|_Y\cong \mathcal{O}_Y. \end{align*} If $d>n+1$, then $d-n-1>0$, so $K_Y$ is positive in the hyperplane direction. Thus one adjunction calculation turns the degree of the defining equation into the Fano, Calabi-Yau, or general type behaviour suggested by the canonical bundle. [/example] In dimension one, the same computation gives a numerical genus formula. Here the degree of the canonical bundle is tied to the genus by the Riemann surface identity $\deg K_C=2g(C)-2$. [example: Genus Formula for Smooth Plane Curves] Let $C\subset \mathbb{P}^2$ be a smooth plane curve of degree $d$. Its divisor line bundle in $\mathbb{P}^2$ is $\mathcal{O}_{\mathbb{P}^2}(C)\cong \mathcal{O}_{\mathbb{P}^2}(d)$, because $C$ is cut out by one homogeneous polynomial of degree $d$. By *Adjunction Formula for Smooth Divisors*, \begin{align*} K_C\cong (K_{\mathbb{P}^2}\otimes \mathcal{O}_{\mathbb{P}^2}(C))|_C. \end{align*} Using *Canonical Bundle of Projective Space*, $K_{\mathbb{P}^2}\cong \mathcal{O}_{\mathbb{P}^2}(-3)$, so \begin{align*} K_C\cong (\mathcal{O}_{\mathbb{P}^2}(-3)\otimes \mathcal{O}_{\mathbb{P}^2}(d))|_C. \end{align*} Since $\mathcal{O}_{\mathbb{P}^2}(a)\otimes \mathcal{O}_{\mathbb{P}^2}(b)\cong \mathcal{O}_{\mathbb{P}^2}(a+b)$, \begin{align*} K_C\cong \mathcal{O}_{\mathbb{P}^2}(d-3)|_C. \end{align*} The hyperplane bundle has degree $d$ on $C$: a general line in $\mathbb{P}^2$ meets the degree-$d$ curve $C$ in $d$ points, counted with multiplicity, so $\deg(\mathcal{O}_{\mathbb{P}^2}(1)|_C)=d$. Therefore \begin{align*} \deg(\mathcal{O}_{\mathbb{P}^2}(d-3)|_C)=(d-3)\deg(\mathcal{O}_{\mathbb{P}^2}(1)|_C)=(d-3)d. \end{align*} For a compact Riemann surface, $\deg K_C=2g(C)-2$, hence \begin{align*} 2g(C)-2=d(d-3). \end{align*} Adding $2$ to both sides gives \begin{align*} 2g(C)=d(d-3)+2=d^2-3d+2. \end{align*} Factoring the quadratic, \begin{align*} d^2-3d+2=(d-1)(d-2). \end{align*} Thus \begin{align*} g(C)=\frac{(d-1)(d-2)}{2}. \end{align*} For $d=1$, this gives $g(C)=0$; for $d=2$, it gives $g(C)=0$; and for $d=3$, it gives $g(C)=1$. These are the expected genera of lines, smooth conics, and smooth plane cubics. [/example] The chapter therefore ends with a useful synthesis. Riemann-Roch predicts the asymptotic number of sections, vanishing turns those sections into geometric control of linear systems, and adjunction computes the canonical classes of the embedded objects produced by those systems. These are the tools that later feed into deformation and moduli questions, where positivity is used not only to embed spaces but also to control their canonical geometry. # 6. Positivity for Vector Bundles This chapter moves from positivity of line bundles to positivity of holomorphic vector bundles. The new issue is that curvature has two kinds of indices: tangent directions on the base and fibre directions in the bundle. Griffiths and Nakano positivity are two natural ways of testing the same curvature tensor, and they lead to different geometric consequences. ## Curvature as a Hermitian Form in Two Sets of Variables For a line bundle, positivity means that the Chern curvature is a positive $(1,1)$-form on the base. For a vector bundle, the curvature is an endomorphism-valued $(1,1)$-form, so a positivity condition must say how this endomorphism acts on fibre vectors while also measuring tangent directions on the base. Let $X$ be a complex manifold of dimension $n$, and let $(E,h)$ be a Hermitian holomorphic vector bundle of rank $r$. In a local holomorphic frame $e_1,\dots,e_r$ and holomorphic coordinates $z_1,\dots,z_n$, write the Chern curvature as \begin{align*} \Theta(E,h)=\sum_{i,j=1}^{n}\sum_{\alpha,\beta=1}^{r} R_{i\bar j\alpha\bar\beta}\, dz_i\wedge d\bar z_j\otimes e_\alpha^*\otimes e_\beta. \end{align*} The coefficients are best understood after choosing the frame to be unitary at the point under consideration. [definition: Griffiths Positivity] A Hermitian holomorphic vector bundle $(E,h)$ is Griffiths positive if, for every point $x\in X$, every nonzero tangent vector $\xi\in T_xX$, and every nonzero vector $v\in E_x$, \begin{align*} \sum_{i,j=1}^{n}\sum_{\alpha,\beta=1}^{r} R_{i\bar j\alpha\bar\beta}(x)\,\xi_i\bar\xi_j v_\alpha\bar v_\beta>0. \end{align*} It is Griffiths semipositive if the same expression is nonnegative for all such $x$, $\xi$, and $v$. [/definition] Griffiths positivity tests decomposable tensors $\xi\otimes v\in T_xX\otimes E_x$. This is the condition most directly tied to holomorphic maps into projective space, quotient bundles, and fibrewise curvature estimates. [example: Line Bundles Recover the Usual Positivity] Let $(L,h)$ be a Hermitian holomorphic line bundle, and fix a point $x\in X$. Choose a local holomorphic frame $e$ for $L$ that is unitary at $x$, so every fibre vector has the form $v=a e_x$ with $a\in\mathbb C$ and $|v|_h^2=|a|^2$. In rank one the curvature has coefficients $R_{i\bar j 1\bar 1}$, so write $R_{i\bar j}=R_{i\bar j1\bar 1}$ and \begin{align*} \Theta(L,h)=\sum_{i,j=1}^{n}R_{i\bar j}\,dz_i\wedge d\bar z_j . \end{align*} For a tangent vector $\xi=\sum_i \xi_i\partial_{z_i}$, the Griffiths expression becomes \begin{align*} \sum_{i,j=1}^{n}R_{i\bar j}(x)\xi_i\bar\xi_j\,a\bar a=|a|^2\sum_{i,j=1}^{n}R_{i\bar j}(x)\xi_i\bar\xi_j . \end{align*} Since $v\ne 0$ exactly means $|a|^2>0$, the sign of the Griffiths expression for all nonzero $v$ is exactly the sign of the scalar curvature expression \begin{align*} \sum_{i,j=1}^{n}R_{i\bar j}(x)\xi_i\bar\xi_j . \end{align*} Thus Griffiths positivity for $(L,h)$ is precisely positivity of the real $(1,1)$-form $i\Theta(L,h)$ on nonzero tangent directions. This fixes the normalization: the vector bundle definition restricts to the usual positivity condition for line bundles. [/example] The rank-one example shows that Griffiths positivity has the correct line bundle limit, but it also exposes a limitation: Griffiths positivity tests only decomposable tensors. The Bochner identities for bundle-valued forms require positivity on general tensors with one tangent index and one fibre index. This motivates the following definition, whose test objects match the analytic curvature term rather than only rank-one directions. [definition: Nakano Positivity] A Hermitian holomorphic vector bundle $(E,h)$ is Nakano positive if, for every point $x\in X$ and every nonzero tensor $u=\sum_{i,\alpha}u_{i\alpha}\,\partial_{z_i}\otimes e_\alpha\in T_xX\otimes E_x$, \begin{align*} \sum_{i,j=1}^{n}\sum_{\alpha,\beta=1}^{r} R_{i\bar j\alpha\bar\beta}(x)\,u_{i\alpha}\overline{u_{j\beta}}>0. \end{align*} It is Nakano semipositive if the same expression is nonnegative for all such $x$ and $u$. [/definition] Nakano positivity tests all tensors, while Griffiths positivity tests only rank-one tensors. The obstruction in comparing them is that a curvature tensor may look positive on every decomposable direction $\xi\otimes v$ while still failing to be positive on a general linear combination of such directions. Since later arguments use both quotient geometry and Bochner identities, we need to know which implication is genuinely available before applying either positivity hypothesis. [quotetheorem:3861] [citeproof:3861] This implication explains why Nakano positivity is more useful for vanishing theorems: it is the positivity seen by $E$-valued differential forms, not only by single tangent and fibre directions. The theorem is deliberately one-sided. Griffiths positivity controls the curvature only on rank-one tensors $\xi\otimes v$, while Nakano positivity asks for positivity on arbitrary sums $\sum_{i,\alpha}u_{i\alpha}\partial_{z_i}\otimes e_\alpha$; a Hermitian form can be positive on decomposable tensors without being positive on the whole tensor product. In higher rank this leaves room for Griffiths-positive bundles that fail to be Nakano positive, so later vanishing arguments cannot replace the Nakano hypothesis by the Griffiths one. [example: A Positive Line Bundle Tensor a Flat Vector Space] Let $x\in X$, choose a local holomorphic frame $e$ for $L$ that is unitary at $x$, and choose an [orthonormal basis](/page/Orthonormal%20Basis) $f_1,\dots,f_s$ of $V$. Write the curvature of $L$ at $x$ as \begin{align*} \Theta(L,h_L)=\sum_{i,j=1}^{n}R^L_{i\bar j}(x)\,dz_i\wedge d\bar z_j . \end{align*} The flat connection on the constant factor $V$ has zero curvature, so the tensor product connection on $E=L\otimes V$ satisfies \begin{align*} \Theta(E)=\Theta(L)\otimes \operatorname{id}_V . \end{align*} Thus, in the frame $e\otimes f_1,\dots,e\otimes f_s$, the curvature coefficients are \begin{align*} R^E_{i\bar j\gamma\bar\delta}(x)=R^L_{i\bar j}(x)\delta_{\gamma\delta}. \end{align*} Now take a nonzero tensor \begin{align*} u=\sum_{i=1}^{n}\sum_{\gamma=1}^{s}u_{i\gamma}\,\partial_{z_i}\otimes(e_x\otimes f_\gamma)\in T_xX\otimes E_x . \end{align*} Its Nakano curvature expression is \begin{align*} \sum_{i,j=1}^{n}\sum_{\gamma,\delta=1}^{s}R^E_{i\bar j\gamma\bar\delta}(x)u_{i\gamma}\overline{u_{j\delta}}=\sum_{i,j=1}^{n}\sum_{\gamma,\delta=1}^{s}R^L_{i\bar j}(x)\delta_{\gamma\delta}u_{i\gamma}\overline{u_{j\delta}}. \end{align*} Since $\delta_{\gamma\delta}=0$ for $\gamma\ne\delta$ and $\delta_{\gamma\gamma}=1$, this becomes \begin{align*} \sum_{\gamma=1}^{s}\sum_{i,j=1}^{n}R^L_{i\bar j}(x)u_{i\gamma}\overline{u_{j\gamma}}. \end{align*} For each fixed $\gamma$, the vector $\eta^{(\gamma)}=\sum_i u_{i\gamma}\partial_{z_i}$ is a tangent vector at $x$, so positivity of $i\Theta(L,h_L)$ gives \begin{align*} \sum_{i,j=1}^{n}R^L_{i\bar j}(x)u_{i\gamma}\overline{u_{j\gamma}}\ge 0, \end{align*} with strict positivity whenever $\eta^{(\gamma)}\ne 0$. Because $u\ne 0$, at least one $\eta^{(\gamma)}$ is nonzero, so the displayed sum over $\gamma$ is strictly positive. Therefore $L\otimes V$ is Nakano positive; in this scalar-curvature situation, the Nakano test is just the positive line bundle curvature applied separately to each flat fibre component. [/example] ## Positivity Under Standard Bundle Operations Once positivity is defined through curvature, the next question is how it behaves under the operations used throughout complex geometry: tensor products, duals, determinants, quotients, and symmetric powers. These rules let us pass from explicit positive line bundles to less elementary vector bundles. For tensor products, the Chern connection is compatible with the tensor [product metric](/page/Product%20Metric). The required curvature formula is the bookkeeping rule that later allows positive line bundle twists to dominate fixed curvature terms. [quotetheorem:9111] [citeproof:9111] The formula says that tensoring by a positive line bundle shifts every curvature direction in the positive direction. This is the mechanism behind twisting arguments in vanishing theorems. There is, however, a useful warning: tensor product positivity for higher-rank bundles is more delicate than the displayed sum may suggest. Griffiths positivity behaves well in several tensor constructions, but Nakano positivity is not preserved by simply tensoring two Nakano-positive bundles in the same naive way; the line-bundle twist is special because its curvature acts as a scalar positive form on every fibre direction. [example: Twisting by a Positive Line Bundle] Let $(E,h_E)$ be a Hermitian holomorphic vector bundle on a compact complex manifold, and let $(L,h_L)$ be a positive line bundle. Choose local frames unitary at a point $x$. By the tensor product curvature rule and the identity $\Theta(L^m)=m\Theta(L)$, the curvature coefficients of $E\otimes L^m$ are \begin{align*} R^{E\otimes L^m}_{i\bar j\alpha\bar\beta}(x)=R^E_{i\bar j\alpha\bar\beta}(x)+mR^L_{i\bar j}(x)\delta_{\alpha\beta}. \end{align*} For a tensor $u=\sum_{i,\alpha}u_{i\alpha}\partial_{z_i}\otimes e_\alpha\otimes \ell^{\otimes m}$, the Nakano curvature expression is therefore \begin{align*} Q_m(u)=\sum_{i,j,\alpha,\beta}R^E_{i\bar j\alpha\bar\beta}(x)u_{i\alpha}\overline{u_{j\beta}}+m\sum_{i,j,\alpha}R^L_{i\bar j}(x)u_{i\alpha}\overline{u_{j\alpha}}. \end{align*} Since $X$ is compact, the fixed curvature form of $E$ has a uniform lower bound: for some $C\ge 0$, \begin{align*} \sum_{i,j,\alpha,\beta}R^E_{i\bar j\alpha\bar\beta}(x)u_{i\alpha}\overline{u_{j\beta}}\ge -C\sum_{i,\alpha}|u_{i\alpha}|^2. \end{align*} Positivity of $L$ gives a uniform constant $c>0$ such that \begin{align*} \sum_{i,j}R^L_{i\bar j}(x)\eta_i\overline{\eta_j}\ge c\sum_i|\eta_i|^2 \end{align*} for every tangent vector $\eta=\sum_i\eta_i\partial_{z_i}$. Applying this to each fibre component $\eta^{(\alpha)}=\sum_i u_{i\alpha}\partial_{z_i}$ gives \begin{align*} \sum_{i,j,\alpha}R^L_{i\bar j}(x)u_{i\alpha}\overline{u_{j\alpha}}\ge c\sum_{i,\alpha}|u_{i\alpha}|^2. \end{align*} Hence \begin{align*} Q_m(u)\ge (mc-C)\sum_{i,\alpha}|u_{i\alpha}|^2. \end{align*} If $m>C/c$, this is strictly positive for every nonzero $u$, so $E\otimes L^m$ is Nakano positive. Thus a sufficiently positive line bundle twist overwhelms the fixed curvature of $E$, which is the curvature mechanism behind the usual vanishing theorems for large twists. [/example] Tensor products add curvature, whereas dualisation should reverse the sign because the dual connection preserves the natural pairing. We need the exact formula because quotient and subbundle curvature comparisons are often proved after dualising a sequence. [quotetheorem:9112] [citeproof:9112] Because the dual reverses signs, not every useful construction preserves positivity. The determinant is different: it compresses the curvature of a rank-$r$ bundle to the curvature of a line bundle, so it should retain the trace part of positivity rather than reverse it. This motivates the following determinant formula, which will be used to compare vector bundle positivity with positivity of line bundles. [quotetheorem:9113] [citeproof:9113] A useful consequence is that Griffiths positivity of $E$ forces positivity of $\det E$ by summing the positive diagonal fibre directions. The determinant loses information, and the following example shows both what is preserved and what can be lost when passing to a line bundle. [example: Determinant of a Direct Sum of Positive Line Bundles] Let $E=L_1\oplus\cdots\oplus L_r$ with the orthogonal direct sum metric, and choose local frames $\ell_\alpha$ for $L_\alpha$ that are unitary at a point $x$. In the induced frame $\ell_1,\dots,\ell_r$ of $E$, the direct sum connection preserves the summands, so the curvature matrix is diagonal in the fibre indices: \begin{align*} R^E_{i\bar j\alpha\bar\beta}(x)=0 \text{ for } \alpha\ne\beta,\quad R^E_{i\bar j\alpha\bar\alpha}(x)=R^{L_\alpha}_{i\bar j}(x). \end{align*} Since $\det E=L_1\otimes\cdots\otimes L_r$, the determinant frame is $\ell_1\wedge\cdots\wedge \ell_r$. The [determinant curvature formula](/theorems/9113) gives \begin{align*} R^{\det E}_{i\bar j}(x)=\sum_{\alpha=1}^{r}R^E_{i\bar j\alpha\bar\alpha}(x). \end{align*} Substituting the diagonal entries of the direct sum curvature gives \begin{align*} R^{\det E}_{i\bar j}(x)=\sum_{\alpha=1}^{r}R^{L_\alpha}_{i\bar j}(x). \end{align*} Equivalently, \begin{align*} \Theta(\det E)=\Theta(L_1)+\cdots+\Theta(L_r). \end{align*} If each $L_\alpha$ is positive, then for every nonzero tangent vector $\xi=\sum_i\xi_i\partial_{z_i}$, \begin{align*} \sum_{i,j}R^{L_\alpha}_{i\bar j}(x)\xi_i\bar\xi_j>0 \end{align*} for each $\alpha$. Therefore \begin{align*} \sum_{i,j}R^{\det E}_{i\bar j}(x)\xi_i\bar\xi_j=\sum_{\alpha=1}^{r}\sum_{i,j}R^{L_\alpha}_{i\bar j}(x)\xi_i\bar\xi_j>0. \end{align*} Thus $\det E$ is positive. The converse loses information. If $A$ is positive and $M$ is a flat line bundle, then \begin{align*} \det(A\oplus M)=A\otimes M. \end{align*} The curvature of $M$ is zero, so \begin{align*} \Theta(A\otimes M)=\Theta(A)+\Theta(M)=\Theta(A). \end{align*} Hence $\det(A\oplus M)$ is positive, while the flat summand $M$ is not positive. The determinant records only the trace of the curvature, not positivity of each direct summand. [/example] Determinants are line bundle shadows of vector bundle curvature, but many natural bundles arise as quotients rather than determinants. Since universal quotient bundles on projective space are basic examples in moduli constructions, we need a positivity rule that survives passage to quotient metrics. [quotetheorem:9114] [citeproof:9114] The corresponding statement for subbundles has the opposite second fundamental form sign, so positivity need not pass to subbundles. This asymmetry is a recurring theme in using projective bundles and universal quotient bundles. [example: The Universal Quotient Bundle on Projective Space] On $\mathbb P^n$, the Euler sequence \begin{align*} 0\longrightarrow \mathcal O_{\mathbb P^n}(-1)\longrightarrow \mathcal O_{\mathbb P^n}^{\oplus(n+1)}\longrightarrow Q\longrightarrow 0 \end{align*} defines the universal quotient bundle $Q$. Put the standard flat Hermitian metric on $\mathcal O_{\mathbb P^n}^{\oplus(n+1)}$ and give $Q$ the quotient metric. Since $Q$ is a quotient of a flat Griffiths semipositive bundle, the quotient curvature formula, as in *Griffiths Positivity Descends to Quotients*, gives Griffiths semipositivity. At the point $p=[1:0:\cdots:0]$, use affine coordinates $z_1,\dots,z_n$ and write the tautological vector as \begin{align*} s(z)=e_0+z_1e_1+\cdots+z_ne_n . \end{align*} Its squared norm is \begin{align*} |s(z)|^2=1+|z_1|^2+\cdots+|z_n|^2 . \end{align*} The unit local frame of $\mathcal O_{\mathbb P^n}(-1)$ is therefore \begin{align*} \sigma(z)=\frac{e_0+z_1e_1+\cdots+z_ne_n}{(1+|z_1|^2+\cdots+|z_n|^2)^{1/2}} . \end{align*} At $p$, the derivative in the $z_i$-direction satisfies \begin{align*} \frac{\partial \sigma}{\partial z_i}(p)=e_i , \end{align*} because $\partial(1+\sum_k |z_k|^2)^{-1/2}/\partial z_i$ is $-\bar z_i(1+\sum_k|z_k|^2)^{-3/2}/2$, which vanishes at $z=0$. Under the quotient identification $Q_p\simeq \langle e_1,\dots,e_n\rangle$, the second fundamental form sends \begin{align*} \partial_{z_i}\otimes \sigma(p)\longmapsto e_i . \end{align*} For $\xi=\sum_i\xi_i\partial_{z_i}$ and $v=\sum_i v_i e_i\in Q_p$, the quotient curvature contribution is the square of the adjoint second fundamental form: \begin{align*} \langle \Theta(Q)(\xi,\bar\xi)v,v\rangle=\left|\sum_{i=1}^{n}\xi_i\overline{v_i}\right|^2 . \end{align*} This is always nonnegative, so $Q$ is Griffiths semipositive. The formula also shows exactly where positivity is present: it is strict when the quotient vector $v$ has a nonzero component in the Fubini-Study direction determined by $\xi$, while it can vanish for nonzero $v$ orthogonal to that direction. [/example] The quotient example explains many first positive vector bundles, while symmetric powers are needed to encode higher-order sections and projective embeddings. Since the Chern connection is functorial under representations of the structure group, the curvature of $S^mE$ should be controlled by the curvature of $E$. The next theorem records this induced-curvature rule and its consequence for Griffiths semipositivity. [quotetheorem:9115] [citeproof:9115] This functorial rule explains why symmetric powers appear naturally in moduli methods: they preserve Griffiths positivity while encoding higher-order algebraic data. The statement is phrased for Griffiths semipositivity on purpose. The proof ultimately tests curvature against decomposable tangent-fibre directions in $T_xX\otimes S^mE_x$, where symmetric tensors can be handled by the induced representation and polarisation; Nakano positivity would require control on all tensors with one tangent index and one $S^mE$-index. That stronger assertion is not a formal consequence of the same argument and is a separate, subtler question. ## Vanishing from Positive Line Bundles The vector bundle positivity story has a rank-one shadow where the analytic conclusion is especially clean. The guiding question is: if a holomorphic line bundle $L$ carries positive curvature, which Dolbeault cohomology groups of forms with values in $L$ must vanish? Let $X$ be a compact Kähler manifold and let $L$ be a positive holomorphic line bundle on $X$. In rank one the Griffiths and Nakano curvature tests coincide, so the Bochner-Kodaira-Nakano identity reduces to the classical Kodaira-Nakano vanishing statement for $L$-valued forms. This is the line-bundle vanishing theorem that the later examples use as the basic model. [quotetheorem:3862] [citeproof:3862] Conceptually, the theorem says that positivity of $L$ supplies a curvature term strong enough to rule out harmonic representatives in the forbidden bidegrees. The compact Kähler hypothesis is part of the analytic mechanism: it gives Hodge theory, adjoints for $\bar\partial$, and the integration-by-parts framework in which harmonic representatives detect Dolbeault cohomology. The inequality $p+q>n$ is also a real boundary condition rather than a cosmetic index range. Below or on the boundary, examples from projective space and ordinary Hodge cohomology show that forms can survive even when the line bundle geometry is highly controlled. This is a line-bundle result, not the full vector-bundle [Nakano vanishing theorem](/theorems/3863). Its role here is to isolate the rank-one case where curvature positivity, Nakano positivity, and the scalar Chern form line up with no additional tensorial bookkeeping. Later vector-bundle statements require stronger positivity hypotheses because the Bochner curvature term must be tested on all relevant tensor directions, not just on a single line-bundle factor. [example: Kodaira Vanishing as a Rank-One Case] Let $L$ be a positive line bundle on a compact Kähler manifold $X$, and fix $x\in X$. Choose a local frame $\ell$ for $L$ that is unitary at $x$. Since $L$ has rank one, every tensor in $T_xX\otimes L_x$ has the form \begin{align*} u=\sum_{i=1}^{n}u_i\,\partial_{z_i}\otimes \ell_x . \end{align*} The Nakano curvature expression is therefore \begin{align*} \sum_{i,j=1}^{n}R^L_{i\bar j1\bar 1}(x)u_i\overline{u_j}. \end{align*} Writing $R^L_{i\bar j}=R^L_{i\bar j1\bar 1}$, this is exactly \begin{align*} \sum_{i,j=1}^{n}R^L_{i\bar j}(x)u_i\overline{u_j}, \end{align*} the scalar curvature form of $L$ evaluated on the tangent vector $\eta=\sum_i u_i\partial_{z_i}$. Thus positivity of $L$ as a line bundle is the same condition as Nakano positivity in rank one. Applying the quoted Nakano vanishing theorem card with $E=L$ gives \begin{align*} H^q(X,K_X\otimes L)=0 \end{align*} for every $q\ge 1$. This is precisely Kodaira vanishing in its analytic form. [/example] The rank-one case recovers a theorem from earlier in the course, but the vector bundle statement also gives a route to eventual vanishing for arbitrary fixed bundles. The remaining question is how to manufacture Nakano positivity when the original bundle has uncontrolled curvature. [quotetheorem:9116] [citeproof:9116] The result is analytic in proof but algebraic in spirit: positive twists eventually remove higher cohomology. This is one of the mechanisms behind embedding theorems, Hilbert polynomial arguments, and the construction of moduli spaces. [example: Tangent Bundle of Projective Space] The Euler sequence identifies $T\mathbb P^n$ as a holomorphic quotient of a positive direct sum: \begin{align*} 0\longrightarrow \mathcal O_{\mathbb P^n}\longrightarrow \mathcal O_{\mathbb P^n}(1)^{\oplus(n+1)}\longrightarrow T\mathbb P^n\longrightarrow 0. \end{align*} Put the Fubini-Study metric on $H=\mathcal O_{\mathbb P^n}(1)$ and the orthogonal direct sum metric on $H^{\oplus(n+1)}$. At a point $p\in \mathbb P^n$, choose a local frame of $H$ that is unitary at $p$, and use the induced orthonormal frame of $H^{\oplus(n+1)}$. Since the direct sum connection preserves the summands, its curvature coefficients are \begin{align*} R^{H^{\oplus(n+1)}}_{i\bar j\alpha\bar\beta}(p)=R^H_{i\bar j}(p)\delta_{\alpha\beta}. \end{align*} For a nonzero tangent vector $\xi=\sum_i\xi_i\partial_{z_i}$ and a nonzero fibre vector $v=\sum_{\alpha=0}^{n}v_\alpha e_\alpha$, the Griffiths curvature expression is \begin{align*} \sum_{i,j}\sum_{\alpha,\beta}R^{H^{\oplus(n+1)}}_{i\bar j\alpha\bar\beta}(p)\xi_i\bar\xi_jv_\alpha\bar v_\beta=\sum_{i,j}\sum_{\alpha,\beta}R^H_{i\bar j}(p)\delta_{\alpha\beta}\xi_i\bar\xi_jv_\alpha\bar v_\beta. \end{align*} Using $\delta_{\alpha\beta}=0$ for $\alpha\ne\beta$ and $\delta_{\alpha\alpha}=1$, this becomes \begin{align*} \sum_{\alpha=0}^{n}|v_\alpha|^2\sum_{i,j}R^H_{i\bar j}(p)\xi_i\bar\xi_j=\left(\sum_{\alpha=0}^{n}|v_\alpha|^2\right)\left(\sum_{i,j}R^H_{i\bar j}(p)\xi_i\bar\xi_j\right). \end{align*} The first factor is positive because $v\ne 0$, and the second factor is positive because the Fubini-Study metric makes $\mathcal O_{\mathbb P^n}(1)$ positive. Hence $\mathcal O_{\mathbb P^n}(1)^{\oplus(n+1)}$ is Griffiths positive. Now give $T\mathbb P^n$ the quotient metric induced by the Euler sequence. For a nonzero vector $w\in T_p\mathbb P^n$, its horizontal lift $\tilde w\in H_p^{\oplus(n+1)}$ is nonzero. By *Griffiths Positivity Descends to Quotients*, the quotient curvature in the direction $(\xi,w)$ is the ambient Griffiths curvature in the direction $(\xi,\tilde w)$ plus a nonnegative second fundamental form term. The ambient term is already strictly positive, so $T\mathbb P^n$ is Griffiths positive. This realizes projective space as the basic model whose holomorphic tangent bundle has positive Griffiths curvature. [/example] Griffiths positivity of $T\mathbb P^n$ should not be confused with Nakano positivity in arbitrary examples. The tangent bundle of projective space has exceptionally strong symmetry, while general vector bundles may satisfy only one of the two positivity notions or neither. [remark: Positivity Notions Compared] For line bundles, Griffiths positivity, Nakano positivity, and positivity of the Chern form are the same condition. For higher-rank bundles, Nakano positivity implies Griffiths positivity, but the reverse implication is not available in general. Griffiths positivity behaves well under quotients and projectivisation, while Nakano positivity is the condition naturally suited to Bochner identities and vanishing theorems. [/remark] The chapter closes the bridge from line bundle positivity to vector bundle methods. The next part of the course uses these curvature notions to control direct images, variations of Hodge structure, and the positivity phenomena that enter moduli theory. # 7. Deformation Theory of Complex Manifolds Deformation theory asks how a fixed compact complex manifold $X$ can move inside families of complex manifolds. In earlier chapters, positivity and vanishing gave cohomological control over holomorphic objects; here the same cohomology groups measure the tangent and obstruction spaces for moduli. The guiding principle is that first-order changes of the complex structure live in $H^1(X,T_X)$, while failures to extend them to higher order are detected in $H^2(X,T_X)$. ## Infinitesimal Deformations and the Kodaira-Spencer Class The first question is how to record the derivative of a family of complex manifolds. A deformation is not merely a collection of nearby smooth manifolds: the underlying differentiable family may be locally constant while the complex structure varies. The correct invariant should be intrinsic on the central fibre and should ignore changes coming from reparametrising the family. [definition: Deformation of a Compact Complex Manifold] Let $X$ be a compact complex manifold. A deformation of $X$ over a pointed complex space $(S,0)$ is a proper holomorphic submersion $\pi:\mathcal X \to S$ together with an isomorphism $\pi^{-1}(0) \cong X$. [/definition] After choosing such an identification, the fibres $X_s=\pi^{-1}(s)$ are smooth compact complex manifolds for $s$ near $0$. To study the tangent space to the deformation problem, we replace the base by its first-order neighbourhood at the marked point. [definition: Infinitesimal Deformation] An infinitesimal deformation of $X$ is a deformation over the dual numbers $\operatorname{Spec}\mathbb C[\varepsilon]/(\varepsilon^2)$, or analytically a first-order variation of the complex structure on the underlying smooth manifold of $X$. [/definition] An infinitesimal deformation should now be converted into a cohomology class on $X$. The local computation is made by differentiating the Dolbeault operator, and the quotient by coordinate changes will appear as quotienting by exact terms. [definition: Kodaira-Spencer Class] Let $\pi:\mathcal X\to S$ be a deformation of $X$. The Kodaira-Spencer map of the deformation is the [linear map](/page/Linear%20Map) \begin{align*} \rho_\pi:T_{S,0}\to H^1(X,T_X), \qquad v\mapsto [\dot{\bar\partial}_v], \end{align*} where $\dot{\bar\partial}_v$ is the first-order variation in the direction $v$ of the Dolbeault operator \begin{align*} \bar\partial:A^0(X,T_X)\to A^{0,1}(X,T_X). \end{align*} [/definition] This class is independent of the local differentiable trivialisation used to compute it. The remaining issue is whether this cohomology class has lost information: two first-order changes of complex structure can differ by an infinitesimal change of coordinates, while genuinely different deformations should survive that gauge ambiguity. The deformation problem therefore needs an intrinsic tangent space that identifies coordinate artefacts and keeps only the actual first-order variation. [quotetheorem:9117] [citeproof:9117] The theorem identifies the Zariski tangent space to the deformation problem, and both parts of the statement matter. Quotienting by infinitesimal changes of coordinates is essential: even the constant family $X\times S\to S$ can acquire a nonzero-looking first-order variation after applying a base-dependent family of diffeomorphisms, but the resulting representative is $\bar\partial\xi$ and must define the zero deformation class. Compactness is also part of the finite-dimensional deformation picture; for a noncompact complex manifold such as the unit disc, the space of holomorphic vector fields is already infinite-dimensional, and the elliptic Fredholm argument behind finite-dimensional cohomological control no longer applies in this form. The theorem therefore describes compact deformation theory modulo gauge, not arbitrary variations of complex coordinates on an open manifold. It does not say that every class integrates to an actual curve of complex manifolds; before turning to that obstruction question, we record the basic curve case where the tangent space has a familiar dimension. [example: Compact Riemann Surfaces Are Infinitesimally Governed by Quadratic Differentials] Let $C$ be a compact Riemann surface of genus $g$. By *[Kodaira-Spencer Correspondence](/theorems/9117)*, its infinitesimal deformation space is $H^1(C,T_C)$. Since $T_C^\vee=K_C$, *Serre duality* gives \begin{align*} H^1(C,T_C)^\vee \cong H^0(C,K_C\otimes T_C^\vee)=H^0(C,K_C\otimes K_C)=H^0(C,K_C^{\otimes 2}). \end{align*} Thus infinitesimal deformations are dual to holomorphic quadratic differentials, and \begin{align*} \dim_{\mathbb C}H^1(C,T_C)=h^0(C,K_C^{\otimes 2}). \end{align*} We compute this dimension by *Riemann-Roch*. For the line bundle $L=K_C^{\otimes 2}$, \begin{align*} h^0(C,K_C^{\otimes 2})-h^0(C,K_C\otimes (K_C^{\otimes 2})^{-1})=\deg(K_C^{\otimes 2})+1-g. \end{align*} Since $K_C\otimes (K_C^{\otimes 2})^{-1}=K_C^{-1}$ and $\deg K_C=2g-2$, this becomes \begin{align*} h^0(C,K_C^{\otimes 2})-h^0(C,K_C^{-1})=2(2g-2)+1-g=3g-3. \end{align*} If $g\ge 2$, then $\deg K_C^{-1}=2-2g<0$, so $H^0(C,K_C^{-1})=0$, and hence \begin{align*} h^0(C,K_C^{\otimes 2})=3g-3. \end{align*} If $g=1$, then $K_C\cong\mathcal O_C$, so $K_C^{\otimes 2}\cong\mathcal O_C$ and \begin{align*} h^0(C,K_C^{\otimes 2})=h^0(C,\mathcal O_C)=1. \end{align*} If $g=0$, then $C\cong\mathbb P^1$ and $K_C^{\otimes 2}\cong\mathcal O_{\mathbb P^1}(-4)$, so \begin{align*} h^0(C,K_C^{\otimes 2})=h^0(\mathbb P^1,\mathcal O_{\mathbb P^1}(-4))=0. \end{align*} Therefore $\dim H^1(C,T_C)$ is $0$ for $g=0$, $1$ for $g=1$, and $3g-3$ for $g\ge 2$, matching the expected local dimension of the moduli space of smooth curves. [/example] This example explains why the tangent cohomology is geometrically meaningful: it recovers the standard dimension count for curves. Another basic test case is projective space, where positivity and the Euler sequence force the tangent space to vanish. [example: Rigidity of Projective Space] For $X=\mathbb P^n$, with $n\ge 1$, the Euler sequence is \begin{align*} 0\to \mathcal O_{\mathbb P^n}\to \mathcal O_{\mathbb P^n}(1)^{\oplus(n+1)}\to T_{\mathbb P^n}\to 0. \end{align*} Taking cohomology gives the exact segment \begin{align*} H^1(\mathbb P^n,\mathcal O_{\mathbb P^n}(1)^{\oplus(n+1)})\to H^1(\mathbb P^n,T_{\mathbb P^n})\to H^2(\mathbb P^n,\mathcal O_{\mathbb P^n}). \end{align*} By the standard cohomology of line bundles on projective space, \begin{align*} H^1(\mathbb P^n,\mathcal O_{\mathbb P^n}(1))=0. \end{align*} Therefore \begin{align*} H^1(\mathbb P^n,\mathcal O_{\mathbb P^n}(1)^{\oplus(n+1)})=H^1(\mathbb P^n,\mathcal O_{\mathbb P^n}(1))^{\oplus(n+1)}=0. \end{align*} The same line-bundle cohomology gives \begin{align*} H^2(\mathbb P^n,\mathcal O_{\mathbb P^n})=0. \end{align*} Exactness now forces the middle group to vanish: \begin{align*} H^1(\mathbb P^n,T_{\mathbb P^n})=0. \end{align*} By *Kodaira-Spencer Correspondence*, first-order deformations modulo infinitesimal coordinate changes are classified by $H^1(\mathbb P^n,T_{\mathbb P^n})$, so $\mathbb P^n$ has no nonzero first-order deformations. By *Kuranishi Theorem*, the local deformation base has Zariski tangent space $H^1(\mathbb P^n,T_{\mathbb P^n})=0$, hence the local base is a point and every sufficiently small deformation is locally analytically isomorphic to the constant family. Thus projective space is rigid. [/example] ## Obstructions and the Maurer-Cartan Equation The next problem is to decide when a first-order class in $H^1(X,T_X)$ is the tangent vector to an actual family. A complex structure is constrained by integrability, and beyond first order that condition becomes nonlinear. The nonlinearity is expressed by the Maurer-Cartan equation. [definition: Beltrami Differential] A Beltrami differential on a complex manifold $X$ is an element \begin{align*} \varphi \in A^{0,1}(X,T_X), \end{align*} viewed as a deformation term modifying the Dolbeault operator on functions. [/definition] A Beltrami differential supplies the variable in the deformation equation. This motivates the Maurer-Cartan equation: it is the integrability condition that distinguishes genuine complex structures from arbitrary almost complex structures. [definition: Maurer-Cartan Equation] Let $X$ be a complex manifold and let $\varphi\in A^{0,1}(X,T_X)$. The Maurer-Cartan equation for an integrable deformation is \begin{align*} \bar\partial\varphi + \frac{1}{2}[\varphi,\varphi]=0, \end{align*} where $[\varphi,\varphi]\in A^{0,2}(X,T_X)$ is induced by the Lie bracket of vector fields. [/definition] The linear term in this equation is the first-order condition from the Kodaira-Spencer correspondence. The bracket term is the new feature, and expanding the equation in a parameter produces the first obstruction class. [quotetheorem:9118] [citeproof:9118] The primary obstruction is the first member of a sequence of possible obstruction classes, so its vanishing is necessary but not by itself a full existence theorem. If the class vanishes, one may choose $\varphi_2$, but higher powers of $t$ can still create further conditions; this is the basic limitation of reading deformation theory only from the quadratic term. The compactness hypothesis keeps the Dolbeault cohomology groups finite-dimensional and allows these obstruction classes to be treated as local analytic equations rather than uncontrolled infinite-dimensional data. A useful boundary case is a compact Riemann surface $C$, where $H^2(C,T_C)=0$ for dimensional reasons, so the obstruction target disappears entirely. At the opposite extreme, if for some representative $\varphi_1$ the class $[\frac{1}{2}[\varphi_1,\varphi_1]]$ is nonzero, the displayed second-order equation has no solution for $\varphi_2$, so that first-order class cannot come from a second-order deformation. The common target for these conditions receives a name. [definition: Obstruction Space] For the deformation functor of a compact complex manifold $X$, the cohomology group $H^2(X,T_X)$ is called the obstruction space for deformations of the complex structure. [/definition] The word "space" here does not mean that every element of $H^2(X,T_X)$ occurs as an obstruction. In complex dimension $1$, this target vanishes, which gives the fundamental unobstructedness result for compact Riemann surfaces. [example: Unobstructed Deformations of Compact Riemann Surfaces] Let $C$ be a compact Riemann surface, so $\dim_{\mathbb C}C=1$. Hence there are no nonzero $T_C$-valued $(0,2)$-forms: \begin{align*} A^{0,2}(C,T_C)=0. \end{align*} In the Dolbeault model for sheaf cohomology, this gives \begin{align*} H^2(C,T_C)=\frac{\ker\bigl(\bar\partial:A^{0,2}(C,T_C)\to A^{0,3}(C,T_C)\bigr)}{\operatorname{im}\bigl(\bar\partial:A^{0,1}(C,T_C)\to A^{0,2}(C,T_C)\bigr)}=\frac{0}{0}=0. \end{align*} Therefore the obstruction space for deformations of $C$ is zero. By *Vanishing of the Obstruction Space Implies Smooth Local Deformations*, the Kuranishi base is smooth near the origin and has tangent space $H^1(C,T_C)$. Thus every first-order deformation class in $H^1(C,T_C)$ occurs as the tangent vector of a local analytic deformation of the complex structure. [/example] Riemann surfaces are therefore a model case where tangent space information is enough. Complex tori give a higher-dimensional test case where the first-order space can still be computed explicitly. [example: First-Order Deformations of Complex Tori] Let $X=V/\Lambda$ be a complex torus of dimension $n$, with $V\cong\mathbb C^n$. Translation on $V$ descends to translation on $X$, and the constant vector fields on $V$ descend to a global frame of $T_X$. Hence \begin{align*} T_X\cong \mathcal O_X\otimes_{\mathbb C} V. \end{align*} Taking cohomology and using that tensoring with the fixed vector space $V$ is exact gives \begin{align*} H^1(X,T_X)\cong H^1(X,\mathcal O_X)\otimes_{\mathbb C}V. \end{align*} Choose linear coordinates $z_1,\ldots,z_n$ on $V\cong\mathbb C^n$. The translation-invariant forms $d\overline z_1,\ldots,d\overline z_n$ descend to $X$, and the standard Dolbeault computation for complex tori identifies their classes as a basis of $H^1(X,\mathcal O_X)=H^{0,1}(X)$. Therefore \begin{align*} \dim_{\mathbb C}H^1(X,\mathcal O_X)=n. \end{align*} Since $\dim_{\mathbb C}V=n$, the tensor product formula gives \begin{align*} \dim_{\mathbb C}H^1(X,T_X)=\dim_{\mathbb C}H^1(X,\mathcal O_X)\cdot \dim_{\mathbb C}V=n\cdot n=n^2. \end{align*} Thus the first-order deformation space of an $n$-dimensional complex torus has dimension $n^2$. Geometrically, these infinitesimal deformations change the complex subspace $V\subset \Lambda\otimes_{\mathbb Z}\mathbb C$ while keeping the underlying real torus fixed. [/example] The torus example is useful because the tangent bundle is as simple as possible. It also previews a recurring theme: vanishing or algebraic simplicity can make the obstruction theory much more explicit. ## Kuranishi Families and Local Moduli Spaces The final question is how to package all small deformations near $X$ into a finite-dimensional analytic object. The answer is not usually a smooth manifold, because obstructions can impose nonlinear equations. Kuranishi theory constructs a local base whose tangent space is $H^1(X,T_X)$ and whose defining equations take values in $H^2(X,T_X)$. [definition: Kuranishi Family] A Kuranishi family for a compact complex manifold $X$ is a deformation $\mathcal X\to K$ over a germ of a finite-dimensional analytic space $(K,0)$ with central fibre $X$, such that every sufficiently small deformation of $X$ is induced from it after replacing the base by a smaller neighbourhood of the marked point. [/definition] This family is local and semi-universal rather than a global moduli space. The point of Kuranishi theory is to replace the infinite-dimensional equation for complex structures by finite-dimensional analytic geometry: compactness makes the relevant elliptic operators Fredholm, so their harmonic spaces identify with finite-dimensional cohomology groups, and analyticity lets the nonlinear Maurer-Cartan equation be controlled by implicit-function methods. Without compactness, for example on the unit disc, this finite-dimensional harmonic reduction need not produce a local base of this kind. The resulting local model is governed by obstruction equations, so the next useful object is the analytic map whose zero set describes the Kuranishi base. [definition: Kuranishi Map] A Kuranishi map for $X$ is an analytic map germ \begin{align*} \kappa:H^1(X,T_X)\to H^2(X,T_X) \end{align*} whose zero locus is the base germ of a Kuranishi family for $X$. [/definition] The first nonzero Taylor term of $\kappa$ is closely related to the quadratic obstruction $[\varphi,\varphi]/2$. When the target of this map vanishes, the local base has no obstruction equations. [quotetheorem:9120] [citeproof:9120] This criterion explains the unobstructedness of compact Riemann surfaces from a Kuranishi viewpoint, since their complex dimension forces $H^2(C,T_C)=0$. It is only a sufficient condition: compact Calabi-Yau manifolds provide a major counterexample to necessity, because the [Bogomolov-Tian-Todorov theorem](/theorems/9140) says their deformations are unobstructed even though $H^2(X,T_X)$ may be nonzero. The compactness and Kuranishi hypotheses still matter here, since the conclusion is about the local analytic base attached to a compact central fibre, not about arbitrary noncompact families or global moduli quotients. A final caveat concerns the difference between local deformation spaces and genuine moduli objects. [remark: Relation with Automorphisms] The Kuranishi base describes deformations up to local equivalence, but a manifold with non-discrete automorphism group can have different maps into the base inducing isomorphic families. Consequently the true moduli problem is often better represented by a stack or groupoid rather than by an analytic space alone. [/remark] This distinction becomes important in moduli theory. The Kuranishi space is the local analytic model for deformations, while global moduli spaces require stability conditions, quotient constructions, or stack language to account for automorphisms. # 8. Deformations of Submanifolds and Line Bundles The preceding chapters used positivity to produce sections, embeddings, and vanishing theorems. We now turn to what happens when the complex manifold or a submanifold is allowed to move. The central theme is that many geometric structures are stable under small deformations, provided the relevant obstruction groups vanish or the relevant cohomology classes remain of Hodge type. The chapter assumes the standard background from the preceding parts of the course: holomorphic vector bundles and their sheaf cohomology, divisors and line bundles, the tangent bundle of a complex manifold, and the basic form of Kodaira's embedding theorem. It also uses the idea that a proper holomorphic submersion gives a smoothly varying family of compact complex manifolds. A second theme is the passage between submanifolds and line bundles. Divisors move through sections of their associated line bundles, while general embedded submanifolds move infinitesimally through sections of their normal bundle. This chapter gives the first deformation-theoretic bridge from positivity and cohomology to moduli. ## Embedded Deformations and the Normal Bundle How can a submanifold $Y \subset X$ move while remaining inside the fixed ambient complex manifold $X$? A displacement tangent to $Y$ merely reparametrises $Y$, so the genuine first-order motion must be measured in the quotient of ambient tangent directions by tangent directions along $Y$. [definition: Normal Bundle] Let $i:Y \hookrightarrow X$ be a closed complex submanifold of a complex manifold $X$. The normal bundle of $Y$ in $X$ is the holomorphic vector bundle \begin{align*} N_{Y/X} := i^*T_X / T_Y. \end{align*} [/definition] The normal bundle records the transverse directions available to $Y$. To use this quotient in deformation theory, we need to know that it is part of an exact tangent-bundle sequence, because exactness is what separates internal reparametrisations from genuine embedded motion. [quotetheorem:9121] [citeproof:9121] The closed-submanifold hypothesis is what makes the quotient a holomorphic vector bundle rather than only a coherent quotient sheaf. For a concrete singular contrast, take the nodal plane curve $Y=\{xy=0\}\subset \mathbb C^2$ at the origin. The two branches have different tangent directions, so there is no rank-one tangent bundle through the node, and the correct normal object is built from the ideal sheaf $\mathcal I_Y/\mathcal I_Y^2$ rather than from a quotient of vector bundles. The theorem does not itself classify deformations, since it only identifies the linear algebra object in which transverse directions live. It prepares the deformation problem by separating tangent reparametrisations from genuinely normal motion. To turn this geometric idea into a deformation problem, we need a device that remembers only the first derivative of a moving embedded submanifold. Working over the dual numbers does exactly this: the special fibre is the original submanifold, while the coefficient of $\varepsilon$ records the normal velocity and discards higher-order terms. This gives a precise algebraic language for the infinitesimal motion predicted by the normal bundle sequence. [definition: Embedded First-Order Deformation] Let $Y \subset X$ be a compact complex submanifold. An embedded first-order deformation of $Y$ in $X$ is a flat family $\mathcal Y \subset X \times \operatorname{Spec}(\mathbb C[\varepsilon]/(\varepsilon^2))$ whose special fibre is $Y$. [/definition] The definition packages a first derivative of a moving submanifold, while quotienting by reparametrisation removes motion internal to $Y$. The normal bundle sequence predicts that the remaining data should be a global section of $N_{Y/X}$. The next theorem is the precise form of that prediction and gives the tangent space to the embedded deformation problem. [quotetheorem:9122] [citeproof:9122] Compactness is used so that the tangent space is a finite-dimensional cohomology group in the analytic deformation problem. For instance, if $Y=\mathbb C\subset X=\mathbb C^2$ is the line $w=0$, then $N_{Y/X}\cong \mathcal O_{\mathbb C}$ and $H^0(Y,N_{Y/X})$ contains all entire functions, so the infinitesimal embedded motions form an infinite-dimensional vector space. The reference to reparametrisations should be read as the construction of the normal quotient, not as an extra quotient after passing to embedded images: a vector field tangent to $Y$ changes a parametrisation of $Y$ but has zero normal component and therefore represents the zero embedded first-order motion. The theorem does not say that every element of $H^0(Y,N_{Y/X})$ integrates to an honest family, only that it gives the first derivative of a possible embedded motion. Thus $H^0(Y,N_{Y/X})$ is the Zariski tangent space to the local space of embedded submanifolds of $X$ near $Y$. A tangent vector may still fail to integrate to an actual curve of submanifolds, because higher-order local equations must remain compatible on overlaps. The next result gives the standard cohomological condition under which this obstruction disappears. [quotetheorem:9123] [citeproof:9123] The hypothesis $H^1(Y,N_{Y/X})=0$ is a sufficient obstruction-vanishing condition, not a cosmetic assumption. A standard concrete warning comes from a smooth rational curve $C$ with $N_{C/X}\cong\mathcal O_{\mathbb P^1}(-2)$ inside a complex surface: then $H^0(C,N_{C/X})=0$ while $H^1(C,N_{C/X})\cong\mathbb C$, so infinitesimal obstruction classes may occur even though there is no positive-dimensional embedded family. More generally, nonzero $H^1(Y,N_{Y/X})$ allows overlap errors to define nonzero obstruction classes, and embedded deformation spaces can be singular or smaller than their tangent spaces. The theorem does not say that there are many deformations; if $H^0(Y,N_{Y/X})=0$, the smooth local deformation space is just a point. Its role is to turn the tangent-space calculation above into an actual local smoothness statement, which the following example makes concrete. [example: Lines in Projective Space] Let $Y\cong \mathbb P^1$ be a line in $X=\mathbb P^n$. For a line, the normal directions are the $n-1$ projective directions transverse to the chosen $2$-dimensional vector subspace, each twisted by $\mathcal O_{\mathbb P^1}(1)$, so \begin{align*} N_{Y/X}\cong \mathcal O_{\mathbb P^1}(1)^{\oplus(n-1)}. \end{align*} Using additivity of cohomology over direct sums, we get \begin{align*} H^1(Y,N_{Y/X})\cong H^1(\mathbb P^1,\mathcal O_{\mathbb P^1}(1))^{\oplus(n-1)}=0^{\oplus(n-1)}=0. \end{align*} Similarly, \begin{align*} H^0(Y,N_{Y/X})\cong H^0(\mathbb P^1,\mathcal O_{\mathbb P^1}(1))^{\oplus(n-1)}. \end{align*} Since $H^0(\mathbb P^1,\mathcal O_{\mathbb P^1}(1))$ is the $2$-dimensional space of linear homogeneous polynomials in two variables, this gives \begin{align*} h^0(Y,N_{Y/X})=(n-1)\cdot 2=2(n-1). \end{align*} Lines in $\mathbb P^n$ are parametrised by $2$-dimensional vector subspaces of $\mathbb C^{n+1}$, namely by $\operatorname{Gr}(2,n+1)$. Its dimension is \begin{align*} 2((n+1)-2)=2(n-1). \end{align*} Thus the normal-bundle tangent calculation gives the same dimension as the Grassmannian of lines, and the vanishing of $H^1(Y,N_{Y/X})$ explains why the local embedded deformation space is smooth at a line. [/example] ## Divisors and Sections of Line Bundles For codimension-one submanifolds, the normal bundle has a more concrete description. A divisor is cut out locally by one equation, and moving the divisor often means varying that equation inside a space of sections. [definition: Effective Divisor from a Section] Let $X$ be a complex manifold, let $L \to X$ be a holomorphic line bundle, and let $s \in H^0(X,L)$ be a nonzero holomorphic section. If the zero locus $Z(s)$ has pure codimension one, then the effective divisor associated to $s$ is \begin{align*} D=(s)_0. \end{align*} [/definition] The divisor remembers the vanishing of $s$, but scaling $s$ by a nonzero complex number does not change the divisor. We therefore need a parameter space that identifies scalar multiples of the same section, because that is the natural space in which divisors associated to a fixed line bundle move. [definition: Complete Linear System] Let $L \to X$ be a holomorphic line bundle. The complete linear system of $L$ is the projective space \begin{align*} |L| := \mathbb P(H^0(X,L)) \end{align*} parametrising one-dimensional subspaces of $H^0(X,L)$. [/definition] Its points can also be regarded as nonzero sections modulo scalar multiplication. The first local question about this parameter space is what infinitesimal data a moving section produces along its zero divisor. Varying the equation changes the hypersurface only through a normal direction, so the relevant comparison is between the normal bundle of the divisor and the restriction of the line bundle whose section defines it. Smoothness is the condition that turns the single defining equation into a genuine normal line rather than a singular ideal-theoretic remnant. [quotetheorem:7046] [citeproof:7046] Smoothness of $D$ is essential for interpreting $N_{D/X}$ as the quotient tangent bundle. If $D=\{y^2=x^3\}\subset\mathbb C^2$ is the cuspidal plane curve, then $D$ has no tangent line bundle at the cusp, even though the ideal-theoretic conormal of this Cartier hypersurface still makes sense. Thus the smooth theorem should not be read as a statement about quotient tangent bundles on singular divisors. The theorem also does not say that every section of $L|_D$ extends to a global section of $L$ on $X$; extension is a separate cohomological question. This is exactly why the restriction sequence below is needed: it compares global sections of $L$ with their values along $D$. [quotetheorem:9124] [citeproof:9124] The divisor being cut out by a single section is what makes the left-hand term $\mathcal O_X$: multiplication by $s$ records the functions that turn the defining equation into another section of the same line bundle. If $D$ were not an effective Cartier divisor, for example the embedded non-reduced point defined by $(x^2,xy,y^2)\subset\mathbb C[x,y]$, this two-term description would have to be replaced by the ideal sheaf of $D$. The sequence does not assert that global sections of $L$ produce all normal vector fields on $D$; the associated long exact sequence shows that surjectivity of $H^0(X,L)\to H^0(D,L|_D)$ is controlled by $H^1(X,\mathcal O_X)$. The next theorem isolates the part of the embedded tangent space that comes specifically from varying the defining section. This distinction matters because a divisor can have normal first-order motions that do not arise from the chosen complete linear system; the theorem identifies the image of the section space rather than silently replacing all embedded deformations by equation deformations. It is the bridge between the cohomological restriction sequence and the geometry of moving hypersurfaces. [quotetheorem:9125] [citeproof:9125] The fixed-line-bundle hypothesis is essential: moving in $|L|$ only changes the section, not the holomorphic line bundle whose section is being used. On an elliptic curve $X$ with $L=\mathcal O_X(p)$ and $D=\{p\}$, the normal space is $H^0(D,L|_D)\cong\mathbb C$, while the image of $H^0(X,L)\to H^0(D,L|_D)$ is zero because the unique section of $\mathcal O_X(p)$ vanishes at $p$; the point can move on the elliptic curve, but not inside the complete linear system of that fixed section. The theorem therefore does not classify all embedded deformations of $D$; when the restriction map is not surjective, there are normal first-order motions not obtained from the complete linear system. Positivity and vanishing often force this map to be large, and the projective hypersurface example shows the favourable case where it is onto. [example: Hypersurfaces in Projective Space] Let $D\subset \mathbb P^n$ be a smooth degree-$d$ hypersurface cut out by a homogeneous polynomial $F\in H^0(\mathbb P^n,\mathcal O_{\mathbb P^n}(d))$. Thus $D=(F)_0$ and the associated line bundle is $L=\mathcal O_{\mathbb P^n}(d)$. By *[Normal Bundle of a Smooth Divisor](/theorems/7046)*, the normal bundle is \begin{align*} N_{D/\mathbb P^n}\cong \mathcal O_{\mathbb P^n}(d)|_D=\mathcal O_D(d). \end{align*} The divisor restriction sequence for the section $F$ is \begin{align*} 0\to \mathcal O_{\mathbb P^n}\xrightarrow{\cdot F}\mathcal O_{\mathbb P^n}(d)\to \mathcal O_D(d)\to 0. \end{align*} Taking cohomology gives the exact part \begin{align*} H^0(\mathbb P^n,\mathcal O_{\mathbb P^n}(d))\to H^0(D,\mathcal O_D(d))\to H^1(\mathbb P^n,\mathcal O_{\mathbb P^n}). \end{align*} For $n\ge 2$, the standard cohomology of projective space gives \begin{align*} H^1(\mathbb P^n,\mathcal O_{\mathbb P^n})=0. \end{align*} Exactness therefore forces the restriction map \begin{align*} H^0(\mathbb P^n,\mathcal O_{\mathbb P^n}(d))\to H^0(D,\mathcal O_D(d))\cong H^0(D,N_{D/\mathbb P^n}) \end{align*} to be surjective. A first-order variation of the defining equation has the form $F+\varepsilon G$, with $G\in H^0(\mathbb P^n,\mathcal O_{\mathbb P^n}(d))$ and $\varepsilon^2=0$. Its normal velocity along $D$ is the restricted section $G|_D\in H^0(D,\mathcal O_D(d))\cong H^0(D,N_{D/\mathbb P^n})$. Since the restriction map is surjective, every normal first-order deformation of a smooth hypersurface in $\mathbb P^n$ comes from varying its defining homogeneous polynomial. [/example] Hypersurfaces in projective space show the most favourable case, where cohomology forces all normal motions to come from equations. In a general linear system, the same mechanism appears locally in pencils: one varies the section and reads off the resulting normal velocity along the original divisor. [example: Moving Divisors in a Base-Point-Free Linear System] Let $L\to X$ be base-point-free, and choose $s_0,s_1\in H^0(X,L)$ with $D_0=(s_0)_0$ smooth. For $t\in\mathbb C$, the pencil is the section \begin{align*} s_t=s_0+t s_1\in H^0(X,L). \end{align*} To read its first-order motion, replace $t$ by a dual number $\varepsilon$ with $\varepsilon^2=0$: \begin{align*} s_\varepsilon=s_0+\varepsilon s_1. \end{align*} Near a point of $D_0$, choose a holomorphic frame $e$ of $L$ and write \begin{align*} s_0=f_0e,\qquad s_1=f_1e. \end{align*} Then $D_0$ is locally cut out by $f_0=0$, while the first-order member is cut out by \begin{align*} f_0+\varepsilon f_1=0. \end{align*} Modulo $\varepsilon^2$, the coefficient of $\varepsilon$ is exactly $f_1|_{D_0}$, so the normal velocity is the restricted section \begin{align*} s_1|_{D_0}\in H^0(D_0,L|_{D_0}). \end{align*} By *Normal Bundle of a Smooth Divisor*, $L|_{D_0}\cong N_{D_0/X}$, hence this velocity is \begin{align*} s_1|_{D_0}\in H^0(D_0,N_{D_0/X}). \end{align*} Base-point-freeness means that for every $p\in X$ there is some section $u\in H^0(X,L)$ with $u(p)\ne 0$. Since $L_p$ is one-dimensional, this says that the evaluation map $H^0(X,L)\to L_p$ has nonzero image and therefore is surjective. For $p\in D_0$, the identification $L|_{D_0}\cong N_{D_0/X}$ turns such a value $u(p)$ into a nonzero normal vector at $p$, so sections of $L$ can produce local first-order normal motion at every point of $D_0$. The pencil above realizes the particular normal field $s_1|_{D_0}$; smoothness of the nearby divisors is an additional open transversality condition, not a consequence of the first-order calculation alone. [/example] ## Stability of Kähler and Projective Structures The preceding sections kept the ambient manifold fixed. We now ask what happens when the complex structure of the manifold itself varies. Kähler and projective structures are not merely pointwise data; they involve closed forms, integral cohomology classes, and holomorphic line bundles, so their persistence under deformation is a Hodge-theoretic question. [definition: Small Deformation of a Compact Complex Manifold] A small deformation of a compact complex manifold $X$ is a proper holomorphic submersion \begin{align*} \pi:\mathcal X\to B \end{align*} over a connected complex space $B$, together with a point $0\in B$ and an identification $\mathcal X_0\cong X$, where $\mathcal X_b:=\pi^{-1}(b)$. [/definition] Ehresmann's theorem identifies nearby fibres as smooth manifolds, so deformations here change the complex structure while keeping the underlying differentiable type locally fixed. A closed real $2$-form can be transported through this differentiable trivialisation, but its type decomposition changes when the complex structure changes. The possible failure is that a transported positive form may acquire unwanted $(2,0)$ and $(0,2)$ parts. The definition above therefore leaves open a real question: does the existence of one Kähler fibre force nearby fibres to carry closed positive $(1,1)$-forms as well? The stability theorem answers this by using Hodge theory to correct the transported form without losing positivity. [quotetheorem:9126] [citeproof:9126] Compactness is needed for the elliptic and Hodge-theoretic estimates behind the correction step. Without it, the statement has no formal analogue with the same proof: Hironaka-type non-compact deformation examples show that Kählerness can be lost under small changes of complex structure once the global estimates at infinity are not available. In more concrete terms, deleting divisors from a compact family can change the end of the fibre, so a transported positive form need not be cohomologous to a complete or globally controlled Kähler form. Even on Stein manifolds such as $\mathbb C^n$, the issue is hidden by special flexibility rather than supplied by the compact Hodge-theoretic argument above. The theorem also does not make projectivity open, because projectivity requires an integral positive $(1,1)$-class rather than just a real Kähler class. This distinction leads to the next stability question, where the class of a line bundle must remain of Hodge type. [definition: Polarized Compact Complex Manifold] A polarized compact complex manifold is a pair $(X,L)$ where $X$ is a compact complex manifold and $L\to X$ is an ample holomorphic line bundle. [/definition] A polarization is both a line bundle and a positive cohomology class. Under deformation, the underlying integral class may stay fixed topologically while its Hodge type changes; for instance, in a family of complex tori or K3 surfaces, an integral class that is $(1,1)$ on the central fibre can acquire a nonzero $(2,0)+(0,2)$ component on a nearby fibre. Then it cannot be the first Chern class of a holomorphic line bundle on that fibre. The projectivity theorem therefore requires the class to remain of type $(1,1)$. [quotetheorem:9127] [citeproof:9127] The type $(1,1)$ hypothesis is essential: if the transported integral class leaves $H^{1,1}$, it cannot be realised as the first Chern class of a holomorphic line bundle, so the argument has no polarization to deform. A concrete model is a polarized K3 surface $(S,L)$: in the $20$-dimensional local deformation space of the underlying K3 surface, the condition that $c_1(L)$ remain of type $(1,1)$ cuts out a hypersurface, and a nearby point off that hypersurface gives a non-algebraic K3 surface for which the transported class has a nonzero $(2,0)+(0,2)$ part. The theorem also does not say that every small deformation of a projective manifold is projective; it only applies along the locus where the chosen polarizing class remains a holomorphic line bundle class. In moduli language, small deformations of polarized manifolds remain inside the projective category precisely because the polarization is carried as part of the data. [example: Small Deformations of Polarized Manifolds] Let $(X,L)$ be a polarized compact complex manifold, and let $\pi:\mathcal X\to B$ be a small deformation with central fibre $\mathcal X_0\cong X$. Assume that the integral class $c_1(L)\in H^2(X,\mathbb Z)$ is transported as a locally constant class $\alpha_b\in H^2(\mathcal X_b,\mathbb Z)$ and that its image in $H^2(\mathcal X_b,\mathbb C)$ remains of type $(1,1)$ for $b$ near $0$. By *[Kodaira Stability Theorem](/theorems/9127)*, after shrinking $B$ there is a holomorphic line bundle $\mathcal L\to\mathcal X|_B$ whose restriction to the central fibre is $L$ and whose fibrewise first Chern class is the transported class: \begin{align*} \mathcal L|_{\mathcal X_0}\cong L. \end{align*} For each nearby $b$, set \begin{align*} L_b:=\mathcal L|_{\mathcal X_b}. \end{align*} Then the construction gives \begin{align*} c_1(L_b)=\alpha_b\in H^2(\mathcal X_b,\mathbb Z). \end{align*} Because $L$ is ample, it admits a Hermitian metric whose curvature form is positive on $X$. The relative line bundle $\mathcal L$ may be chosen with a smoothly varying Hermitian metric extending this one, so the curvature forms on the fibres vary smoothly with $b$. Positivity of a Hermitian form is an open condition on its matrix eigenvalues, hence the curvature of $L_b$ remains positive for all $b$ sufficiently close to $0$. Therefore each $L_b$ is ample, and Kodaira's projectivity criterion makes each nearby fibre $\mathcal X_b$ projective. Thus, when the polarizing class is fixed and remains of type $(1,1)$, the local deformation problem keeps not only the complex manifolds but also their polarizations inside projective geometry. [/example] This example explains why moduli of polarized manifolds records the class $c_1(L)$ as part of the structure rather than as extra decoration. If the same differentiable family is viewed without fixing a polarization, the relevant integral class may leave the $(1,1)$ part, and the projective conclusion can fail away from a special locus. [remark: Role of the Hodge Locus] For an arbitrary small deformation of a projective manifold, a chosen integral class need not remain of type $(1,1)$. The locus in the base where it does remain of type $(1,1)$ is the Hodge locus of that class. Kodaira stability applies along this locus, which is why polarized deformation theory fixes the class as part of the data. [/remark] ## Deformation Theory as a Bridge to Moduli A moduli problem asks for a space whose points represent geometric objects, but the first obstacle is local: near a given object, what are the possible tangent directions, and which of them survive to honest nearby objects? The deformation results in this chapter answer that question by the same pattern: tangent spaces are cohomology groups, and obstructions lie in the next cohomology group. For embedded submanifolds the tangent group is $H^0(Y,N_{Y/X})$ and the obstruction group is $H^1(Y,N_{Y/X})$; for divisors, the normal bundle is a line bundle restriction; for polarized manifolds, the persistence of projectivity is governed by integral Hodge classes. [explanation: From Local Deformations to Moduli] The local study of deformations gives the infinitesimal model for moduli spaces. If the obstruction group vanishes, the local moduli problem is smooth and its dimension is the dimension of the tangent cohomology group. If obstructions occur, the local moduli space can be singular or have smaller dimension than its tangent space suggests. Positivity enters twice. First, it supplies sections and vanishing theorems that make deformation spaces computable. Second, it stabilises projective geometry by turning suitable line bundles into embeddings of nearby fibres. These mechanisms are why the analytic results from earlier chapters become structural tools in moduli problems. [/explanation] # 9. Period Maps and Variation of Hodge Structure This chapter turns Hodge theory from a structure on one compact Kähler manifold into a structure that varies in families. The prerequisites are the [Hodge decomposition for compact Kähler manifolds](/theorems/8066), basic sheaf cohomology, Kodaira-Spencer deformation theory, and the language of smooth proper holomorphic families. We will also use the polarization form on cohomology and the elementary tangent-space description of flag varieties. The guiding question is: when the complex structure of a compact complex manifold moves, how much of that movement is detected by the [Hodge decomposition](/theorems/2745) on cohomology? Period maps answer this by recording the Hodge filtration, while the Gauss-Manin connection explains why the image of a period map satisfies a strong differential constraint. ## Hodge Filtrations and Classifying Domains The first problem is to encode the [Hodge decomposition](/theorems/3941) in a form that varies holomorphically. For a single compact Kähler manifold $X$, Hodge theory gives a decomposition of $H^k(X,\mathbb C)$ into subspaces $H^{p,q}(X)$ with $p+q=k$. In a family, the summands need not vary holomorphically one by one, but their cumulative filtration does. [definition: Hodge Filtration] Let $H$ be a finite-dimensional complex vector space. A Hodge filtration of weight $k$ on $H$ is a decreasing filtration \begin{align*} H=F^0H\supset F^1H\supset \cdots \supset F^{k}H\supset F^{k+1}H=0 \end{align*} by complex vector subspaces. [/definition] For a compact Kähler manifold, this filtration is built by grouping together the Hodge summands with first index at least $p$. Thus \begin{align*} F^pH^k(X,\mathbb C)=\bigoplus_{r\ge p}H^{r,k-r}(X). \end{align*} The filtration alone is not yet the full Hodge structure, because complex conjugation must relate the two halves of the decomposition. This motivates isolating the real structure and the opposedness condition as part of the next definition. [definition: Pure Hodge Structure] A pure Hodge structure of weight $k$ on a finite-dimensional real vector space $H_{\mathbb R}$ is a decomposition \begin{align*} H_{\mathbb C}=H_{\mathbb R}\otimes_{\mathbb R}\mathbb C=\bigoplus_{p+q=k}H^{p,q} \end{align*} such that $\overline{H^{p,q}}=H^{q,p}$. [/definition] The associated Hodge filtration is \begin{align*} F^pH_{\mathbb C}=\bigoplus_{r\ge p}H^{r,k-r}. \end{align*} Conversely, a filtration gives a pure Hodge structure when \begin{align*} H_{\mathbb C}=F^pH_{\mathbb C}\oplus \overline{F^{k-p+1}H_{\mathbb C}} \end{align*} for every $p$. This filtration viewpoint is the one used in period maps, and the curve case shows why the filtration is a concrete moduli invariant rather than just formal notation. [example: Hodge Filtration of a Curve] Let $C$ be a compact Riemann surface of genus $g$. Its weight-one Hodge decomposition is \begin{align*} H^1(C,\mathbb C)=H^{1,0}(C)\oplus H^{0,1}(C), \end{align*} where $H^{1,0}(C)=H^0(C,K_C)$ is the space of holomorphic $1$-forms and $H^{0,1}(C)=\overline{H^{1,0}(C)}$. By the definition of the associated Hodge filtration, \begin{align*} F^1H^1(C,\mathbb C)=\bigoplus_{r\ge 1}H^{r,1-r}(C)=H^{1,0}(C). \end{align*} Similarly, \begin{align*} F^0H^1(C,\mathbb C)=\bigoplus_{r\ge 0}H^{r,1-r}(C)=H^{1,0}(C)\oplus H^{0,1}(C)=H^1(C,\mathbb C). \end{align*} Also $F^2H^1(C,\mathbb C)=0$, because there is no summand $H^{r,1-r}$ with $r\ge 2$. Choose a symplectic basis $a_1,\dots,a_g,b_1,\dots,b_g$ of $H_1(C,\mathbb Z)$ and choose a basis $\omega_1,\dots,\omega_g$ of $H^{1,0}(C)$ normalized by \begin{align*} \int_{a_i}\omega_j=\delta_{ij}. \end{align*} The remaining periods are \begin{align*} \Omega_{ij}=\int_{b_i}\omega_j. \end{align*} Thus the period vector of $\omega_j$ in the [dual basis](/theorems/414) of cycles has $a_i$-coordinates $\delta_{ij}$ and $b_i$-coordinates $\Omega_{ij}$. The subspace $F^1H^1(C,\mathbb C)=H^{1,0}(C)$ is therefore represented by the span of these $g$ period vectors, so the Hodge filtration is encoded concretely by the normalized period matrix $\Omega$. [/example] The example shows that the filtration depends on choices of cycles and forms, but the geometric object also carries intersection pairings. A classifying space for geometric Hodge structures must include those pairings, so the next step is to impose the bilinear relations supplied by polarization. [definition: Polarized Hodge Structure] A polarized Hodge structure of weight $k$ consists of a pure Hodge structure on a rational vector space $H_{\mathbb Q}$ together with a nondegenerate [bilinear form](/page/Bilinear%20Form) $Q:H_{\mathbb Q}\times H_{\mathbb Q}\to\mathbb Q$ such that $Q(u,v)=(-1)^kQ(v,u)$, $Q(H^{p,q},H^{r,s})=0$ unless $p=s$ and $q=r$, and \begin{align*} i^{p-q}(-1)^{k(k-1)/2}Q(v,\bar v)>0 \end{align*} for every $0\ne v\in H^{p,q}$. [/definition] The last inequality is the Hodge-Riemann positivity condition in the convention where $Q$ has parity $(-1)^k$ and the displayed factor is included in the Hermitian form. Some references absorb part of this sign into the definition of $Q$ or write the Weil operator explicitly, so the positivity formula may differ by a predictable weight-dependent sign. Once the dimensions of the pieces and the form $Q$ are fixed, the remaining question is to organize all possible polarized filtrations into a single analytic target for the period map. [definition: Period Domain] Fix a rational vector space $H_{\mathbb Q}$, Hodge numbers $h^{p,q}$ of weight $k$, and a bilinear form $Q$ of parity $(-1)^k$. The period domain $D$ is the set of filtrations $F^\bullet$ on $H_{\mathbb C}$ with $\dim F^p=\sum_{r\ge p}h^{r,k-r}$ which define polarized Hodge structures with polarization $Q$. [/definition] The period domain is an open subset, in the analytic topology, of a flag variety defined by the dimension and bilinear orthogonality conditions. To study period maps locally, we need the tangent space to this ambient flag variety, since the derivative of a period map is first an infinitesimal motion of a filtration. [quotetheorem:9128] [citeproof:9128] This description is deliberately larger than the tangent directions that occur from geometry. The flag-variety calculation only knows that the dimensions of the filtration steps are fixed; it does not know that the filtration comes from de Rham cohomology of a varying complex manifold. It also depends on the compatibility condition among the maps $a_p$: if the first-order subspaces do not satisfy $F^{p+1}_\varepsilon\subset F^p_\varepsilon$, the collection of maps is not a tangent vector to the flag variety at all, but merely unrelated motions of several Grassmannians. For instance, in weight $2$ a general compatible infinitesimal motion may still send $H^{2,0}$ into $H^{0,2}$, while a geometric first-order variation is allowed to lower the first Hodge index by at most one. The polarization hypotheses cut out the correct classifying domain, but they still do not impose this differential restriction. The next section explains the Gauss-Manin connection, which is the mechanism forcing geometric period maps to be horizontal rather than arbitrary holomorphic maps to the period domain. ## Gauss-Manin Connection and Griffiths Transversality The central question for a smooth proper family is how to compare the cohomology groups of different fibres. Topologically they form a local system, while holomorphically their de Rham representatives form vector bundles. The Gauss-Manin connection is the bridge between these two descriptions. [definition: Smooth Proper Family] A smooth proper family of compact complex manifolds is a proper holomorphic submersion $\pi:\mathcal X\to S$ whose fibres $X_s=\pi^{-1}(s)$ are compact complex manifolds. [/definition] Ehresmann's theorem makes the family locally topologically trivial, so $H^k(X_s,\mathbb C)$ varies as a local system. That local system explains parallel transport of cohomology classes, but the period map requires differentiating holomorphic subbundles inside the cohomology bundle. This motivates the Gauss-Manin connection as the flat connection that turns topological parallel transport into a differential operator on the base. [definition: Gauss-Manin Connection] Let $\pi:\mathcal X\to S$ be a smooth proper family. The Gauss-Manin connection on the cohomology bundle \begin{align*} \mathcal H^k=R^k\pi_*\mathbb C\otimes_{\mathbb C}\mathcal O_S \end{align*} is the flat connection \begin{align*} \nabla:\mathcal H^k\to \mathcal H^k\otimes\Omega_S^1 \end{align*} whose flat sections are the sections of the local system $R^k\pi_*\mathbb C$. [/definition] The Hodge filtration also varies over $S$: the fibre of $F^p\mathcal H^k$ over $s$ is $F^pH^k(X_s,\mathbb C)$. Since the Gauss-Manin connection compares nearby fibres, the key question is how far differentiating a Hodge class can move it down the filtration. [quotetheorem:9129] [citeproof:9129] This theorem is the first major constraint on period maps: it says that their derivatives are horizontal. The hypotheses are doing real work. Smoothness is needed so the fibres form a differentiable bundle and the Kodaira-Spencer class is a controlled first-order object; singular degenerations produce limiting mixed Hodge structures rather than ordinary variations of pure Hodge structure. Properness is what keeps the cohomology groups finite-dimensional and locally constant; in non-proper families, boundary behaviour can add or remove cohomology. The Kähler assumption supplies the Hodge decomposition and its deformation-theoretic compatibility, while general compact complex manifolds need not have Hodge numbers stable in the same way. Transversality also does not say that every horizontal direction is realised by a family, nor that the period map is locally injective. To state the differential constraint without referring to a chosen family, we name the corresponding linear subspace inside the tangent space of the period domain. [definition: Horizontal Tangent Space] Let $F^\bullet\in D$ be a point of a period domain. Represent an element $\xi\in T_{F^\bullet}D$ by its induced maps \begin{align*} \xi_p:F^p/F^{p+1}\to H_{\mathbb C}/F^p. \end{align*} The horizontal tangent space at $F^\bullet$ is \begin{align*} T_{F^\bullet}^{\mathrm{hor}}D=\{\xi\in T_{F^\bullet}D: \operatorname{im}(\xi_p)\subset F^{p-1}/F^p \text{ for every }p\}. \end{align*} [/definition] Here $\xi$ is viewed through the tangent-space description by linear maps on the filtration. The horizontal subspace is only a differential constraint until it is attached to a map from the parameter space of a family. This motivates defining the period map as the assignment that records the moving polarized Hodge filtration of each fibre. [definition: Period Map] Let $\pi:\mathcal X\to S$ be a smooth proper polarized Kähler family and fix a reference lattice $H_{\mathbb Z}$ after passing to a simply connected open subset of $S$. The period map is the holomorphic map \begin{align*} \Phi:S\to D \end{align*} which sends $s\in S$ to the polarized Hodge filtration $F^\bullet H^k(X_s,\mathbb C)$ transported to $H_{\mathbb Z}\otimes\mathbb C$. [/definition] Globally the target is usually a quotient $\Gamma\backslash D$ by the monodromy group $\Gamma$, because the marking changes after [analytic continuation](/page/Analytic%20Continuation) around loops. Locally, however, the map to $D$ is the object controlled by [Griffiths transversality](/theorems/9129), and the next theorem records this as a statement about its differential. [quotetheorem:9130] [citeproof:9130] The infinitesimal period relation depends on the existence of a polarized variation of Hodge structure, so it is not a statement about arbitrary holomorphic maps into $D$. If a family has monodromy, there may be no single-valued global map $S\to D$ without choosing markings on the universal cover; the natural global target is then $\Gamma\backslash D$. The theorem also gives only a necessary condition: a horizontal holomorphic map into a period domain need not come from an actual family of varieties. What it gives is a test that every genuine period map must pass, and in concrete families this test becomes a system of differential equations for periods. The relation is abstract, but in dimension one it becomes a classical differential equation for elliptic integrals. This example is the simplest place where periods, monodromy, and the Gauss-Manin connection appear together in computable form. [example: Elliptic Curve Periods] Consider the Legendre family \begin{align*} E_\lambda:y^2=x(x-1)(x-\lambda) \end{align*} over $\lambda\in\mathbb C\setminus\{0,1\}$, and write $\eta_\lambda=dx/y$. If $\gamma$ is a locally flat cycle in $H_1(E_\lambda,\mathbb Z)$, its period is \begin{align*} \omega_\gamma(\lambda)=\int_\gamma \eta_\lambda. \end{align*} For a positively oriented symplectic basis $\gamma_1,\gamma_2$, the two periods $\omega_1,\omega_2$ determine the local period map by \begin{align*} \tau(\lambda)=\frac{\omega_2(\lambda)}{\omega_1(\lambda)}. \end{align*} The orientation convention puts $\tau(\lambda)$ in the upper half-plane, so this is the usual coordinate on the weight-one period domain. We now compute the differential equation satisfied by every period. Since $2y\,\partial_\lambda y=\partial_\lambda(x(x-1)(x-\lambda))=-x(x-1)$, we have \begin{align*} \partial_\lambda\left(\frac{1}{y}\right)=\frac{x(x-1)}{2y^3}=\frac{1}{2(x-\lambda)y}. \end{align*} Therefore \begin{align*} \partial_\lambda\eta_\lambda=\frac{dx}{2(x-\lambda)y}. \end{align*} Differentiating once more gives \begin{align*} \partial_\lambda^2\eta_\lambda=\left(\frac{1}{2(x-\lambda)^2y}+\frac{1}{4(x-\lambda)^2y}\right)dx=\frac{3\,dx}{4(x-\lambda)^2y}. \end{align*} Hence \begin{align*} \lambda(1-\lambda)\partial_\lambda^2\eta_\lambda+(1-2\lambda)\partial_\lambda\eta_\lambda-\frac{1}{4}\eta_\lambda=A_\lambda(x)\frac{dx}{y}, \end{align*} where \begin{align*} A_\lambda(x)=\frac{3\lambda(1-\lambda)}{4(x-\lambda)^2}+\frac{1-2\lambda}{2(x-\lambda)}-\frac{1}{4}=\frac{-x^2+(2-2\lambda)x+\lambda}{4(x-\lambda)^2}. \end{align*} On the curve, with $f_\lambda=x(x-1)(x-\lambda)$ and $f_\lambda'=3x^2-2(1+\lambda)x+\lambda$, we also have \begin{align*} d\left(\frac{y}{2(x-\lambda)^2}\right)=\left(-\frac{f_\lambda}{(x-\lambda)^3}+\frac{f_\lambda'}{4(x-\lambda)^2}\right)\frac{dx}{y}. \end{align*} Substituting $f_\lambda=x(x-1)(x-\lambda)$ into the numerator gives \begin{align*} -\frac{x(x-1)}{(x-\lambda)^2}+\frac{3x^2-2(1+\lambda)x+\lambda}{4(x-\lambda)^2}=\frac{-x^2+(2-2\lambda)x+\lambda}{4(x-\lambda)^2}. \end{align*} Thus \begin{align*} \lambda(1-\lambda)\partial_\lambda^2\eta_\lambda+(1-2\lambda)\partial_\lambda\eta_\lambda-\frac{1}{4}\eta_\lambda=d\left(\frac{y}{2(x-\lambda)^2}\right). \end{align*} Integrating over a closed flat cycle $\gamma$ kills the exact differential, so every period $\omega(\lambda)=\int_\gamma\eta_\lambda$ satisfies \begin{align*} \lambda(1-\lambda)\frac{d^2\omega}{d\lambda^2}+(1-2\lambda)\frac{d\omega}{d\lambda}-\frac{1}{4}\omega=0. \end{align*} This Picard-Fuchs equation is the hypergeometric differential equation controlling the Legendre periods, and the period map $\lambda\mapsto\tau(\lambda)$ is obtained by taking the ratio of two independent solutions. [/example] This example is the weight-one model for the general picture. In higher weight, the same mechanism gives systems of differential equations for periods, but horizontality becomes a much stronger restriction. ## Infinitesimal Period Maps and Local Torelli The period map is useful for moduli only when it distinguishes nearby complex structures. The local form of this question asks whether the derivative of the period map is injective. Its answer is expressed through the Kodaira-Spencer map and the action of deformation classes on Hodge cohomology. [definition: Kodaira-Spencer Map] Let $\pi:\mathcal X\to S$ be a smooth family of compact complex manifolds. At $s\in S$, the Kodaira-Spencer map is the linear map \begin{align*} \rho_s:T_sS\to H^1(X_s,T_{X_s}) \end{align*} which sends a tangent vector to the first-order deformation class of the fibre $X_s$ in that direction. [/definition] The infinitesimal period map factors through $\rho_s$. To use this factorization, we need the explicit rule by which a deformation class acts on Hodge cohomology. [quotetheorem:9131] [citeproof:9131] This formula turns local Torelli into a concrete cohomological question: a nonzero deformation should act nontrivially on the relevant Hodge piece. The smooth proper Kähler hypotheses again matter: without smoothness there is no ordinary Kodaira-Spencer class in $H^1(X_s,T_{X_s})$ for a smooth fibre, without properness the cohomology bundle need not be finite-rank and flat in this form, and without the Kähler package the Hodge decomposition used to project to $H^{p-1,q+1}$ is not available with the same functorial behaviour. The formula captures only first-order variation of the Hodge filtration, so it can miss higher-order distinctions and it does not by itself prove global separation of isomorphism classes. For curves, Serre duality translates the first-order condition into a statement about products of holomorphic differentials, which is accessible through the canonical linear system. [quotetheorem:9132] [citeproof:9132] The theorem says that the Jacobian with its polarization detects infinitesimal deformations for genus $2$ curves and for non-hyperelliptic curves of genus at least $3$. The hyperelliptic exception is meaningful rather than technical: at such a curve, the differential from the full local deformation space of curves has a kernel transverse to the hyperelliptic directions, even though the period map remains informative along the hyperelliptic locus itself. This is an infinitesimal statement about the first derivative at a point, not a contradiction to the global Torelli theorem for curves. The low-genus boundary cases have their own character: genus $0$ curves have no deformations and no nonzero $H^1$ period data, while genus $1$ curves have a one-dimensional deformation theory but the statement belongs to the elliptic-curve period domain rather than the canonical-curve argument using quadratic differentials. Local Torelli is also not global Torelli. It asserts injectivity of the derivative at a point when the stated hypotheses hold, not that two distant curves with the same period matrix are automatically identified by this local argument; the global Torelli theorem for curves is a stronger theorem about principally polarized Jacobians. The period matrix is the classical coordinate expression of the infinitesimal statement, and in low genus it is small enough to write down explicitly. [example: Period Matrix of a Genus Two Curve] Let $C$ have genus $2$ and choose a symplectic basis $a_1,a_2,b_1,b_2$ of $H_1(C,\mathbb Z)$. Since $\dim H^0(C,K_C)=2$, choose a basis $\omega_1,\omega_2$ normalized by \begin{align*} \int_{a_i}\omega_j=\delta_{ij}. \end{align*} Define the period matrix by \begin{align*} \Omega_{ij}=\int_{b_i}\omega_j. \end{align*} Thus the two columns of $\Omega$ are the $b$-periods of the normalized forms $\omega_1$ and $\omega_2$. The symmetry follows from the Riemann bilinear relation. Since $\omega_j\wedge\omega_k=0$ on a curve, we have \begin{align*} 0=\int_C\omega_j\wedge\omega_k=\sum_{i=1}^2\left(\int_{a_i}\omega_j\int_{b_i}\omega_k-\int_{b_i}\omega_j\int_{a_i}\omega_k\right). \end{align*} Using the normalizations and the definition of $\Omega$, this becomes \begin{align*} 0=\sum_{i=1}^2\left(\delta_{ij}\Omega_{ik}-\Omega_{ij}\delta_{ik}\right)=\Omega_{jk}-\Omega_{kj}. \end{align*} Hence $\Omega_{jk}=\Omega_{kj}$, so $\Omega$ is symmetric. To see positivity, let $\omega=c_1\omega_1+c_2\omega_2$ with $c=(c_1,c_2)^t\ne 0$. Its $a$-period vector is $c$, and its $b$-period vector is $\Omega c$. Applying the Riemann bilinear relation to $\omega$ and $\bar\omega$ gives \begin{align*} \int_C\omega\wedge\bar\omega=c^t\overline{\Omega c}-(\Omega c)^t\bar c. \end{align*} Since $\Omega^t=\Omega$, the right side is \begin{align*} c^t\bar\Omega\bar c-c^t\Omega\bar c=c^t(\bar\Omega-\Omega)\bar c=-2i\,\bar c^t(\operatorname{Im}\Omega)c. \end{align*} The form $\omega$ is nonzero because $\omega_1,\omega_2$ are linearly independent, and the standard positivity of the area form gives $i\int_C\omega\wedge\bar\omega>0$. Therefore \begin{align*} 2\,\bar c^t(\operatorname{Im}\Omega)c>0. \end{align*} So $\operatorname{Im}\Omega$ is positive definite. Thus a genus-two curve determines a point $\Omega$ in the Siegel upper half-space of symmetric $2\times 2$ matrices with positive definite imaginary part. By *Local Torelli for Curves*, the first-order variation of this normalized period matrix determines the first-order deformation of the curve. [/example] The curve example uses $H^1$, where the entire cohomology group varies with the complex structure. In higher-dimensional projective hypersurfaces, some cohomology classes come from the ambient projective space and remain fixed in every fibre. This motivates passing to primitive middle cohomology before asking whether the period map detects deformations. [definition: Primitive Middle Cohomology] Let $X\subset\mathbb P^{n+1}$ be a smooth projective hypersurface of dimension $n$, and let $L$ denote cup product with the hyperplane class. The primitive middle cohomology is \begin{align*} H^n(X,\mathbb C)_{\mathrm{prim}}=\ker\left(L:H^n(X,\mathbb C)\to H^{n+2}(X,\mathbb C)\right). \end{align*} [/definition] The primitive cohomology carries the part of the Hodge structure that can vary with the equation of the hypersurface. Griffiths' residue description relates this variation to the Jacobian ring of the defining polynomial, so local Torelli becomes a multiplication problem in that ring. [quotetheorem:9133] [citeproof:9133] This theorem explains why hypersurface period maps can sometimes serve as local coordinates on moduli, but it also shows where exceptions enter: faithfulness depends on a specific graded multiplication map in the Jacobian ring. The nondegeneracy hypothesis cannot be dropped. Quadrics have no variable primitive middle Hodge structure of the required kind, and cubic surfaces are rational surfaces whose middle cohomology is of type $(1,1)$, so their complex deformations are not detected by a varying middle Hodge filtration. More generally, if a nonzero class in $R_{f,d}$ annihilates all relevant residue classes, the horizontal derivative loses that deformation direction. The quintic threefold is the standard Calabi-Yau example in which this middle-cohomology variation is central. [example: Middle Cohomology of a Quintic Threefold] Let $X=\{f=0\}\subset\mathbb P^4$ be a smooth quintic threefold. Since $X$ has complex dimension $3$, its middle cohomology has possible Hodge summands \begin{align*} H^3(X,\mathbb C)=H^{3,0}(X)\oplus H^{2,1}(X)\oplus H^{1,2}(X)\oplus H^{0,3}(X). \end{align*} The ambient projective space has no odd cohomology, so the image of $H^3(\mathbb P^4,\mathbb C)$ in $H^3(X,\mathbb C)$ is zero; hence the primitive middle cohomology is all of $H^3(X,\mathbb C)$. Set \begin{align*} R_f=\mathbb C[x_0,\dots,x_4]/\left(\frac{\partial f}{\partial x_0},\dots,\frac{\partial f}{\partial x_4}\right). \end{align*} For a quintic threefold, Griffiths' residue description identifies the primitive Hodge pieces by \begin{align*} H^{3-q,q}(X)\cong R_{f,5q}. \end{align*} Taking $q=0$ gives \begin{align*} H^{3,0}(X)\cong R_{f,0}. \end{align*} Taking $q=1$ gives \begin{align*} H^{2,1}(X)\cong R_{f,5}. \end{align*} We compute $\dim R_{f,5}$. Because $X$ is smooth, the five partial derivatives of $f$ form a regular sequence of degree $4$ in $S=\mathbb C[x_0,\dots,x_4]$, so the Hilbert series of $R_f$ is \begin{align*} \operatorname{Hilb}_{R_f}(t)=\frac{(1-t^4)^5}{(1-t)^5}. \end{align*} The degree-$5$ coefficient of $(1-t)^{-5}$ is $\binom{9}{4}=126$. The only correction from $(1-t^4)^5=1-5t^4+\cdots$ that can contribute in degree $5$ is $-5t^4$ times the degree-$1$ coefficient of $(1-t)^{-5}$, namely $\binom{5}{4}=5$. Therefore \begin{align*} \dim R_{f,5}=126-5\cdot 5=101. \end{align*} A first-order deformation of $X$ is represented by a degree-$5$ perturbation $f+\varepsilon g$, and modulo infinitesimal coordinate changes this gives the class of $g$ in $R_{f,5}$. Since $R_{f,0}\cong\mathbb C$ is generated by $1$, the multiplication map on the holomorphic volume-form piece is \begin{align*} R_{f,5}\otimes R_{f,0}\to R_{f,5},\qquad g\otimes 1\mapsto g. \end{align*} Under the residue identification, this is exactly the component of the infinitesimal period map \begin{align*} H^{3,0}(X)\to H^{2,1}(X). \end{align*} Thus, for a smooth quintic threefold, the horizontal differential of the primitive period map sends a polynomial deformation class $g\in R_{f,5}$ to the corresponding class in $H^{2,1}(X)$, and this target has dimension $101$. [/example] The chapter ends with the conceptual picture: period maps are holomorphic maps constrained by a flat connection and by polarization. Their differentials are computable from Kodaira-Spencer classes, and local Torelli theorems identify situations where Hodge theory sees all first-order deformations. These results prepare the moduli-theoretic use of positivity and vanishing: once deformation spaces are understood, period maps give analytic coordinates and comparison maps to arithmetic quotients of classifying domains. # 10. Calabi-Yau Manifolds and Ricci-Flat Metrics This chapter brings the analytic and algebro-geometric strands of the course to the case where the canonical bundle has no curvature obstruction. The main prerequisites are Kähler forms and Kähler classes, canonical bundles and adjunction, Chern classes via Chern-Weil theory, the $\partial\bar\partial$-lemma, and the Hodge-theoretic deformation language from the preceding chapters. Earlier chapters used positivity to force sections, vanishing, and projective embeddings; here the guiding question is different: what geometry remains when the first Chern class vanishes? The answer is that the complex structure and a Kähler class determine a distinguished Ricci-flat metric, and this metric links holomorphic volume forms, holonomy, Hodge theory, and deformation theory. ## Canonical Bundle Conditions and Holomorphic Volume Forms What does it mean for a compact complex manifold to have no canonical curvature? In complex dimension $n$, the canonical bundle $K_X = \Lambda^n T_X^*$ records holomorphic top-forms, so the condition $K_X\cong\mathcal O_X$ is the algebro-geometric statement that there is a nowhere vanishing holomorphic volume form. The Calabi-Yau condition is the point where complex geometry, Riemannian holonomy, and Hodge theory meet. [definition: Holomorphic Volume Form] Let $X$ be a complex manifold of complex dimension $n$. A holomorphic volume form on $X$ is a section $\Omega \in H^0(X, K_X)$ such that $\Omega_x \ne 0$ for every $x \in X$. [/definition] A holomorphic volume form is stronger than the existence of many local coordinates: it gives a global frame for the determinant of the holomorphic cotangent bundle. The next definition packages this in line-bundle language, which is the form needed for Chern classes and Ricci curvature. [definition: Canonically Framed Compact Kähler Manifold] Let $X$ be a compact Kähler manifold. We say that $X$ is canonically framed if $K_X\cong\mathcal O_X$ as a holomorphic line bundle. [/definition] Equivalently, a compact complex manifold of dimension $n$ is canonically framed exactly when it admits a holomorphic volume form. The equivalence is the standard correspondence between frames of a line bundle and nowhere vanishing global sections. [example: Elliptic Curve Volume Form] Let $\pi:\mathbb C\to X=\mathbb C/\Lambda$ be the quotient map. For each $\lambda\in\Lambda$, the translation $T_\lambda(z)=z+\lambda$ satisfies \begin{align*} T_\lambda^*(dz)=d(z+\lambda)=dz+d\lambda=dz, \end{align*} and $d\lambda=0$ because $\lambda$ is constant. Thus $dz$ is invariant under the deck transformations of $\pi$, so there is a unique holomorphic $1$-form $\eta$ on $X$ with $\pi^*\eta=dz$. The form $\eta$ is nowhere vanishing: if $\eta_{\pi(z)}=0$ at some point of $X$, then $(\pi^*\eta)_z=0$, contradicting $(dz)_z\ne 0$. Since $X$ has complex dimension $1$, its canonical bundle is $K_X=\Omega_X^1$, and the nowhere vanishing section $\eta$ gives a global holomorphic frame of $K_X$. Therefore $K_X\cong\mathcal O_X$. The Euclidean Kähler form on $\mathbb C$ is \begin{align*} \omega_{\mathbb C}=\frac{i}{2}dz\wedge d\bar z. \end{align*} It is translation-invariant, so it descends to a Kähler form $\omega_X$ on $X$. In the coordinate $z$, the Hermitian coefficient is constant, so \begin{align*} \operatorname{Ric}(\omega_X)=-i\partial\bar\partial\log(1)=0. \end{align*} Thus the elliptic curve carries a translation-invariant holomorphic volume form and the induced flat metric is Ricci-flat. [/example] The elliptic curve example shows the local-to-global mechanism: an invariant holomorphic top-form gives a global canonical frame. To connect this geometric condition with the Ricci form, we need the cohomological consequence of having such a frame, because the Ricci form represents the first Chern class. [quotetheorem:9134] [citeproof:9134] This theorem explains why the canonical bundle condition is an input to Ricci-flat geometry: the Ricci form represents the same cohomology class as $2\pi c_1(X)$. The hypothesis is genuinely restrictive. For example, $\mathbb P^n$ has $K_{\mathbb P^n}\cong\mathcal O_{\mathbb P^n}(-n-1)$, so it has no nowhere vanishing holomorphic $n$-form and $c_1(\mathbb P^n)=(n+1)H\ne 0$. Thus the theorem rules out the positive-curvature projective examples that dominated earlier chapters. The theorem also says only that a cohomology class vanishes; it does not itself construct a Ricci-flat metric. A vanishing class permits a representative with zero Ricci form, but existence of such a representative is a nonlinear PDE problem rather than a formal consequence. This is why the next section turns from line bundles and Chern classes to Yau's theorem. If $\omega$ is a Kähler form and $g_{i\bar j}$ is the associated Hermitian matrix in local holomorphic coordinates, then \begin{align*} \operatorname{Ric}(\omega) = -i\partial\bar\partial \log \det(g_{i\bar j}). \end{align*} [example: Smooth Quintic Threefold] Let $X\subset \mathbb P^4$ be a smooth hypersurface cut out by a homogeneous polynomial of degree $5$, so $\dim_{\mathbb C}X=3$. By the *adjunction formula* for a smooth hypersurface, \begin{align*} K_X\cong (K_{\mathbb P^4}\otimes \mathcal O_{\mathbb P^4}(X))|_X. \end{align*} For projective space, $K_{\mathbb P^4}\cong \mathcal O_{\mathbb P^4}(-5)$, and since $X$ has degree $5$, \begin{align*} \mathcal O_{\mathbb P^4}(X)\cong \mathcal O_{\mathbb P^4}(5). \end{align*} Substituting these two identifications gives \begin{align*} K_X\cong (\mathcal O_{\mathbb P^4}(-5)\otimes \mathcal O_{\mathbb P^4}(5))|_X. \end{align*} The tensor product of hyperplane line bundles adds degrees, so \begin{align*} \mathcal O_{\mathbb P^4}(-5)\otimes \mathcal O_{\mathbb P^4}(5)\cong \mathcal O_{\mathbb P^4}(0)\cong \mathcal O_{\mathbb P^4}. \end{align*} Restricting to $X$ therefore gives \begin{align*} K_X\cong \mathcal O_{\mathbb P^4}|_X\cong \mathcal O_X. \end{align*} Thus a smooth quintic threefold is canonically framed: its canonical bundle has a global nowhere vanishing holomorphic frame. The restricted Fubini-Study form $\omega_{\mathrm{FS}}|_X$ gives a Kähler class on $X$, but Ricci-flatness asks for a representative of that class whose Ricci form is zero. Since $c_1(X)=0$, the Ricci-flat representative theorem applies to $[\omega_{\mathrm{FS}}|_X]$ and produces a unique Kähler form \begin{align*} \omega'=\omega_{\mathrm{FS}}|_X+i\partial\bar\partial\varphi \end{align*} satisfying \begin{align*} \operatorname{Ric}(\omega')=0. \end{align*} The point is that the quintic's Ricci-flat metric is selected by solving this nonlinear deformation problem inside the chosen Kähler class, not by simply restricting the ambient Fubini-Study metric. [/example] ## Yau's Theorem and Ricci-Flat Representatives Once $c_1(X)=0$, the central question becomes analytic: given a Kähler class, can we deform a Kähler form within that class until the Ricci form vanishes? Calabi formulated this as a prescribed Ricci form problem, and Yau proved that the only obstruction is the cohomological one. The theorem is a complex Monge-Ampère existence and uniqueness result. [quotetheorem:9135] [citeproof:9135] The hypotheses in Yau's theorem are not cosmetic. Compactness is used in the global a priori estimates and in the maximum-principle uniqueness argument; on noncompact manifolds, prescribed Ricci equations require boundary or asymptotic conditions and uniqueness can fail. For instance, on $\mathbb C^n$ the [Euclidean metric](/page/Euclidean%20Metric) is Ricci-flat, but multiplying its Kähler form by a positive constant gives another complete Ricci-flat Kähler metric in the same informal flat model unless an asymptotic scale or boundary condition is fixed. The Kähler hypothesis is also essential to the formulation: the deformation $\omega+i\partial\bar\partial\varphi$ stays inside a fixed Kähler class, while a general Hermitian metric has no such cohomological potential description. Finally, $\rho$ must be a closed real $(1,1)$-form in the class $2\pi c_1(X)$ because the Ricci form of any Kähler metric is closed, real, of type $(1,1)$, and represents exactly that class; asking for a form outside this class would contradict Chern-Weil theory before the PDE begins. The prescribed Ricci theorem gives more than the Calabi-Yau case, but the chapter now needs its zero-curvature consequence. Since the previous section reduced canonical framing to $c_1(X)=0$, we ask whether choosing the representative $\rho=0$ produces a distinguished metric in every Kähler class. [quotetheorem:9136] [citeproof:9136] This theorem is the analytic heart of the Calabi-Yau story. It turns the topological condition $c_1(X)=0$ into an actual Riemannian metric with special curvature, and it does so without providing an explicit closed formula in most interesting examples. In practice, applying the theorem follows a repeatable checklist. First verify that the manifold is compact and Kähler. Next compute $K_X$ or $c_1(X)$, often by adjunction or a standard exact sequence, to confirm that $c_1(X)=0$ in real cohomology. Then choose the Kähler class in which the metric should lie. Yau's theorem then supplies the unique Ricci-flat representative in that chosen class. The hypotheses again have sharp content. If $c_1(X)\ne 0$, as for $\mathbb P^n$, the Ricci form cannot vanish in any Kähler class because its cohomology class is fixed at $2\pi c_1(X)$. If the Kähler class is changed, the theorem does not identify the resulting metrics; uniqueness is only within the fixed class $[\omega]$. Thus a K3 surface or a quintic threefold carries a whole family of Ricci-flat Kähler metrics, one for each Kähler class, rather than a single canonical metric attached to the complex manifold alone. [example: K3 Surface] Let $X$ be a K3 surface. Thus $X$ is compact Kähler, $\dim_{\mathbb C}X=2$, $X$ is simply connected, and \begin{align*} K_X\cong \mathcal O_X. \end{align*} The canonical framing gives \begin{align*} c_1(X)=0 \end{align*} by *[Canonical Framing Implies Vanishing First Chern Class](/theorems/9134)*. Choose a Kähler class $\alpha\in H^{1,1}(X;\mathbb R)$ and a Kähler form $\omega$ with $[\omega]=\alpha$. Since $c_1(X)=0$, *Ricci-Flat Metric in Each Kähler Class* gives a unique Kähler form $\omega_\alpha$ such that \begin{align*} [\omega_\alpha]=\alpha \end{align*} and \begin{align*} \operatorname{Ric}(\omega_\alpha)=0. \end{align*} Because $K_X\cong\mathcal O_X$, there is a nowhere vanishing holomorphic $2$-form $\Omega$ on $X$. Applying the *[Holonomy Criterion for Calabi-Yau Metrics](/theorems/9137)* to the Ricci-flat Kähler metric determined by $\omega_\alpha$ gives \begin{align*} \operatorname{Hol}(\omega_\alpha)\subseteq SU(2). \end{align*} The metric is not flat: if it were flat, parallel translation of constant covectors on the universal cover would produce nonzero parallel holomorphic $1$-forms on $X$, hence nonzero classes in $H^{1,0}(X)$. But $X$ is simply connected, so \begin{align*} H^1(X;\mathbb C)=0, \end{align*} and the Hodge decomposition then gives \begin{align*} H^{1,0}(X)=0. \end{align*} Thus K3 surfaces carry Ricci-flat Kähler metrics that are not locally Euclidean. For a generic Kähler class, the holonomy is the full group $SU(2)$, so K3 surfaces give the first non-flat Calabi-Yau metrics in this list. [/example] The K3 example separates Ricci-flatness from flatness: the metric has zero Ricci curvature, but its holonomy and topology prevent it from being locally Euclidean. This distinction matters before we move to holonomy, where the full curvature tensor rather than only its trace controls parallel transport. [remark: Ricci Flat Does Not Mean Flat] Ricci-flatness is weaker than vanishing full curvature. Elliptic curves with their translation-invariant metrics are flat, but K3 surfaces and smooth quintic threefolds carry Ricci-flat metrics with nonzero Riemann curvature. The Ricci tensor records a trace of the curvature, while the full curvature tensor contains more information. [/remark] ## Holonomy and the Calabi-Yau Condition How does a Ricci-flat Kähler metric remember the holomorphic volume form? The bridge is holonomy. On a Kähler manifold of complex dimension $n$, the Levi-Civita holonomy is contained in $U(n)$; a parallel holomorphic volume form reduces it to $SU(n)$. [definition: Calabi-Yau Manifold] Let $X$ be a compact Kähler manifold of complex dimension $n$. A Calabi-Yau manifold is a compact Kähler manifold with $K_X\cong\mathcal O_X$ as a holomorphic line bundle. [/definition] Some authors also require simply connectedness or holonomy exactly $SU(n)$. In this course we separate the algebro-geometric condition from the stronger holonomy condition, because products and finite quotients are important examples. [quotetheorem:9137] [citeproof:9137] The theorem explains why the same objects appear under several names: algebraic geometers see $K_X\cong\mathcal O_X$, differential geometers see special holonomy, and analysts see a Ricci-flat solution of a complex Monge-Ampère equation. The Ricci-flat hypothesis is essential in the reverse direction. A Kähler metric on a canonically framed manifold need not make a chosen holomorphic volume form parallel; rescaling a Ricci-flat metric inside a nonconstant conformal or non-Ricci-flat Kähler deformation changes the pointwise norm of the form and breaks the Bochner conclusion. The theorem is therefore a statement about Calabi-Yau metrics, not about arbitrary Kähler metrics on a canonically framed manifold. The forward direction also gives only holonomy contained in $SU(n)$, leaving room for products such as elliptic curve times K3 surface where the holonomy is a proper subgroup. [example: Products and Holonomy Reduction] Let $X=E\times S$, where $E$ is an elliptic curve and $S$ is a K3 surface, and let $p_E:X\to E$ and $p_S:X\to S$ be the projections. Since $\dim_{\mathbb C}E=1$ and $\dim_{\mathbb C}S=2$, the product formula for canonical bundles gives \begin{align*} K_X\cong p_E^*K_E\otimes p_S^*K_S. \end{align*} The elliptic curve has $K_E\cong\mathcal O_E$, and the K3 surface has $K_S\cong\mathcal O_S$, so \begin{align*} p_E^*K_E\cong p_E^*\mathcal O_E\cong\mathcal O_X. \end{align*} Similarly, \begin{align*} p_S^*K_S\cong p_S^*\mathcal O_S\cong\mathcal O_X. \end{align*} Substituting into the canonical bundle formula gives \begin{align*} K_X\cong \mathcal O_X\otimes\mathcal O_X\cong\mathcal O_X. \end{align*} Thus the product is canonically framed. Choose Ricci-flat Kähler metrics $\omega_E$ on $E$ and $\omega_S$ on $S$, and put \begin{align*} \omega_X=p_E^*\omega_E+p_S^*\omega_S. \end{align*} For the product metric, parallel transport preserves the splitting \begin{align*} T_X\cong p_E^*T_E\oplus p_S^*T_S. \end{align*} Therefore its holonomy is contained in the product of the holonomy groups of the two factors: \begin{align*} \operatorname{Hol}(\omega_X)\subseteq \operatorname{Hol}(\omega_E)\times \operatorname{Hol}(\omega_S). \end{align*} The elliptic curve factor is flat, so $\operatorname{Hol}(\omega_E)\subseteq SU(1)$, where $SU(1)=\{1\}$. For the K3 factor, the holomorphic volume form and Ricci-flat Kähler metric give \begin{align*} \operatorname{Hol}(\omega_S)\subseteq SU(2) \end{align*} by *Holonomy Criterion for Calabi-Yau Metrics*. Hence \begin{align*} \operatorname{Hol}(\omega_X)\subseteq SU(1)\times SU(2)\subseteq SU(3). \end{align*} The subgroup $SU(1)\times SU(2)$ preserves the decomposition of $\mathbb C^3$ into a $1$-dimensional summand and a $2$-dimensional summand, while the full group $SU(3)$ does not preserve any fixed nonzero proper complex subspace. Thus $X$ has $K_X\cong\mathcal O_X$, but its product Ricci-flat metric has holonomy strictly smaller than $SU(3)$. [/example] Finite quotients show why the convention for the term Calabi-Yau must be stated at the start. If a finite group acts freely and holomorphically on a canonically framed Kähler manifold while preserving a holomorphic volume form, the quotient again has $K_X\cong\mathcal O_X$. If the action multiplies the volume form by a nonidentity character, the quotient may have torsion canonical bundle instead. ## Hodge Numbers and Deformation Directions The metric theorem now feeds back into the deformation theory developed earlier in the course. A Calabi-Yau manifold has Hodge-theoretic symmetries and deformation spaces governed by familiar cohomology groups. The guiding question is: which cohomology groups measure changes of complex structure and changes of Kähler class? [definition: Calabi-Yau Moduli Directions] Let $X$ be a compact Calabi-Yau manifold. The first-order complex-structure directions are classes in $H^1(X,T_X)$, while first-order Kähler directions are represented by real classes in $H^{1,1}(X;\mathbb R)$ lying tangent to the Kähler cone. [/definition] This definition names the two deformation directions, but it does not yet put them in Hodge-theoretic form. The missing step is to use the holomorphic volume form to convert tangent-valued cohomology into ordinary Hodge cohomology, which gives the numerical invariants used in moduli problems. [quotetheorem:9138] [citeproof:9138] This theorem is the basic dictionary for the moduli discussion: $h^{n-1,1}$ counts infinitesimal complex directions, while $h^{1,1}$ counts infinitesimal Kähler directions. The nowhere vanishing hypothesis on $\Omega$ is what makes contraction an isomorphism of bundles; on a manifold whose canonical bundle is not canonically framed, such as $\mathbb P^n$, there is no global holomorphic volume form and no comparable identification $T_X\cong\Omega_X^{n-1}$. The choice of $\Omega$ matters only up to multiplication by a nonzero scalar, so the induced map on cohomology is rescaled but the dimension count is unchanged. The theorem is also only first-order deformation theory. It identifies tangent spaces, not an actual global moduli space and not unobstructedness of deformations. Mirror symmetry later exchanges these two numbers for mirror pairs, but here we only need the local tangent-space interpretation. If $\Omega$ is a holomorphic volume form, contraction sends a tangent-valued class to a Hodge class: \begin{align*} [\theta] \longmapsto [\theta\lrcorner \Omega]. \end{align*} [example: Hodge Numbers of the Standard Examples] For an elliptic curve $E$, the first-order complex-structure directions are identified with $H^1(E,T_E)$. Since $K_E\cong\mathcal O_E$, contraction with a holomorphic $1$-form identifies $T_E$ with $\mathcal O_E$, so \begin{align*} h^1(E,T_E)=h^1(E,\mathcal O_E)=h^{0,1}(E)=1. \end{align*} The Kähler directions are measured by $H^{1,1}(E;\mathbb R)$, and an elliptic curve has one real Kähler class direction, so \begin{align*} h^{1,1}(E)=1. \end{align*} For a K3 surface $S$, a holomorphic $2$-form $\Omega$ gives the contraction isomorphism $H^1(S,T_S)\cong H^{1,1}(S)$ by *[Hodge-Theoretic Tangent Space for Calabi-Yau Deformations](/theorems/9138)*. The standard K3 Hodge diamond has $h^{1,1}(S)=20$, hence \begin{align*} h^1(S,T_S)=h^{1,1}(S)=20. \end{align*} Thus K3 surfaces have $20$ first-order complex-structure directions and $20$ Kähler directions. For a smooth quintic threefold $X\subset\mathbb P^4$, the Lefschetz hyperplane theorem gives $h^{1,1}(X)=1$, generated by the restriction of the hyperplane class. The complex-structure count comes from quintic equations modulo rescaling and projective changes of coordinates. The vector space of homogeneous degree-$5$ polynomials in $5$ variables has dimension \begin{align*} \binom{5+5-1}{5}=\binom{9}{5}=\binom{9}{4}=126. \end{align*} Rescaling the defining equation removes one parameter, and projective coordinate changes remove \begin{align*} \dim PGL_5=\dim GL_5-\dim \mathbb C^\times=25-1=24 \end{align*} parameters. Therefore \begin{align*} h^{2,1}(X)=126-1-24=101. \end{align*} So the smooth quintic threefold has $101$ first-order complex-structure directions but only $1$ Kähler direction. [/example] The Ricci-flat metric also gives a harmonic representative in each relevant cohomology class. Thus the analytic metric chosen by Yau's theorem supplies the finite-dimensional Hodge spaces used to describe deformations. [remark: What This Chapter Does Not Prove] The unobstructedness of Calabi-Yau deformations is the Bogomolov-Tian-Todorov theorem, which requires more deformation theory than this chapter develops. Here we use only the first-order tangent-space identification and the geometric meaning of the two main types of moduli directions. The full local moduli space is addressed after the period-map material. [/remark] ## Examples and Conventions Across the Course Which examples should be kept separate when the same phrase "Calabi-Yau" is used in several communities? The examples in this chapter form a hierarchy that answers this question. Elliptic curves are flat and one-dimensional, K3 surfaces are simply connected surfaces with holonomy $SU(2)$ in the generic Ricci-flat case, and smooth quintic threefolds are projective threefolds with $K_X\cong\mathcal O_X$ and large complex deformation space. Products and finite quotients show that $K_X\cong\mathcal O_X$ alone does not force irreducible holonomy. [example: Finite Quotient Preserving the Volume Form] Let $q:Y\to X=Y/G$ be the quotient map. Choose any Kähler form $\omega$ on $Y$ and average it over the finite group: \begin{align*} \widetilde\omega=\frac{1}{|G|}\sum_{g\in G}g^*\omega. \end{align*} Each $g^*\omega$ is closed, real, positive, and of type $(1,1)$ because $g$ is a holomorphic automorphism, so $\widetilde\omega$ has the same properties. For $h\in G$, \begin{align*} h^*\widetilde\omega=\frac{1}{|G|}\sum_{g\in G}h^*g^*\omega=\frac{1}{|G|}\sum_{g\in G}(g\circ h)^*\omega=\widetilde\omega, \end{align*} because right multiplication by $h$ permutes the elements of $G$. Thus $\widetilde\omega$ descends through the local biholomorphism $q$ to a Kähler form $\omega_X$ on $X$, with $q^*\omega_X=\widetilde\omega$. Since $Y$ is compact and $q$ is a finite quotient map, $X$ is compact. Now use the hypothesis $g^*\Omega_Y=\Omega_Y$ for every $g\in G$. For $x=q(y)$ and tangent vectors $v_1,\ldots,v_n\in T_xX$, choose the unique lifts $\widetilde v_1,\ldots,\widetilde v_n\in T_yY$ under $dq_y$. Define \begin{align*} \Omega_X{}_x(v_1,\ldots,v_n)=\Omega_Y{}_y(\widetilde v_1,\ldots,\widetilde v_n). \end{align*} If $y$ is replaced by $g(y)$, the lifted vectors are $dg_y(\widetilde v_1),\ldots,dg_y(\widetilde v_n)$, and \begin{align*} \Omega_Y{}_{g(y)}(dg_y\widetilde v_1,\ldots,dg_y\widetilde v_n)=(g^*\Omega_Y)_y(\widetilde v_1,\ldots,\widetilde v_n)=\Omega_Y{}_y(\widetilde v_1,\ldots,\widetilde v_n). \end{align*} So $\Omega_X$ is well-defined and satisfies $q^*\Omega_X=\Omega_Y$. Because $dq_y$ is an isomorphism and $\Omega_Y$ is nowhere vanishing, $\Omega_X$ is nowhere vanishing. Hence $\Omega_X$ is a global holomorphic frame of $K_X$, so $K_X\cong\mathcal O_X$. Finally, if $\omega_X$ is a Ricci-flat Kähler metric on $X$, then $q^*\omega_X$ is $G$-invariant because \begin{align*} g^*q^*\omega_X=(q\circ g)^*\omega_X=q^*\omega_X. \end{align*} Since $q$ is locally biholomorphic, the Ricci form pulls back locally: \begin{align*} \operatorname{Ric}(q^*\omega_X)=q^*\operatorname{Ric}(\omega_X)=0. \end{align*} Thus Ricci-flat metrics on $X$ lift to $G$-invariant Ricci-flat metrics on $Y$, while the invariant holomorphic volume form on $Y$ is exactly the pullback of the volume form on the quotient. [/example] The convention used in these notes is deliberately broad: compact Kähler plus $K_X\cong\mathcal O_X$. When the holonomy is exactly $SU(n)$, we will say so explicitly. This avoids hiding product phenomena and quotient phenomena behind terminology, while keeping Yau's theorem as the central analytic tool. # 11. Unobstructedness and Calabi-Yau Moduli This chapter brings the deformation theory developed earlier to the special case of Calabi-Yau manifolds. The central question is why complex deformations of a Calabi-Yau manifold have no higher-order obstruction, even though the general Kuranishi construction allows quadratic and higher obstruction terms. The answer is the Tian-Todorov mechanism: the holomorphic volume form converts Beltrami differentials into ordinary forms, and the resulting differential identities force the obstruction classes to vanish. ## The Tian-Todorov Mechanism The deformation complex for a compact complex manifold is built from $(0,q)$-forms with values in the holomorphic tangent bundle. On a Calabi-Yau manifold, the presence of a nowhere-vanishing holomorphic $n$-form changes the nature of this complex. The first problem is to understand how contraction with the volume form translates tangent-valued forms into scalar-valued forms where Hodge theory and the $\bar\partial\partial$-lemma can be applied. [definition: Calabi-Yau Manifold] A Calabi-Yau manifold in this chapter is a compact Kähler manifold $X$ of complex dimension $n$ equipped with a nowhere-vanishing holomorphic $n$-form $\Omega \in H^0(X,K_X)$. [/definition] The definition fixes the version of Calabi-Yau geometry used in deformation theory: the canonical bundle is holomorphically isomorphic to $\mathcal O_X$, and a chosen generator $\Omega$ is part of the working data. The next definition is needed because the ordinary deformation complex uses $T_X$-valued forms, while the Kähler identities and Hodge decomposition are most directly applied to scalar-valued differential forms. Contraction with $\Omega$ is the bridge between these two languages, and it is the source of the special cancellation behind unobstructedness. [definition: Contraction Isomorphism] Let $X$ be a Calabi-Yau manifold of complex dimension $n$ with holomorphic volume form $\Omega$. For each $q \ge 0$, the contraction map is the map $\iota_\Omega: A^{0,q}(X,T_X) \to A^{n-1,q}(X)$ defined by \begin{align*} \iota_\Omega(\varphi)=\varphi \lrcorner \Omega. \end{align*} [/definition] Since $\Omega$ never vanishes, contraction is pointwise an isomorphism of vector bundles. This does not erase the Lie bracket on tangent-valued forms, so the next step is to record how the bracket appears after contraction. [definition: Schouten Bracket on Beltrami Differentials] Let $X$ be a complex manifold. The Schouten bracket on Beltrami differentials is the bilinear map \begin{align*} [-,-]:A^{0,1}(X,T_X)\times A^{0,1}(X,T_X)\to A^{0,2}(X,T_X) \end{align*} defined by extending the holomorphic Lie bracket on vector fields by wedge product in the $(0,*)$-form component. [/definition] This bracket is the nonlinear term in the Maurer-Cartan equation for deformations, so controlling it is exactly the obstruction problem. The contraction isomorphism has changed the setting, but it has not yet explained why bracket terms should be solvable. The following identity is needed because it converts the nonlinear bracket into a $\partial$-exact form, placing it inside the range where the $\bar\partial\partial$-lemma can be used. [quotetheorem:9139] [citeproof:9139] The identity is the technical heart of the chapter, but its hypotheses are not cosmetic. The conditions $\partial(\varphi\lrcorner\Omega)=0$ and $\partial(\psi\lrcorner\Omega)=0$ remove divergence terms that appear in the local coordinate computation; without choosing representatives satisfying these conditions, the contracted bracket need not be the displayed $\partial$-exact form. For a concrete local failure, take $X=\mathbb C^2$ with $\Omega=dz_1\wedge dz_2$, set $\varphi=\bar z_1\,d\bar z_1\otimes\partial_{z_1}$ and $\psi=z_1\,d\bar z_2\otimes\partial_{z_2}$. Then $\partial(\varphi\lrcorner\Omega)\ne 0$, and the local coordinate expansion contains a divergence term not accounted for by $\partial(\varphi\lrcorner(\psi\lrcorner\Omega))$. The theorem also does not say that every bracket vanishes as a tensor. It says that, after contraction with $\Omega$ and under the closedness hypotheses, the bracket lies in a form of exactness that can be combined with the $\bar\partial\partial$-lemma in the Maurer-Cartan recursion. [example: First-Order Calabi-Yau Deformations] Let $X$ be a Calabi-Yau threefold with holomorphic volume form $\Omega$. In local holomorphic coordinates with $\Omega=dz_1\wedge dz_2\wedge dz_3$, write a Beltrami differential as \begin{align*} \varphi=\sum_{i,j=1}^3 \varphi^i_{\bar j}\,d\bar z_j\otimes \partial_{z_i}. \end{align*} Contraction with $\Omega$ gives the explicit $(2,1)$-form \begin{align*} \varphi\lrcorner\Omega=\sum_{j=1}^3 \varphi^1_{\bar j}\,dz_2\wedge dz_3\wedge d\bar z_j-\sum_{j=1}^3 \varphi^2_{\bar j}\,dz_1\wedge dz_3\wedge d\bar z_j+\sum_{j=1}^3 \varphi^3_{\bar j}\,dz_1\wedge dz_2\wedge d\bar z_j. \end{align*} The three displayed basis forms $dz_2\wedge dz_3$, $-dz_1\wedge dz_3$, and $dz_1\wedge dz_2$ are the contractions of $\Omega$ with $\partial_{z_1}$, $\partial_{z_2}$, and $\partial_{z_3}$ respectively, so contraction is a pointwise isomorphism $T_X\to \Omega_X^2$. Because $\Omega$ is holomorphic, $\bar\partial\Omega=0$, and therefore \begin{align*} \bar\partial(\varphi\lrcorner\Omega)=(\bar\partial\varphi)\lrcorner\Omega. \end{align*} Thus a $\bar\partial$-closed representative $\varphi$ of a first-order deformation gives a $\bar\partial$-closed $(2,1)$-form $\varphi\lrcorner\Omega$. If $\varphi$ is changed by a coboundary, say $\varphi'=\varphi+\bar\partial\eta$ with $\eta\in A^{0,0}(X,T_X)$, then \begin{align*} \varphi'\lrcorner\Omega=\varphi\lrcorner\Omega+\bar\partial(\eta\lrcorner\Omega). \end{align*} So contraction induces a well-defined linear map \begin{align*} H^1(X,T_X)\to H^{2,1}(X),\qquad [\varphi]\mapsto [\varphi\lrcorner\Omega]. \end{align*} The pointwise inverse of contraction also commutes with $\bar\partial$, so this map is an isomorphism. Hence \begin{align*} \dim H^1(X,T_X)=\dim H^{2,1}(X)=h^{2,1}(X). \end{align*} Equivalently, after choosing harmonic representatives, the first-order deformation classes are counted exactly by harmonic $(2,1)$-forms, so the expected local dimension of complex moduli is $h^{2,1}(X)$. [/example] The example explains why Calabi-Yau deformation theory is measured by Hodge numbers. The next question is whether every first-order class extends to an actual local family, or whether higher brackets can still obstruct it. ## Bogomolov-Tian-Todorov Unobstructedness For a general compact complex manifold, the Kuranishi space is cut out by equations whose quadratic term is governed by the bracket on $H^1(X,T_X)$. Calabi-Yau manifolds are special because the bracket terms become exact in a way compatible with the $\bar\partial\partial$-lemma. The problem in this section is to turn this mechanism into a local smoothness theorem for the moduli space. [definition: Maurer-Cartan Equation] Let $X$ be a compact complex manifold. A Beltrami differential $\varphi \in A^{0,1}(X,T_X)$ satisfies the Maurer-Cartan equation if \begin{align*} \bar\partial \varphi + \frac{1}{2}[\varphi,\varphi]=0. \end{align*} [/definition] Solving this equation is equivalent to deforming the complex structure, modulo the usual gauge equivalence. The Kuranishi method solves it as a [power series](/page/Power%20Series) and records the possible failure at each order as an obstruction class. [definition: Unobstructed Deformation Space] A compact complex manifold $X$ has unobstructed deformations if its Kuranishi space is smooth at the point corresponding to $X$ and has tangent space naturally isomorphic to $H^1(X,T_X)$. [/definition] This definition separates first-order deformation theory from the higher-order question: it asks whether the Kuranishi equations impose any local conditions beyond the tangent space. The previous section identified the only nonlinear operation that can create such equations and showed how Calabi-Yau geometry makes it exact after contraction. The following theorem is needed to turn that mechanism into the global statement that the whole local deformation germ is smooth. [quotetheorem:9140] [citeproof:9140] The theorem is stronger than the vanishing of the primary obstruction map: it says the entire Kuranishi germ has no singular equations. The proof also shows why the Kähler hypothesis is part of the mechanism, since the $\bar\partial\partial$-lemma supplies the step that converts exactness into solvability. Without this lemma, the [Tian-Todorov identity](/theorems/9139) alone would only produce $\partial$-exact representatives; it would not guarantee a $\bar\partial$-primitive that can be used to continue the Maurer-Cartan solution. This is why the statement is special to compact Kähler Calabi-Yau manifolds rather than to arbitrary compact complex manifolds with canonical bundle holomorphically isomorphic to $\mathcal O_X$. A standard boundary case is the Nakamura manifold: it is compact, complex parallelisable, and has a nowhere-vanishing holomorphic volume form, but it is not Kähler and its Kuranishi space has obstructed directions. The forward use of the theorem is that the local moduli germ can now be treated as a genuine smooth parameter space, so period maps and metrics can be differentiated without first imposing hidden obstruction equations. [example: Kuranishi Space of a K3 Surface] Let $S$ be a K3 surface, and choose a nonzero holomorphic two-form $\Omega\in H^0(S,K_S)$. Since $K_S\cong\mathcal O_S$ and $\Omega$ has no zeros, contraction gives a pointwise bundle isomorphism \begin{align*} T_S \to \Omega_S^1,\qquad v\mapsto v\lrcorner\Omega. \end{align*} Because $\Omega$ is holomorphic, $\bar\partial\Omega=0$, so for any $T_S$-valued $(0,1)$-form $\varphi$ one has \begin{align*} \bar\partial(\varphi\lrcorner\Omega)=(\bar\partial\varphi)\lrcorner\Omega. \end{align*} Thus contraction is an isomorphism of Dolbeault complexes in degree $1$, and it induces \begin{align*} H^1(S,T_S)\cong H^1(S,\Omega_S^1)=H^{1,1}(S). \end{align*} For a K3 surface, $b_2(S)=22$, while $h^{2,0}(S)=h^{0,2}(S)=1$. The Hodge decomposition in degree $2$ gives \begin{align*} H^2(S,\mathbb C)=H^{2,0}(S)\oplus H^{1,1}(S)\oplus H^{0,2}(S). \end{align*} Taking dimensions gives \begin{align*} 22=1+h^{1,1}(S)+1. \end{align*} Hence \begin{align*} h^{1,1}(S)=20. \end{align*} Therefore \begin{align*} \dim H^1(S,T_S)=20. \end{align*} By the *Bogomolov-Tian-Todorov Theorem*, the Kuranishi space is smooth with tangent space $H^1(S,T_S)$, so the local deformation space of $S$ is a smooth germ of dimension $20$. The period description records the same deformations inside $H^2(S,\mathbb C)$, where the period line generated by the varying holomorphic two-form satisfies the quadratic relation coming from the cup-product pairing. [/example] The surface example is especially useful because its deformation space can be seen both analytically through Kuranishi theory and cohomologically through periods. In higher dimension, the same unobstructedness remains true, but the period domain has a richer variation of Hodge structure. [example: Complex Moduli of the Quintic Threefold] Let $X\subset \mathbb P^4$ be cut out by a smooth homogeneous quintic polynomial $F$. Since $\dim \mathbb P^4=4$ and $X$ is one smooth hypersurface, $\dim X=3$. By the *Adjunction Formula* and $K_{\mathbb P^4}\cong\mathcal O_{\mathbb P^4}(-5)$, we have \begin{align*} K_X\cong (K_{\mathbb P^4}\otimes\mathcal O_{\mathbb P^4}(X))|_X\cong(\mathcal O_{\mathbb P^4}(-5)\otimes\mathcal O_{\mathbb P^4}(5))|_X\cong\mathcal O_X. \end{align*} Thus a smooth quintic threefold is a projective Calabi-Yau threefold in the sense used here. We now compute the expected local dimension of its complex deformations from its defining equation. A degree-five homogeneous polynomial in five variables is a linear combination of monomials \begin{align*} z_0^{a_0}z_1^{a_1}z_2^{a_2}z_3^{a_3}z_4^{a_4} \end{align*} with $a_0+\cdots+a_4=5$ and all $a_i\ge 0$. The number of such monomials is the stars-and-bars number \begin{align*} \binom{5+5-1}{5}=\binom{9}{5}=\frac{9\cdot 8\cdot 7\cdot 6}{4\cdot 3\cdot 2\cdot 1}=126. \end{align*} Multiplying $F$ by a nonzero scalar does not change the hypersurface, so the projective space of quintic equations has dimension \begin{align*} 126-1=125. \end{align*} Changing coordinates in $\mathbb P^4$ by $PGL(5,\mathbb C)$ also does not change the abstract hypersurface. Since \begin{align*} \dim PGL(5,\mathbb C)=\dim GL(5,\mathbb C)-\dim\mathbb C^*=25-1=24, \end{align*} the local dimension after quotienting by projective coordinate changes is \begin{align*} 125-24=101. \end{align*} Therefore the polynomial deformation count gives $h^{2,1}(X)=101$, equivalently $\dim H^1(X,T_X)=101$ for the quintic threefold. By the *Bogomolov-Tian-Todorov Theorem*, these first-order directions are unobstructed, so the Kuranishi space is a smooth local moduli germ of dimension $101$ rather than a singular space cut out by higher obstruction equations. [/example] The quintic shows how the abstract theorem appears in projective geometry: the local deformation count agrees with the expected parameter count after quotienting by projective automorphisms. This prepares the way for coordinates on moduli coming from periods of the holomorphic volume form. ## Periods and the Local Moduli Space Once unobstructedness gives a smooth local deformation space, the next problem is to choose useful local coordinates. Calabi-Yau manifolds have a distinguished line $H^{n,0}(X)$ in middle cohomology, generated by the holomorphic volume form. Tracking this line under deformation defines the period map, and local Torelli says that near a Calabi-Yau point these periods detect the deformation. [definition: Period Map] Let $\pi:\mathcal X \to S$ be a smooth family of compact Kähler Calabi-Yau manifolds of dimension $n$, and fix a local trivialisation of the local system $R^n\pi_*\mathbb C$ over a simply connected open set $U \subset S$ with reference fibre $X_{s_0}$. The period map is the holomorphic map \begin{align*} \mathcal P:U \to \mathbf P(H^n(X_{s_0},\mathbb C)) \end{align*} defined by \begin{align*} \mathcal P(s)=H^{n,0}(X_s), \end{align*} where $H^{n,0}(X_s)$ is viewed as a line in $H^n(X_{s_0},\mathbb C)$ using the chosen local-system identification. [/definition] The period map converts variation of complex structure into variation of Hodge decomposition, but this definition alone does not say how to compute its derivative. The next theorem is needed because it identifies the infinitesimal period map with the same contraction operation that controlled unobstructedness. This gives a direct comparison between Kuranishi tangent vectors and first variations of the holomorphic volume form. [quotetheorem:9141] [citeproof:9141] The formula identifies the tangent map with contraction by $\Omega$, so it turns the qualitative period map into a concrete linear map. The conclusion depends on working with the variation of the Hodge line in a Kähler family: Griffiths transversality is what restricts the first derivative to $H^{n,0}\oplus H^{n-1,1}$, and the Kodaira-Spencer description identifies the new $H^{n-1,1}$ component. The family hypothesis is essential because an isolated manifold has no Kodaira-Spencer tangent direction to differentiate, and the Kähler hypothesis is essential because the target Hodge summands need not vary as a polarized Hodge structure in non-Kähler families. For example, the Iwasawa manifold has a holomorphic volume form but its Frölicher spectral sequence and Hodge decomposition behaviour are not the Kähler ones, so the displayed Kähler-period formula is not the correct deformation invariant there. The formula does not say that the full period map is globally injective, nor that periods distinguish distant complex structures. Since contraction is an isomorphism for Calabi-Yau manifolds, the natural local question is whether the period map loses any infinitesimal deformation direction; local Torelli answers this injectivity question. [quotetheorem:9142] [citeproof:9142] Local Torelli makes periods legitimate local coordinates only after choosing a local slice and enough independent period ratios. It is an infinitesimal statement, so it does not by itself rule out monodromy or multiple points of the moduli space having the same projective period far away from the base point. The Calabi-Yau hypothesis matters because contraction with $\Omega$ identifies $H^1(X,T_X)$ with $H^{n-1,1}(X)$; without a nowhere-vanishing holomorphic volume form, the same argument need not give an injective period derivative. A concrete failure occurs for projective space $\mathbb P^n$: it has no holomorphic volume form because $K_{\mathbb P^n}\cong\mathcal O_{\mathbb P^n}(-n-1)$, so there is no $H^{n,0}$ period line whose first variation could detect deformations. More generally, outside the Calabi-Yau setting infinitesimal Torelli can fail, as for some hypersurfaces with special Hodge-theoretic degeneracies. The next definition records the coordinates used in practice. [definition: Period Coordinates] Let $X$ be a Calabi-Yau manifold of dimension $n$, let $U$ be a neighbourhood in its local moduli space, let $\Omega_s$ be a local holomorphic family of volume forms for $s \in U$, and let $\gamma_0,\gamma_1,\dots,\gamma_N$ be locally constant cycles in $H_n(X,\mathbb Z)$ with $\int_{\gamma_0}\Omega_s \ne 0$ on $U$. The associated affine period coordinates are the holomorphic functions \begin{align*} z_i:U \to \mathbb C, \qquad z_i(s)=\frac{\int_{\gamma_i}\Omega_s}{\int_{\gamma_0}\Omega_s}, \qquad 1 \le i \le N. \end{align*} [/definition] The quotient removes the scaling ambiguity of the holomorphic volume form. Near a point where the relevant period derivatives are independent, a suitable subset of the $z_i$ gives holomorphic coordinates on the local moduli space. [example: Period Coordinates Near a Calabi-Yau Point] Let $m=h^{2,1}(X)$ and choose a symplectic basis $\gamma_0,\gamma_1,\dots,\gamma_{2m+1}$ of $H_3(X,\mathbb Z)$. For a local holomorphic choice of volume form $\Omega_s$, define the period functions \begin{align*} \Pi_a(s)=\int_{\gamma_a}\Omega_s. \end{align*} Choose the basis so that $\Pi_0(s_0)\ne 0$ at the base point $s_0\in S$. After shrinking $S$ if necessary, $\Pi_0(s)\ne 0$ on $S$, so the affine period ratios \begin{align*} w_a(s)=\frac{\Pi_a(s)}{\Pi_0(s)},\qquad 1\le a\le 2m+1 \end{align*} are holomorphic functions on $S$. The projective period point is \begin{align*} \mathcal P(s)=[\Pi_0(s):\Pi_1(s):\cdots:\Pi_{2m+1}(s)]. \end{align*} On the affine chart $\Pi_0\ne 0$, this is the same as the vector of ratios $(w_1(s),\dots,w_{2m+1}(s))$. For a tangent vector $v\in T_{s_0}S$, the differential of each ratio is \begin{align*} d w_a(v)=\frac{\Pi_0(s_0)\,d\Pi_a(v)-\Pi_a(s_0)\,d\Pi_0(v)}{\Pi_0(s_0)^2}. \end{align*} By the quoted local Torelli theorem card for Calabi-Yau manifolds, the differential of the period map at $s_0$ is injective. Since the Kuranishi space is smooth of dimension $m=h^{2,1}(X)$, the [Jacobian matrix](/page/Jacobian%20Matrix) of the functions $w_1,\dots,w_{2m+1}$ has rank $m$ at $s_0$. Therefore some $m$ of these ratios, say $w_{a_1},\dots,w_{a_m}$, have linearly independent differentials at $s_0$. The holomorphic map \begin{align*} s\mapsto (w_{a_1}(s),\dots,w_{a_m}(s)) \end{align*} has invertible differential at $s_0$, so the [holomorphic inverse function theorem](/theorems/4950) makes these selected period ratios a local coordinate system on the Kuranishi space. Thus near a Calabi-Yau threefold point, the complex moduli parameters can be read from normalized periods of the holomorphic three-form. [/example] Period coordinates describe the complex structure side of moduli. To measure lengths and curvature on this moduli space, the course next introduces the Weil-Petersson metric, whose definition uses the $L^2$ geometry of harmonic representatives. ## The Weil-Petersson Metric and Yukawa Couplings The local moduli space of Calabi-Yau manifolds is not only a complex manifold; it carries natural Hermitian geometry. The problem is to define a metric that depends only on the variation of complex structure and the holomorphic volume form. For Calabi-Yau manifolds, the Weil-Petersson metric can be written either through harmonic Beltrami differentials or through the Hodge norm of the period line. [definition: Weil-Petersson Metric] Let $\mathcal M$ be the local moduli space of Calabi-Yau manifolds near $X$, let $U \subset \mathcal M$ be a coordinate neighbourhood, and let $\Omega_s$ be a local holomorphic choice of volume form for $s \in U$. The Weil-Petersson Kähler potential is the function \begin{align*} K:U \to \mathbb R, \qquad K(s)=-\log\left(i^{n^2}\int_{X_s}\Omega_s\wedge \overline{\Omega_s}\right). \end{align*} The Weil-Petersson metric is the Hermitian form $g_s^{\mathrm{WP}}:T_s\mathcal M\times T_s\mathcal M\to\mathbb C$ whose local coordinate components are \begin{align*} g_{i\bar j}^{\mathrm{WP}}(s)=\frac{\partial^2 K}{\partial s_i\partial \bar s_j}(s). \end{align*} [/definition] This definition is independent of rescaling $\Omega_s$ by a nowhere-zero holomorphic function, because the change in $K$ is the sum of a holomorphic and an antiholomorphic term. The same metric can be computed using harmonic representatives of Kodaira-Spencer classes. [quotetheorem:9143] [citeproof:9143] The pairing formula relates the metric directly to the deformation complex and explains why the Weil-Petersson geometry is part of variation of Hodge structure. Its hypotheses also mark the limits of the formula: the harmonic representatives depend on the Kähler metric, and the Ricci-flat metric supplies the natural $L^2$ realisation of tangent vectors. Without the Kähler package, the Hodge decomposition and harmonic representative statement used in the displayed integral are not available in this form. On the Iwasawa manifold, for instance, there is a holomorphic volume form but no Ricci-flat Kähler metric, so the displayed harmonic-representative formula cannot be used to define the Weil-Petersson pairing. The formula defines a metric on the smooth Calabi-Yau moduli germ; it does not imply that the metric is complete or that its curvature has a fixed sign. Once the metric is understood through derivatives of periods, a further question appears in dimension three: what tensor is obtained from the third variation of the holomorphic volume form? The answer is the Yukawa coupling, which packages the cubic interaction of three Kodaira-Spencer directions. [definition: Yukawa Coupling] Let $X$ be a Calabi-Yau threefold with holomorphic volume form $\Omega$. The Yukawa coupling is the symmetric cubic map \begin{align*} Y:H^1(X,T_X)\times H^1(X,T_X)\times H^1(X,T_X) \to \mathbb C \end{align*} defined by \begin{align*} Y([\varphi_1],[\varphi_2],[\varphi_3])=\int_X ((\varphi_1\wedge\varphi_2\wedge\varphi_3)\lrcorner\Omega)\wedge\Omega, \end{align*} where the representatives are chosen so that the integral computes the induced cohomological pairing. [/definition] The tensor is symmetric after passing to cohomology and using the graded signs in the wedge of tangent-valued forms. The definition depends on the Calabi-Yau threefold structure in two ways: three contractions of a holomorphic three-form produce a scalar-valued $(0,3)$ contribution, and wedging with $\Omega$ gives a top-degree form that can be integrated. In other dimensions the analogous higher variation has a different degree and is not this cubic tensor. To compute it on an actual moduli space, we need a bridge from this contraction formula to the period coordinates introduced above. [remark: Special-Coordinate Yukawa Formula] On a simply connected local chart of Calabi-Yau threefold moduli with affine special coordinates $z_1,\dots,z_m$, choose a flat symplectic basis of middle homology and normalize the holomorphic three-form by the first $A$-period. In these choices the normalized period vector has the form \begin{align*} (1,z_1,\dots,z_m,F_0,F_1,\dots,F_m), \end{align*} where the $B$-period functions are locally encoded by a holomorphic prepotential $\mathcal F$. With the standard special-geometry normalization, \begin{align*} F_i=\frac{\partial \mathcal F}{\partial z_i} \end{align*} for $1\le i\le m$, and the Yukawa coupling components in these flat coordinates are \begin{align*} Y_{ijk}=\frac{\partial^3\mathcal F}{\partial z_i\partial z_j\partial z_k}. \end{align*} [/remark] This formula shows that the Yukawa coupling is not an extra structure added to moduli; it is already encoded in the period map once the polarization and special-coordinate choices have been made. These choices are local: monodromy can change the symplectic basis, and the prepotential need not be a single-valued global function on the whole moduli space. The formula also uses the weight-three variation of Hodge structure of a Calabi-Yau threefold, so it should not be read as a dimension-free statement about arbitrary Calabi-Yau moduli. A K3 surface is the basic boundary case: its periods live in weight two, the natural period domain is quadratic, and there is no cubic third-derivative tensor of the same type. This makes explicit computations possible whenever the periods satisfy differential equations. The standard illustration is the quintic family, where Picard-Fuchs equations turn period data into concrete cubic tensors. [example: Yukawa Coupling for the Quintic Family] For the mirror quintic, take the one-parameter family whose Picard-Fuchs operator is \begin{align*} \mathcal L=\theta^4-5z(5\theta+1)(5\theta+2)(5\theta+3)(5\theta+4),\qquad \theta=z\frac{d}{dz}. \end{align*} A holomorphic period $\Pi_0(z)$ near $z=0$ is normalized by $\Pi_0(0)=1$, and the logarithmic period $\Pi_1(z)$ determines the flat coordinate \begin{align*} t=\frac{\Pi_1(z)}{\Pi_0(z)},\qquad q=e^t. \end{align*} By the special-coordinate formula above, the Yukawa coupling in the flat coordinate is the third derivative of the prepotential: \begin{align*} Y_{ttt}=\frac{\partial^3\mathcal F}{\partial t^3}. \end{align*} The period computation gives the standard instanton expansion \begin{align*} Y_{ttt}=5+\sum_{d\ge 1}N_d\frac{d^3q^d}{1-q^d}. \end{align*} Expanding the geometric series $\frac{1}{1-q^d}=1+q^d+q^{2d}+\cdots$ gives \begin{align*} N_d\frac{d^3q^d}{1-q^d}=N_d d^3(q^d+q^{2d}+q^{3d}+\cdots). \end{align*} Using the first quintic curve counts $N_1=2875$, $N_2=609250$, and $N_3=317206375$, the first coefficients are obtained as follows. The coefficient of $q$ is \begin{align*} N_1\cdot 1^3=2875. \end{align*} The coefficient of $q^2$ receives contributions from $d=1$ and $d=2$, so it is \begin{align*} N_1\cdot 1^3+N_2\cdot 2^3=2875+609250\cdot 8=4876875. \end{align*} The coefficient of $q^3$ receives contributions from $d=1$ and $d=3$, so it is \begin{align*} N_1\cdot 1^3+N_3\cdot 3^3=2875+317206375\cdot 27=8564575000. \end{align*} Thus \begin{align*} Y_{ttt}=5+2875q+4876875q^2+8564575000q^3+\cdots. \end{align*} The constant term $5$ is the classical triple intersection number of the hyperplane class on the quintic, while the positive-degree terms are determined by the period equation through the prepotential; the cubic tensor is therefore read from variation of Hodge structure, not chosen separately. [/example] The chapter closes the deformation-theoretic arc of the course. Positivity and vanishing supplied the analytic control needed earlier; here Kähler Hodge theory and the Calabi-Yau volume form remove obstructions, identify the local moduli space with a smooth germ, and equip that germ with period coordinates and the Weil-Petersson metric. # 12. Moduli Methods and Compactness Themes This final chapter explains how the positivity, vanishing, deformation, and period-map results developed earlier enter moduli theory. The guiding question is how to organise families of compact complex manifolds into parameter spaces, then understand what happens near their boundary. The main tools are polarized embeddings, Hilbert schemes and GIT quotients, Hodge-theoretic curvature, and limiting mixed Hodge theory for degenerations. ## Polarized Manifolds and Hilbert-Scheme Parameter Spaces The first problem is how to turn a class of compact complex manifolds into a geometric parameter space. Abstract complex manifolds are hard to compare directly, so the standard method is to add a polarization, embed by sections of a high tensor power, and record the resulting subvariety of projective space by its Hilbert polynomial. [definition: Polarized Manifold] A polarized manifold is a pair $(X,L)$ consisting of a compact complex manifold $X$ and an ample holomorphic line bundle $L \to X$. [/definition] The line bundle is part of the data because it gives a scale for projective embeddings and fixes numerical invariants such as degree. The next issue is concrete: before building a parameter space, we need an invariant that remains constant as embedded varieties move in a family. [example: Smooth Hypersurfaces As Polarized Manifolds] Let $X \subset \mathbb P^{n+1}$ be the smooth zero locus of a homogeneous polynomial $F$ of degree $d$, and set $L=\mathcal O_{\mathbb P^{n+1}}(1)|_X$. Since $\mathcal O_{\mathbb P^{n+1}}(1)$ is very ample, its restriction to the closed submanifold $X$ is ample, so $(X,L)$ is a polarized manifold. The hypersurface $X$ is cut out by the principal homogeneous ideal $(F)$. After twisting by $\mathcal O_{\mathbb P^{n+1}}(m)$, multiplication by $F$ gives the inclusion of the degree-$m$ part of the ideal: \begin{align*} \mathcal O_{\mathbb P^{n+1}}(m-d)\xrightarrow{\cdot F}\mathcal O_{\mathbb P^{n+1}}(m). \end{align*} The cokernel is the restriction to $X$, so we have the short exact sequence \begin{align*} 0 \to \mathcal O_{\mathbb P^{n+1}}(m-d) \to \mathcal O_{\mathbb P^{n+1}}(m) \to \mathcal O_X(m) \to 0. \end{align*} Here $\mathcal O_X(m)=\mathcal O_{\mathbb P^{n+1}}(m)|_X=L^m$. Additivity of Euler characteristic in a short exact sequence gives \begin{align*} \chi(\mathbb P^{n+1},\mathcal O_{\mathbb P^{n+1}}(m))=\chi(\mathbb P^{n+1},\mathcal O_{\mathbb P^{n+1}}(m-d))+\chi(X,L^m). \end{align*} Solving for the last term gives \begin{align*} \chi(X,L^m)=\chi(\mathbb P^{n+1},\mathcal O_{\mathbb P^{n+1}}(m))-\chi(\mathbb P^{n+1},\mathcal O_{\mathbb P^{n+1}}(m-d)). \end{align*} For projective space, the Euler characteristic of $\mathcal O_{\mathbb P^{n+1}}(q)$ is \begin{align*} \chi(\mathbb P^{n+1},\mathcal O_{\mathbb P^{n+1}}(q))=\binom{q+n+1}{n+1}. \end{align*} Substituting $q=m$ into this formula gives \begin{align*} \chi(\mathbb P^{n+1},\mathcal O_{\mathbb P^{n+1}}(m))=\binom{m+n+1}{n+1}. \end{align*} Substituting $q=m-d$ gives \begin{align*} \chi(\mathbb P^{n+1},\mathcal O_{\mathbb P^{n+1}}(m-d))=\binom{m-d+n+1}{n+1}. \end{align*} Therefore \begin{align*} \chi(X,L^m)=\binom{m+n+1}{n+1}-\binom{m-d+n+1}{n+1}. \end{align*} This expression involves only $n$ and $d$, not the particular smooth defining equation $F$, so all smooth degree-$d$ hypersurfaces in the fixed ambient projective space have the same Hilbert polynomial and belong to the same Hilbert-scheme parameter problem. [/example] The example shows that the dimensions of spaces of sections for large tensor powers are stable enough to organise embedded families. To formulate the parameter problem, we therefore isolate the polynomial that records these dimensions. [definition: Hilbert Polynomial] Let $X \subset \mathbb P^N$ be a projective scheme with very ample line bundle $\mathcal O_X(1)$. The Hilbert polynomial of $X$ is the numerical polynomial $P_X \in \mathbb Q[m]$, viewed as a function $P_X:\mathbb Z \to \mathbb Q$ whose integer values agree with the Euler characteristic for all sufficiently large integers, satisfying \begin{align*} P_X(m)=\chi(X,\mathcal O_X(m)) \end{align*} for all sufficiently large $m \in \mathbb Z$. [/definition] Fixing this polynomial produces the next problem: construct one space whose points represent all embedded subschemes with that polynomial. The Hilbert scheme solves this parameter problem and supplies the universal family needed for later quotient constructions. [quotetheorem:2201] [citeproof:2201] The functor-of-points formulation matters: the theorem is not merely a set-theoretic list of subvarieties. Fixing the ambient projective space is essential, since the same abstract variety embedded by $L$ and by $L^2$ usually has different degree and belongs to a different Hilbert scheme. Fixing the Hilbert polynomial is also essential: in $\mathbb P^2$, lines and conics both form projective families of subschemes, but their Hilbert polynomials are $m+1$ and $2m+1$, so a single Hilbert scheme component with one polynomial cannot parameterise both. Flatness is the family condition that prevents jumps; for instance, a family whose general fibre is one reduced point and whose special fibre has embedded length two cannot be flat with constant Hilbert polynomial. The theorem also does not identify isomorphic abstract varieties; two projectively equivalent embeddings remain distinct points until the projective automorphism group is accounted for. The Hilbert scheme is usually too large: the same abstract polarized manifold may appear through many projective coordinate choices. This creates a new problem, namely to quotient by projective automorphisms without losing the possibility of a geometric parameter space. [definition: Coarse Moduli Space] Let $\mathcal M$ be a moduli functor or category fibred in groupoids over a fixed base $B$, assigning to each $B$-space $S$ the families of objects over $S$. A coarse moduli space for $\mathcal M$ is a $B$-space $M$ together with a natural transformation \begin{align*} \eta:\mathcal M \longrightarrow \operatorname{Hom}(-,M) \end{align*} such that, for every [algebraically closed field](/page/Algebraically%20Closed%20Field) $k$ over $B$, $\eta_{\operatorname{Spec} k}$ induces a bijection between isomorphism classes of objects over $\operatorname{Spec} k$ and points of $M(k)$, and such that any natural transformation from $\mathcal M$ to $\operatorname{Hom}_B(-,Y)$ factors uniquely through a $B$-morphism $M \to Y$. [/definition] This definition deliberately suppresses automorphism groups, so it is suited to orbit-space constructions but not to remembering universal families. For example, an elliptic curve has the involution $[-1]$, and that automorphism acts with nonzero effect on any attempted universal family even though it fixes the corresponding point of the coarse modular curve. Thus a coarse space can record isomorphism classes while failing to carry a universal object. The next question is how the Hilbert scheme and the projective automorphism group combine to produce such a coarse space. [explanation: Hilbert Schemes And GIT Quotients] Let $(X,L)$ range over polarized manifolds with fixed Hilbert polynomial. After replacing $L$ by a high tensor power, boundedness and Kodaira embedding often place the manifolds inside a fixed projective space $\mathbb P^N$, producing an open locus $H^{\mathrm{sm}} \subset \operatorname{Hilb}^{P}(\mathbb P^N)$. The group $PGL(N+1)$ acts on this locus by changing homogeneous coordinates, so the desired moduli problem becomes an orbit-space problem. Geometric invariant theory does not usually quotient all of $H^{\mathrm{sm}}$. One first chooses a linearisation, then keeps a semistable locus $H^{\mathrm{ss}}$, and forms the projective quotient \begin{align*} H^{\mathrm{ss}}/\!/PGL(N+1). \end{align*} Stable points have closed orbits and finite stabilisers, so the quotient behaves most like a coarse space of isomorphism classes on the stable locus. Semistable points may identify non-isomorphic objects whose orbit closures meet, which is why the quotient depends on the stability condition rather than only on the original Hilbert polynomial. In practice, applying this method requires three separate checks: a [boundedness theorem](/theorems/181) to reach a Hilbert scheme, a linearisation of the [group action](/page/Group%20Action), and a comparison theorem showing that the chosen GIT stability matches the intended geometric stability condition. The method can fail to produce the desired moduli space if unstable objects are geometrically important or if strictly semistable orbits collapse distinctions the moduli problem was meant to remember. [/explanation] This is an explanation rather than a theorem because stability is a mathematical choice rather than a decoration. To see the dimension count behind this philosophy, it is useful to compute a familiar Calabi-Yau example before turning to Hodge-theoretic structure on families. [example: Quintic Threefold Moduli Count] A smooth quintic threefold $X \subset \mathbb P^4$ is the zero locus of one homogeneous polynomial of degree $5$ in the five homogeneous variables $x_0,\dots,x_4$. Such polynomials form the vector space $H^0(\mathbb P^4,\mathcal O_{\mathbb P^4}(5))$, with monomial basis \begin{align*} x_0^{a_0}x_1^{a_1}x_2^{a_2}x_3^{a_3}x_4^{a_4} \end{align*} where $a_i\ge 0$ and $a_0+a_1+a_2+a_3+a_4=5$. Counting these exponent vectors is the same as placing $5$ indistinguishable stars into $5$ boxes, so one uses $5$ stars and $4$ separators. Hence the number of monomials is \begin{align*} \binom{5+4}{4}=\binom{9}{4}. \end{align*} Expanding the binomial coefficient gives \begin{align*} \binom{9}{4}=\frac{9!}{4!\,5!}. \end{align*} Cancelling the factor $5!$ from numerator and denominator gives \begin{align*} \frac{9!}{4!\,5!}=\frac{9\cdot 8\cdot 7\cdot 6}{4\cdot 3\cdot 2\cdot 1}. \end{align*} Multiplying the numerator and denominator gives \begin{align*} \frac{9\cdot 8\cdot 7\cdot 6}{4\cdot 3\cdot 2\cdot 1}=\frac{3024}{24}=126. \end{align*} Therefore $H^0(\mathbb P^4,\mathcal O_{\mathbb P^4}(5))$ has dimension $126$. Multiplying a defining polynomial by a nonzero scalar does not change its zero locus, so nonzero quintic equations up to scalar form \begin{align*} \mathbb P(H^0(\mathbb P^4,\mathcal O_{\mathbb P^4}(5))) \cong \mathbb P^{126-1}=\mathbb P^{125}. \end{align*} The projective automorphism group of $\mathbb P^4$ is $PGL(5)$. Since $GL(5)$ is an open subset of the affine space of $5\times 5$ matrices, it has dimension \begin{align*} \dim GL(5)=5^2=25. \end{align*} The scalar matrices form $\mathbb G_m$, whose dimension is $1$, and quotienting $GL(5)$ by scalar matrices gives \begin{align*} \dim PGL(5)=\dim GL(5)-\dim \mathbb G_m=25-1=24. \end{align*} The smooth quintics form an open subset of $\mathbb P^{125}$ because smoothness is the nonvanishing of the discriminant condition, so this smooth parameter locus still has dimension $125$. At a smooth quintic with finite stabilizer under coordinate change, the corresponding orbit has dimension $24$, and the local quotient dimension is therefore \begin{align*} 125-24=101. \end{align*} Thus the expected complex dimension of the moduli space of smooth quintic threefolds is $101$, matching the Hodge-theoretic deformation number $h^{2,1}(X)=101$ for a smooth quintic Calabi-Yau threefold. [/example] ## Positivity of Hodge Bundles and Period-Domain Curvature Once manifolds vary in families, the next question is how their cohomology varies. Hodge decomposition is not locally constant as a decomposition, but the underlying cohomology local system is; the variation is encoded by Hodge bundles and the Gauss-Manin connection. [definition: Variation Of Hodge Structure] A polarized variation of Hodge structure of weight $k$ over a complex manifold $S$ consists of a locally constant sheaf $\mathbb V_{\mathbb Z}$ of finitely generated abelian groups, the holomorphic vector bundle $\mathcal V=\mathbb V_{\mathbb Z}\otimes_{\mathbb Z}\mathcal O_S$, a flat connection \begin{align*} \nabla:\mathcal V \longrightarrow \mathcal V\otimes \Omega_S^1, \end{align*} a decreasing filtration by holomorphic subbundles $F^p\mathcal V$, and a flat bilinear form $Q$ on $\mathbb V_{\mathbb Z}$ such that each fibre $(\mathbb V_s,F^\bullet_s,Q_s)$ is a polarized Hodge structure of weight $k$ with fixed Hodge numbers, and \begin{align*} \nabla(F^p\mathcal V) \subset F^{p-1}\mathcal V \otimes \Omega_S^1. \end{align*} [/definition] Griffiths transversality says that first-order variation of a Hodge class of type at least $p$ can only drop one Hodge level. The next problem is to see this mechanism in a family where the Hodge bundle is visible as a bundle of holomorphic forms. [example: Hodge Bundle In A Family Of Curves] Let $f:\mathcal X \to S$ be a smooth proper family of compact Riemann surfaces of genus $g$, and write $X_s=f^{-1}(s)$. The degree-one Hodge bundle is the holomorphic vector bundle \begin{align*} F^1=f_*K_{\mathcal X/S}. \end{align*} For each $s\in S$, holomorphic base change identifies its fibre with the holomorphic one-forms on the fibre: \begin{align*} F^1_s=(f_*K_{\mathcal X/S})\otimes \mathbb C(s)=H^0(X_s,K_{X_s}). \end{align*} On a compact Riemann surface, holomorphic one-forms are exactly the $(1,0)$-part of the first Hodge decomposition, so \begin{align*} H^0(X_s,K_{X_s})=H^{1,0}(X_s). \end{align*} Thus a local section of $F^1$ is a holomorphically varying family of fibrewise holomorphic one-forms $\omega_s$. Fix $v\in T_sS$. The Kodaira-Spencer class of the family in the direction $v$ is \begin{align*} \kappa(v)\in H^1(X_s,T_{X_s}). \end{align*} In a local coordinate $z$ on $X_s$, represent this class by the Dolbeault cocycle \begin{align*} \mu\,d\bar z\otimes \frac{\partial}{\partial z}. \end{align*} Write the holomorphic one-form locally as \begin{align*} \omega_s=a(z)\,dz. \end{align*} Contraction acts on the vector-field factor and leaves the $(0,1)$-form factor, so \begin{align*} \left(\mu\,d\bar z\otimes \frac{\partial}{\partial z}\right)\lrcorner \left(a(z)\,dz\right)=\mu a(z)\,d\bar z\, dz\left(\frac{\partial}{\partial z}\right). \end{align*} Since $dz(\partial/\partial z)=1$, this becomes \begin{align*} \left(\mu\,d\bar z\otimes \frac{\partial}{\partial z}\right)\lrcorner \left(a(z)\,dz\right)=\mu a(z)\,d\bar z. \end{align*} The product $\mu a(z)\,d\bar z$ is a $(0,1)$-form, hence it represents a class in $H^1(X_s,\mathcal O_{X_s})$ under the Dolbeault description of sheaf cohomology. Therefore the infinitesimal change of the Hodge filtration in the direction $v$ is \begin{align*} \theta_v(\omega_s)=[\kappa(v)\lrcorner \omega_s]=[\mu a(z)\,d\bar z]\in H^1(X_s,\mathcal O_{X_s}). \end{align*} For a compact Riemann surface, Dolbeault cohomology identifies \begin{align*} H^1(X_s,\mathcal O_{X_s})=H^{0,1}(X_s). \end{align*} Thus the Gauss-Manin derivative of a fibrewise holomorphic one-form can only acquire a $(0,1)$-component, and that component is exactly the Kodaira-Spencer contraction with the form. The bundle $F^1$ is flat in the direction $v$ precisely when $[\kappa(v)\lrcorner \omega_s]=0$ for every $\omega_s\in H^0(X_s,K_{X_s})$. [/example] This example turns variation into a curvature question: if the Hodge bundle is not flat, what sign does its curvature have? The answer is one of the central positivity inputs for moduli theory. [quotetheorem:9144] [citeproof:9144] The sign in this theorem is part of the statement, not a convention to be repaired later. It does not say that every Hodge summand is positive: middle graded pieces have one positive and one negative contribution, and the curvature can have mixed sign. The hypotheses are doing real work: without a polarization there is no Hodge metric with the stated adjoint relation, and without Griffiths transversality an arbitrary holomorphic subbundle of a flat bundle can have curvature unrelated to the Higgs-field square above. As a concrete failure mode, take a flat product bundle over a curve and choose a holomorphic line subbundle by a nonconstant map to projective space; its Chern curvature is governed by the chosen map, not by a polarized Hodge decomposition. The useful consequence is therefore not blanket positivity for all bundles in sight, but controlled positivity after taking the correct Hodge piece, dual, or determinant, which is the input used by period maps and moduli constructions below. This curvature control is one of the analytic reasons moduli spaces carry natural positive line bundles, usually after dualising or taking determinant line bundles with the correct sign. To compare different fibres more globally, we need a map that records the whole Hodge filtration rather than a single Hodge bundle. [definition: Period Map] Let $f:\mathcal X \to S$ be a smooth proper family with polarized integral cohomology $H^k(X_s,\mathbb Z)$ modulo torsion, let $D$ be the classifying space of polarized Hodge structures with the resulting Hodge numbers, and let $\Gamma$ be the monodromy group acting on $D$. The period map is the holomorphic map \begin{align*} \Phi:S \longrightarrow \Gamma\backslash D \end{align*} defined by sending $s \in S$ to the Hodge filtration $F^\bullet H^k(X_s,\mathbb C)$. [/definition] The period map forgets the complex manifold but remembers how its cohomology is filtered. The next example identifies this construction with the classical upper-half-plane parameter for elliptic curves. [example: Periods Of Elliptic Curves] For a family of elliptic curves, choose locally a symplectic basis $\alpha,\beta$ of $H_1(E_s,\mathbb Z)$ with $\alpha\cdot\beta=1$, and choose a nonzero holomorphic one-form $\omega_s$. Write \begin{align*} A(s)=\int_{\alpha}\omega_s,\qquad B(s)=\int_{\beta}\omega_s. \end{align*} By the *Riemann bilinear relation* for one-forms on a compact Riemann surface, \begin{align*} \int_{E_s}\omega_s\wedge \overline{\omega_s}=A(s)\overline{B(s)}-B(s)\overline{A(s)}. \end{align*} Because $\omega_s$ is not identically zero, the form $i\,\omega_s\wedge\overline{\omega_s}$ is a nonnegative real area form and is positive on a nonempty open set, so \begin{align*} i\int_{E_s}\omega_s\wedge \overline{\omega_s}>0. \end{align*} If $A(s)=0$, then the bilinear relation gives \begin{align*} \int_{E_s}\omega_s\wedge \overline{\omega_s}=0\cdot \overline{B(s)}-B(s)\cdot 0=0, \end{align*} contradicting the strict positivity above after multiplication by $i$. Hence $A(s)\ne 0$, and the ratio \begin{align*} \tau(s)=\frac{B(s)}{A(s)} \end{align*} is defined. Substituting $B(s)=\tau(s)A(s)$ and $\overline{B(s)}=\overline{\tau(s)}\,\overline{A(s)}$ into the bilinear relation gives \begin{align*} A(s)\overline{B(s)}=A(s)\overline{\tau(s)}\,\overline{A(s)}=|A(s)|^2\overline{\tau(s)}. \end{align*} Similarly, \begin{align*} B(s)\overline{A(s)}=\tau(s)A(s)\overline{A(s)}=|A(s)|^2\tau(s). \end{align*} Therefore \begin{align*} A(s)\overline{B(s)}-B(s)\overline{A(s)}=|A(s)|^2\bigl(\overline{\tau(s)}-\tau(s)\bigr). \end{align*} Writing $\tau(s)=u+iv$ with $u,v\in\mathbb R$, we have \begin{align*} \overline{\tau(s)}-\tau(s)=(u-iv)-(u+iv)=-2iv=-2i\,\operatorname{Im}\tau(s). \end{align*} Thus \begin{align*} \int_{E_s}\omega_s\wedge \overline{\omega_s}=-2i|A(s)|^2\operatorname{Im}\tau(s). \end{align*} Multiplying by $i$ gives \begin{align*} i\int_{E_s}\omega_s\wedge \overline{\omega_s}=2|A(s)|^2\operatorname{Im}\tau(s). \end{align*} The left side is positive and $|A(s)|^2>0$, so $\operatorname{Im}\tau(s)>0$. Hence $\tau(s)\in\mathfrak H$. Now change the symplectic basis by \begin{align*} \alpha'=p\alpha+q\beta,\qquad \beta'=r\alpha+s\beta, \end{align*} where $p,q,r,s\in\mathbb Z$ and $ps-qr=1$. The periods in the new basis are \begin{align*} A'(s)=\int_{\alpha'}\omega_s=pA(s)+qB(s). \end{align*} Also \begin{align*} B'(s)=\int_{\beta'}\omega_s=rA(s)+sB(s). \end{align*} Using $B(s)=\tau(s)A(s)$, these become \begin{align*} A'(s)=\bigl(p+q\tau(s)\bigr)A(s). \end{align*} and \begin{align*} B'(s)=\bigl(r+s\tau(s)\bigr)A(s). \end{align*} Since the same positivity argument applied to the new symplectic basis gives $A'(s)\ne 0$, the new period ratio is \begin{align*} \tau'(s)=\frac{B'(s)}{A'(s)}=\frac{r+s\tau(s)}{p+q\tau(s)}. \end{align*} Thus changing the symplectic basis acts on $\tau(s)$ by a fractional linear transformation with integral determinant one. Therefore the period map for elliptic curves is the classical map to $\mathfrak H/SL(2,\mathbb Z)$, and the Hodge-metric geometry on this period domain is the hyperbolic geometry of the upper half-plane. [/example] The elliptic curve example suggests that period spaces have intrinsic curvature, not just topology. For higher-weight Hodge structures, however, not every tangent direction to the compact dual can occur as the derivative of a geometric family: Griffiths transversality restricts period maps to horizontal directions. The analytic question is therefore whether the Hodge metric has a definite curvature sign along precisely those allowable directions. [quotetheorem:9145] [citeproof:9145] The theorem applies only to horizontal directions, which is the Hodge-theoretic condition imposed by Griffiths transversality. A general tangent direction in the compact dual of the period domain need not have the same curvature sign; moving a filtration by a map that lowers the Hodge filtration by two steps is a named failure mode because it is tangent to the compact dual but cannot be the derivative of a period map. Strict negativity can also fail along flat unitary factors, where the infinitesimal variation preserves the Hodge metric and produces zero curvature. Thus the result constrains actual moving families through their horizontal period maps rather than every formal deformation of the filtration. This curvature estimate is the analytic input behind many hyperbolicity and rigidity phenomena. It prepares the boundary theory because period maps often remain meaningful after the varieties themselves degenerate. ## Degenerations, Monodromy, and Limiting Hodge Filtrations Compact moduli problems force a final question: what happens when a smooth family approaches the boundary? The central fibre may become singular, but the cohomology over the punctured base still carries monodromy, and this monodromy constrains the possible limiting behaviour. [definition: One-Parameter Degeneration] A one-parameter degeneration is a proper holomorphic map $f:\mathcal X \to \Delta$ to a disc such that $f$ is smooth over the punctured disc $\Delta^*=\Delta\setminus\{0\}$ and the fibres $X_t=f^{-1}(t)$ for $t \ne 0$ are compact Kähler manifolds. [/definition] The punctured disc has fundamental group $\mathbb Z$, so parallel transport around the origin gives a single automorphism of cohomology. To measure the degeneration by linear algebra, we name this automorphism. [definition: Monodromy Operator] For a one-parameter degeneration $f:\mathcal X \to \Delta$, a point $t \in \Delta^*$, and an integer $k \ge 0$, the monodromy operator is the automorphism \begin{align*} T:H^k(X_t,\mathbb Q) \longrightarrow H^k(X_t,\mathbb Q) \end{align*} induced by analytic continuation of flat sections of the Gauss-Manin local system around a positively oriented loop about $0 \in \Delta$ based at $t$. [/definition] Monodromy is the linear remnant of the missing central fibre. The next structural question is how wild this automorphism can be; the [monodromy theorem](/theorems/3371) says that, after finite base change, only a unipotent part remains. [quotetheorem:9146] [citeproof:9146] The theorem does not say that the original monodromy is always unipotent; finite-order eigenvalues can occur before base change. It also uses the geometric origin of the local system through the Gauss-Manin connection. For a general representation of $\pi_1(\Delta^*)$ on a vector space, the monodromy matrix can have arbitrary nonzero complex eigenvalues, so quasi-unipotence is a strong constraint coming from geometry. The nilpotent logarithm replaces the lost derivative at the boundary. To see it in the smallest possible example, consider a degeneration in which exactly one homology cycle vanishes. [example: Nodal Degeneration Of Elliptic Curves] Consider a one-parameter family of elliptic curves whose central fibre is a nodal cubic. Let $a\in H_1(E_t,\mathbb Z)$ be the vanishing cycle, and choose $b\in H_1(E_t,\mathbb Z)$ with $a\cdot b=1$. For a positive loop around the degeneration point, the Picard-Lefschetz description for one ordinary node gives \begin{align*} T(a)=a,\qquad T(b)=a+b. \end{align*} Thus \begin{align*} (T-I)(a)=T(a)-a=a-a=0. \end{align*} Similarly, \begin{align*} (T-I)(b)=T(b)-b=(a+b)-b=a. \end{align*} Applying $T-I$ again to the basis elements gives \begin{align*} (T-I)^2(a)=(T-I)((T-I)(a))=(T-I)(0)=0. \end{align*} and \begin{align*} (T-I)^2(b)=(T-I)((T-I)(b))=(T-I)(a)=0. \end{align*} Since $a,b$ form a basis of $H_1(E_t,\mathbb Z)$, these two equalities imply $(T-I)^2=0$ on $H_1(E_t,\mathbb Z)$. Put $U=T-I$. Then $U^2=0$, so $U^j=0$ for every $j\ge 2$, and the logarithm of the unipotent operator $T=I+U$ reduces to \begin{align*} N=\log T=\log(I+U)=U=T-I. \end{align*} Therefore \begin{align*} N(a)=(T-I)(a)=0. \end{align*} and \begin{align*} N(b)=(T-I)(b)=a. \end{align*} Now let $\omega_t$ be a holomorphic one-form on $E_t$, and define the two periods \begin{align*} A(t)=\int_a\omega_t,\qquad B(t)=\int_b\omega_t. \end{align*} After analytic continuation around the degeneration point, the cycle $a$ is replaced by $T(a)=a$, so \begin{align*} A(t)\longmapsto \int_{T(a)}\omega_t=\int_a\omega_t=A(t). \end{align*} The cycle $b$ is replaced by $T(b)=a+b$, so by additivity of integration over homology classes, \begin{align*} B(t)\longmapsto \int_{T(b)}\omega_t=\int_{a+b}\omega_t=\int_a\omega_t+\int_b\omega_t=A(t)+B(t). \end{align*} If $A(t)\ne 0$ and $\tau(t)=B(t)/A(t)$, then the continued ratio is \begin{align*} \tau(t)\longmapsto \frac{B(t)+A(t)}{A(t)}=\frac{B(t)}{A(t)}+1=\tau(t)+1. \end{align*} This is exactly the monodromy of the logarithmic function \begin{align*} \frac{1}{2\pi i}\log t\longmapsto \frac{1}{2\pi i}(\log t+2\pi i)=\frac{1}{2\pi i}\log t+1 \end{align*} when $t$ is replaced by $e^{2\pi i}t$. Thus the nodal degeneration has unipotent monodromy with $N(b)=a$, and its period ratio has a logarithmic term whose exponential gives the cusp coordinate on the compactified modular curve. [/example] The nodal elliptic curve shows the simplest unipotent degeneration. In higher dimensions, the next problem is to retain Hodge-theoretic information at the boundary, where the ordinary Hodge filtration of a smooth fibre no longer has a limiting fibre in the naive sense. [definition: Limiting Hodge Filtration] For a polarized variation of Hodge structure over $\Delta^*$ with unipotent monodromy $T=e^N$, fix a reference fibre $V_{\mathbb C}$ of the underlying complex local system on the universal cover. The limiting Hodge filtration is the decreasing filtration \begin{align*} F_\infty^\bullet V_{\mathbb C} \end{align*} on $V_{\mathbb C}$ obtained by applying the nilpotent-orbit renormalisation $e^{-zN}$ to a lifted period map and taking the limit as $t=e^{2\pi iz} \to 0$. [/definition] This definition records the outcome, not the analytic construction. Near the puncture, a period map can wind around the base infinitely often because of monodromy, so an ordinary limit of the Hodge filtration need not exist. The key problem is whether the monodromy contribution is the only essential growth: after renormalising by the nilpotent logarithm, one asks for a controlled asymptotic model with a genuine limiting filtration. [quotetheorem:9147] [citeproof:9147] The theorem does not assert that the limiting filtration itself lies in the original period domain $D$; it may lie only in the compact dual $\check D$, with the nilpotent orbit satisfying the required positivity for large $\operatorname{Im} z$. The unipotent hypothesis is also essential for the logarithm $N$; when monodromy is merely quasi-unipotent, one first passes to a finite cover of the punctured disc. The admissibility hypothesis rules out uncontrolled growth at the boundary and is what allows the renormalised period map to extend with a limiting mixed Hodge structure. A useful failure model is an arbitrary holomorphic map from $\Delta^*$ to the compact dual whose filtration oscillates or grows faster than any logarithmic nilpotent orbit after monodromy is removed; such a map may have no limiting filtration compatible with a mixed Hodge structure. The statement is therefore an asymptotic comparison theorem, not a claim that the original family has acquired a smooth central fibre. The nilpotent orbit theorem explains why compactifications of moduli spaces are not only about adding singular varieties. The final example indicates how this boundary Hodge data appears in Calabi-Yau geometry. [example: Large Complex Structure Limit] In a one-parameter mirror-symmetric family of Calabi-Yau threefolds, a large complex structure limit is represented by a boundary point whose monodromy logarithm $N=\log T$ is maximally nilpotent on the relevant part of $H^3$. Since the cohomological weight is $3$, nilpotence can have length at most $4$, so maximal nilpotence means \begin{align*} N^4=0. \end{align*} The condition that this nilpotence is as large as possible is \begin{align*} N^3\ne 0. \end{align*} The nilpotent-orbit theorem above is the analytic bridge from a degenerating variation of Hodge structure to a controlled limiting model, after lifting to the upper half-plane with $t=e^{2\pi iz}$, the period map is asymptotic to \begin{align*} z\longmapsto e^{zN}F_\infty. \end{align*} The exponential of an endomorphism is defined by the power series \begin{align*} e^{zN}=\sum_{j\ge 0}\frac{z^jN^j}{j!}. \end{align*} Since $N^4=0$, every term with $j\ge 4$ vanishes because $N^j=N^{j-4}N^4=0$. Therefore the series becomes \begin{align*} e^{zN}=I+zN+\frac{z^2}{2}N^2+\frac{z^3}{6}N^3. \end{align*} Applying this operator to any limiting cohomology vector $v$ gives \begin{align*} e^{zN}v=v+zNv+\frac{z^2}{2}N^2v+\frac{z^3}{6}N^3v. \end{align*} Pairing with a fixed integral cycle $\gamma$ and using linearity of the pairing in the cohomology entry gives \begin{align*} \langle \gamma,e^{zN}v\rangle=\left\langle \gamma,v+zNv+\frac{z^2}{2}N^2v+\frac{z^3}{6}N^3v\right\rangle. \end{align*} Linearity separates the four summands: \begin{align*} \langle \gamma,e^{zN}v\rangle=\langle \gamma,v\rangle+z\langle \gamma,Nv\rangle+\frac{z^2}{2}\langle \gamma,N^2v\rangle+\frac{z^3}{6}\langle \gamma,N^3v\rangle. \end{align*} Because $N^3\ne 0$, there is some $v$ with $N^3v\ne 0$; by nondegeneracy of the cycle-cohomology pairing, one can choose a cycle $\gamma$ with $\langle \gamma,N^3v\rangle\ne 0$. Thus a cubic $z^3$ term occurs in some period, while no $z^4$ term can occur because $N^4=0$. Since $t=e^{2\pi iz}$, taking a local logarithm on the universal cover gives \begin{align*} \log t=2\pi iz. \end{align*} Solving for $z$ gives \begin{align*} z=\frac{1}{2\pi i}\log t. \end{align*} Substituting this into the period expression turns the powers $z,z^2,z^3$ into powers of $\log t$, so the nilpotent-orbit periods have polynomial-logarithmic asymptotics in the punctured-disc coordinate $t$. Ratios of a logarithmic period to a nonvanishing reference period give canonical coordinates. If $\Pi_0$ is chosen nonzero at the limit and \begin{align*} \frac{\Pi_1}{\Pi_0}=z+\text{holomorphic correction}, \end{align*} then one sets \begin{align*} q=\exp\left(2\pi i\,\frac{\Pi_1}{\Pi_0}\right). \end{align*} When the correction term is zero, this gives \begin{align*} q=\exp(2\pi iz)=t. \end{align*} In general, the correction is holomorphic at the boundary, so $q$ is a holomorphic modification of the punctured-disc coordinate. The large complex structure limit therefore records boundary information through the nilpotent operator $N$ and the leading logarithmic periods, even though constructing the compactified moduli space itself still requires separate stability and stack-theoretic choices. [/example] ## Compactness Themes Across the Course The last problem is to connect these constructions back to positivity and vanishing. Compactness in complex geometry rarely appears from a single theorem; it emerges from bounded embeddings, quotient constructions, curvature control, and boundary analysis working together. [explanation: Four Sources Of Compactness] Positivity supplies embeddings. Once a line bundle or its power is very ample, compact complex manifolds can be studied as projective subvarieties with fixed Hilbert polynomial. Vanishing supplies deformation control. Cohomology groups such as $H^1(X,T_X)$ and obstruction spaces from the Maurer-Cartan equation become computable, while Kodaira-Nakano and Serre duality often remove unwanted higher cohomology. Hodge theory supplies curvature. Period maps turn variation of complex structure into horizontal maps to period domains, and Hodge bundles carry semipositive metrics. Degeneration theory supplies boundary data. Monodromy, nilpotent logarithms, and limiting Hodge filtrations explain what survives as smooth fibres approach singular limits. [/explanation] These themes explain the organisation of the course. We began with curvature of line bundles because it is the analytic form of positivity; we then used positivity to embed, vanish, and deform; and we end by seeing those same ideas control families and their limits. [remark: What Is Deliberately Omitted] A complete modern treatment of moduli would use stacks, separatedness criteria, stable reduction, K-stability in Fano geometry, and detailed compactification theories such as Deligne-Mumford, KSBA, or toroidal compactifications. This chapter only records the common mechanism: choose enough positivity to parameterise objects, quotient by automorphisms, and understand boundary points through degeneration invariants. [/remark] The main lesson is that moduli methods do not replace the analytic and cohomological results from earlier chapters. They assemble them: positivity creates finite-dimensional parameter spaces, vanishing makes deformation theory tractable, and Hodge-theoretic curvature and monodromy explain why the resulting spaces have rich geometry at both their interiors and their boundaries. ## Beyond and Connections Several nearby themes develop the ingredients used here from complementary directions. For the analytic input, the natural continuation is the material on Hermitian metrics, Chern curvature, and $L^2$ methods for the $\bar{\partial}$-operator. For the algebraic-geometric consequences, the next topics are Kodaira embeddings, ample line bundles, sheaf cohomology, and Serre duality. The deformation-theoretic chapters connect to tangent and obstruction spaces, the Kodaira-Spencer map, and moduli functors, while the final Hodge-theoretic discussion points toward variations of Hodge structure, period maps, monodromy, and Calabi-Yau moduli. These connections are useful because the same pattern recurs throughout complex geometry: curvature hypotheses produce cohomological vanishing, vanishing controls deformation and extension problems, and Hodge theory records how the resulting geometric structures vary in families. The architecture of the note is meant to follow that pattern rather than to present the formal blocks as isolated entries: curvature computations prepare the analytic estimates, the vanishing theorems explain which cohomology groups disappear, and the later moduli sections show why those vanishings matter for families. This is also the reason the theorem cards should be read as the stable internal references for the page: the surrounding prose supplies orientation, while the quoted cards give the precise hypotheses, conclusions, and proof citations. For related Androma material, see the canonical entries ["Chern-Weil Representative of the First Chern Class of a Hermitian Holomorphic Line Bundle"](/theorems/3848), ["Model Hilbert Space Solvability Principle"](/theorems/3669), ["Serre Duality for Holomorphic Vector Bundles"](/theorems/3864), ["Hirzebruch-Riemann-Roch Theorem"](/theorems/3866), ["Adjunction Formula"](/theorems/3878), ["Riemann-Roch Theorem"](/theorems/2185), and ["Complex Geometry II: Kähler Manifolds and Hodge Theory"](/page/Complex%20Geometry%20II%3A%20K%C3%A4hler%20Manifolds%20and%20Hodge%20Theory). ## References - Phillip Griffiths and Joseph Harris, *Principles of Algebraic Geometry*, Wiley, 1978. - Jean-Pierre Demailly, *Complex Analytic and Differential Geometry*, open textbook. - Claire Voisin, *Hodge Theory and Complex Algebraic Geometry I*, Cambridge University Press, 2002. - Claire Voisin, *Hodge Theory and Complex Algebraic Geometry II*, Cambridge University Press, 2003. - Daniel Huybrechts, *Complex Geometry: An Introduction*, Springer, 2005. - Robin Hartshorne, *Algebraic Geometry*, Springer, 1977. - Phillip Griffiths, “Periods of integrals on algebraic manifolds,” *Bulletin of the American Mathematical Society*, 1968.