56
$\begingroup$

I was wondering whether there is some notion of "vector bundle de Rham cohomology". To be more precise: the k-th de Rham cohomology group of a manifold $H_{dR}^{k}(M)$ is defined as the set of closed forms in $\Omega^k(M)$ modulo the set of exact forms. The coboundary operator is given by the exterior derivative.

Let now $E \rightarrow M$ be a vector bundle with connection $\nabla^E$ over $M$, and consider the $E$-valued $k$-forms on $M$: $\Omega^k(M,E)=\Gamma(\Lambda^k TM^\ast \otimes E)$.
If $E$ is a flat vector bundle, we get a coboundary operator $d^{\nabla^E}$ (since $d^{\nabla^E} \circ d^{\nabla^E} = R^{\nabla^E}=0$, with $R^{\nabla^E}$ being the curvature) and we can define

$$H_{dR}^{k}(M,E) := \frac{ker \quad d^{\nabla^E}|_{\Omega^k(M,E)}}{im \quad d^{\nabla^E}|_{\Omega^{k-1}(M,E)}}$$

So my question: Is this somehow useful? I mean can one use this definition to make some statements about $M$ or $E$ or whatever? Or is the restriction of $E$ to be a flat vector bundle somehow disturbing? Or is this completely useless?

$\endgroup$
0

10 Answers 10

22
$\begingroup$

Warning: The first paragraph of the following is outside my expertise.

I am told this construction is very useful in PDE's. If you have a PDE on some manifold $M$, you can often formulate the vector space of solutions as the kernel of some flat connection on a vector bundle. In particular, I believe that the analytic side of the Atiyah-Singer index theorem is the Euler characteristic of the deRham theory you have described.

I can tell you that the analogous construction is very important in complex algebraic geometry. Given a holomorphic vector bundle on a complex manifold, there is a natural way to define a $d$-bar connection on it. (This mean $\nabla_X$ is only defined when $X$ is a $(0,1)$ vector field.) The cohomology of the resulting deRham-like complex, which is called the Dolbeault complex in this setting, is the same as the cohomology of the sheaf of holomorphic sections of the vector bundle. See Wells' Differential Analysis on Complex Manifolds or the early parts of Voisin's Hodge Theory and Algebraic Geometry.

$\endgroup$
5
  • 2
    $\begingroup$ Aren't you really talking about the Doulbeaut version here? Usual DeRham cohomology computes the sheaf cohomology of the local system of flat sections. $\endgroup$
    – Ben Webster
    Nov 23, 2009 at 22:01
  • 1
    $\begingroup$ I am, but do you think what I wrote could confuse anyone? I'll try a rewrite nonetheless. $\endgroup$ Nov 23, 2009 at 22:07
  • $\begingroup$ Also, I don't know what you mean by "usual DeRham cohomology". To define that, you need a connection, and I only gaev you a d-bar connection. $\endgroup$ Nov 23, 2009 at 22:10
  • $\begingroup$ I didn't mean to suggest that one can do the DeRham construction for any holomorphic vector bundle. I just thought it was worth pointing out that you are doing an analogue of his construction. $\endgroup$
    – Ben Webster
    Nov 23, 2009 at 22:16
  • 1
    $\begingroup$ Ouch! How could I miss this? Thanks for reminding me...gets my +1 $\endgroup$ Nov 24, 2009 at 10:37
24
$\begingroup$

As you can see from the quick and varied response (is 5 answers in 40 minutes some kind of record?!) the construction is both very useful and has many applications.

One more topic to add to the list, which ties in very nicely with David Speyer's answer, is the link between so-called Higgs fields and flat bundles over Kahler manifolds. This theory, originally due to Hitchin in 1987, is now very much back in vogue because of the role it plays in geometric Langlands. A good introductory reference is here. I'll give an extremely brief summary too, but the article does a much better job.

Given a holomorphic vector bundle E over a complex manifold, a "Higgs field" is a holomorphic 1-form A with values in End(E) which also satisfies $A\wedge A =0$ (the product combines wedge-product on forms and Lie bracket on endomorphisms). This means that if we add A to the d-bar operator on bundle valued forms we get something with square zero, giving a twisted version of the Dolbeault complex David Speyer mentioned in his answer.

Meanwhile, we can build a Higgs bundle by starting with a flat SL(n,C)-bundle. Choosing a Hermitian metric in the bundle we can split the flat connection into two parts, one unitary the other skew-Hermitian. When the metric satisfies a PDE, called "harmonic", the (0,1)-component of the unitary connection gives a holomorphic structure on the bundle and the (1,0)-component of the skew-Hermitian part gives a Higgs field. A theorem of Donaldson and Corlette tells us we can do this whenever the flat bundle is irreducible (i.e. the corresponding rep of the fundamental group is irreducible). Moreover, this construction gives a 1-1 correspondence between stable Higgs bundles and irreducible flat SL(n,C) bundles.

Given a Higgs bundle arising in this way, we now have two different cohomology groups: the twisted Dolbeault groups of d-bar plus A and the coupled deRham groups of the flat connection. Hodge theory tells us that in fact these groups are equal. This is the starting point for a subject called "non-abelian Hodge theory". It gives, amongst other things, deep restrictions on the fundamental groups of Kahler manifolds.

$\endgroup$
2
  • $\begingroup$ I like this anwers, and it reminds me of the description of minimal (or harmonic is sufficient) surfaces in let's say S^3 (compare Hitchin: Harmonic maps form a 2-Torus into the 3-sphere). There you obtain a Higgs bundle as follows: M Riemann surface. Let f:M -> S^3 be a harmonic map. The pullback of the trivialized tangent bundle of S^3 can be understood as a su(V) bundle (where V is an hermitian auxillary bundle; in this case the trivial C^2-bundle) (note that this is always true for real oriented metric rank 3-bundles over a Riemann surface). $\endgroup$ Nov 24, 2009 at 11:01
  • $\begingroup$ It will come out, that V is a Higgs bundle with Higgs filed A, where A is given by the K-part of the pullback of the Maurer cartan form w of S^3. So Anyway thanks for this nice answer $\endgroup$ Nov 24, 2009 at 11:04
18
$\begingroup$

A flat connection on a vector bundle of dimension determines a local system $\mathcal{G}$ over your base manifold $M$ by parallel transport, i. e. a functor from the fundamental groupoid of $M$ to the category of abelian groups (isomorphic to $\mathbb{R}^n$). Note that, although all fibers are isomorphic to $\mathbb{R}^n$ they are not canonically isomorphic. To a local system one can associate (singular) cohomology groups with local coefficients. There are two basic ways of doing this:

1) Do the same construction as for usual singular homology/cohomology, but take as coefficients of a simplex $f: \Delta^k\to M$ a value in the fiber of $\mathcal{G}$ over $f(barycenter)$. Boundary maps are defined via choosing a path from the barycenter of $\Delta^n$ to the barycenter of a face.

2) For a connected $M$, a local system is essentially equivalent to a representation of $\pi_1(M)$ on $\mathbb{R}^n$. On the singular chains of the universal cover $\widetilde{M}$, there is also a $\pi_1(M)$ action via deck transformations. You can now tensor the singular chain complex of $\widetilde{M}$ with $\mathbb{R}^n$ over the group ring $\mathbb{R}[\pi_1(M)]$ and take then homology/cohomology.

I guess, these cohomology groups with local coefficients should be isomorphic to your ''vector bundle deRham cohomology'', though I know no reference at the moment.

Homology/cohomology groups with local coefficients are good for many things in general. I have seen them mostly in the Serre spectral sequence (computing homology/cohomology groups of fiber bundles) where the $E^2$-term is usually written in terms of them. Another application is Poincare duality for non-orientable manifolds.

$\endgroup$
2
  • 2
    $\begingroup$ The same proof of the usual equivalence of deRham and singular cohomology works here: both give flabby resolutions of the sheaf of flat sections of your vector bundle, and thus both are the abstract sheaf cohomology of that sheaf. $\endgroup$
    – Ben Webster
    Nov 23, 2009 at 21:59
  • 2
    $\begingroup$ Although the technical details in the singular case are tricky. The obvious resolution is only a resolution by presheaves. By the obvious resolution, I mean the one whose i-th term is the presheaf U --> R^{Hom(Delta^i, U)}. But this is a technical point; your comment is morally right on. $\endgroup$ Nov 23, 2009 at 23:00
15
$\begingroup$

One way to look at this, which puts it into a wide context, is this:

the complex called $H_{dR}(M,E)$ in the question (maybe better $H_{dR}(E,\nabla)$) is the "Chevalley-Eilenberg" complex of the action-Lie algebroid given by the action of the tangent Lie algebroid on the (fiberwise) dual vector bundle $E^*$ induced by $\nabla$.

More generally, one can allow representations on complexes of vector bundles, in which case we are talking about oo-Lie algebroid representations Some remarks on the conceptual background of such actions of oo-Lie algebroids is at Lie oo-algebroid representation.

This is something that keeps being reinvented. A powerful result on the structure of the dg-category of such oo-Lie algebroid representations is in this article by Jonathan Block. More recently Marius Crainic is studying these structures under the name Representations up to homotopy of Lie algebroids.

Whatever you call it, there is always the weak quotient of the oo-Lie algebroid you are acting on by tat you are acting with, just as with Lie oo-groupoids aka oo-stacks. The Chevalley-Eilenberg algebra of that weak quotient is the kind of complex that the question here is about.

$\endgroup$
13
$\begingroup$

This is very useful. The requirement that the connexion is flat is fundamental. It is equivalent to the fact that the de Rham complex is indeed a complex. It is also equivalent to the fact that the ring $D_M$ of differential operators on $M$ acts on $E$. This leads to the theory of D-modules and the algebro-geometric study of differential equations.

$\endgroup$
1
  • 1
    $\begingroup$ Perhaps my question was somehow stated confusing. It is clear that one requires flatness of the vector bundle, since otherwise,as you said, we don't even get a complex. What I meant by "Or is the restriction of E to be a flat vector bundle somehow disturbing?" is that the whole construction is perhaps useless (in terms of statements about M, or whatever) because the requirement of E to be flat is a quite strong restriction. But as all the wonderful answers pointed out, this construction is quite useful. Thanks for pointing out the thing with the differential operators, I totally missed that. $\endgroup$ Nov 24, 2009 at 10:25
13
$\begingroup$

A view not yet mentioned is the following: The universal cover $\tilde M$ is a principal fiber bundle over $M$ with structure group $\pi=\pi_1(M)$, and a flat connection on $E$ identifies $E$ as the assiciated bundle to $\tilde M$ for the holonomy representation of $\pi$ in $V:=E_{x_0}$, the fiber over the base point. Then $\Omega(M,E)\cong \Omega(\tilde M,V)^\pi = (\Omega(\tilde M)\otimes V)^\pi$ and $H^k_{dR}(M,\nabla) = H^k((\Omega(\tilde M)\otimes V)^\pi) = (H^k_{dR}(\tilde M)\otimes V)^\pi$.

$\endgroup$
4
  • 4
    $\begingroup$ Is there a reference that shows that it is possible to interchange taking the cohomology with taking the $\pi$-invariant subspace as you do in the last line of the answer? If true, the last isomorphism seems like a very effective way of computing $H^k_{dR}(M,\nabla)$! $\endgroup$ Feb 12, 2014 at 17:34
  • 3
    $\begingroup$ It's explained (briefly) in the nLab article, but the last equality only holds for certain groups $\pi$. $\endgroup$
    – ಠ_ಠ
    Mar 1, 2017 at 1:05
  • 6
    $\begingroup$ @ಠ_ಠ, thanks for the link. That section in the nLab article looked very helpful... until I realized that I wrote it, back in 2014! :-) $\endgroup$ Apr 19, 2017 at 21:35
  • $\begingroup$ Haha well thanks for writing it up! I found it very helpful. $\endgroup$
    – ಠ_ಠ
    Apr 19, 2017 at 21:36
10
$\begingroup$

This is the de Rham version of cohomology with local coefficients. It's also the cohomological version of "twisted K-theory".

It's not "completely useless" at all. A simple example of this is when $E$ is the orientation line bundle. Then this cohomology is dual to ordinary cohomology, even if the manifold is not orientable. Indeed, the pairing between ordinary de Rham cohomology and this cohomology is the true pairing, and if the manifold is orientable then it becomes what we usually call Poincare duality.

A nice explanation of this, with an eye to Twisted K-Theory, is in the introduction to Atiyah and Segal's recent(ish) paper of the same name (available on the arXiv).

$\endgroup$
6
  • 1
    $\begingroup$ Not completely useless? I would say it's actually quite useful. I'm not sure what you mean by the cohomological version of twisted K-theory, however. Perhaps this is just semantics, but I would say that the cohomological version of twisted K-theory is twisted cohomology given by taking the two-periodic version of ordinary cohomology with real coefficients and twisting by an integral three form. This is where the Chern character in twisted K-theory lands, for example. $\endgroup$ Nov 23, 2009 at 21:48
  • 1
    $\begingroup$ Andrew, I don't think this is related to twisted K-theory. In twisted K-theory you don't have vector bundles, but "twisted vector bundles" ncatlab.org/nlab/show/twisted+K-theory whose twist is a gerbe. $\endgroup$ Nov 23, 2009 at 23:50
  • 1
    $\begingroup$ "Not completely useless" was meant ironically. The "twisted K-theory" remark was meant as an analogy rather than anything stronger - cohomology with local coefficients can be seen as a bit deep in algebraic topology but twisted K-theory is one of the current high-profile areas so the intention was to show that this idea of twisting cohomology, whilst seemingly obscure, is actually linked to a much more obviously important area. Apologies for being unclear! $\endgroup$ Nov 24, 2009 at 9:01
  • 1
    $\begingroup$ @Andrew Stacey: I also read "not completely useless" as "almost completely useless, but not quite," and I suspect that most people will choose this reading if they don't notice that you're responding to a phrasing used in the question. To avoid confusion, I would switch to something less ambiguous. $\endgroup$
    – Vectornaut
    Apr 29, 2013 at 20:03
  • 2
    $\begingroup$ Hopefully the irony is clearer now. $\endgroup$ Apr 30, 2013 at 10:46
7
$\begingroup$

There is a another setting in which this is very useful, namely when the flat vector bundle comes from a locally flat geometric structure on a manifold. The best known example is the one of a sphere with the conformal class of the round metric, which is locally conformally flat. This means viewing $S^n$ as a homogeneous space of $G:=SO(n+1,1)$ and via forming homogeneous vector bundles any finite dimensional representation $V$ of $G$ defines a vector bundle on $S^n$ which is canonically endowed with a flat connection. This has an anlog for locally conformally flat manifolds and (with a non-flat connection) for general conformal structures ("tractor bundles" and "tractor connections"). Another nice example is the one of a manifold of dimension $n$ endowed with a hyperbolic metric. This determines a flat projective structure, which again gives rise to tractor bundles corresponding to representations of $SL(n+1,\mathbb R)$

The machinery of Berstein-Gelfand-Gelfand sequences then relates the de Rham sequence associated to the tractor connection to sequences of (higher order) invariant differential operators acting on sections of tensor bundles. If the tractor connection is flat, then these operators form a complex which computes the twisted de Rham cohomology. In the case of the sphere, one obtains a resolution of the representation $V$ by principal series representations, which is dual to the Bernstein-Gelfand-Gelfand resolution by Verma modules. This is the starting point of a long story.

$\endgroup$
5
$\begingroup$

This cohomology theory is indeed quite useful. A remarkable place where it (or more precisely its lifting to appropriate derived categories) plays a central role is the Riemann-Hilbert correspondence: it is the correspondence!

$\endgroup$
5
$\begingroup$

The exposition by Eugene Xia Abelian and non-abelian cohomology explicitly describes and relates the Betti, Čech, de Rham, and Dolbeault moduli spaces in the context of the corresponding cohomology theories (see my review here). It is a well-written synthetic treatment with good references.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.