All Questions
Tagged with perverse-sheaves intersection-cohomology
20 questions
3
votes
1
answer
251
views
About decomposition theorem BBD with respect to some stratification
I want to follow up a question from here (how to deduce version 1.a. from version 1).
I know a version of decomposition theorem BBD:
Version 1. Let $f:X\to Y$ be a (surjective) proper map of complex ...
- 2,806
4
votes
1
answer
321
views
Cohomological range of a perverse sheaf
I want to prove that, let $X$ be a smooth variety, then for a local system $L$ on $X$, $L[\dim X]$ has no quotient object in the abelian category of perverse sheaves supported on a proper closed ...
- 1,168
5
votes
2
answers
651
views
Hodge theoretic properties of intersection cohomology
Let $X$ be a complex projective irreducible reduced variety. It is well known that the intersection cohomology of $X$ satisfies versions of Poincare duality and hard Lefschetz theorem.
Does it admit a ...
- 241
1
vote
0
answers
99
views
Decomposition theorem for resolution of surface singularity
I’ve asked this question on MSE but I don’t get an answer, so I’m trying to ask here.
https://math.stackexchange.com/questions/4914142/decomposition-theorem-for-resolution-of-surface-singularities
In ...
- 395
5
votes
1
answer
602
views
Intersection cohomology and Poincaré duality
When trying to learn about perverse sheaves I hand-wavingly thought that intersection cohomology is the ‘minimal’ way of fixing the failure of Poincaré duality. But I am very aware that it is risky to ...
- 12.9k
2
votes
0
answers
143
views
Comparison of IC sheaves on Schubert varieties on two settings (l-adic vs. complex)
This question is basically about comparison of IC sheaves (or their sheaf cohomologies) for the settings: 1. variety is over $\mathbb{C}$ and sheaf is $\mathbb{C}$-linear, 2. variety is over a finite ...
- 323
2
votes
1
answer
653
views
A computation of intersection homology
I am reading about perverse sheaves from the notes of Cataldo and Migliorini http://www.ams.org/journals/bull/2009-46-04/S0273-0979-09-01260-9/S0273-0979-09-01260-9.pdf
In page 553 example 2.2.2 they ...
CommunityBot
- 1
3
votes
0
answers
195
views
Hodge structure on intersection cohomology of toric varieties
Given a convex polytope with integer vertices, one can construct a complex projective variety $X$ called toric variety. In general $X$ is not smooth. As I have heard, by the work of M. Saito, the ...
- 21.8k
4
votes
0
answers
344
views
Absolute purity for intersection cohomology
If $i:Z\hookrightarrow X$ is a closed embedding of codimension $c$, then
$$i^*k_X\ =\ k_Z , \ \ \ i^!k_X\ \stackrel{(\star)}{=}\ k_Z[2c]$$
where $(\star)$ is true when $i$ is in addition regular.
Here ...
- 5,701
3
votes
0
answers
174
views
Intersection homology of toric resolutions
I'm interested in the intersection homology of toric varieties associated to a polytope $P$ with proper faces F, and a subdivision $P'$ of P. Let $X_P$ be the toric variety associated to the polytope $...
- 841
3
votes
1
answer
530
views
Example of an intersection complex not concentrated in a single degree
I'm having trouble finding references for in-depth examples of perverse sheaves, so answers in the form of such a reference would be most helpful.
I want to construct an example of an intersection ...
- 133
2
votes
0
answers
103
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
7
votes
0
answers
168
views
Explicit computation for perverse cohomology
To construct the convolution product for two ($G(O)$-equivariant) perverse sheaves $\mathcal{F}, \mathcal{G}$ on affine grassmanian, the first thing we need to compute is $^PH^0(\mathcal{F} \boxtimes^...
- 677
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
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
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
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 ...
1
vote
2
answers
270
views
on a characterisation of the intersection complex
Let $X$ be an integral scheme of finite type over a field $k$ of dimension $d$ and $U$ an open dense smooth subscheme.
Let $K\in D_{c}^{b}(X,\bar{\mathbb{Q}}_{l})$ be such that $K_{U}=\bar{\mathbb{Q}}...
- 2,554
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?
- 6,162
6
votes
1
answer
651
views
Intersection Cohomology of Coordinate Hyperplanes
I'm trying to learn how to compute stalks of IC sheaves, and I was wondering about the following example:
Fix $n$. Let $X \subset \mathbb{C}^n$ be the variety cut out by the equation $x_1 \cdots x_n =...
- 2,706