Questions tagged [perverse-sheaves]
The perverse-sheaves tag has no usage guidance.
206 questions
2
votes
0
answers
123
views
Stability of mixed complexes under open embeddings
In Weil II, Deligne proves that the six functors preserve the category of mixed $l$-adic complexes. Most difficulties are encountered when proving that if $f\colon X\to Y$ is a finite type separated ...
- 335
3
votes
0
answers
162
views
consequence of the definition of perverse sheaves
I am trying to learn perverse sheaves. They are complexes $M$ of sheaves with constructible cohomology (say we are working with algebraic varieties and the transcendental topology) such that the ...
- 31
1
vote
0
answers
150
views
Convolution of $\ell$-adic sheaves and group homomorphisms
This question follows this one , where I defined convolution of $\ell$-adic/perverse sheaves.
Here I am working with a perfect field $k$ ($char(k)\neq l$) and with a smooth separated groupscheme $G$ ...
- 329
4
votes
1
answer
291
views
Convolution of $\ell$-adic sheaves is commutative if the group is commutative
[This is a duplicate of this question on Stackexchange]
I am trying to figure out how to prove a very basic statement about convolution of $\ell$-adic/perverse sheaves in Katz's "Rigid local systems" ...
- 148k
4
votes
1
answer
296
views
Computation of multiplicity of irreducible representation in some representation via geometric Satake correspondence
Let $G$ be a reductive algebraic group over $\mathbb{C}$. Let $\operatorname{Gr}_{G}$ be the corresponding affine Grassmannian ($\operatorname{Gr}_{G}(\mathbb{C})=G(\mathbb{C}((z)))/G(\mathbb{C}[[z]])$...
- 4,612
6
votes
1
answer
619
views
A property of nearby cycles functor
Let $f\colon X\to Y$ be a flat morphism of irreducible projective algebraic varieties over $\mathbb{C}$ (or any other algebraically closed field of characteristic 0). Assume that $Y$ is smooth, and ...
- 21.8k
5
votes
1
answer
355
views
Base change and the octahedron axiom
I am trying to understand "de Cataldo, Migliorini. The perverse filtration and the Lefschetz hyperplane theorem. Annals of Mathematics, 171(2010), 2089-2113." My question is about one detail in the ...
- 143
14
votes
2
answers
1k
views
"Correct" definition of stratified spaces and reference for constructible sheaves?
It seems that the theory of constructible sheaves (in particular anything that goes into proving that they form an abelian category) requires some technical statements about existence of certain ...
CommunityBot
- 1
2
votes
1
answer
297
views
Nearby cycle functor for a family of stable curves
Let $B$ be a smooth algebraic curve over $\mathbb{C}$ (or rather a germ of it at a point $b\in B$). Let $f\colon E\to B$ be a proper flat family of stable curves with smooth generic fiber. Assume that ...
- 16.1k
22
votes
4
answers
5k
views
Examples for Decomposition Theorem
There's an important piece of geometric knowledge usually quoted as Beilinson-Bernstein-Deligne.
Here's a refresher: by $IC$ one means the intersection complex, which is just $\mathbb Q$ for a smooth ...
- 1,716
9
votes
0
answers
499
views
On the definition of triangulated categories
Triangulated categories were introduced in the 1960s by Grothendieck and Verdier in order to develop homological algebra in the framework of derived categories. An example of a triangulated category ...
- 12.9k
6
votes
0
answers
291
views
Springer fibers and Weyl group
Let $\pi:\tilde{\mathfrak{g}}\rightarrow\mathfrak{g}$ the Grothendieck-Springer resolution of a semisimple Lie algebra $\mathfrak{g}$, over $\mathbb{C}$.
We know it's a small map, and that $\pi_{*}\...
- 3,472
1
vote
0
answers
251
views
When is $\mathbb{Q}_X$ pure?
I'll ask this question in the language of mixed Hodge modules, since that's where I'm coming from, but the question has an exact analogue for mixed l-adic complexes on schemes over fields of positive ...
- 351
0
votes
0
answers
346
views
on the Springer sheaf
Let $\pi:\tilde{\mathfrak{g}}\rightarrow \mathfrak{g}$, be the Grothendieck-Springer resolution, where $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$.
We know that $\pi$ is small thus $\...
- 3,472
11
votes
3
answers
935
views
Examples of calculating perverse sheaves on algebraic varieties with easy stratification
I have been learning intersection homology and perverse sheaves in the following way. I started by reading the first $7$ chapters of Kirwan and Woolf's book
http://www.amazon.com/Introduction-...
- 27.8k
3
votes
1
answer
342
views
On the notion of conelike stratified (cs-) space
The notion of cs-stratification of a topological space is apparently due to Siebenmann, see also the paper by N. Habegger and L. Saper in the paper "Intersection cohomology of cs-spaces and Zeeman's ...
- 5,509
5
votes
0
answers
460
views
Relation between crystalline and perverse sheaves
Take $X$ to be a smooth complex projective algebraic variety. The Riemann-Hilbert correspondence gives an equivalence of categories between the category of perverse sheaves on $X$ and the category of ...
- 320
1
vote
3
answers
2k
views
Perverse sheaves and tensor product
If $X$ is a connected algebraic variety of finite type over $k$ (with $k$ a field of positive characteristic) of dimension $d$, and if $\mathcal{F}$ and $\mathcal{G}$ are perverse sheaves on $X$ so $(\...
- 307
1
vote
0
answers
86
views
derived invariants, perversity and modular coefficients
Let $\pi:X\rightarrow Y$ a Galois cover of finite type schemes over $\mathbb{C}$ of group $\Gamma$.
Let $n$ an integer such that it is not prime with the order of $\Gamma$.
Then $\pi_{*}\mathbb{Z}/n\...
- 3,472
7
votes
1
answer
440
views
Perverse sheaves for easy stratifications
Let $X$ be a complex variety equipped with a stratification. Let us assume, that all strata are contractible and in addition, that all strata closures are smooth.
Is there an "easy" quiver ...
CommunityBot
- 1
15
votes
1
answer
565
views
IC sheaf of certain explicit variety
Let $n,m$ be two positive integers. Let $Z$ denote the closed subvariety
in $\mathbb A^n \times \mathbb A^m$
given by the equation $x_1...x_n=y_1...y_m$.
QUESTION: What is the stalk (with the action ...
- 1,526
1
vote
0
answers
133
views
functions coming from a perverse sheaf
Let's take a scheme $X$ over a finite field $k$ and $f:X(k)\rightarrow\mathbb{Q}_{\ell}$
What kind of condition do I need on $f$ if I want that it comes from an irreducible perverse sheaf on $X$?
- 3,472
8
votes
0
answers
980
views
What is an example of a non-mixed $\ell$-adic sheaf?
$\def\FF{\mathbb{F}}\def\cG{\mathcal{G}}\def\QQ{\mathbb{Q}}\def\CC{\mathbb{C}}$I've been attending a reading seminar at Michigan on Kiehl and Weissauer's book Weil conjectures, perverse sheaves and l’...
- 3,104
6
votes
1
answer
274
views
Switching left and right adjoints in recollement situations
In Fascieaux pervers, Beilinson, Bernstein and Deligne define a recollement situation as a triple of triangulated categories $\mathcal{D}_U,\mathcal{D}_F$ and $\mathcal{D}$, together with functors
$$
...
- 6,777
11
votes
1
answer
792
views
What's known about the stalks of Lusztig's perverse sheaves on quiver varieties?
Lusztig has defined a category of perverse sheaves on the moduli space of representations of a Dynkin quiver (see his paper) corresponding to canonical basis vectors.
I'm interested in the stalks ...
- 8,866
14
votes
2
answers
947
views
Non semi-simple monodromy in an algebraic family
I am looking for an example of a (edit: projective) family
$f : X \to Y$
of complex algebraic varieties which is a topologically locally trivial fibration in (singular) varieties and such that there ...
- 6,162
15
votes
1
answer
2k
views
Gabber's original proof of his purity theorem
Gabber's purity theorem is the statement that if $\mathscr{F}$ is a pure perverse sheaf on an open subvariety $j : U \hookrightarrow X$ then so is $j_{!*} \mathscr{F}$.
It is remarkable because it ...
- 35.2k
2
votes
2
answers
544
views
Example to show that the inverse image under a finite morphism is not t-exact with respect to the perverse t-structure
According to Chapter 4 of Beilinson, Bernstein, and Deligne's "Faisceaux Pervers" (Asterisque 100, 1980) the inverse image $Rf^*$ with respect to a finite morphism $f$ is right t-exact with respect to ...
- 6,162
6
votes
0
answers
233
views
Toric Degenerations and Nearby Cycles
Suppose that $f: X \to \mathbb{A}^1$ is a toric degeneration in the sense of Nishinou-Siebert. In other words let X be a (possibly singular) toric variety equipped with a (not necessarily proper) ...
- 1,543
3
votes
0
answers
240
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 ...
- 16.9k
7
votes
0
answers
602
views
What's the relationship between the different versions of the BBD decomposition theorem?
I have a few questions relating to the BBD decomposition theorem.
I have come across the following two versions of the decomposition theorem.
Version 1. Let $f : X \to Y$ be a proper map of ...
6
votes
0
answers
715
views
Characteristic Cycles and Nearby Cycles
Let $Y$ be a smooth algebraic variety over $\mathbb{C}$, let $X = Y \times \mathbb{C}$ and let $f: X \to \mathbb{C}$ be the projection. Let $M$ be a (not necessarily regular) holonomic $D_X$-module ...
- 44.7k
14
votes
1
answer
3k
views
When does a perverse sheaf occur in the decomposition theorem?
Suppose I am in the setting of the decomposition theorem, i.e., we have the decomposition of the direct image $f_*\mathbb Q_\ell$, where $f:X\to Y$ is proper. Then the direct image decomposes into a ...
CommunityBot
- 1
7
votes
3
answers
716
views
Nice algebraic approximations of classifying spaces
Let $G=GL_k(\mathbb C)$ be the complex linear group. Then the infinite Grassmannian is a model for the classifying space $BG$.
We can write the infinte Grassmannian as a colimit of the finite ...
- 17.4k
5
votes
0
answers
384
views
Deligne-Lusztig and Character sheaves
Consider: $G$ - a nice group ($GL_n$) over a finite field $F$. $X$ - the flag variety. Consider a nice $G$-equivariant $l$-adic sheaf $\mathcal{M}$ on $X \times X$, equipped with Weil structure.
Fix $...
- 5,562
0
votes
1
answer
342
views
Decomposition of semi simple local systems
I found A question similar to this, but the answer wasn't clear to me and I'm not supposed to ask for further clarification in the answer section.
Let $L$ a semi simple local system defined over an ...
- 44.7k
3
votes
1
answer
1k
views
Relation between Milnor fiber and its restriction via vanishing cycles
I am reading these notes on nearby and vanishing cycles, where an initial assumption is made: the author talks about a complex analytic function $f:X\to \mathbb C$, assuming $X$ is closed in an open ...
- 146
0
votes
1
answer
235
views
cohomology of an intermediate extension of a local system
Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$.
Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...
- 40.2k
2
votes
0
answers
347
views
l-adic cohomology and perverse sheaves
Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...
- 3,472
8
votes
1
answer
756
views
$\ell$-adic monodromy theorems (over $\mathbb{C}$)
This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)
Notation
$H$ denotes étale cohomology.
Let $...
- 5,504
8
votes
1
answer
714
views
DG enhancements of $\ell$-adic derived categories
This question is similar in flavor to Existence of dg realization for 6 functors
Let $X$ be a complex variety and $D(X)$ the bounded derived category of constructible sheaves (the Euclidean topology ...
CommunityBot
- 1
1
vote
1
answer
356
views
Examples of nontrivial local systems in Decomposition Theorem
There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that
$$Rf∗IC_X \cong \oplus_a IC_{\bar{Y_a}}(L_a)[shifts]$...
- 9,870
6
votes
1
answer
518
views
Are there perverse sheaves on abelian varieties with small Euler characteristic?
Let $A$ be a simple abelian variety of dimension $g$. Let $K$ be an irreducible perverse sheaf on $A$. We know that $\chi(A,K)\geq 0$. (Corollary 1.4 of Franecki and Kapranov.) How small can $\chi(A,K)...
- 148k
4
votes
1
answer
373
views
flat descent for perverse sheaves
Let $E \in D^{b}_{c}(X,\overline{\mathbb{Q}}_{l})$ where $X$ is a $k$ scheme of finite type for a field $k$.
Let $Y\rightarrow X$ a finite flat surjective morphism such that $f^{*}E$ is perverse and ...
- 148k
7
votes
1
answer
573
views
Iterated Milnor fibrations and Thom's a_f condition
Ok so there's a lot of litterature about nearby cycles functor since it was introduced by Grothendieck and Deligne but I couldn't find any clear answer to the following natural question:
Problem: Let ...
- 146
4
votes
1
answer
437
views
Smooth mixed hodge modules - representations of fundamental group?
I do not know much about mixed Hodge modules. I would like to ask: Let $X$ be a smooth connected algebraic complex variety, with a chosen point. Could one describe smooth mixed Hodge modules on $X$ as ...
- 40.2k
3
votes
1
answer
304
views
A question on algebraic loop groops
Setup:
Let $\mathcal{K}=\mathbb{C}((t))$, $\mathcal{O}:= \mathbb{C}[[t]]$ and $G$ be a reductive algebraic group (over $\mathbb{C}$). Let further $\mathcal{K}_n$ denote the $\mathcal{O}$-ideal in $\...
- 36
4
votes
1
answer
379
views
Stalks of intersection cohomology complexes of Schubert varieties and Bruhat order
All varieties are over $\mathbb{C}$.
Let $G$ be a connected reductive group, $B\subseteq G$ a Borel subgroup.
Let $O_w$ be a $B$-orbit in $G/B$. I.e., $O_w$ is a Bruhat cell. In particular, it is ...
- 44.7k
4
votes
0
answers
290
views
The associated graded of a mixed Hodge module
Unfortunately this question will be a bit vague, since the question revolves around a memory of something I may have heard in a talk (long time ago).
Let $X$ be a smooth complex variety. Let $MHM(X)$ ...
- 1,595
8
votes
1
answer
530
views
Restriction to Levi Subgroups and the Affine Grassmannian
Let $G$ be a complex reductive group, $L\subset G$ a Levi subgroup and $Rep(G)$ the category of rational representations of $G$.
My Question:
What is the geometric analogue of the restriction ...
CommunityBot
- 1