This question is about 6 operations formalism for 'crystalline' cohomology theories - more specifically the infinitesimal cohomology of smooth $\mathbb{C}$-varieties, and the overc …

The Riemann-Hilbert correspondence, as proved by Kashiwara and Mebkhout, says that for X a smooth algebraic variety over $\mathbb{C}$ there is an equivalence of triangulated catego …

Hello, Can anybody point to me a reference about the preservation of the derived bounded category of sheaves with constructible cohomology on the underlying classical (anayltic) s …

Say f: X → Y is a morphism of schemes. The sheaf direct image functor f★ always has a left adjoint, namely the sheaf inverse image functor f★ (with tensoring). …

This question comes (heavily edited) from my notes, thus slightly unusual structure. We know that algebraic maps have very strict structure, and in many settings the operations …