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