All Questions
Tagged with sheaf-theory at.algebraic-topology
33 questions with no upvoted or accepted answers
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
10
votes
0
answers
484
views
Applications of sheaf theory to the computation of invariants of LS-category type
I would like to know if sheaf theory can be applied to a particular class of questions in topology.
The Schwarz genus (also known as sectional category) of a continuous map $p\colon\thinspace E\to ...
- 35.9k
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
9
votes
0
answers
570
views
In terms of sheaf cohomology, what does Bott & Tu's relative de Rham cohomology $H^\bullet(f)$ compute for $f: S \to M$ a smooth map?
Given a map $f: S \to M$ of smooth manifolds, Bott & Tu define on page 78 a complex by $\Omega^q(f)=\Omega^q(M) \oplus \Omega^{q-1}(S)$ and $d(\omega, \theta)=(d\omega, f^*\omega - d\theta)$ where ...
- 6,025
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
8
votes
0
answers
337
views
What's the Hochschild homology of the category of constructible sheaves?
Let $X$ be a manifold. Does the Hochschild homology/cohomology of the category of constructible sheaves on $X$ have a more familiar name?
- 8,723
8
votes
0
answers
370
views
Dualizing complex of the product of two locally compact spaces
Hello!
In the setting of locally compact Hausdorff spaces, I would like to understand the relation between the exterior product ${\mathbb D}_X\boxtimes{\mathbb D}_Y$ of the dualizing complexes of two ...
- 2,756
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
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
6
votes
0
answers
889
views
On a weak notion of sheaves on topological spaces
First of all, I give my definition of weak sheaves:
By a weak sheaf on a topological space $ X $, we mean a presheaf
$F$ such that for all open covering $\{ U_i\}_{i\in I} $ of $X$ sheaf
...
- 751
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
5
votes
0
answers
113
views
How "commutative" are Cech cochains of a sheaf of commutative (dg) algebras?
Let $X$ be a topological space and $\mathcal{F}$ be a sheaf of commutative dg-algebras over $X$. Let $\mathfrak{U}$ be a fixed open covering of $X$ and $C^\bullet(\mathfrak{U},\mathcal{F})$ be the ...
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
5
votes
0
answers
377
views
Push forward of the constant sheaf for a Serre's fibration
Let $f\colon X\to Y$ be a proper continuous map of topological spaces which is a Serre's fibration. $X$ and $Y$ may be assumed to be locally compact, $Y$ is connected topological manifold of finite ...
- 21.8k
4
votes
0
answers
166
views
Homotopy-theoretic measure of operations on sheaves failing to be sheaves
Here's something I've been wondering about for a few weeks:
Consider a topological space $X$ and a sheaf of rings $\mathscr O_X$ on $X$. Suppose $\mathscr{F}$ and $\mathscr{G}$ are $\mathscr O_X$ ...
user1437
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
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
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
3
votes
0
answers
163
views
Question about the precise statement of Leray spectral sequences and a simple example
On Bott's paper "Homogeneous vector bundles" there is the following statement of Leray spectral sequence:
Let $X$ and $Y$ be paracompact and locally compact spaces and $f : Y \to X$ be a proper map....
3
votes
0
answers
341
views
Descent of singular cohomology
When proving that singular cohomology of an appropriate space $X$ equals sheaf cohomology of $X$ with "values" (does one say that?) in the sheaf $\mathbb{Z}_X$ of locally constant functions, the ...
- 319
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
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 ...
- 241
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
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 ...
- 711
2
votes
0
answers
302
views
How to "intersect" or "refine" a pair of abstract simplicial complexes
Let $S,T$ be abstract simplicial complexes.
Is there a (unique) abstract simplicial complex that gives me the most of what is in common with $S$ and $T$?
I'm thinking of this as an "intersection," ...
- 355
2
votes
0
answers
397
views
Terminology for "global sections" when sheaf is valued in general category
Let $\mathcal F$ be a sheaf (say on a topological space $X$) valued in some category $\mathcal C$.
What do we call $\mathcal F(X)$?
When $\mathcal C$ is some vaguely linear category (e.g. the ...
- 18.7k
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
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
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
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
1
vote
0
answers
213
views
Zero in colimit of sheaves category
This question is motivated by showing that the category $\mathbf{Sheaves} (X)$ from the open subset excluding the empty set category to the category of abelian group $\mathbf{Ab}$ has enough injective ...
- 1,168
1
vote
0
answers
205
views
Sheaves and isomorphisms with chain complex of singular chains (Sheaf Theory, Bredon)
Let $\Delta_{\ast}(X,A)$ (resp. $\Delta_{\ast}^c(X,A)$) be the chain complex of locally finite (resp. finite) singular chains of $X$ modulo those chains in $A$.
How to show that the homomorphism of ...
- 11
1
vote
0
answers
101
views
How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?
For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\...
- 16.9k