Skip to main content

All Questions

Filter by
Sorted by
Tagged with
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 ...
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 $...
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 ...
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 ...
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)$ ...
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 ...
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 $...
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 ...
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 $...
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 ...
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 ...
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 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 ...
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 ...
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 ...