Why the similarity between Hodge theory for compact Riemannian and complex manifolds? - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T22:30:07Z http://mathoverflow.net/feeds/question/11393 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/11393/why-the-similarity-between-hodge-theory-for-compact-riemannian-and-complex-manifo Why the similarity between Hodge theory for compact Riemannian and complex manifolds? Akhil Mathew 2010-01-11T02:01:57Z 2010-01-11T11:56:00Z <p>I'm aware to varying extents of the existence of certain decompositions of the space of $k$-forms on a compact complex or compact Riemannian manifold that split into closed, co-closed, and harmonic forms, and that the space of harmonic forms becomes isomorphic to the de Rham cohomology groups. However, these are defined differently, but there seems to be analogy here in the theorems and to some extent in the proofs; this is also suggested by the common name. Is there one? Or is there a more general way to encapsulate all this?</p> http://mathoverflow.net/questions/11393/why-the-similarity-between-hodge-theory-for-compact-riemannian-and-complex-manifo/11397#11397 Answer by jvp for Why the similarity between Hodge theory for compact Riemannian and complex manifolds? jvp 2010-01-11T03:26:31Z 2010-01-11T03:26:31Z <p>Hodge theory for Riemannian (real) and Hermitian (complex) compact manifolds are indeed completely analogous. The key tool in both cases is the fundamental theorem for elliptic operators as stated in Voisin's <a href="http://books.google.com.br/books?id=mAM0SO0TIsUC&amp;pg=PA128&amp;lpg=PA128&amp;dq=fundamental+theorem+for+elliptic+operators&amp;source=bl&amp;ots=Wd0GStm2oH&amp;sig=j1dauxxhFWiCTCLavjP2T9lb5PM&amp;hl=pt-BR&amp;ei=tZFKS4%5FNMKSltgeY2tnkDQ&amp;sa=X&amp;oi=book%5Fresult&amp;ct=result&amp;resnum=1&amp;ved=0CA4Q6AEwAA#v=onepage&amp;q=fundamental%2520theorem%2520for%2520elliptic%2520operators&amp;f=false" rel="nofollow">Hodge theory and complex algebraic geometry</a> applied to the respective laplacian. The linked reference builds in parallel the Riemannian and the Hermitian Hodge theory.</p> <p>Although the theories can be developed in parallel, I don't think there are strong relations between the Riemannian and Hermitian laplacians in general. But in compact Kahler manifolds the three distinct Laplacians satisfy the identities $$\Delta = 2 \Delta_{\partial} = 2\Delta_{\overline \partial} ,$$ which imply the Hodge decomposition $$H^k(X,\mathbb C) = \bigoplus_{p+q=k} H^{p,q}(X) .$$ See Theorem 6.1 in the reference cited above.</p> http://mathoverflow.net/questions/11393/why-the-similarity-between-hodge-theory-for-compact-riemannian-and-complex-manifo/11407#11407 Answer by algori for Why the similarity between Hodge theory for compact Riemannian and complex manifolds? algori 2010-01-11T04:55:32Z 2010-01-11T04:55:32Z <p>For any Riemannian (in particular, for any Hermitean) manifold there is the decomposition: all forms are the direct sum of the harmonic ones, exact ones and those in the image of the conjugate operator of the de Rham differential. Every de Rham cohomology class is represented by a unique $d$-harmonic form.</p> <p>For any complex (Hermitean) manifold there is a similar theory for the $\bar\partial$ operator, and we get a similar decomposition for each complex $({\cal E}^{p,\bullet},\bar\partial)$ where ${\cal E}^{p,q}$ stands for complex valued smooth $(p,q)$-forms. See e.g. Chern, Complex manifolds. Every Dolbeault cohomology class is represented by a unique $\bar\partial$-harmonic form.</p> <p>For general complex hermitean manifolds the above decompositions have nothing to do with one another. However, if the metric is Kaehler, some miracles happen:</p> <ol> <li><p>the Laplacians of $d$ and of $\bar\partial$ coincide (more precisely, one is twice the other), so the spaces of harmonic forms coincide as well. </p></li> <li><p>the $(p,q)$-projection of a $d$-harmonic form is again $d$-harmonic. Indeed, a local check shows that the $(p,q)$ projection operator commutes with the $d$-Laplacian. So each of the $(p,q)$ components of a $d$-harmonic form is closed and none is exact (if non-zero). So the $(p,q)$-decomposition of forms gives a $(p,q)$-decomposition of the cohomology classes (this does not exist for general complex manifolds). This is the Hodge decomposition.</p></li> <li><p>since the conjugate of a $d$-harmonic form is again $d$-harmonic, the $(p,q)$ and the $(q,p)$ parts of the Hodge decomposition are conjugate to one another.</p></li> </ol> <p>As a consequence of the above, the Hodge-to-de Rham spectral sequence degenerates in the first term. This implies that the $dd^c$-lemma holds for Kaehler manifolds, and hence, they are formal. See Deligne, Griffiths, Morgan, Sullivan, Real homotopy theory of Kaehler manifolds.</p> <p>The cohomological Hodge decomposition holds also for arbitrary bimeromorphically Kaehler compact complex manifolds (in particular, for smooth, complete but not necessarily projective complex algebraic varieties). See e.g. Peters, Steenbrink, Mixed Hodge structures, p. 49.</p>