Questions tagged [constructible-sheaves]
The constructible-sheaves tag has no usage guidance.
58
questions
2
votes
0
answers
116
views
Reference request: algebraic characteristic 0 version of microlocalization
I am trying to learn about microlocalization and singular supports with the end goal of understanding at least some form of the coherent-constructible correspondence. I am currently powering through ...
- 877
1
vote
1
answer
143
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(...
- 877
2
votes
0
answers
105
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 ...
- 20.4k
6
votes
1
answer
262
views
Exit path categories of regular CW complexes
Given a finite, regular CW complex $X$ (by regular, I mean that the gluing maps $D^n \to X$ from the closed unit ball to $X$ are homeomorphisms onto their image), denote by $S$ the finite partially ...
- 831
2
votes
0
answers
95
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 ...
- 301
0
votes
1
answer
150
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 $...
2
votes
0
answers
170
views
Stratified sites/topoi and constructible sheaves
Is it possible to define (possibly derived) categories of constructible sheaves over sites more general than those of open subsets of topological spaces while still retaining essential features, like ...
- 1,402
2
votes
1
answer
320
views
Conservativity of stalks of ind-constructible sheaves
I have a simple question about the conservativity of stalks of ind-constructible sheaves. Let $X$ be a topologically noetherian scheme, $S$ a set of geometric points of $X$ corresponding bijectively ...
- 21
5
votes
3
answers
644
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,586
2
votes
0
answers
148
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 ...
- 607
5
votes
0
answers
224
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)$ ...
- 301
6
votes
0
answers
246
views
The geometric "hands-on" vs. algebraic approach to nearby cycles
Feel free to skip to the question below; the following is just context and discussion:
An interesting, but seemingly less used result in the theory of nearby cycles of constructible sheaves is (...
- 273
3
votes
0
answers
240
views
Constructible motivic sheaves
Motivic complexes are a complex of Zariski sheaves that their Zariski hypercohomology gives us the motivic cohomology groups. There are various constructions of these complexes. As far as I know they ...
- 5,689
5
votes
1
answer
189
views
Is analytification of regular holonomic D modules a fully faithful functor?
It seems to me that by the algebraic Riemann Hilbert functor(which factors through the analytification map) and also the analytic Riemann Hilbert functor that the (derived) category of (algebraic) ...
- 1,805
4
votes
0
answers
128
views
Sheaves with specified singular support at infinity coming from hyperplane arrangements
Given a manifold $M$, we consider its cotangent bundle $T^*M$, and its cocircle bundle $T^\infty M$, quotienting out by the scaling action of the positive reals. Given a Legendrian submanifold $\...
- 6,065
10
votes
0
answers
714
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 ...
- 538
1
vote
1
answer
200
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 $...
- 20.4k
3
votes
1
answer
445
views
Weak Lefschetz theorem for Lef line bundles
I'm studying
M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772.
The premises are the following....
- 808
1
vote
0
answers
146
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,167
8
votes
0
answers
328
views
Cohomology of constructible sheaves via exit paths
Let $X$ be a stratified space, with stratification $S$ (we will ignore technicalities).
The category of exit paths $Ex(X,S)$ is a directed refinement of the path groupoid of $X$ accounting for the ...
- 1,595
2
votes
1
answer
258
views
Help with $\mathbf{Q}_{\ell}$ sheaves
Let $X\to S$ be a morphism of smooth connected varieties over an algebraically closed field $k$; let $j:\eta\to S$ be the inclusion of the generic point into $S$ (not a geometric generic point) and ...
- 153
1
vote
0
answers
74
views
Effaceability conditions in the derived category
In abelian categories effaceability of functors is often an interesting property.
Is there any general equivalent condition on derived functors in the derived category?
For example, for a functor ...
- 1,595
3
votes
0
answers
157
views
singular support in the singular case
For any constructible sheaf (or D-module) $\mathcal{F}$ over a smooth variety $X$ over $\mathbb{C}$, there is a notion of singular support $SS(\mathcal{F})$ that lives in the cotangent bundle $T^{*}X$ ...
- 3,314
5
votes
1
answer
543
views
Constructible étale sheaves on X are étale algebraic spaces over X
I saw the following statement in a paper of Bhatt-Mathew:
Let $X$ be a quasicompact quasiseparated scheme. Then there is an equivalence of categories between constructible étale sheaves (of sets) on ...
- 453
1
vote
1
answer
122
views
Stratification along which a constructible complex is smooth
Let $X$ be a smooth complex algebraic variety. A constructible complex $F$ on $X$ has a singular support $SS(F)\subset T^*X$. Assume you are given a stratification of $X$ such that $SS(F)$ is the ...
- 323
8
votes
0
answers
333
views
Proof of Kashiwara's constructibility theorem for algebraic D-modules
I am trying to understand the proof of Kashiwara's constructibility theorem for algebraic D-modules, following either the book "D-modules, Perverse sheaves, and representation theory" by Hotta, ...
- 81
6
votes
1
answer
897
views
Generalized Behrend version for Grothendieck-Lefschetz trace formula
[MOVED HERE FROM MSE.]
The statement of the Grothendieck-Lefschetz fixed point theorem is well-known. For a proper algebraic variety $X$ over $\mathbb F_q$,
$$\#X(\mathbb F_q) =\sum_i (−1)^i Tr(Fr_X, ...
- 445
2
votes
0
answers
172
views
Grothendieck group of constructible sets
Let $K_0$ be the Grothendieck group of complex algebraic varieties. This is the group generated by all complex algebraic varieties, subject to the relations:
(i) $[X]=[Y]$ if $X,Y$ are isomorphic,
(...
- 927
4
votes
1
answer
237
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
17
votes
0
answers
631
views
Proof of MacPherson's result about set-valued constructible sheaves and exit paths
I'm looking for a proof of a theorem that is attributed to MacPherson. Treumann (Section 1.1 in Exit paths and constructible stacks, 2009) states the theorem as:
Theorem 1.2 (MacPherson). Let $(X,S)...
- 355
6
votes
1
answer
636
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^\...
- 3,001
6
votes
1
answer
422
views
Confusion about a proof from Goresky and MacPherson's "Intersection Homology II"
Context
My question is about the "proof of claim" on page 84 of Goresky and MacPherson's "Intersection Homology II". For ease of reading, here's the claim:
Claim: Suppose $X$ is a topological ...
- 3,001
8
votes
0
answers
374
views
Category of representations of the path-groupoid
The path-groupoid $\mathcal{P}_1(X)$ of a (smooth) topological space $X$ is a refinement of the fundamental groupoid $\Pi_1(X)$ whose morphisms are given by (piecewise smooth) paths in $X$ up to thin-...
- 593
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,001
4
votes
0
answers
224
views
Is there an analogue to the koszul complex for constructible sheaves?
Given a variety $X$ and a complete-intersection morphism
$$
Y \to X
$$
is there an analogue of the Koszul complex for $\mathcal{O}_Y \in \textbf{Coh}(X)$ in the setting of constructible sheaves? ...
- 1,666
7
votes
2
answers
751
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,589
5
votes
1
answer
604
views
Comparing Frobenius weights with Mixed Hodge theory
For a variety over a finite field Deligne define weights by looking at the eigenvalues of the Frobenius. On the other hand, if we take a variety over $\mathbb{Q}$, at least for its constant sheaf we ...
- 335
6
votes
1
answer
581
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 ...
- 20.4k
1
vote
1
answer
254
views
condition for constructibility of direct images of constructible sheaves under open embedding
In $D$-Modules, Perverse Sheaves and Representation Theory from R. Hotta, K. Takeuchi and T. Tanisaki, I found the following statement (in section 8.2, the lines before Definition 8.2.2):
Setting: ...
- 163
6
votes
1
answer
352
views
Picard group of derived category of sheaves
Let $X$ be a topological space and $R$ be a commutative ring with unit, $D(X,R)$ is the derived category of unbounded complexes of sheaves of $R$-modules. Moreover we suppose that $X$ is a stratified ...
- 9,722
3
votes
1
answer
199
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
13
votes
2
answers
987
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 ...
- 7,429
5
votes
0
answers
188
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 ...
- 20.4k
4
votes
0
answers
235
views
How to compute the first etale cohomology of a constructible torsion-free sheaf?
I am interested in the following example!
Let $k$ be a field, let $X_0$ be the scheme $\mathrm{Spec}R$ with $R_0=k[x,y]/(xy)$, let $R$ be the strict Hensilian localalisation of $R_0$ at the origin ...
- 997
2
votes
1
answer
462
views
Higher direct image of locally constant torsion sheaf (étale cohomology)
Let $\phi:X\rightarrow Y$ be a generically smooth projective surjective morphism of algebraic varieties over $k=\bar k.$ Is it possible for $R^1\phi_*(\mathbb Z/l)$ to be supported on a divisor of $Y$ ...
- 155
8
votes
0
answers
341
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,643
0
votes
0
answers
156
views
constructibility for pushforward
Let consider a quasicompact open $j:U\rightarrow\mathbb{A}^{\mathbb{N}}$ over a field $k$, Is there an example where $Rj_{*}\mathbb{Z}/n\mathbb{Z}$ is not constructible, where $n$ is prime to the ...
- 3,314
4
votes
1
answer
464
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,412
18
votes
0
answers
839
views
Epsilon factors - a la Beilinson - What is it?
I understand, to some extent, Tate's thesis. Could somebody explain perhaps what are the epsilon factors in Beilinson's works, such as "$\epsilon$-factors for Gauss-Manin determinants", or "...
- 5,412
2
votes
0
answers
101
views
Continuity of constructible derived category
Let $X_0$ be a variety over $\mathbb F_q$. Denote by $X_n$ its basechange to $\mathbb F_{q^n}$ and let $X=\lim X_n$ be its basechange to the algebraic closure $\overline{\mathbb F}_q$.
Let $D^b_c(X_n,...
- 12.7k