Skip to main content
Search type Search syntax
Tags [tag]
Exact "words here"
Author user:1234
user:me (yours)
Score score:3 (3+)
score:0 (none)
Answers answers:3 (3+)
answers:0 (none)
isaccepted:yes
hasaccepted:no
inquestion:1234
Views views:250
Code code:"if (foo != bar)"
Sections title:apples
body:"apples oranges"
URL url:"*.example.com"
Saves in:saves
Status closed:yes
duplicate:no
migrated:no
wiki:no
Types is:question
is:answer
Exclude -[tag]
-apples
For more details on advanced search visit our help page
Results tagged with
Search options not deleted user 2191
1 vote
1 answer
429 views

Is it easy to define weights for $Q_l$-sheaves over finite type $Z[1/l]$-schemes?

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 …
3 votes
0 answers
232 views

What sorts of weights for perverse sheaves were or can be computed?

I am studying certain weights for (triangulated categories of relative) motives. Those are interesting; yet one can hardly say that they are very much explicit or effectively computable. So, I would l …
2 votes

DG enhancements of $\ell$-adic derived categories

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 …
Mikhail Bondarko's user avatar
15 votes
1 answer
2k views

What is the purpose of section 3 of BBD?

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 …
9 votes
3 answers
2k views

Applications for intersection (co)homology and for the Decomposition Theorem for students?

Which applications of intersection (co)homology and of the (Topological) Decomposition Theorem have most chances to be understood by students?
1 vote
1 answer
239 views

How can one bound 'the lower perverse degree' for a constant sheaf on a variety that is smoo...

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 …
9 votes
0 answers
332 views

Is it possible to define a perverse $t$-structure for a certain triangulated category of she...

The perverse t-structure for the derived category of complexes of sheaves is certainly a mighty tool for studying cohomology. My question is: does there exist any homotopy-theoretic analogue for it (p …
10 votes
1 answer
1k views

Bad behaviour of perverse sheaves over 'general' bases?

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 …
5 votes
1 answer
528 views

Functoriality properties of the perverse $t$-structure for torsion (constructible complexes ...

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 …
5 votes
0 answers
734 views

Do all the main properties of constructible and perverse sheaves (in an 'arithmetic' situati...

This question is a continuation of Bad behaviour of perverse sheaves over 'general' bases? Let $S$ (for example) be a finite type separated scheme over $\mathbb{Z}$. I would like: (1) to define the p …
2 votes
1 answer
522 views

Is there an easy proof of the fact that the intermediate image functor respects weights?

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 …
0 votes
1 answer
420 views

How would you call the 'base' of a (intermediate extension of) perverse sheaf?

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 …
3 votes
1 answer
753 views

Is there a 'classical' definition for the support of a perverse sheaves.

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 …
1 vote
0 answers
763 views

Which statement do people usually call the Decomposition Theorem, and what is the precise re...

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 …
7 votes
2 answers
699 views

Which statements in section 5 of BBD will fail if we consider $\mathbb{Q}_l$-adic sheaves th...

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 = …

15 30 50 per page