Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
user142700's user avatar
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-...
David Lucien's user avatar
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 ...
Amos Kaminski's user avatar
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 ...
Antoine Labelle's user avatar
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 ...
Ioannis Zolas's user avatar
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 ...
prochet's user avatar
  • 3,472
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 ...
asv's user avatar
  • 21.8k
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 ...
asv's user avatar
  • 21.8k
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 ...
Mathmank's user avatar
  • 272
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}}$....
prochet's user avatar
  • 3,472
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]$...
Qiao's user avatar
  • 1,719
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 $*$ ...
Exit path's user avatar
  • 3,019
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{...
userabc's user avatar
  • 677