All Questions
13 questions
14
votes
3
answers
1k
views
Counterexamples to gluing complexes of sheaves
Note: I asked the question below last week on MathSE but received no answer.
Background:
I have read the claim that perverse sheaves behave more like sheaves than like complexes of sheaves. This ...
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-...
10
votes
0
answers
958
views
intuition about perverse sheaves
firstly, I would know if my very basic intuition on perverse sheaves is correct .
secondly, I would have some clarification in what perverse sheaves behaves better than regular sheaves .
my intuition ...
7
votes
1
answer
490
views
Equivariant perverse sheaves and orbit stratification
Let $X$ be a complex algebraic variety with an action of a connected algebraic group $G$.
The forgetful functor from the category of $G$-equivariant perverse sheaves on $X$ to the category of perverse ...
4
votes
2
answers
1k
views
Singular support of an irreducible perverse sheaf
I was studying Sheaves on Manifolds by Kashiwara and Schapira, and while the singular support seems like a complicated invariant I cannot seem to find a counterexample to the following:
Let $X$ be a ...
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 ...
2
votes
1
answer
423
views
Purity of perverse cohomology sheaves
Let $f\colon X\to Y$ be a morphism of projective varieties over a finite field. Let $K$ be a perverse pure sheaf on $X$.
Are the perverse cohomology sheaves of $f_*(K)$ pure?
I am just learning the ...
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 ...
2
votes
0
answers
265
views
Why does nearby cycles of a local system on $\mathbb{G}_m$ have same monodromy as local system?
Apologies if this belongs on MSE, but none of the tags I wanted existed, so I took it as a hint to post on MO.
Edit: here is my definition of nearby cycles. Suppose $X$ is a complex analytic space ...
2
votes
0
answers
180
views
on geometric Satake and functions
Let $G(F)/G(O)$ the affine grassmanian with $F=k((t))$ where $k$ is a finite field.
For $\lambda$ a dominant cocharacter, we have by Cartan decomposition the schubert strata $\overline{Gr^{\lambda}}$....
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]$...
1
vote
0
answers
172
views
When does a $D$-module think it’s a pullback along a smooth morphism?
Let $X$ and $Y$ be two algebraic varieties, and let $f: X \to Y$ be a morphism. Suppose $A$ is a holonomic $D$-module on $Y$. In this situation we can pull $A$ back to $X$ using either the $!$ or $*$ ...
1
vote
0
answers
170
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{...