All Questions
Tagged with sheaves or sheaf-theory
979 questions
1
vote
0
answers
78
views
Homotopy limits indexed by a covering
We all know that the homotopy fiber of a continuous function $f: A \to B$ has a simple expression in terms of points and paths connecting them, that is
$$ \textrm{hofib}_y(f) = \{ (x,\gamma) \in A \...
- 2,152
17
votes
1
answer
442
views
Examples of statements that are valid in every spatial topos
I am looking for statements¹ that, when interpreted in the internal language of a topos, are valid in all spatial toposes (i.e., the topos of sheaves of any topological space) that are not valid in ...
- 32.5k
1
vote
1
answer
235
views
Is there a description of cellular automata in form of sheaves?
Cellular automata are defined through rules in a local neighborhood and sheaves, as far as I understand, can be used to glue local data to global data. Has there been any effort to bring those two ...
- 3,064
2
votes
0
answers
114
views
Two natural morphisms of sheaves with the same source and target; do they agree?
Suppose we have a diagram
$\require{AMScd}$
\begin{CD}
A @>a>> B\\
@V b V V @VV c V\\
C @>>d> D @>e>> E \\
@VfVV @VVgV @VVhV \\
F @>>i> G @>>j> H
\end{CD}...
- 125
15
votes
2
answers
616
views
Is it true that $\operatorname{2-colim}_U \textsf{QCoh}(U) = \textsf{Vect}(K_X)$, as $U$ shrinks to the generic point?
Let $X$ be an integral scheme with function field $K$. If $U\subset X$ is an open subscheme, we may consider the restriction functor
$$\textsf{QCoh}(X) \to \textsf{QCoh}(U).$$
I don't know much about ...
- 711
1
vote
0
answers
226
views
Resolution of the pushforward of a vector bundle
Let $i:Z\hookrightarrow X$ be a subvariety of a compact Kahler manifold. Assume that $Z$ can be realize as the zero locus of a section $s$ of a holomorphic vector bundle $E\to X$ of rank $r$. The ...
- 789
2
votes
1
answer
257
views
Understanding spaces is the same as understanding (sheaves of) functions on the space
I'm trying to understand Ravi Vakil's FOAG. In chapter 2 it is written:
[...] understanding spaces is the same as understanding (sheaves of) functions on the spaces, and
understanding vector bundles (...
- 61
6
votes
0
answers
322
views
What's the point of fine sheaves? (As opposed to soft ones)
Why do people care to define fine sheaves? What useful property do they have for which softness is not sufficient?
some observations (because I feel guilty about a the one-line question):
The point ...
- 1,141
5
votes
0
answers
269
views
Line bundle whose pushforward is a complex of vector bundles
If $E\to X$ is a holomorphic vector bundle, it is well known that the tautological line bundle $\mathcal{O}_E(1)$ over the projectivization $\pi:\mathbb{P}(E^*)\to X$ satisfies
$$\pi_*\mathcal{O}_E(1)=...
- 789
2
votes
0
answers
168
views
Criteria for a sheaf to be locally free over subvariety
Let $X$ be a compact complex manifold and $\mathcal{F}\to X$ a sheaf.
Is there a regularity criteria (or a condition) for $\mathcal{F}$ that determines whether we there exists a closed subvariety $i:...
- 789
3
votes
1
answer
201
views
Is this a true weakening of the quasi-coherence property?
Let $R$ be a commutative Noetherian ring, and $X=$Spec$(R)$ the associated affine scheme. Let $F$ be a sheaf of $O_X$-modules. Consider the following condition
(#) For all containments $V \subseteq ...
- 1,802
6
votes
0
answers
212
views
G-sheaves on spaces with a free G-action
Let $X$ be a topological space
equipped with an action of a group $G$. In the Tohoku paper, Grothendieck defined
"$G$-sheaves" on $X$ as sheaves equipped with $G$-action on the etale space,
...
- 9,237
10
votes
2
answers
1k
views
Is the ideal product presheaf a sheaf? Do we have any reasons to believe it will be / it won't?
My question is about one of those several concepts in algebraic geometry who everybody uses but nobody defines or introduces properly.
Given a ringed space $(X,\mathcal{O}_X)$ and ideal sheaves $\...
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
17
votes
4
answers
1k
views
Can one glue De Rham cohomology classes on a differential manifolds?
Let $M$ be a differential manifold and $\mathcal H^k$ the presheaf of real vector spaces associating to the open subset $U\subset M$ the $k$-th de Rham cohomology vector space: $\mathcal H^k(U)=H^k_{...
- 47.5k
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 $...
1
vote
0
answers
215
views
Artin-Winters proof of semi-stable reduction theorem: details
I've been reading through Artin-Winters proof of the semi-stable reduction theorem (Degenerate fibers and stable reduction of curves) and found myself confused about the following detail—
Let $\...
4
votes
1
answer
199
views
Conformal groupoid
I asked this over on Math.SE but it remained completely silent for over a week so I've deleted it and am reposting it here (I'm not really sure which site it fits better). The question itself is ...
- 439
3
votes
0
answers
530
views
Flasque sheaves on a site
This is a cross-post from MathStackexchange.
We define a flasque sheaf on a site as one whose first Čech cohomology vanishes for every covering of every object of the site. I know this definition is ...
- 153
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
2
votes
0
answers
136
views
Homotopy fixed points vs coalgebras
Referring to the last part of this answer https://mathoverflow.net/a/225403/170683, I would like to understand how in the case of a Galois cover $f\colon X\to Y=X/G$ with Galois group $G$ (I guess ...
- 351
9
votes
2
answers
377
views
Cartesian-closed full subcategory of locally ringed spaces containing smooth manifolds
This coming fall, I will be teaching a course on differential topology to a small group of strong students. In preparation for it, I'm trying to find a category $\mathrm{GDiff}$ with the following ...
- 6,962
6
votes
0
answers
179
views
Is the category of diffeological spaces a full subcategory of locally ringed spaces?
It is known that the natural functor of smooth functions from the category of smooth manifolds into the category of locally ringed spaces is a full embedding (see, for example, here).
Is a similar ...
- 6,962
3
votes
0
answers
194
views
Hypercovers with sieves
Consider a covering family $\{Y_i \to X\}$ and the induced sieve $R \subseteq X$, the subpresheaf of all maps to $X$ that factor through some $Y_i$. The family gives me an induced Cech nerve $C_\...
- 1,084
2
votes
1
answer
130
views
Sheaves on families of genus 2 curves in Hassett's paper
Sorry for a maybe stupid long question but I'm reading the paper "Classical and minimal models of the moduli space of curves of genus two" by Brendan Hassett and I'm not able to unravel a ...
- 1,343
1
vote
0
answers
355
views
Global section of pullback of an ideal sheaf
For a local ring $R$ with maximal ideal $\mathfrak{m}\subset R$ and residue field $\kappa$, and a flat morphism $f\colon X\rightarrow \mathrm{Spec} R$ of schemes, we consider the short exact sequence ...
- 119
1
vote
0
answers
67
views
Is there an inverse image functor for sheaves on stacks?
I'm interested specifically in an inverse image functor between differentiable stacks, ie. stacks coming from Lie groupoids. Specifically, if I have a morphism of Lie groupoids $H\to G$ and I have a ...
- 1,198
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
3
votes
1
answer
249
views
Sheafifcation for the étale site
Let $X$ be a scheme and $\mathcal{F}$ a presheaf on $X_{ét}$.
For each $x_{i}\in X$, pick a geometric point $\bar{x}_{i}$ over $x$ and denote by $i_{\bar{x}_{i}}:\text{Spec}(k_{i})_{\text{ét}}\...
- 481
4
votes
2
answers
340
views
Sheafification of presheaf of trivial vector bundles is the stack of vector bundles
This is a deliberately vague question, possibly obvious to experts. Let $F$ be a field. Over the (say, fpqc) site of $F$-schemes, we may define a presheaf $T^{\textrm{pre}}$ that takes a scheme $S$ ...
user333445
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
11
votes
2
answers
1k
views
Is there a relation between Gelfand duality and the spectrum of a ring (with its Zariski topology)?
Compare the following two results:
Thm A) Let $A$ be a commutative $C^*$-algebra and let $X$ be its Gelfand spectrum. Gelfand duality says that there's a natural isometric $*$-isomorphism from $A$ to ...
- 711
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
7
votes
1
answer
291
views
Direct and inverse image terminology
Let $f\colon X\to Y$ be a continuous map. Then $f$ induces a geometric morphism $f^\ast\dashv f_\ast\colon \mathrm{Sh}(X)\leftrightarrows\mathrm{Sh}(Y)$, whose left adjoint is called inverse image and ...
- 723
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 ...
- 8,866
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
252
views
Pushforward of sheaves along finite etale map
Suppose $\pi : Y \to X$ is a finite 'etale map of degree d. I want a formula for $\pi_* \mathcal O_Y$. I'm happy with a formula in $K$ theory.
There is a $S_d$-torsor $P \to X$ of local isomorphisms $...
- 1,084
4
votes
0
answers
278
views
Are manifolds "naturally" ringed or locally ringed spaces?
My question is about whether it's more natural to see manifolds as ringed spaces or as locally ringed spaces. I think I have arguments for both points of view.
On the one hand, it's reasonable to ...
- 711
11
votes
1
answer
1k
views
Are groups determined by their morphisms from solvable groups?
$\newcommand{\Grp}{\mathrm{Grp}}$Consider the category of groups $\Grp$, and within it we have the solvable groups $S$. Then any group $G$ determines the functor from solvable groups: $$h_G:=\text{hom}...
- 1,949
1
vote
0
answers
106
views
Invariance of categories of sheaves (on simplicial presheaves) under (local) weak equivalence
Let $\mathcal{C}$ be a Grothendieck site (secretly in my head I am thinking of Hausdorff topological spaces with open covers; if I am daring I might be thinking of the big etale site on complex ...
- 563
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 ...
- 617
1
vote
1
answer
305
views
Interesting examples of direct image bundles
Let $\pi : W \rightarrow Y$ be a holomorphic fibration of complex manifolds. Let $L\rightarrow W$ be a holomorphic line bundle on its total space and denote by
$$E^k_q := R^q \pi_*L^k$$
the direct ...
1
vote
0
answers
123
views
Motivic homotopy categories closed under subobjects and quotients
It is well known that the category $\mathbf{HI}_{\rm Nis}^{\rm tr}(k)$ of $\mathbb{A}^1$-local Nisnevich sheaves with transfers is closed under subobjects and quotients, from the highly nontrivial ...
- 309
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)$ ...
- 373
2
votes
1
answer
423
views
Purity of perverse cohomology sheaves
Let $f\colon X\to Y$ be a morphism of projective varieties over a finite field. Let $K$ be a perverse pure sheaf on $X$.
Are the perverse cohomology sheaves of $f_*(K)$ pure?
I am just learning the ...
- 21.8k
4
votes
1
answer
301
views
What extra structure does the group of automorphisms of a torsor carry?
Let $Y$ be a space, and $G$ a group. For simplicity we can take $G$ to be finite, $Y$ to be a point, if this avoids technical issues. Then for $X/Y$ a $G$ torsor, so a sheaf of sets with $G$ action on ...
- 1,949
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
1
answer
177
views
Are vector bundles acyclic for $\Gamma_c$?
Let $X$ be a paracompact topological space or a manifold (which is not a particular case since the structure sheaves are different). It is well-known that vector bundles (more generally, $\mathcal{O}...
- 711
4
votes
2
answers
419
views
Why abelian sheaves instead of $\mathcal{O}_X$-modules in topology and étale stuff?
Most often than not, the sheaves appearing in algebraic geometry (with the Zariski topology) are $\mathcal{O}_X$-modules, instead of simple abelian sheaves.
Now, when dealing with topological spaces (...
- 711
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,...
- 1,170