de Rham vs Dolbeault Cohomology - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-24T14:54:41Z http://mathoverflow.net/feeds/question/95371 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/95371/de-rham-vs-dolbeault-cohomology de Rham vs Dolbeault Cohomology Janos Erdmann 2012-04-27T16:14:03Z 2012-04-28T12:08:48Z <p>For a complex manifold $M$, one can consider (A) its de Rham cohomology, or (B) its Dolbeault cohomology. I'm looking for some motivation as to why one would bother introducing Dolbeault cohomology. To be more specific, here are some straight questions.</p> <ol> <li>What can Dolbeault tell us that de Rham can't?</li> <li>Does there exist some simple relationship between these two cohomologies? </li> <li>When are they equal? </li> <li>Do things become simpler for the Kahler case?</li> <li>What happens for the projective spaces?</li> <li>Why does nobody talk about the holomorphic cohomology?</li> </ol> http://mathoverflow.net/questions/95371/de-rham-vs-dolbeault-cohomology/95375#95375 Answer by 喻yuwei for de Rham vs Dolbeault Cohomology 喻yuwei 2012-04-27T16:37:29Z 2012-04-27T16:37:29Z <p>1.De Rham cohomology is a cohomology of k-forms on complex manifold。 Dolbeault Cohomology is a cohomology of smooth sections of the vector bundle of complex differential forms of degree (p,q) on complex manifold。so Dolbeault Cohomology is subcohomology of the De Rham cohomology.2.when p+q=0 </p> http://mathoverflow.net/questions/95371/de-rham-vs-dolbeault-cohomology/95377#95377 Answer by David Speyer for de Rham vs Dolbeault Cohomology David Speyer 2012-04-27T17:04:03Z 2012-04-27T17:04:03Z <p>Let $\Omega^{p,q}(M)$ be the $C^{\infty}$ $(p,q)$-forms. One always has a double complex with $\Omega^{p,q}(M)$ in position $(p,q)$. The cohomology in the $q$ direction is Dolbeault cohomology, the cohomology of the total complex is deRham cohomology. (In each case, essentially by definition.) Whenever you have a double complex, you get a spectral sequence. On the first page of the spectral sequence is Dolbeault cohomology; the spectral sequence converges to deRham cohomology. This is sometimes called the Hodge-de Rham spectral sequence, and sometimes called the Frolicher spectral sequence.</p> <p><b>If $M$ is compact Kahler (in particular projective)</b> then the spectral sequence collapses at the first page; all maps between Dolbeault groups are zero. So $H^k(M) \cong \bigoplus_{p+q=k} H^{p,q}(M)$ in this case.</p> <p><b>If $M$ is Stein (in particular, affine)</b> then the only nonzero Dolbeault groups are the $H^{p,0}(M)$, corresponding to holmorphic $p$-forms. The next page takes the cohomology of the complex of holomorphic $p$-forms; I'll term this holomorphic deRham". After that, there are no further maps, so holomorphic deRham equals deRham.</p> <p>In general, the spectral sequence <a href="http://www.math.uni-bonn.de/people/srollens/papers/FroelicherSpeqSeq.pdf" rel="nofollow">can be arbitrarily nondegenerate</a>.</p> http://mathoverflow.net/questions/95371/de-rham-vs-dolbeault-cohomology/95378#95378 Answer by Simon Rose for de Rham vs Dolbeault Cohomology Simon Rose 2012-04-27T17:04:10Z 2012-04-27T17:04:10Z <p>Dolbeaut cohomology is a way to compute the sheaf cohomology of the sheaf of holomorphic $p$-forms. That is,</p> <p>$$H^{p,q}(X) \cong H^q(X, \Omega_X^p)$$</p> <p>Now, in the case that $X$ is Kahler, we have that decomposition</p> <p>$$H^k(X,\mathbb{C}) \cong \bigoplus_{p + q = k} H^{p,q}(X)$$</p> <p>So in that case, it follows that the Dolbeaut cohomology is a refinement of the de Rham cohomology of $X$. In such a case, you could argue that they are "the same", but it seems a little weird to do so, since the Dolbeaut cohomology has more information than the de Rham cohomology.</p> <p>As for the cohomology of the holomorphic complex, that does arise; there are often reasons to be interested in the cohomology groups $H^q(X, \mathcal{O}_X) = H^{0,q}(X)$.</p> <p>Lastly, projective spaces are Kahler, so the above decomposition still holds. In particular, since the cohomology of $\mathbb{P}^n$ is simple enough to describe, you can relatively easily see that</p> <p>$$H^{p,q}(\mathbb{P}^n) = \mathbb{C}$$</p> <p>if $0 \leq p = q \leq n$, and is 0 otherwise.</p> http://mathoverflow.net/questions/95371/de-rham-vs-dolbeault-cohomology/95380#95380 Answer by 喻yuwei for de Rham vs Dolbeault Cohomology 喻yuwei 2012-04-27T17:09:41Z 2012-04-27T17:15:34Z <p>5.The cohomology of the projective space ，see akhil mathew's math bolg:<a href="http://amathew.wordpress.com/2010/11/22/the-cohomology-of-projective-space/" rel="nofollow">projective space</a></p> http://mathoverflow.net/questions/95371/de-rham-vs-dolbeault-cohomology/95432#95432 Answer by Donu Arapura for de Rham vs Dolbeault Cohomology Donu Arapura 2012-04-28T12:08:48Z 2012-04-28T12:08:48Z <p>Although the main questions have been answered quite well, I would like to say a few words about the first question "why would one bother...". </p> <p>De Rham and Dolbeault cohomology are measuring different things. The first, which measures the failure of the necessary condition $d\alpha=0$ to guarantee a potential $\alpha=d\beta$, is a topological invariant. The second gives the obstruction to solving the similar problem for the Cauchy-Riemann operator; it measures the holomorphic complexity and it has a priori nothing to do with the topology. That they turn out to be the "same" in good (e.g. compact Kähler) cases is sort of a miracle. Even in such cases, these spaces are not literally the same, and this can be exploited in interesting ways. There is an isomorphism which can be represented by a matrix called a period matrix, which is sensitive to the complex structure. To see how this works in the simplest interesting case, let $X= \mathbb{C}/(\mathbb{Z}+\mathbb{Z}\tau)$ be an elliptic curve. As a topological space it is just a torus, and independent of the choice of $\tau$, but as a Riemann surface it is sensitive to this choice. The natural basis of the first Dolbeault cohomology $H^{10}(X)\oplus H^{01}(X)$is $\lbrace dz,d\bar z\rbrace$. This maps to $\lbrace (1,\tau), (1,\bar \tau)\rbrace$ under the basis of $H^1_{DR}(X)$ dual to loops given by projecting $[0,1],[0,\tau]\subset \mathbb{C}$ to $X$. Thus $X$ can be recovered from its period matrix.</p>