2
votes
1answer
121 views

intersection complex for quotient singularities

Let $X$ be a projective variety over a field of characteristic zero and assume that $X$ has finite quotient singularities, that is, $X$ is a union of affine open subsets of the form $Y/G$, where $G$ ...
1
vote
2answers
173 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 ...
7
votes
3answers
692 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?
2
votes
2answers
524 views

Non-vanishing of cup product in cohomology

Let $X$ be a smooth projective variety over $\mathbb{C}$, and let $\alpha \in H^{2k}(X)$ be an algebraic cohomology class. Let us fix an $l$ such that $H^l(X) \neq 0$ and $H^{l+2k}(X) \neq 0$. The ...
2
votes
1answer
242 views

Bounding the size of stalks of IC sheaves

Say $X$ is a smooth algebraic variety, $U$ is a Zariski open set in $X$, $L$ is a local system on $U$, and $IC(L)$ the intersection cohomology sheaf on $X$ which restricts to $L$ on $U$. Then is: ...
6
votes
1answer
401 views

Does intersection pairing on `$IH^*(X)$` agree with cup-product on `$H^*(X)$`?

Let $X$ be a proper singular variety over $k=\overline{\mathbb F}_p,$ irreducible of dimension $d.$ Let $H^*(X)$ and $IH^*(X)$ be the $l$-adic cohomology groups and $l$-adic intersection cohomology ...
7
votes
1answer
359 views

“geometric” interpretation of the alternating sum of intersection cohomology groups

Let $X_0$ be a proper variety over a finite field $k.$ For each prime number $\ell\ne p,$ we have the $\ell$-adic intersection cohomology groups $IH^i(X).$ Due to Gabber, the alternating sum of these ...
4
votes
1answer
393 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 ...