The perverse-sheaves tag has no usage guidance.

**3**

votes

**0**answers

120 views

### Relation between crystalline and perverse sheaves

Take $X$ to be a smooth complex projective algebraic variety. The Riemann-Hilbert correspondence gives an equivalence of categories between the category of perverse sheaves on $X$ and the category of ...

**1**

vote

**0**answers

71 views

### derived invariants, perversity and modular coefficients

Let $\pi:X\rightarrow Y$ a Galois cover of finite type schemes over $\mathbb{C}$ of group $\Gamma$.
Let $n$ an integer such that it is not prime with the order of $\Gamma$.
Then $\pi_{*}\mathbb{Z}/n\...

**13**

votes

**1**answer

282 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**

vote

**0**answers

74 views

### functions coming from a perverse sheaf

Let's take a scheme $X$ over a finite field $k$ and $f:X(k)\rightarrow\mathbb{Q}_{\ell}$
What kind of condition do I need on $f$ if I want that it comes from an irreducible perverse sheaf on $X$?

**8**

votes

**0**answers

258 views

### What is an example of a non-mixed $\ell$-adic sheaf?

$\def\FF{\mathbb{F}}\def\cG{\mathcal{G}}\def\QQ{\mathbb{Q}}\def\CC{\mathbb{C}}$I've been attending a reading seminar at Michigan on Kiehl and Weissauer's book Weil conjectures, perverse sheaves and l’...

**1**

vote

**3**answers

500 views

### Perverse sheaves and tensor product

If $X$ is a connected algebraic variety of finite type over $k$ (with $k$ a field of positive characteristic) of dimension $d$, and if $\mathcal{F}$ and $\mathcal{G}$ are perverse sheaves on $X$ so $(\...

**8**

votes

**2**answers

301 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-...

**5**

votes

**1**answer

176 views

### Switching left and right adjoints in recollement situations

In Fascieaux pervers, Beilinson, Bernstein and Deligne define a recollement situation as a triple of triangulated categories $\mathcal{D}_U,\mathcal{D}_F$ and $\mathcal{D}$, together with functors
$$
...

**11**

votes

**2**answers

294 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 ...

**13**

votes

**1**answer

737 views

### Gabber's original proof of his purity theorem

Gabber's purity theorem is the statement that if $\mathscr{F}$ is a pure perverse sheaf on an open subvariety $j : U \hookrightarrow X$ then so is $j_{!*} \mathscr{F}$.
It is remarkable because it ...

**6**

votes

**0**answers

95 views

### Toric Degenerations and Nearby Cycles

Suppose that $f: X \to \mathbb{A}^1$ is a toric degeneration in the sense of Nishinou-Siebert. In other words let X be a (possibly singular) toric variety equipped with a (not necessarily proper) ...

**2**

votes

**0**answers

116 views

### What sorts of weights for perverse sheaves were or can be computed?

I am studying certain weights for (triangulated categories of relative) motives. Those are interesting; yet one can hardly say that they are very much explicit or effectively computable. So, I would ...

**4**

votes

**0**answers

315 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 ...

**5**

votes

**0**answers

172 views

### Characteristic Cycles and Nearby Cycles

Let $Y$ be a smooth algebraic variety over $\mathbb{C}$, let $X = Y \times \mathbb{C}$ and let $f: X \to \mathbb{C}$ be the projection. Let $M$ be a (not necessarily regular) holonomic $D_X$-module ...

**3**

votes

**0**answers

203 views

### Deligne-Lusztig and Character sheaves

Consider: $G$ - a nice group ($GL_n$) over a finite field $F$. $X$ - the flag variety. Consider a nice $G$-equivariant $l$-adic sheaf $\mathcal{M}$ on $X \times X$, equipped with Weil structure.
Fix $...

**9**

votes

**1**answer

1k views

### When does a perverse sheaf occur in the decomposition theorem?

Suppose I am in the setting of the decomposition theorem, i.e., we have the decomposition of the direct image $f_*\mathbb Q_\ell$, where $f:X\to Y$ is proper. Then the direct image decomposes into a ...

**0**

votes

**1**answer

99 views

### Decomposition of semi simple local systems

I found A question similar to this, but the answer wasn't clear to me and I'm not supposed to ask for further clarification in the answer section.
Let $L$ a semi simple local system defined over an ...

**1**

vote

**1**answer

272 views

### Relation between Milnor fiber and its restriction via vanishing cycles

I am reading these notes on nearby and vanishing cycles, where an initial assumption is made: the author talks about a complex analytic function $f:X\to \mathbb C$, assuming $X$ is closed in an open ...

**0**

votes

**1**answer

138 views

### cohomology of an intermediate extension of a local system

Let $V$ be affine $n$-space over a field $k$; and $j \colon U \to V$ an open subscheme of $V$. Let $L$ be an $\ell$-adic local system on $U$.
Suppose the cohomology of $H^{\bullet}(U,L)$ does not ...

**2**

votes

**2**answers

195 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 ...

**2**

votes

**0**answers

234 views

### l-adic cohomology and perverse sheaves

Let consider the map $tr:\mathbb{G}_{m}^{n}\rightarrow\mathbb{A}^{1}_{\mathbb{F}_{q}}$ given by the sum of the coordinates and let $\psi:\mathbb{F}_{q}\rightarrow\mathbb{Q}_{l}^{*}$ a non trivial ...

**6**

votes

**1**answer

399 views

### $\ell$-adic monodromy theorems (over $\mathbb{C}$)

This question is about $\ell$-adic monodromy theorems for families over a number field. ($\ell$-adic analogues of Corollaries 6.2.8 and 6.2.9 in [BBD].)
Notation
$H$ denotes étale cohomology.
Let $...

**1**

vote

**1**answer

198 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]$...

**7**

votes

**1**answer

446 views

### DG enhancements of $\ell$-adic derived categories

This question is similar in flavor to Existence of dg realization for 6 functors
Let $X$ be a complex variety and $D(X)$ the bounded derived category of constructible sheaves (the Euclidean topology ...

**4**

votes

**1**answer

231 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 ...

**4**

votes

**1**answer

265 views

### Smooth mixed hodge modules - representations of fundamental group?

I do not know much about mixed Hodge modules. I would like to ask: Let $X$ be a smooth connected algebraic complex variety, with a chosen point. Could one describe smooth mixed Hodge modules on $X$ as ...

**6**

votes

**1**answer

283 views

### Are there perverse sheaves on abelian varieties with small Euler characteristic?

Let $A$ be a simple abelian variety of dimension $g$. Let $K$ be an irreducible perverse sheaf on $A$. We know that $\chi(A,K)\geq 0$. (Corollary 1.4 of Franecki and Kapranov.) How small can $\chi(A,K)...

**3**

votes

**1**answer

277 views

### A question on algebraic loop groops

Setup:
Let $\mathcal{K}=\mathbb{C}((t))$, $\mathcal{O}:= \mathbb{C}[[t]]$ and $G$ be a reductive algebraic group (over $\mathbb{C}$). Let further $\mathcal{K}_n$ denote the $\mathcal{O}$-ideal in $\...

**4**

votes

**1**answer

207 views

### Stalks of intersection cohomology complexes of Schubert varieties and Bruhat order

All varieties are over $\mathbb{C}$.
Let $G$ be a connected reductive group, $B\subseteq G$ a Borel subgroup.
Let $O_w$ be a $B$-orbit in $G/B$. I.e., $O_w$ is a Bruhat cell. In particular, it is ...

**1**

vote

**0**answers

171 views

### The associated graded of a mixed Hodge module

Unfortunately this question will be a bit vague, since the question revolves around a memory of something I may have heard in a talk (long time ago).
Let $X$ be a smooth complex variety. Let $MHM(X)$ ...

**8**

votes

**1**answer

277 views

### Restriction to Levi Subgroups and the Affine Grassmannian

Let $G$ be a complex reductive group, $L\subset G$ a Levi subgroup and $Rep(G)$ the category of rational representations of $G$.
My Question:
What is the geometric analogue of the restriction ...

**6**

votes

**1**answer

322 views

### Iterated Milnor fibrations and Thom's a_f condition

Ok so there's a lot of litterature about nearby cycles functor since it was introduced by Grothendieck and Deligne but I couldn't find any clear answer to the following natural question:
Problem: Let ...

**1**

vote

**2**answers

206 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**

votes

**1**answer

338 views

### Derived Push-Forward of Morphism of Perverse Sheaves and Translation Functors

I hope this question is not too vague.
Let $G$ be a complex reductive group, $B$ a Borel subgroup of $G$, and $P$ a parabolic containing $B$.
Denote by $\pi:G/B\to G/P$ the canonical map. Consider ...

**7**

votes

**1**answer

207 views

### Perverse sheaves for easy stratifications

Let $X$ be a complex variety equipped with a stratification. Let us assume, that all strata are contractible and in addition, that all strata closures are smooth.
Is there an "easy" quiver ...

**2**

votes

**0**answers

162 views

### what does the decomposition theorem say for a Lefschetz pencil?

The setting is the following: let $X$ be a smooth projective variety (say over $\mathbb{C}$), $D$ a simple normal crossings divisor on $X$ and $(H_t)_{t \in \mathbb{P}^1}$ a Lefschetz pencil on $X$ ...

**14**

votes

**0**answers

260 views

### Constructible derived category and fundamental category

Introduction (may be skipped)
Given a nice topological space $X$, the category of local systems (say over a field $k$) on it is equivalent to the category of representations of its fundamental ...

**0**

votes

**0**answers

137 views

### The intersection complex and the Cohen-Macaulay property

Let $\Delta:Y\rightarrow X$ a closed immersion of $k$-schemes of finite type and equidimensionnal.
We assume that $\Delta^{*}[-d]IC_{X}=IC_{Y}$, if $X$ is Cohen-Macaulay, does it imply that $Y$ is ...

**13**

votes

**1**answer

931 views

### What is the purpose of section 3 of BBD?

I am not quite sure that this question is appropriate for Mathoverflow, yet I would be deeply grateful for any hint: what happens in section 3 of Beilinson A., Bernstein J., Deligne P., Faisceaux ...

**3**

votes

**1**answer

257 views

### is this intersection complex a sheaf?

Let $X$ be a smooth complex projective variety and $D$ a normal crossing divisor. Assume that you are given a local system $V$ of complex vector spaces on $X-D$ having finite monodromy. Consider the ...

**1**

vote

**0**answers

136 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

301 views

### Decomposing Semisimple Perverse Sheaves

So I asked this on maths SE because I don't truly consider it to be a research level question. This question mostly arises out of my completely limited understanding of perverse sheaves. However I do ...

**2**

votes

**1**answer

523 views

### Pullbacks of intermediate/middle extensions and Gabber's purity theorem

I am currently trying to understand intermediate extensions of perverse sheaves, specifically the proof of Gabber's purity theorem, which states that the intermediate extension of a pure perverse ...

**2**

votes

**2**answers

200 views

### A submodule of a constant D-module is constant

Hello,
Let $X$ be a smooth variety in char. 0. Let us call a $D$-module on $X$ constant, if it is isomorphic to a finite direct sum of the $D$-modules $O$ (the sheaf of regular functions with the ...

**7**

votes

**3**answers

963 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**

votes

**3**answers

369 views

### Nice algebraic approximations of classifying spaces

Let $G=GL_k(\mathbb C)$ be the complex linear group. Then the infinite Grassmannian is a model for the classifying space $BG$.
We can write the infinte Grassmannian as a colimit of the finite ...

**5**

votes

**1**answer

292 views

### Geometric interpretation of translation through the wall

What does translation through the wall correspond to under Beilinson Bernstein localization?
More precisely I am interested in the following:
There is a well known equivalence between the principal ...

**14**

votes

**1**answer

655 views

### Morphisms between Verma modules

Let $\mathcal{O}_0$ be the principal block of the BGG category $\mathcal{O}$ for a finite dimensional simple Lie algebra over $\mathbb{C}$. For an element $w$ in the Weyl group $W$, let $\Delta_w$ ...

**0**

votes

**0**answers

110 views

### descent of a complex of sheaves

Let X a projective variety over an algebraically closed field on which an abelian variety $A$ acts freely.
Then $X/A$ is a projective variety. Let $f:X\rightarrow X/A$
Let $K\in D_{c}^{\leq 0}(X,\bar{...

**7**

votes

**0**answers

578 views

### On the derived category of constructible étale sheaves

The derived category $D^{\flat}_{c}(X,R)$ of constructible sheaves of $R$-modules on $X_{et}$ is defined as the full subcategory of $D^b(X,R)$ whose cohomology sheaves are all constructible.
Clearly, ...