All Questions
Tagged with sheaf-theory at.algebraic-topology
111 questions
6
votes
0
answers
223
views
Under what generality are the compactly supported singular and sheaf cohomologies equal?
Edit: I have since resolved my question.
If X is locally compact Hausdorff in addition to being cohomologically locally contractible with coefficients in $A$ - eg it is a manifold or an open subset of ...
- 1,020
1
vote
0
answers
58
views
Which sheaves are good for calculating extraordinary restriction?
Let $X$ be a sufficiently nice locally compact Hausdorff space and let $i:Y\subset X$ be the inclusion map of a sufficiently nice closed subspace. For example, one could take $X$ to be a locally ...
- 23.5k
3
votes
1
answer
240
views
Cohomology of the complement of a subvariety
Let $X$ be a complex manifold, $Y\subset X$ a subvariety, and $U:=X\setminus Y$ of codimension $d$. It is well known that the restriction map
$$
H^i(X,\mathbb Q)\to H^i(U,\mathbb Q)
$$
is an ...
- 148k
2
votes
0
answers
137
views
details of a dévissage argument for constructible sheaves
I am working on the following Künneth-type isomorphism from [SGA5, exposé III, 2,3]:
$\mathrm{Settings}.$ Let $X_1, X_2$ be separated finite type schemes over the spectrum of a field $S=\mathrm{Spec}...
- 375
4
votes
1
answer
355
views
Bott & Tu differential forms Example 10.1
In Bott & Tu's "Differential forms", Example 10.1 states:
$\textbf{Example 10.1}$ Let $\pi: E \to M$ be a fiber bundle with fiber $F$. Define a presheaf on $M$ by $\mathcal F(U) = H^q(\...
- 5,534
2
votes
0
answers
148
views
Equivalence of cohomology with compact support
Let $𝑋$ be a connected CW complex, $𝜌:\pi_1(𝑋)→\mathrm{Aut}(G)$ a representation, and $G_\rho$ the associated sheaf. It follows from here, that the following two cohomologies are isomorphic.
(1)The ...
- 23.5k
6
votes
1
answer
326
views
Spectral sequence generalizing Čech cohomology
Let $X$ be a 'nice' topological space. Let $\left(U_i\right)_{i\in I}$ be a finite open covering of $X$. Let $\mathcal{F}$ be a sheaf of abelian groups.
For a subset $A\subset I$ denote $$U_A:=\cap_{...
- 16.2k
7
votes
2
answers
7k
views
On a proof of the existence of tubular neighborhoods.
Studying analysis on manifolds, I have found, in the proof of the existence of tubular neighborhoods, a reference to theorem 3.1.2 in "Topologie algebrique et theorie des faisceaux" of Godement.
...
- 1,446
3
votes
1
answer
149
views
(Derived category of) sheaves over an infinite union
The short version of my question is:
Suppose $X$ is a (reasonably nice) topological space such that $X = \bigcup_{n \ge 1} X_n$ for an increasing sequence of (closed) subspaces $X_1 \subset X_2 \...
- 40.2k
98
votes
10
answers
14k
views
equivalence of Grothendieck-style versus Cech-style sheaf cohomology
Given a topological space $X$, we can define the sheaf cohomology of $X$ in
I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$)
or
II. the Čech ...
- 4,492
2
votes
1
answer
242
views
Derived category of local systems of finite type on a $K(\pi,1)$ space: an explicit counterexample
Let $X$ be a nice enough topological space. I am mostly interested in smooth complex algebraic varieties. One may ask whether the bounded derived category of the category $\mathrm{Loc}(X)$ of local ...
- 148k
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
4
votes
1
answer
168
views
Sheaves and gratings
A grating is a notion in algebraic topology from the 1940 introduced by Alexander. Cartan extended it as follows.
A grating (carapace in french) is defined by a topological space $X$, a module (or a ...
- 12.9k
14
votes
3
answers
2k
views
Recommendations for getting into sheaves with emphasis on differential geometry and algebraic topology
I want to study the theory of sheaves from a categorical point of view with an emphasis on applications in algebraic topology and differential geometry and I'm looking for a good introductory book to ...
- 7,127
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
3
votes
0
answers
186
views
The site and the space
There is a (seemingly simple) statement in the literature on sheaf theory, namely,
If $E$ is the site of opens of a topological space $X$, the notion of sheaf over $X$ coincides with that of sheaf of ...
- 894
11
votes
1
answer
406
views
Resolutions of unbounded complexes: Condition ($\ast$) in Spaltenstein's paper
In the paper "Resolutions of unbounded complexes" (Compositio Math., vol. 65, no. 2, pp. 121-154) N. Spaltenstein generalizes the 6 functor formalism to unbounded complexes of sheaves over ...
- 28.7k
8
votes
2
answers
993
views
Example of a Sheaf (on the site of smooth manifolds) with Nontrivial Cohomology on $\mathbb{R}^n$?
Does such a sheaf of abelian groups exist? If not, is there a reference or a proof? Does such a sheaf of non-abelian groups exist?
I realized recently that while I've taken it for granted that ...
- 209
4
votes
2
answers
228
views
Is there a Čech-like way of computing $H^\bullet(X,M^\bullet)$ or even $\mathsf{R}f_* M^\bullet$?
Let $X$ be a topological space (or a site) and let $M$ be a sheaf on $X$. If $X$ is paracompact, or if $X$ is a noetherian separated scheme and $M$ is quasi-coherent, or if $X$ is quasi-projective ...
- 12.9k
2
votes
1
answer
226
views
Dualizing complex of the cone over a manifold
Let $M$ be a smooth (or just topological) closed manifold. Let $C(M)$ denote the cone over $M$, i.e.
$C(M)$ equals to $M\times [0,\infty)$ with $M\times \{0\}$ contracted to a point. The image of $M\...
- 3,948
1
vote
0
answers
88
views
Tensoring by a soft flat sheaf
Let $X$ be a paracompact Hausdorff space and $R$ a commutative ring. All sheaves below will be sheaves of $R$-modules on $X$. A sheaf $S$ is soft if every section of $S$ over a closed subset can be ...
- 23.5k
26
votes
1
answer
1k
views
Why are quasitopological spaces needed in sheaf theoretic approaches to the h-principle?
Recently I have been learning more about the h-principle and in particular the methods of "continuous sheaves". In many treatments of this I see people using "quasi-topological spaces" and I am trying ...
- 40.2k
7
votes
1
answer
353
views
Does the category of cosheaves have enough projectives?
Given a general topological space $X$ does the category $\mathbf{coShv}(X,\mathbf{Mod}_R)$ have enough projectives ? I know that under some conditions this is true, for example if $X$ is a cell ...
- 30.3k
1
vote
0
answers
200
views
Question regarding affine fibre bundles
Let $f:X\to Y$ be a morphism of affine varieties such that it is a fibre bundle with fibre $F$. Let $\pi_1(Y)=\Gamma$ be a free group (non abelian) of finite rank and $\pi_1(F)$ is a finite group $G$ ...
- 585
3
votes
2
answers
2k
views
Relation between sheaf and group cohomology
Let $E=\mathbb{C}/L$ be an elliptic curve. Then $\mathbb{C}$ is contractible, and $L$ is the fundamental group of $E$. What's interesting is that we can find the cohomology of $E$, which is the same ...
- 63.9k
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 $...
- 148k
5
votes
0
answers
290
views
About the left adjoint of $f^*$
In lots of different cases (Verdier duality, Grothendieck duality, étale cohomology, ...) the very existence of a (right) adjoint to the sheaf functor $f_!$ gives useful information. (I'm going to ...
- 711
1
vote
0
answers
125
views
Homotopy of sheaves
On a certain topological space $X$ I want to think about sheaves up to homotopy, i.e., homotopies in the space of sheaves over $X$, and then see what homotopy classes of sheaves I get. Is there a good ...
- 11
2
votes
0
answers
372
views
How to deduce Künneth from its relative version (in cohomology of sheaves)
Let $p:X\to S$ and $q:Y\to S$ be morphisms of "spaces" over $S$. We have an isomorphism
$$f_!(M\boxtimes N)=p_! M\otimes q_!N$$
in the derived category of "sheaves" over $S$, where ...
CommunityBot
- 1
6
votes
1
answer
327
views
Topology on cohomology of a sheaf of topological groups
Let $X$ be a topological space and $\mathcal{F}$ be a sheaf of commutative topological groups on $X$. I am interested in the following question:
Is there a natural way to introduce topology on $H^i(X,...
- 37.8k
33
votes
4
answers
6k
views
What (if anything) happened to Intersection Homology?
In the early 1990's, Gil Kalai introduced me to a very interesting generalization of homology theory called intersection homology, which existed for like 10 years back then I believe. Defined ...
- 4,713
9
votes
0
answers
308
views
Refinement of hypercovers by ordinary covers
I am asking for references and discussions of statements of the form
Every bounded hypercover can be refined by an ordinary cover
By "bounded" I mean "finite height". E.g., are ...
- 4,519
6
votes
1
answer
727
views
What do nearby/vanishing cycles have to do with Fourier transforms?
Let $E$ be a vector bundle on some smooth algebraic variety and $E^*$ its dual. Suppose $A$ is a sheaf (constructible or a $D$-module) on $E$. Given a linear function $f$ on $E$, we may compute the ...
- 148k
2
votes
1
answer
502
views
Higher direct image with compact support of a constant sheaf
Let $f: X \to Y$ be a locally trivial fibration between locally compact spaces with fiber $F$. It is well known that for a constant sheaf $A_X$ on $X$, the higher direct images $R^n f_* A_X$ are ...
7
votes
2
answers
614
views
Explicit description of exponentials of étalé spaces
It is well known that the category $\mathit{Sh}(X)$ of sheaves of sets on a topological space $ X $ is a topos.
On the other hand, there exists a natural equivalence of categories between $\mathit{Sh}(...
- 1,329
23
votes
4
answers
5k
views
De Rham decomposition theorem, generalisations and good references
De Rham decomposition theorem states that every simply-connected Riemannian manifold $M$
that admits complementary sub-bundles $T'(M)$ and $T''(M)$ of its tangent bundle parallel with respect to the ...
- 45k
15
votes
1
answer
2k
views
How to motivate constructible sheaves
I'm writing some notes for some students which just finished a first course in scheme theory. There I would like to talk about constructible sheaves, but I found it hard to give a compelling ...
- 24.2k
6
votes
2
answers
566
views
commutativity of restriction and Gysin morphisms in a cartesian square
Let $X, Y, Z$ be compact topological manifolds $f: Y \to X, g: Z \to X$ be embeddings of submanifolds meeting transversely and let $W = Y \times_X Z$:
$$
\begin{array}{ccc}
Y & \to^f & X \\...
- 40.2k
93
votes
3
answers
11k
views
What is homology anyway?
Disclaimer: I don't feel qualified to ask this question and yet it's been troubling me for some time now and I lost my patience and decided to ask to get some kind of answer. If there are any stupid ...
- 12.9k
6
votes
1
answer
911
views
Putting sheaves to work for algebraic topology?
This is cross-posted from math.se after receiving points and no answers. I apologise if this question is too basic for MathOverflow.
I'm refreshing my memory of ...
- 37.8k
3
votes
0
answers
460
views
Does isomorphism on local rings imply the global isomorphism for the sheaf of spectra?
Let's assume we have a sheaf of spectra on some scheme. As an example I will assume that we are working with the $K$-theory sheaf. There are certain local to global spectral sequences, like descent ...
- 5,901
8
votes
2
answers
4k
views
Sheaf cohomology question
For a topological space $X$ and a sheaf of abelian groups $F$ on it, sheaf cohomology $H^n(X,F)$ is
defined.
Singular cohomology of $X$ can be expressed as sheaf cohomology if $X$ is locally ...
- 39
8
votes
0
answers
681
views
Stalks of limit sheaves
Let $\{\mathcal{F}_i\}_{i\in \mathbb{N}}$ be an inverse system of sheaves of abelian groups on a space $X$. Then for any $x\in X$ we have a natural map
$$\left(\lim_i \mathcal{F}_i\right)_x\rightarrow ...
- 4,418
5
votes
1
answer
487
views
Finding the right map between cohomology with local coefficients and Čech cohomology
Let $X$ be a space which is paracompact, Hausdorff, and sufficiently nice that it has a universal covering space (and map) $p:\tilde{X}\to X$. Also, let $\pi:=\pi_1(X)$ and $A$ some $\mathbb{Z}[\pi]$-...
- 4,709
8
votes
2
answers
483
views
Swan-like theorem and covering spaces
Let $X$ be a finite CW complex. Swan's theorem provide an equivalence
$$
{\rm Vec}(X)\xrightarrow\sim{\rm ProjMod}(\mathop{\rm hom}\nolimits_{\rm Top}(X,\mathbb{R}))
$$
between the category of finite ...
- 35.5k
18
votes
0
answers
462
views
Is there a model category describing shape theory?
Is there a nice model structure on some category of topological spaces compatible with shape theory? In particular, weak equivalences should induce isomorphisms on sheaf cohomology.
As an example, ...
- 6,813
3
votes
1
answer
225
views
Subspace inclusion with non-vanishing higher direct images
I'm looking for concrete topological intuition for the derived pushforward.
Let $f:X\to Y$ be a continuous map. The derived pushforward $\mathbf Rf_\ast$ takes a sheaf $F$ to the sheafification of ...
- 3,948
7
votes
0
answers
362
views
What is a morphism of ∞-sites?
Recall that a morphism of sites
is a covering-flat functor
that preserves covering families.
Morphisms of sites can be identified with those
geometric morphisms of induced toposes
for which the ...
- 37.8k
3
votes
0
answers
70
views
Characterization of degeneracy of spectral sequence of a fiber bundle at the second term
Let $f\colon E\to B$ be a fiber bundle of compact manifolds with fiber $F$. Assume that the push-forward $Rf_*(\underline{\mathbb{F}})$ in the derived category of the constant sheaf with coefficients ...
- 21.8k
1
vote
1
answer
130
views
Relative version of the cohomology product
Let $f\colon X\to Y$ be a continuous map of 'nice' topological spaces (e.g. $f$ is a smooth map of smooth manifolds; $f$ might be assumed to be proper although I am not sure it is relevant). Let $\...
- 28.7k