Crystalline analogue of perverse sheaves - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-25T13:44:40Z http://mathoverflow.net/feeds/question/74116 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/74116/crystalline-analogue-of-perverse-sheaves Crystalline analogue of perverse sheaves SGP 2011-08-31T01:14:47Z 2011-09-01T08:22:22Z <p>Consider a variety $X$ over a field $k$ and let $\ell$ be a prime different from the characteristic of $k$. One has the derived category $D(X, Q_{\ell})$ of $\ell$-adic sheaves. There are very important abelian subcategories (of perverse sheaves) corresponding to $t$-structures given by various perversity conditions. </p> <p>Question: What is the precise crystalline analogue of $D(X, Q_{\ell})$ and the subcategories of perverse sheaves? Here I am thinking of crystalline as being some sort of "$p$-adic sheaves" where $p$ is the characteristic of $k$. Perhaps one needs to assume $k$ is perfect..</p> <p>Thank you in advance for your help. </p> http://mathoverflow.net/questions/74116/crystalline-analogue-of-perverse-sheaves/74241#74241 Answer by S. Carnahan for Crystalline analogue of perverse sheaves S. Carnahan 2011-09-01T08:22:22Z 2011-09-01T08:22:22Z <p>Your question seems to contain an implicit assumption that analogues are unique. It is not clear to me that for any choice of formalism you will get precise analogues of all the theorems you see in the $\ell$-adic world.</p> <p>If $k$ is the complex field, you can apply the Riemann-Hilbert correspondence to get an equivalence between regular holonomic $\mathcal{D}_X$-modules and middle-perverse sheaves in the analytic topology with complex coefficients. Then, you can look for a $p$-adic analogue of regular holonomic $\mathcal{D}_X$-modules, and as Emerton commented, one possible answer is provided by Berthelot's theory of $\mathcal{D}^\dagger$-modules. Caro has some work on the ArXiv on overholonomic modules that produces the same sort of finiteness under smooth proper maps you get from the $\ell$-adic setting, but I do not know enough about this field to commment further.</p>