All Questions
Tagged with sheaves or sheaf-theory
979 questions
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
5
votes
2
answers
830
views
Closed monoidal structure on the derived category of sheaves
Given a topological space X, i'd like to find Der X - the derived category of sheaves of abelian groups on X - to be a closed monoidal category. Hom should be cohomological and the internal-hom should ...
- 3,249
5
votes
2
answers
3k
views
morphisms of affine schemes question
So, in chapter 2, section 2 of Hartshorne, (prop 2.3), he describes how if $\varphi : A\rightarrow B$ is a homomorphism of rings, then you get a morphism of (affine schemes):
$\newcommand{\Spec}{\...
- 10.7k
5
votes
1
answer
443
views
Is the determinant line bundle of a coherent sheaf functorial (between sheaves of the same rank)?
The determinant line bundle of a coherent sheaf $\mathcal{F}$ on an $n$-dimensional (smooth) analytic space is defined as
\begin{equation}
\det \mathcal{F} := \bigotimes_i^n (\det \mathcal{E}_i)^{⊗...
- 1,141
5
votes
2
answers
358
views
Canonical conics pulling back to polynomials on rational normal curve
(In following all schemes are formed over $\Bbb C$)
Let $C:=\nu_d(\Bbb P^1)$ the rational normal curve obtained via $d$-folded Veronese map $\nu_d: \Bbb P^1 \to \Bbb P^d$. The quadrics on $\Bbb P^d$ ...
- 6,038
5
votes
1
answer
367
views
Check that a Sheaf is Invertible Etale Locally
A question about following statement from Martin Olsson's book on Stacks. In the proof of Proposition 13.2.9. (p 269) is claimed that certain sheaf $K$ on a nodal curve $C$ is invertible it suffice to ...
- 6,038
5
votes
1
answer
1k
views
"Role" of cohomology of coherent sheaves in SGA 4.5, étale cohomology
As the question title suggests, what is the role cohomology of coherent sheaves plays for SGA 4.5, étale cohomology? Why are they so important for the construction and establishing properties of étale ...
user97565
5
votes
2
answers
823
views
Exact sequence of groups to exact sequence of sheaves
Disclaimer: This is a cross-listing of a math.stackexchange post. While not research level, after a week of no response, I figured I would ask it here.
For a topological group $G$ and a topological ...
- 1,270
5
votes
2
answers
661
views
Are the pullback functors of adjoint functors also adjoint?
Given adjoint functors $F: A \to B$, $G: B \to A$, if you then take their pullback functors $F^* : Set^B \to Set^A$ and $G^* : Set^A \to Set^B$ given by pre-composition, are these two also adjoint (...
5
votes
1
answer
351
views
Exercises around Diffeological Spaces or a Diffeologic Atlas Theory
Is there a Book or a bunch of exercises to get used to diffeological spaces from a practical point of view? It seems to me that papers on this topic are mostly concerned with their very good ...
- 2,074
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
5
votes
2
answers
393
views
Existence of finite limits of quasi-coherent modules on a scheme
Defining a quasi-coherent module $\mathcal{M}$ on a scheme $X$ to be a compatible family of modules $(\mathcal{M}(x))_{x \in X(A), A \in \textbf{Rings}}$ (as in here), is there a straightforward way ...
- 330
5
votes
1
answer
1k
views
Purity and skyscraper sheaves
In "The Geometry of moduli spaces of sheaves" a coherent sheaf $\mathcal{F}$ is defined to be pure of dimension $d$ if dim$(\mathcal{E})=d$ for all non-trivial proper subsheaves $\mathcal{E} \subset \...
user137162
5
votes
1
answer
468
views
Derived Equivalence of Sheaves and Homotopy
This question loosely elaborates on an earlier question. It is pretty silly, but I'd like to hear some authoritative answers.
Recall that if $f:S^{\bullet}\to T^{\bullet}$ is a quasi-isomorphism of ...
- 2,684
5
votes
1
answer
607
views
Universal property of sheaf category
Given a site $C$ with a Grothendieck topology and the category of presheaves $P(C)$ (either in the sense of presheaves of sets or in the $\infty$-sense), and the category $S(C)$ of sheaves with ...
- 2,040
5
votes
1
answer
372
views
Does the bundle of germs of functions $f:X\to \mathbb R$ have the same sheaf of sections as $X\times \mathbb R$?
I'm just starting to learn about sheaves, and I'm confused about a certain matter:
I've just learned, to my delight, that every sheaf $S$ on a space $X$ is the sheaf of sections of a particular ...
- 53
5
votes
2
answers
1k
views
trying to understand the support of the sheaf of relative differentials
So I'm trying to understand a proof of Belyi's theorem from http://eprints.soton.ac.uk/29785/1/b45h1koe.pdf
specifically lemma 3.4.
The setup is as follows: Let $X/\mathbb{C}$ be a curve, and let $t ...
- 10.7k
5
votes
1
answer
1k
views
How to compute cohomology groups of a closed subscheme Z of projective space, defined by a homogeneous polynomial of degree d?
Let $Z = \mathrm{Proj}\,k[x_{0},x_{1},\ldots,x_{r}]/f$ be a closed subscheme of degree $d$, i.e., $f$ is a homogeneous polynomial of degree $d$, and $\mathcal{O}_{Z}(1)=i^{*}\mathcal{O}_\mathbb{P}(1)$....
- 63
5
votes
1
answer
3k
views
Question about hypercohomology / spectral sequence of a complex of "almost-acyclic" sheaves
I have a very particular situation involving a (non-exact) complex $K$ of coherent sheaves on a nonsingular projective variety $X$, and I need to compute the hypercohomology of the complex. The ...
- 545
5
votes
1
answer
512
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\mathbb{G}_a,\mathbb{G}_m)=0$ for $i>0$?
Let $k$ be a characteristic zero field and consider the category $(\mathsf{Sch}/k)_\text{fppf}$ of schemes over $k$ with the fppf topology. I know that $\underline{\operatorname{Hom}}(\mathbb{G}_a,\...
- 721
5
votes
2
answers
233
views
References on principal $\mathbf{C}$-bundles, where $\mathbf{C}$ is a category?
Is there any treatment on principal "categorical" bundles - principal $\mathbf{C}$-bundles, where $\mathbf{C}$ is some (topological) category?
I know that one can define "categorical ...
- 371
5
votes
1
answer
571
views
Left Kan extension that preserves colimit
I'd be very happy if the question When do Kan extensions preserve limits/colimits? has been fully answered. But it seems not.
I have a more specific question though. Let $C$ be a site (essentially ...
- 319
5
votes
1
answer
286
views
Origin of the name Trace resp Integral symbol for the trace map of Dualizing Sheaf
Let $X \subset \mathbb{P}^n_k$ be a normal projective subscheme over $k$ of dimension $n$. The dualizing sheaf is in context of Serre duality a pair $(\omega_X,t)$ (which exists in that case) ...
- 6,038
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]$-...
- 275
5
votes
1
answer
2k
views
Stalks of étale sheaves
I want to prove that $0 \to F\to G\to H \to 0$ is an exact sequence of étale sheaves. I understand that it is enough to show that $0\to F_{\bar{x}}\to G_{\bar{x}}\to H_{\bar{x}}\to 0$ is exact at ...
- 1,482
5
votes
1
answer
631
views
Does the concept of a basis for a topology on a category exist?
If we want to define a sheaf F on a topological space X and we have a basis B for the topology of X, what we can do is to define objects and restrictions for guys in B, check that they satisfy the "B-...
- 1,993
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,038
5
votes
1
answer
512
views
Residue of the canonical sheaf along subvariety
Let $S$ be a smooth projective surface over an
algebraically closed field $k$ and $C \subset S$ a singular curve. Let us denote by $K_S$ the class of canonical divisor of $S$ and $\mathcal{O}(K_S)$ ...
- 6,038
5
votes
1
answer
540
views
Big etale topos vs small etale topos
Are they equivalent?
That is, given a sheaf of sets $\mathscr{F}$ defined on the small etale site on $X$, is there an essentially unique way to extend it to a sheaf on the big etale site on $X$? If ...
- 4,164
5
votes
2
answers
382
views
Obstructions to abelian sheaf being quasi-coherent
Let $X$ be a Noetherian spectral topological space. A necessary condition for an abelian sheaf on $X$ to be quasi-coherent with respect to some affine scheme structure on $X$ is that its higher ...
user137767
5
votes
1
answer
529
views
Evaluation maps for moduli of stable maps
Let $\overline{M}_{0,n}(\mathbb{P}^N,d)$ be the moduli space of stable maps of degree $d$ from curves of genus zero with $n$-marked points to $\mathbb{P}^N$.
Consider the product of the evaluation ...
user58604
5
votes
2
answers
331
views
Sheaf cohomology on non paracompact topological spaces
I have some confusion on the subject of sheaf cohomology on non-paracompact topological spaces, i hope you can help me.
My reference is Godement's book "Topologie algebrique et theorie dex faisceaux"....
- 609
5
votes
1
answer
300
views
In what generality is the Verdier biduality map an isomorphism?
Let $X$ be a finite-dimensional, locally compact topological space, and consider the dualizing complex $K_X \in \mathbf{D}^b(X,k)$ (bounded derived category of $k$-sheaves, where $k$ is a noetherian ...
- 25.6k
5
votes
1
answer
867
views
The upper semi-continuous rank of a module sheaf
The article "Intuitionistic algebra and representations of rings" is fantastic; it develops the language, logic etc. for the topos $Sh(X)$, where $X$ is a fixed topological space, from scratch and ...
- 63.1k
5
votes
1
answer
209
views
Cohomology of doubly pinched torus via spectral sequences
Let $f:T^2\to Y$ be a resolution of singularities where $Y$ is a torus with two "pinched" points (or, if you prefer, two copies of $\mathbb{P}^1$ meeting at two points). I'm interested in ...
- 191
5
votes
1
answer
404
views
Cohomology of sheaf of Schwartz distributions with support in a submanifold
Let $M$ be a smooth manifold. Let $Z\subset M$ be a smooth submanifold which is a closed subset. Let $F$ denote the sheaf of generalized functions (equivalently, Schwartz distributions) on $M$, namely ...
- 21.8k
5
votes
2
answers
987
views
The equivalence of category of equivariant sheaves on principal bundle and category of sheaves on base space
Let $\pi:P\to B$ is a $G$-principal bundle, which means $G$ acts on $P$ freely and $\pi$ is a locally trivial fibration. Here is a well-known theorem:
THeorem: The inverse image functor $\pi^{*}$ ...
- 1,457
5
votes
1
answer
331
views
Is the sheaf associated to a differential structure of a specific type?
On a set $X$, let us define a set $\mathcal{D}$ of functions from $X$ to $\mathbb{R}$. Consider first the initial topology $\tau_\mathcal{D}$ on $X$ with respect to $\mathcal{D}$, i.e. the coarsest ...
5
votes
1
answer
332
views
Topology of ring of global sections of finite union of affinoid opens in a rigid analytic space
Let $X$ be a rigid analytic space over a non-Archimedean field $k$. If $U_1,\ldots,U_n\subseteq X$ are affinoid opens, then it's usually not clear whether or not the admissible open $U=U_1\cup\cdots\...
- 3,380
5
votes
1
answer
1k
views
What is the connection between direct/inverse image of set maps and direct/inverse image functors of sheaves?
Given a function of sets $f:X\to Y$, one defines the direct image and inverse image maps:
$$
f_*:\mathcal{P}(X)\to\mathcal{P}(Y)
$$
$$
f^{-1}:\mathcal{P}(Y)\to\mathcal{P}(X)
$$
In the usual way.
...
- 2,027
5
votes
1
answer
2k
views
Generalized Beilinson spectral sequences
Assume we are workling on $\mathbb{P}^n$ for some $n\geq 1$ and we have a coherent sheaf $F$ on it.
Then there are two (well known?) spectral sequences $E_r^{p,q}$ with $E_1$-term:
$E_1^{p,q}=H^q(\...
- 1,391
5
votes
1
answer
2k
views
Natural morphism appearing in Grothendieck spectral sequence
Assume we are in the setting of the Grothendieck spectral sequence (Weibel, 5.8): $G : A \to B, F : B \to C$ are left exact functors such that $G$ sends injective objects to $F$-acyclic objects. Now ...
- 63.1k
5
votes
1
answer
411
views
Day convolution and sheafification
$\DeclareMathOperator\Psh{Psh}\DeclareMathOperator\Sh{Sh}\newcommand\copower{\mathrm{copower}}$I was looking through Bodil Biering's thesis On the Logic of Bunched Implications - and its relation to ...
5
votes
0
answers
163
views
Why equaliser of product and terminal object is coproduct?
I’m reading “Sheaves in geometry and logic”, in page 80:
Please refer to [1]: https://i.sstatic.net/INrU0.jpg
It says “…,therefore $FU=\coprod_{x\in U} fx$. The space…”.
So could anyone please explain ...
- 51
5
votes
0
answers
220
views
Is there a simple counterexample to étale proper base change on the unbounded derived category?
The best non-derived version of proper base change on the étale site of a scheme I know is that for $f : X \to Y$ proper and $g : Y' \to Y$ arbitrary, the base change morphism $g^{-1} R f_\star \...
- 605
5
votes
0
answers
146
views
Do presheaf toposes satisfy the full fan theorem?
Presheaf toposes satisfy LPO and (edit: if over categories with binary products) PAx and countable choice internally, so they automatically satisfy the stable fan theorem (every bar which is the ...
- 1,947
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
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 ...
- 721
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
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