All Questions
Tagged with sheaf-theory constructible-sheaves
15 questions
10
votes
0
answers
958
views
intuition about perverse sheaves
firstly, I would know if my very basic intuition on perverse sheaves is correct .
secondly, I would have some clarification in what perverse sheaves behaves better than regular sheaves .
my intuition ...
- 546
8
votes
0
answers
355
views
Why do Kashiwara and Schapira require a base ring of finite global dimension?
In the book "Sheaves on Manifolds" by Kashiwara and Schapira, they work always with sheaves of $R$-modules, where $R$ is a ring of finite global dimension.
Why do they do this, what care ...
- 8,723
7
votes
2
answers
839
views
What is the need for torsion in the definition of lisse sheaves?
I am studying the basics of constructible and lisse sheaves, and am trying to understand SGA 4, IX. As Grothendieck himself observes at the beginning of the chapter, one is forced to work with torsion ...
- 5,670
5
votes
3
answers
680
views
Deequivariantisation of indecomposable sheaves
Let G be a connected group acting on a space X. All spaces should be reasonable, so e.g. G is a complex affine algebraic group acting on an algebraic variety X, with everything done using the usual ...
- 8,866
5
votes
0
answers
250
views
Formality of a category of constructible sheaves
Let $X= S^1 \wedge S^1$ be a wedge of circles. Then $X$ admits a natural stratification $\mathcal{S}$ as a union of two disjoint open intervals $I_1, I_2$ and a point $\{*\}$.
Let $D_{\mathcal{S}}(X)$ ...
- 373
5
votes
0
answers
189
views
Constructible sheaves on general stratified spaces
I am not an expert in the field, so my question might be rather standard. Let $X$ be a compact metric space. Assume that $X=\cup_{i=1}^NS_i$ is a finite disjoint union of locally closed topological ...
- 21.8k
4
votes
1
answer
262
views
Interesting (non) examples of singular support
I'm trying to better understand singular support of sheaves on smooth manifolds---to this end: What are examples of conical subsets of $T^*X$ that cannot arise as the singular support of a sheaf on $...
- 41
4
votes
1
answer
511
views
Nearby cycles and specialisation - properties
I am looking for reference for properties of nearby cycles - specifically, commutation with non-characteristic pull-back (good enough - commutation with pull-back to closed subvariety which is ...
- 5,562
3
votes
1
answer
203
views
Sheaves with $\mathbb{R}$-constructible proper direct image closed under dualizing?
I learned about $\mathbb{R}$-constructible sheaves very recently, so I hope this isn't a silly question:
Let $M$ be a real analytic manifold, and $U\subset M$ an open subanalytic subspace. Denote the ...
- 163
2
votes
0
answers
148
views
Push-forward of a locally constant sheaf using two homotopic maps
Let $X,Y$ be compact smooth manifolds. Let $f,g\colon X\to Y$ be smooth submersions
(in particular, locally trivial bundles) which are homotopic to each other (in the class of smooth maps, not ...
- 21.8k
2
votes
0
answers
167
views
Explicit construction of a presentation of a constructible sheaf of $\mathbb{Z}$-modules
This question was prompted by the two following:
Constructible étale sheaves on X are étale algebraic spaces over X
Naive question about constructing constructible sheaves
If I have a ...
- 617
2
votes
0
answers
35
views
If the set of non-0 stalks of F is relatively open, is the same true of its Verdier dual?
Let $X$ be a complex manifold, $F$ a bounded complex of $\Bbb C_X$-modules with constructible cohomology. If the set $\{x: F_x\neq0\}$ is relatively open (i.e. open in its closure), is the same true ...
- 3,079
1
vote
1
answer
278
views
Relation between characteristic cycle and singular support of constructible sheaf
Let $M$ be a real analytic manifold. Let $F$ be an object of the bounded derived category of sheaves on $M$ with real constructible cohomology sheaves. Let $CC(F)$ denote the characteristic cycle of $...
- 21.8k
1
vote
0
answers
174
views
Galoisian perspective on local system tamely ramified along a smooth divisor
This question is about (1.7.8) and (1.7.11) in Deligne’s Weil II paper.
Let $X$ be a regular scheme and $D\subset X$ a smooth principal divisor cut out by the function $t$. Let $\mathcal F$ be a ...
- 1,217
0
votes
1
answer
175
views
Fourier transform for constructible sheaves on spheres
Let $S_1 = S_2 = S^d$ be two copies of the $d$-dimensional sphere. Let $p_i : S_1 \times S_2 \to S_i$ be the projection, $j : U \to S_1 \times S_2$ the inclusion of the complement of the diagonal and $...
