# Questions tagged [perverse-sheaves]

The perverse-sheaves tag has no usage guidance.

127
questions

**2**

votes

**0**answers

32 views

### Open restriction and Fourier transform on irreducible subquotients of perverse cohomologies

Is it true that an open restriction to $U \subset X$ induces a surjection on the set of irreducible perverse subquotients of perverse cohomologies (i.e. cohomologies with respect to the perverse t-...

**2**

votes

**0**answers

129 views

### Nearby cycles and tensor product

So suppose we have a projective smooth map $f: X \rightarrow A^1$. Then we have a nearby cycles functor $\psi_f$ that sends constructible complexes on $X$ to complexes on $X_1$. In general, I think ...

**2**

votes

**0**answers

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

**5**

votes

**1**answer

98 views

### Riemann Hilbert Correspondence with fixed stractification

Riemann Hilbert Correspondence states for complex manifold $X$, the bounded derived category of $D$ modules on $X$ with cohomology being regular holonomic is equivalent to the bounded derived category ...

**1**

vote

**0**answers

114 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{...

**2**

votes

**0**answers

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

**7**

votes

**0**answers

108 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^...

**4**

votes

**0**answers

161 views

### Families of Hessenberg varieties for $GL_n$

In short, the question is
What do we know about the sheaf $\pi_*\underline{\bar{\mathbb{Q}}_{\ell}}$ given by the family of (very original, see below) Hessenberg varieties for $GL_n$? As a sum of ...

**5**

votes

**1**answer

290 views

### Fulton's deformation to the normal cone vs Verdier's

Let $X$ be a smooth variety over a field $k$, and let $Y$ be a smooth subvariety. In the literature, I've seen two versions of the deformation to the normal cone:
Verdier's version: $\tilde{X}_Y^\...

**6**

votes

**1**answer

128 views

### Additivity of characteristic cycle of holonomic D-module

Let $\mathcal{M}$ be a holonomic D-module on a complex analytic (or alternatively, algebraic) manifold $X$. One can attach to it (using a good filtration) a characteristic cycle $Ch(\mathcal{M})$ ...

**8**

votes

**0**answers

287 views

### Lefschetz pencils and perverse sheaves

I have been reading BBD and Geordie Williamson's “An illustrated guide to perverse sheaves”. The latter has been tremendously helpful to get some intuition for the former.
Let $K$ be some field, and ...

**2**

votes

**0**answers

106 views

### Stability of mixed complexes under open embeddings

In Weil II, Deligne proves that the six functors preserve the category of mixed $l$-adic complexes. Most difficulties are encountered when proving that if $f\colon X\to Y$ is a finite type separated ...

**3**

votes

**0**answers

146 views

### consequence of the definition of perverse sheaves

I am trying to learn perverse sheaves. They are complexes $M$ of sheaves with constructible cohomology (say we are working with algebraic varieties and the transcendental topology) such that the ...

**10**

votes

**3**answers

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

**1**

vote

**0**answers

118 views

### Convolution of $\ell$-adic sheaves and group homomorphisms

This question follows this one , where I defined convolution of $\ell$-adic/perverse sheaves.
Here I am working with a perfect field $k$ ($char(k)\neq l$) and with a smooth separated groupscheme $G$ ...

**3**

votes

**1**answer

137 views

### Convolution of $\ell$-adic sheaves is commutative if the group is commutative

[This is a duplicate of this question on Stackexchange]
I am trying to figure out how to prove a very basic statement about convolution of $\ell$-adic/perverse sheaves in Katz's "Rigid local systems" ...

**4**

votes

**1**answer

195 views

### Computation of multiplicity of irreducible representation in some representation via geometric Satake correspondence

Let $G$ be a reductive algebraic group over $\mathbb{C}$. Let $\operatorname{Gr}_{G}$ be the corresponding affine Grassmannian ($\operatorname{Gr}_{G}(\mathbb{C})=G(\mathbb{C}((z)))/G(\mathbb{C}[[z]])$...

**5**

votes

**1**answer

392 views

### A property of nearby cycles functor

Let $f\colon X\to Y$ be a flat morphism of irreducible projective algebraic varieties over $\mathbb{C}$ (or any other algebraically closed field of characteristic 0). Assume that $Y$ is smooth, and ...

**5**

votes

**1**answer

285 views

### Base change and the octahedron axiom

I am trying to understand "de Cataldo, Migliorini. The perverse filtration and the Lefschetz hyperplane theorem. Annals of Mathematics, 171(2010), 2089-2113." My question is about one detail in the ...

**1**

vote

**0**answers

114 views

### $\mathrm{Hom}_D(D^{\geq 1},D^{\leq 0})=0?$

Let $D$ be a triangulated category with $t$-structure given by strictly full subcategories $D^{\leq0},D^{\geq 1}$. By definition we have $\mathrm{Hom}_D(D^{\leq 0},D^{\geq 1})=0$.
Can we decuce from ...

**2**

votes

**1**answer

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

**21**

votes

**7**answers

2k views

### Applications of Microlocal Analysis?

What examples are there of striking applications of the ideas of Microlocal Analysis?
Ideally i'm looking for specific results in any of the relevant fields (PDE, algebraic/differential geometry/...

**13**

votes

**2**answers

524 views

### “Correct” definition of stratified spaces and reference for constructible sheaves?

It seems that the theory of constructible sheaves (in particular anything that goes into proving that they form an abelian category) requires some technical statements about existence of certain ...

**8**

votes

**0**answers

390 views

### On the definition of triangulated categories

Triangulated categories were introduced in the 1960s by Grothendieck and Verdier in order to develop homological algebra in the framework of derived categories. An example of a triangulated category ...

**6**

votes

**0**answers

198 views

### Springer fibers and Weyl group

Let $\pi:\tilde{\mathfrak{g}}\rightarrow\mathfrak{g}$ the Grothendieck-Springer resolution of a semisimple Lie algebra $\mathfrak{g}$, over $\mathbb{C}$.
We know it's a small map, and that $\pi_{*}\...

**1**

vote

**0**answers

195 views

### When is $\mathbb{Q}_X$ pure?

I'll ask this question in the language of mixed Hodge modules, since that's where I'm coming from, but the question has an exact analogue for mixed l-adic complexes on schemes over fields of positive ...

**0**

votes

**0**answers

204 views

### on the Springer sheaf

Let $\pi:\tilde{\mathfrak{g}}\rightarrow \mathfrak{g}$, be the Grothendieck-Springer resolution, where $\mathfrak{g}$ is a semisimple Lie algebra over $\mathbb{C}$.
We know that $\pi$ is small thus $\...

**3**

votes

**1**answer

150 views

### On the notion of conelike stratified (cs-) space

The notion of cs-stratification of a topological space is apparently due to Siebenmann, see also the paper by N. Habegger and L. Saper in the paper "Intersection cohomology of cs-spaces and Zeeman's ...

**4**

votes

**0**answers

280 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

85 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

428 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

112 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

412 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

853 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 $(\...

**10**

votes

**3**answers

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

**6**

votes

**1**answer

227 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
$$
...

**14**

votes

**2**answers

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

**14**

votes

**1**answer

1k 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

160 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) ...

**3**

votes

**0**answers

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

**6**

votes

**0**answers

419 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

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

**5**

votes

**0**answers

284 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 $...

**12**

votes

**1**answer

2k 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

171 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

840 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

169 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

271 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

321 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

565 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 $...