Functoriality properties of the perverse $t$-structure for torsion (constructible complexes of) sheaves - MathOverflow most recent 30 from http://mathoverflow.net 2013-05-23T04:22:34Z http://mathoverflow.net/feeds/question/76186 http://www.creativecommons.org/licenses/by-nc/2.5/rdf http://mathoverflow.net/questions/76186/functoriality-properties-of-the-perverse-t-structure-for-torsion-constructible Functoriality properties of the perverse $t$-structure for torsion (constructible complexes of) sheaves Mikhail Bondarko 2011-09-23T04:55:52Z 2011-09-23T15:55:07Z <p>I would like to apply the usual 'functoriality properties' of the perverse $t$-structure to torsion (constructible complexes of) sheaves (I am in the algebraic setting, so these are etale sheaves, but probably the difference from the 'topological case' is not very large here) i.e. I want to use the corresponding left and right $t$-exactnesses of $f_\ast$, $f^\ast$, $f_!$ and $f^!$ when $f$ is smooth or affine; constant sheaf over a local complete intersection variety (shifted by the dimension) is perverse; etc. It seems that there are two possibilities.</p> <ol> <li><p>Reduce the situation to $\mathbb{Z}/l\mathbb{Z}$-sheaves (and consider the corresponding derived categories). Will the 'usual' properties of the perverse $t$-structure (for $\mathbb{Q}$ or $\mathbb{Q}_l$-sheaves) hold in this setting?</p></li> <li><p>Consider arbitrary torsion sheaves and use only those properties of the 'obvious perverse' $t$-structure that are still true in this setting (cf. sections 3.3 and 4.1 of BBD).</p></li> </ol> <p>My questions are:</p> <ol> <li><p>Are the properties of $\mathbb{Z}/l\mathbb{Z}$-sheaves really parallel to those of $\mathbb{Q}_l$-ones?</p></li> <li><p>What are the most appropriate references for possibilities 1 and 2?</p></li> </ol> http://mathoverflow.net/questions/76186/functoriality-properties-of-the-perverse-t-structure-for-torsion-constructible/76213#76213 Answer by Alex for Functoriality properties of the perverse $t$-structure for torsion (constructible complexes of) sheaves Alex 2011-09-23T15:55:07Z 2011-09-23T15:55:07Z <p>If you want only $\mathbb{Z}/\ell\mathbb{Z}$ coefficients (not general $\mathbb{Z}/\ell^m\mathbb{Z}$), then there is only one middle perverse t-structure, which is good. The way the exactness properties of the 4 operations is proved in BBD is to reduce to $\mathbb{Z}/\ell/\mathbb{Z}$ coefficients (see 4.0), so the answer to 1 is "obviously yes" and the answer to 2 is "BBD 4.1".</p> <p>As for the fact that the shifted constant sheaf on a lci variety is perverse, it only uses the results of BBD 4, and again, these are all true for $\mathbb{Z}/\ell\mathbb{Z}$ coefficients as explained in BBD 4.0. (The problems start appearing when the coeffients are not a field.) So in that case too the answer to 1 is "yes" and the answer to 2 is "BBD 4".</p> <p>NB : Here "BBD" refers to the book "Analyse et topologie sur les espaces singuliers I", by Beilinson-Bernstein-Deligne (aka Asterisque 100).</p>