Questions tagged [perverse-sheaves]
The perverse-sheaves tag has no usage guidance.
206 questions
14
votes
2
answers
1k
views
Relation between holonomic D-modules and perverse sheaves
Given a smooth complex algebraic variety, the Riemann-Hilbert-correspondence tells us, that the category of perverse sheaves is equivalent to the category of regular, holonomic D-modules.
However not ...
- 241
3
votes
0
answers
147
views
Tate conjecture for singular varieties in terms of intersection homology
In his book “Mixed motives and algebraic K-theory”, Jannsen generalizes the Tate conjecture to a potentially singular projective variety $X$ over a finitely generated field. The statement is the same ...
- 658
1
vote
0
answers
38
views
Essential image of nearby cycles functor
Let $R$ be a Henselian discrete valuation ring. Let $S=\mathrm{Spec} R$ be the corresponding trait, with generic point $\eta$ and closed point $s$. Let $f:X\to S$ be a smooth proper morphism of ...
- 615
4
votes
0
answers
117
views
Is there an "$\ell$-adic Riemann Hilbert correspondence"?
The Riemann-Hilbert correspondence (see, e.g., Thm. 7.2.2 of D-modules, perverse sheaves, and representation theory) shows that analytic perverse sheaves are equivalent to regular holonomic $D$-...
- 615
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
8
votes
0
answers
259
views
What is an example of Beilinson's theorem on $D^b\mathrm{Perv}$ failing for non-field coefficients?
In Beilinson's paper "On the derived category of perverse sheaves", he proves that the realization functor $D^b\mathrm{Perv}(X,R)\to D^b_c(X, R)$ is an equivalence when $R$ is a field. Here $...
- 495
13
votes
0
answers
281
views
Kakuro puzzles and sheaf cohomology
This is a recreational, summer question and could be more well-suited for mathstackexchange. However, some of you on holiday could appreciate the topic. I recently came across Kakuro Puzzles, similar ...
- 2,152
2
votes
1
answer
141
views
Monodromic but not equivariant sheaves and Braden's theorem
Let $X$ be a complex variety with contracting $\mathbb{G}_m$ action. Let $i\colon \{x_0\}\to X$ be the inclusion of the fixed point. Then the simplest case of Braden's theorem (which would then seem ...
- 563
6
votes
0
answers
230
views
Fourier transform for perverse sheaves
I am interested in studying the Fourier transform for perverse sheaves on "nice" spaces, say affine complex space stratified by the action of an algebraic group into finitely many orbits.
In ...
- 63.9k
3
votes
1
answer
141
views
Is inverse image along finite group quotient $t$-exact for the perverse $t$-structure?
Let $q: \mathbb{C}\to \mathbb{C}$ be the quotient by $\mathbb{Z}/n\mathbb{Z},$ i.e. the map taking $z\mapsto z^n$. In the accepter answer to Operations on perverse sheaves on disk the inverse image of ...
CommunityBot
- 1
6
votes
0
answers
225
views
What advantages do perverse sheaves provide over D-modules? (or vice versa)
My question is as in the title: What advantages do perverse sheaves provide over D-modules? (or vice versa)
As a specific example: could something like the modular generalized Springer correspondence ...
- 495
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
2
votes
0
answers
212
views
Are there any relations between perverse t-structure (cohomologies) and standard t-structure (cohomologies)?
I'm reading the Corollary 3.2.3. in Exponential motives by J. Fresan and P. Jossen.
The authors use the following statement in the proof of Corollary 3.2.3: let $C$ be any object in the derived ...
- 241
2
votes
1
answer
166
views
Isomorphic IC sheaves induced from different locally closed subvarieties
Let us work with varieties over $\mathbb{C}$ and $D^{b}_{c}(X)$ the bounded constructible derived category of sheaves of $\mathbb{Q}$ vector spaces. Say $X$ and $Y$ are smooth locally closed ...
- 148k
5
votes
1
answer
317
views
Operations on perverse sheaves on disk
The category of perverse sheaves on the disk is isomorphic to the category of diagrams
$$E\substack{\substack{c\\\to}\\\substack{v\\\leftarrow}}F$$
With $E,V$ finite dimensional vector spaces, and ...
- 148k
4
votes
0
answers
155
views
$\pm 1$-equivariant perverse sheaves on the affine line
Let $G=\mathbb{Z}/\mathbb{2Z}$ act by the map $z\mapsto -z$ on a complex line $\mathbb{C}$. The category $\mathcal{Perv}(\mathbb{C})$ of perverse sheaves smooth along the stratification by the origin ...
- 1,071
4
votes
1
answer
241
views
Are perverse sheaves representations of some topological invariant?
The well-known correspondence between vector bundles with flat connection on a smooth complex algebraic variety $X$ and complex representations of $\pi_1(X^{an})$, the fundamental group of the ...
- 28.7k
4
votes
0
answers
174
views
Do the nearby cycle and Beilinson's vanishing cycle functors commute?
Let $X$ be a complex algebraic variety with a pair of regular functions $f_1,f_2$. To these functions we can associate various functors: the nearby cycles functor $\Psi_{f_i}$, the vanishing cycles ...
- 1,071
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
4
votes
0
answers
184
views
How to think about Beilinson's gluing data?
Let $X$ be a complex manifold, $D$ a divisor (that is globally the zero locus of a function) and $U$ its complement. Recall Beilinson's "how to glue perverse sheaves":
Given a perverse ...
- 5,701
4
votes
0
answers
114
views
Simpson correspondence for perverse sheaves
Let $X$ be a projective complex manifold. Then Simpson's correspondence from nonabelian Hodge theory shows that the category of semisimple local systems on $X$ is equivalent to the category of ...
- 615
2
votes
0
answers
112
views
Applications of the Riemann-Hilbert Correspondence
I am aware of the (first) proof of the Kazhdan–Lusztig conjectures using the Riemann-Hilbert Correspondence. Are there any other interesting applications of the RH correspondence?
- 507
1
vote
0
answers
64
views
Cohomology of an intermediate extension (perverse) sheaf on the affine line
Let $\mathbb{A}^1$ be defined over a finite field or $\mathbb{C}$, $j: \mathbb{G}_m \rightarrow \mathbb{A}^1$ and $\mathcal{F}$ a local system on $\mathbb{G}_m$. I wonder what is known about the ...
- 195
1
vote
1
answer
362
views
Tensor product and semisimplicity of perverse sheaves
Let $X/\mathbb{C}$ be a smooth algebraic variety. Let $D_c^b(X,\bar{\mathbb{Q}}_{\ell})$ be the category defined in 2.2.18, p.74 of "Faisceaux pervers" (by Beilinson, Bernstein and Deligne). ...
- 148k
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
12
votes
1
answer
1k
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, ...
- 40.2k
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 ...
- 12.9k
2
votes
0
answers
132
views
Canonical basis and perverse coherent sheaves on the nilpotent cone
In the paper of Ostrik, he introduced a canonical basis of $K^{G\times {\mathbb C}^*}(\mathcal N)$, where $\mathcal N$ is the nilpotent cone for the group $G$. Question: does this canonical basis ...
- 2,964
8
votes
0
answers
350
views
Beilinson's theorem for fixed stratifications
Beilinson's theorem states that for a variety $X$ and a field $k$ the realization functor
$$\text{real}: D^b\text{Perv}(X,k)\to D_c^b(X,k)$$ is an equivalence of categories.
If we only consider ...
- 1,071
2
votes
1
answer
368
views
Extending IC sheaves across smooth divisors with normal crossings
I am trying to understand paragraph 1.6 of Lusztig's paper "Character Sheaves I". The basic setup is that $X$ is a smooth irreducible variety over a field $k=\overline{k}$, $D_i, i=1,...,r$ ...
- 291
4
votes
0
answers
200
views
D-modules generated by derivatives of Delta function
We consider D-modules over the affine line $\mathbb{A}_{\mathbb{C}}^{1}$, i.e. modules of Weyl algebra $A_1(\mathbb{C})=\mathbb{C}[x,\partial]$. There is a set of microfunctions (ref. A Primer of ...
- 121
1
vote
2
answers
279
views
Correspondences acting on cohomology groups $H^*(X)$ & splittings
Let $X$ be a smooth connected proper scheme over field $k$. It is known that
correspondences $\alpha \subset X \times X$ regarded as
objects in Chow groups $\text{CH}^*(X \times X)$
act on cohomology $...
- 40.2k
27
votes
0
answers
959
views
Nearby cycles without a function
Suppose that:
$X$ is a smooth complex algebraic variety,
$f : X \to D$ is a proper map to a small disc, smooth away from 0,
$Z_\epsilon = f^{-1}(\epsilon)$, and $Z = Z_0$.
Then there is a procedure (...
- 6,162
1
vote
1
answer
188
views
$\text{Ext}$-groups of perverse sheaves with a fixed stratification
Let $X$ be a complex variety with a good stratification $S$ and consider the category $Perv_S(X)$ of sheaves perverse with respect to the given stratification (with middle perversity) lying in $D^b_S(...
- 148k
3
votes
0
answers
413
views
Understanding the proof of the Springer correspondence
Let $G$ be a connected reductive group over an algebraically closed field $k$ with Weyl group $W$.
Let
$$
\mathcal{S} = R\pi_*\mathbb{Q}_\ell[\dim \mathcal{N}]
$$
be the Springer sheaf, where $\...
- 31
4
votes
1
answer
155
views
Explicit description of perverse sheaves on a disk
In How to glue perverse sheaves Beilinson claims that the category of perverse sheaves on the complex unit disk $D$ with the stratification with the closed strata $\{0\}\subset D$ is equivalent to the ...
- 1,071
2
votes
0
answers
206
views
Springer sheaf and Deligne-Lusztig induction
Let $G=Gl_n$ be the general linear group over the algebraic closure of a finite field $\overline{\mathbb{F}}_q $ and let $F:G \to G$ be the standard Frobenius. On $G$ there is the Springer (perverse) ...
- 1,061
4
votes
0
answers
390
views
Perverse sheaves with stable infinity categories
I hope this question is not too naive.
I have recently been trying to get familiar with the theory of stable $\infty$-categories. Lurie's Higher Algebra explains that they are a useful 'upgrade' of ...
- 813
3
votes
1
answer
366
views
Perverse tilting sheaves
In the article titled Tilting Exercises (See http://arXiv.org/abs/math/0301098v3) the authors define a notion of tilting perverse sheaves on an algebraic vareity $X$ with respect to stratification $\...
- 63.9k
1
vote
1
answer
431
views
Is it easy to define weights for $Q_l$-sheaves over finite type $Z[1/l]$-schemes?
In her paper "Mixed perverse sheaves for schemes over number fields" A. Huber defines certain weights for certain categories of $\mathbb{Q}_l$-sheaves over a finite type $\mathbb{Q}$-scheme $...
- 1,446
2
votes
0
answers
94
views
Hard Lefschetz for perverse sheaves on Kähler manifolds
Let $(X,\omega)$ be a compact Kähler manifold, $k\ge0$, $P\in Perv(X)$ be a semisimple object, then do we have the hard Lefschetz isomorphism between perverse cohomology sheaves $\omega^k:{}^p\mathcal{...
- 615
2
votes
0
answers
79
views
Restricting perverse intermediate extension to closed complement
Consider a scheme $X$ over athe complex numbers, $j:U\to X$ an open subscheme, $i:Z\to X$ its closed complement, and a perverse sheaf $F$ over $U$ with complex coefficients.
The intermediate extension ...
- 455
5
votes
3
answers
921
views
Reference for two facts about perverse sheaves on G/B
I wonder whether there is a reference for the following two things:
The Grothendieck group of B-equivariant semisimple? perverse sheaves on $G/B$ is the Hecke-algebra.
The category of B-equivariant ...
- 1,446
3
votes
1
answer
282
views
Artin vanishing for D-modules (i.e., when is $f_+$ t-exact?)
Let $f:X\to S$ be a morphism between algebraic varieties which are smooth over a field of characteristic zero. We define the (derived) direct image functor $f_+:\mathsf{D}^b(\mathcal{D}_X)\to \mathsf{...
- 6,829
2
votes
0
answers
142
views
Local systems as a Serre subcategory of the category of perverse sheaves
Let $X$ be an algebraic variety. Let $Perv(X)$ be the (abelian) category of perverse sheaves on $X$ and let $Loc^{ft}(X)$ be the subcategory of local systems with finitely-generated stalks.
It is ...
- 373
2
votes
0
answers
211
views
Intermediate extensions of pure perverse sheaves (BBD 5.4.3)
I am working my way through "Faisceaux pervers" by Beilinson, Bernstein and Deligne and can't wrap my head around Corollary 5.4.3. To me it seems that one of the hypotheses is extraneous, ...
- 1,071
9
votes
4
answers
3k
views
Gluing perverse sheaves?
It might be a stupid question.
How to glue perverse sheaves? I am considering the following example. Flag variety of $sl_2$, which is $P^1$. Consider category of perverse sheaves on $P^1$. Denoted by $...
- 4,713
6
votes
1
answer
336
views
Understanding an involution of the category of perverse sheaves on $\mathbb{C}$
It is well-known (for example: chapter 2 in [GGM] A. Galligo, M. Granger, P. Maisonobe. D-modules et faisceaux pervers dont
le support singulier est un croisement normal. Ann. Inst. Fourier Grenoble,
...
- 12.9k