Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative: $$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \mathcal{E} \xrightarrow{d^\nabla} \Omega^2_M \otimes \mathcal{E} \xrightarrow{d^\nabla} \cdots$$ Here, I am using $\mathcal{E}$ to denote the sheaf of smooth sections of $E$. We say that the connection $\nabla$ is flat if $(d^\nabla)^2 = 0$, and in this case we get an actual complex. In this situation, the sheaf $$\mathcal{L} := \mathrm{Ker}\left(\mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \mathcal{E} \right) $$ of parallel sections is a local system and we can use this de Rham complex (a soft resolution) to compute its sheaf cohomology and cohomology with compact support.

But what if the connection is not flat? We obviously no longer have a complex, but the differential operators are sheaf homomorphisms, so we still have a sequence of sheaves, and their kernels and images are not necessarily acyclic.

Can we use sheaf cohomology or D-module theory to say anything interesting in this case?

  • $\begingroup$ If the connection is not flat you do not have a complex. $\endgroup$ – Mariano Suárez-Álvarez Feb 24 '17 at 1:33
  • $\begingroup$ Yep that's obviously the case (it was a typo at the end of my post) but I am curious what sheaf cohomology can say about the the sheaf of parallel sections and the sequence of operators. $\endgroup$ – ಠ_ಠ Feb 24 '17 at 1:37
  • $\begingroup$ It seems like even if you had an answer, you would never be incorporating the wedge-product. The fact that we seem to need a sheaf of abelian groups is the part that's bothering me here. $\endgroup$ – cheyne Aug 17 '17 at 22:39
  • $\begingroup$ @cheyne I'm not sure what you mean; could you expand on your comment a bit? $\endgroup$ – ಠ_ಠ Aug 18 '17 at 3:36
  • 1
    $\begingroup$ What is your main object of interest, this particular sequence of differential operators or the sheaf of flat sections? At least in the case when its stalks have constant dimension, the sheaf of flat sections will have a soft resolution by differential operators, just not the naive twisted de Rham complex. $\endgroup$ – Igor Khavkine Aug 18 '17 at 4:44

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.