All Questions
Tagged with sheaf-theory gn.general-topology
42 questions
9
votes
0
answers
258
views
Sheaf cohomology of non-paracompact manifolds (e.g. the long line)
I have long heard that manifolds are "affine". If we allow non-paracompact manifolds, then this seems to fail, since as explained in Dmitri Pavlov's answer, the Serre–Swan theorem fails. I ...
- 2,806
5
votes
1
answer
350
views
Dévissage of stratified structures in Grothendieck's "Esquisse d’un programme"
I have a question about the intuition behind Grothendieck's proposed notion of so called "Tame topology" in his Esquisse d’un programme. Grothendieck insisted that theory should admit “...
- 6,028
9
votes
1
answer
370
views
G-topological spaces and locales
Consider the following generalization of topological spaces:
Definition: Let $X$ be a set. A G-topology on $X$ is given by certain distinguished subsets $U \subset X$, called admissible open subsets, ...
user513306
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
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 ...
- 173
7
votes
1
answer
465
views
When is a basis of a topological space a Grothendieck pretopology?
Bases of a topological space in point set topology will in general form a coverage on its category of inclusion on open subsets and on its category of inclusion on basic opens, but it takes a bit more ...
- 1,947
8
votes
1
answer
1k
views
What's the point of a point-free locale?
In [1, example C.1.2.8], a locale $Y$ (dense in another locale
$X$) without any point is given. I fail to understand the point
of such point-less locale - Why can't we identify those as the
trivial ...
- 5,230
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
5
votes
0
answers
154
views
Sheaf-like reconstruction of a continuous function
Let $X$ and $Y$ be topological manifolds and let $\{(\phi_x,U_x)\}_{x \in X}$ and $\{(\psi_y,Y_y)\}_{y \in Y}$ be respective atlases of $X$ and $Y$; with each $\phi_x:U_x\rightarrow \mathbb{R}^n,\...
- 5,405
1
vote
1
answer
116
views
Disjoint union of clopen sets such that the fibers has constant cardinality [closed]
Let $Z$ a compact set and $X$ a locally compact set. Let $p:Z\to X$ a local homeomorphism. Show that there exists $n≥1$ and $U_1,…,U_n$ open and closed sets of $X$ such that :
$X=\sqcup_{i=1}^{n}U_i$
...
- 53
18
votes
2
answers
618
views
In the internal language of the topos of sheaves on a topological space, can we define locally constant real-valued functions?
For the purposes of this question, in a Grothendieck topos, we will call “definable” the objects and relations obtained from the terminal object, the natural numbers object and the subobject ...
- 32.5k
6
votes
1
answer
494
views
Prove category of constructible sheaves is abelian
Let $X$ be a nice enough topological space, perhaps a complex algebraic variety with its analytic topology. I'm hoping someone could help me prove that the category $\text{Constr}(X)$ of ...
- 1,701
9
votes
1
answer
400
views
The (co)tangent sheaf of a topological space
Let $X$ be a topological space (assume additional assumptions if needed) and denote by $\mathcal O _X$ its sheaf of $\Bbbk$-valued continuous functions where $\Bbbk$ is $\mathbb{R}$ or $\mathbb{C}$ ...
- 23.3k
2
votes
0
answers
126
views
Local cohomology with supports in a constructible set
Let $X$ be a topological space (I'm interested in the case of $X$ being a complex algebraic variety with the Zariski topology) and $Z$ a constructible subset (i.e. a finite union of locally closed ...
- 3,079
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
2
votes
1
answer
177
views
Is the restriction of a simple sheaf of modules simple?
Let $X$ be a topological space, $A$ a sheaf of (unital and associative but not necessarily commutative) rings on $X$. Suppose $M$ is a simple quasicoherent $A$-module and $U$ an open subset of $X$. Is ...
- 3,079
2
votes
0
answers
83
views
Sheaf of R-modules and modules over compactly supported functions
I'm looking for a reference for the following result:
Let $X$ be a locally compact Hausdorff topological space. let $\mathcal{R}$ be the sheaf of continuous functions with values in $\mathbb{R}$ over ...
- 42.4k
16
votes
3
answers
3k
views
Physical interpretations/meanings of the notion of a sheaf?
I fairly understand the fiber bundles, both the mathematical concept of fiber bundles and the physics use of fiber bundles. Because the fiber bundles are tightly connected to the gauge field theory in ...
- 10.5k
3
votes
1
answer
220
views
Sheaf on a filtered topological space?
Is there any nice way of defining a sheaf of abelian groups on a filtered topological space?
Let $X$ equipped with filtration $X_0\subset X_1\subset X_2\subset ... \subset X_k=X$ be an object in the ...
- 913
2
votes
0
answers
160
views
Pre-cosheaf of connected components
Consider a continous map $f:Y \to X$ between topological spaces. The pre-cosheaf $\mathcal{F}: Open(X) \to Set$ of connected components of the inverse image is defined as $\mathcal{F}(U):= \pi_0(f^{-1}...
- 229
3
votes
0
answers
115
views
Characterization of global sections (which are not products) of a sheaf which is locally a product
In order to compute certain group cohomology sets I have come upon a construction which seems rather general concerning sheaves which are locally products. So I will state the problem here in a ...
- 397
12
votes
1
answer
2k
views
Reference request: Book of topology from "Topos" point of view
Question: Is there any book of topology in the modern language of topos theory?
Motivation:
In "Sheaves in Geometry and Logic" Mac Lane and Moerdijk say: "For Grothendieck, topology became the ...
- 545
24
votes
0
answers
918
views
The topologies for which a presheaf is a sheaf?
Given a set $S$, let $Top(S)$ denote the partially ordered set (poset) of topologies on $S$, ordered by fineness, so the discrete topology, $Disc(S)$, is maximal.
Suppose that $Q$ is a presheaf on $...
- 8,659
1
vote
0
answers
178
views
Proving that two given functionally structured spaces are isomorphic
The relevant definitions are listed below. They can be found in Chapter VI, pages 297-298 of Bredon's Introduction to Compact Transformation Groups; and Section 2, Chapter II of Bredon's Topology and ...
- 111
4
votes
1
answer
390
views
Is every soft sheaf of countable $\mathbb Q$-vector spaces a direct sum of skyscraper sheaves?
Let $X$ be a finite-dimensional compact metrizable space (these properties might partially be irrelevant; on the other hand, the case $X=[0,1]$ is already interesting to me).
Let $\mathcal F$ be a ...
- 3,184
10
votes
1
answer
2k
views
When does the sheaf cohomology of a topological space vanish?
The question is in the title. A more precise formulation is:
Let $X$ be a topological space. When does $H^i(X,F) = 0$ for all $i > 0$ and all abelian sheaves $F$ on $X$?
The obvious example is a ...
- 281
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 ...
- 27.5k
4
votes
1
answer
781
views
Restricting a Soft Sheaf to an Open is again Soft?
Hi everyone! Answered to my satisfaction in the comments - thanks nosr and Jacob Bell! :)
Let $X$ be Hausdorff, locally compact, paracompact. Consider $\mathcal{F}$ a soft sheaf on $X$: as there are ...
- 329
9
votes
1
answer
471
views
When do sheaves which are constant along the fibers come from the base?
Assume we are given a map $f: X \rightarrow Y$ between topological spaces which is open, surjective and has (pathwise) connected fibers. Consider categories $\text{Sh}(X)$, $\text{Sh}(Y)$ of sheaves (...
- 1,704
1
vote
1
answer
1k
views
Spectral sequences in Hypercohomology of sheaves (For a complex of acyclic sheaves) - Follow-up to previous question
Alright, this is a follow-up to my previous question (Spectral sequences in Hypercohomology of sheaves), sorry I took so long to reply. Let $X$ be a topological space, let $F^\bullet$ be a cochain ...
- 360
2
votes
1
answer
1k
views
Spectral sequences in Hypercohomology of sheaves
Alright, here I go again, don't know if I'm missing something here but let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I want to compute the cohomology of this ...
- 360
1
vote
2
answers
1k
views
Hypercohomology of a complex of sheaves that might be acyclic (or might not)
Back again, check this out, let $X$ be a topological space and let $F^{\bullet}$ be a cochain complex of sheaves, I'm trying to compute the cohomology of the complex of global sections of the sheaves
...
- 360
10
votes
3
answers
2k
views
Where can I find a proof of the de Rham-Weil theorem?
Where can I find a proof of the de Rham-Weil theorem?
Does anyone know?
- 360
113
votes
4
answers
13k
views
Is there a sheaf theoretical characterization of a differentiable manifold?
I'm going through the crisis of being unhappy with the textbook definition of a differentiable manifold. I'm wondering whether there is a sheaf-theoretic approach which will make me happier. In a ...
- 22.1k
1
vote
0
answers
202
views
Soft sheaves on indiscrete paracompact spaces
Let $X$ be some space, I have basically 2 questions:
1 - Are sheaves on paracompact but not Hausdorff spaces acyclic? I've been doing some reading and some authors say that soft sheaves on ...
- 417
0
votes
1
answer
493
views
Sheaf of sections and local triviality
This is probably not a research level question, I'm sorry if it is inappropriate. I'm reasking here this question on math.se.
Suppose that $\xi: E \to B$ is a bundle (by which I mean simply a ...
3
votes
0
answers
877
views
The "pullback presheaf" and the proper base change theorem in topology
Let $f:X\rightarrow Y$ be a continuous map of topological spaces and let $\mathcal{F}$
be a sheaf (say of abelian groups to fix the idea) on $Y$. Define the following rule on open sets of $X$:
$$
V\...
- 7,609
4
votes
1
answer
2k
views
How is the right adjoint $f_*$ to the inverse image functor $f^*$ described for functor categories $Set^C$, $Set^D$ and $f : C \to D$
For $C,D$ small categories, and $f : C \to D$ a functor between them, there is a precomposition, or "inverse image", functor $f^* = (-) \circ f : Set^D \to Set^C$. It has a left and a right adjoint. ...
- 415
3
votes
1
answer
587
views
Functoriality of base change
Let $a:W\rightarrow X$, $c:X\rightarrow Z$, $b:W\rightarrow Y$ and $d:Y\rightarrow Z$ be a pull-back diagram in the category of topological spaces. Then one can construct a natural isomorphism $\kappa$...
- 1,457
5
votes
1
answer
723
views
Sheaf condition and representability in the category Top
This is a rather nice question I got from this user via private communication.
Let $\mathcal{C} = Top$ the category of topological spaces. Let $\mathcal{C}^\prime$ be the category $Funct(\mathcal{C}^{...
- 7,442
16
votes
2
answers
1k
views
Which topological spaces have the property that their sheaves of continuous functions are determined by their global sections?
I hope I'm using the terminology correctly. What I mean is this: fix $K = \mathbb{R}$ or $\mathbb{C}$ (I'm interested in both cases). Which topological spaces $X$ have the property that for every ...
- 118k
48
votes
8
answers
8k
views
When are there enough projective sheaves on a space X?
This question is being asked on behalf of a colleague of mine.
Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
- 65.4k