All Questions
Tagged with derived-categories perverse-sheaves
23
questions
1
vote
1
answer
341
views
Tensor product and semisimplicity of perverse sheaves
Let $X/\mathbb{C}$ be a smooth algebraic variety. Let $D_c^b(X,\bar{\mathbb{Q}}_{\ell})$ be the category defined in 2.2.18, p.74 of "Faisceaux pervers" (by Beilinson, Bernstein and Deligne). ...
- 545
8
votes
0
answers
332
views
Beilinson's theorem for fixed stratifications
Beilinson's theorem states that for a variety $X$ and a field $k$ the realization functor
$$\text{real}: D^b\text{Perv}(X,k)\to D_c^b(X,k)$$ is an equivalence of categories.
If we only consider ...
- 1,061
1
vote
1
answer
172
views
$\text{Ext}$-groups of perverse sheaves with a fixed stratification
Let $X$ be a complex variety with a good stratification $S$ and consider the category $Perv_S(X)$ of sheaves perverse with respect to the given stratification (with middle perversity) lying in $D^b_S(...
- 1,061
6
votes
1
answer
311
views
Understanding an involution of the category of perverse sheaves on $\mathbb{C}$
It is well-known (for example: chapter 2 in [GGM] A. Galligo, M. Granger, P. Maisonobe. D-modules et faisceaux pervers dont
le support singulier est un croisement normal. Ann. Inst. Fourier Grenoble,
...
- 375
4
votes
1
answer
438
views
Perverse sheaves on the complex affine line
Show that a perverse sheaf on $\mathbb{A}^1(\mathbb{C})$ (the complex plane with the analytic topology) is a bounded complex $A$ of sheaves of $\mathbb{Q}$-vector spaces with constructible cohomology ...
- 1,479
8
votes
0
answers
680
views
What's the definition of a microlocal sheaf?
I'm slowly becoming familiar with what microsupport of a sheaf is, but none of the references I've seen give a definition of what a microlocal sheaf should be in general.
In this paper of ...
- 191
2
votes
0
answers
173
views
Perverse sheaves and maximal genus Gopakumar-Vafa invariants
Let $f: X \to Y$ be a proper morphism between complex varieties (the varieties as well as the map may be non-smooth) and let $\phi \in \text{Perv}(X)$ be a perverse sheaf on $X$. Given this data, it ...
- 1,701
3
votes
0
answers
393
views
Stalks of perverse cohomology sheaves?
For a complex of sheaves $\cal{F}^{\bullet}$ on a variety $X$, a useful fact is that the stalks of the cohomology sheaves of $\mathcal{F}^{\bullet}$ agree with the cohomology groups of the complex of ...
- 1,701
20
votes
3
answers
2k
views
So what exactly are perverse sheaves anyway?
Is there a way to define perverse sheaves categorically/geometrically? Definitions like the following from lectures by Sophie Morel:
The category of perverse sheaves on $X$ is $\mathrm{Perv}(X,F):=...
- 1,472
2
votes
0
answers
96
views
Does intermediate extension functor commutes with forgetful functor in equivariant derived category?
The forgetful functor from $D^b_G(X)$ to $D^b(X)$ carries $Perv_G(X)$ to $Perv(X)$ by definition $5.1$ in the book of Bernstein and Lunts. My question is do the following functors, intermediate ...
- 677
5
votes
1
answer
196
views
Riemann Hilbert Correspondence with fixed stractification
Riemann Hilbert Correspondence states for complex manifold $X$, the bounded derived category of $D$ modules on $X$ with cohomology being regular holonomic is equivalent to the bounded derived category ...
- 677
1
vote
0
answers
165
views
Espace étalé for derived category
It is known that for a sheaf $\mathcal{F}$ on $X$, we can associate $X_\mathcal{F}$, the étalé space of $\mathcal{F}$ over $X$ such that section of $X_\mathcal{F}$ coincides with section of $\mathcal{...
- 677
4
votes
1
answer
272
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" ...
- 329
5
votes
1
answer
349
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
0
votes
0
answers
330
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,452