Questions tagged [perverse-sheaves]
The perverse-sheaves tag has no usage guidance.
16 questions from the last 365 days
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 ...
- 133
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
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 ...
- 413
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 ...
- 71
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
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 ...
- 1,071
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 ...
- 53
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
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 ...
- 371