Search Results

As far as I remember, there 'should exist' an exact etale realization functor from the category of mixed motivic sheaves (over a base scheme $S$) to the category of perverse $l$-adic sheaves over $S$. …

Let $j:U\to S$ be an (open) immesrion; let $P_U$ be a perverse (\'etale, though my question makes sense in the topological setting also) sheaf on $U$. Then I would like to say that the intermediate e …

It was proven in BBD (see Corollary 5.3.2) that for an open immersion $j$ the functor $j_{!*}$ preserves weights of mixed sheaves. The proof relies on several previous results; it is especially compli …

I am not quite sure that this question is appropriate for Mathoverflow, yet I would be deeply grateful for any hint: what happens in section 3 of Beilinson A., Bernstein J., Deligne P., Faisceaux perv …

In her paper "Mixed perverse sheaves for schemes over number fields" A. Huber defines certain weights for certain categories of $\mathbb{Q}_l$-sheaves over a finite type $\mathbb{Q}$-scheme $S$ using …

A stupid question: which statements in section 5 of BBD will fail if we replace $\overline{\mathbb{Q}_l}$-sheaves by just $\mathbb{Q}_l$-ones? I am especially interested in Proposition 5.1.15. BBD = …

I would like to understand this concept. It seems to be important (for the theory of perverse sheaves), yet I don't know any nice exposition of the properties of smooth sheaves.

In BBD mixed sheaves and weights for them were only defined for ($\overline{\mathbb{Q}_l}$-)sheaves over a variety $X_0$ defined over a finite field $F$. Weights start to behave better when one extend …

Q1. So, I suggest you the following plan of the proof. Note that any Verdier localization of a triangulated category possessing a differential graded enhancement possesses a differential graded enha …

I would like to understand the theory of pure complexes of (etale?) sheaves (of geometric origin?). In particular, I would like to understand which conditions are realy necessary in (part 1 of) Theore …

Which statement is usually called the Decomposition Theorem (for perverse sheaves)? Is this (roughly): a proper pushforward of an intersection complex could be decomposed into a direct sum of (shifted …

Could one define $\mathbb{Q}_l$-perverse etale sheaves over more or less general (excellent, separated) base scheme by combining the results of Gabber and Ekedahl? Would their functoriality properties …

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, bu …

I would like to define the support of a mixed motivic sheaf. This should be something similar to the support of a perverse sheaf.:) Is there any 'classical' definition for the latter? I suspect that …

Let $V$ be a variety (or a Whitney stratified space); $C$ is a constant etale ('topological') sheaf on it. Let $t$ denote the middle perverse t-structure for the corresponding derived category (of she …