In his PhD thesis, Gaitsgory (in his "remark 6") makes the following claim:

Consider two complexes of holonomic $D$-modules with regular singularities on a variety $X.$ Suppose that at each point, the complexes have the same Euler characteristic; then in fact the Euler characteristics of the hypercohomologies of the entire complexes are equal.

Does anyone have a proof of this fact, or a reference?


1 Answer 1


I'll use the Riemann-Hilbert correspondence between complexes of holonomic $D$-modules with regular singularities and complexes of constructible sheaves.

We can find a stratification such that both complexes are locally constant on each stratum. Since Euler characteristic of hypercohomology is additive in stratification, we may reduce to a single stratum, i.e. reduce to the case when both complexes are locally constant.

For complexes of locally constant sheaves, we can prove this statement using a formula: The Euler characteristic of the hypercohomology of a complex of locally constant sheaves is the Euler characteristic of the stalk times the Euler characteristic of the space. For this statement we can reduce to the case of locally constant sheaves and then calculate cohomology using a cell decomposition, which produces a complex where the dimension of the chains in each degree is proportional to the rank of the sheaf.

  • 2
    $\begingroup$ Thank you! I was missing this idea on reducing it to the case of locally constant sheaves; thank you for pointing it out to me! $\endgroup$ Commented Apr 27 at 3:44

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.