l-adic vs complex Perverse Sheaves

2011-10-18T12:27:18Z

Let $X$ be a scheme of finite type over $Spec(\mathbb{C})$. Let $X_{an}$ denote the associated complex analytic space. After fixing an isomorphism $\overline{\mathbb{Q}}_l\cong \mathbb{C}$, by $\S$6.1.2. of BBD (Asterisque 100) we know that there is fully faithfull functor

$$\mathcal{F}: D_c^b(X, \overline{\mathbb{Q}}_l) \rightarrow D_c^b(X_{an}, \mathbb{C}),$$

where the left hand side is the usual "derived category" of $l$-adic sheaves and the the right hand side is the usual derived category of complex sheaves with constructible (for an algebraic stratification) cohomology. As is well known this functor is not essentially surjective. However, on both sides we have two natural subcategories

$$Perv_{l}(X) \subset D_c^b(X, \overline{\mathbb{Q}}_l)$$

and

$$Perv_{\mathbb{C}}(X) \subset D_c^b(X_{an}, \mathbb{C}) $$ of l-adic Perverse sheaves and complex Perverse sheaves respectively. My question is this:

Does $\mathcal{F}$ induce an equivalence of categories between $Perv_{l}(X)$ and $Perv_{\mathbb{C}}(X)$?

Answer by ulrich for l-adic vs complex Perverse Sheaves

2011-10-18T13:09:29Z

No.

If $L$ is a local system on a smooth variety $X$ of dimension $d$ then $L[d]$ is perverse. As suggested by BBD, if we take $L$ to be a rank $n$ local system of $\overline{\mathbb{Q}}_l$ vector spaces on $X_{an}$ then this is in the essential image of $\mathcal{F}$ iff the corresponding representation of $\pi_1(X_{an})$ preserves a lattice (by which I mean a rank $n$ $\mathcal{O}$-submodule, where $\mathcal{O}$ is the ring of integers in some finite extension of $\mathbb{Q}_p$ ). The reason for this is that the algebraic fundamental group is compact and any compact subgroup of $GL_n(\overline{\mathbb{Q}}_l)$ is contained in $GL_n(\mathcal{O})$, for some $\mathcal{O}$ as above.

This condition need not always hold: for example, one can consider representations of $\pi_1(X_{an})$ so that the eigenvalues of some element are algebraic but not $l$-adic integers.

l-adic vs complex Perverse Sheaves - MathOverflow

l-adic vs complex Perverse Sheaves

Answer by ulrich for l-adic vs complex Perverse Sheaves