All Questions
Tagged with sheaves or sheaf-theory
90 questions
10
votes
1
answer
506
views
What is the total space of a stack after all?
From my general experience I think for myself of what follows as some kind of taboo question for some reason: in my imagination, everybody wants an answer to this but somehow thinks it shall not be ...
- 18.4k
10
votes
1
answer
495
views
Properties of the petit Zariski topos
What are some (intrinsically formulated) properties of the locally ringed topos $(\mathbf{Sh}(X),\mathcal{O}_X)$ for some scheme $X$, which do not hold for arbitrary locally ringed toposes?
Is there, ...
- 5,482
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
10
votes
1
answer
786
views
Sites which are stacks over themselves
A site C with pullbacks is subcanonical (all representable presheaves are sheaves) if and only if its codomain fibration $Arr(C) \to C$ is a prestack (all hom-presheaves are sheaves). Is there a ...
- 66.8k
9
votes
1
answer
332
views
When are free modules on sheaves of sets quasicoherent?
This question was previously asked over at math.SE.
Let $X$ be a scheme. Let $\mathcal{E}$ be a sheaf of sets on $X$. Then we can define $\mathcal{O}_X\langle\mathcal{E}\rangle$, the free module over ...
- 3,312
8
votes
0
answers
588
views
Can we use sheaf cohomology to say anything interesting for vector bundles with non-flat connections?
Given a vector bundle $E \to M$ with connection $\nabla$, we get a twisted de Rham sequence using the exterior covariant derivative:
$$0 \to \mathcal{E} \xrightarrow{d^\nabla} \Omega^1_M \otimes \...
- 6,025
8
votes
1
answer
791
views
Hypercovers of sheaves in classical and quasi-categories
I am interested in relating the definition of hypercovers in the $\infty$-topos of sheaves on an $\infty$-Grothendieck site to the classical definition of hypercovers of presheaves on a Grothendieck ...
- 187
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 ...
- 221
8
votes
1
answer
319
views
How are the left and the right group of a bitorsor related?
This question arose from my answer to To what extent does a torsor determine a group: it turns out that I do not know one thing about it.
Let $G$, $G'$ be groups in some nice enough category (you may ...
- 18.4k
8
votes
3
answers
643
views
Is there a name for a "rigid" sheaf?
Is there a name for the property of a sheaf $\mathcal F$ such that the restriction maps $\mathcal F(V) \to \mathcal F(U)$ are injective when $V$ is connected and $U$ is nonempty?
In other words, this ...
- 3,910
7
votes
1
answer
607
views
Converses to Cartan's Theorem B
Here is a phrasing of some Cartan Theorem B statements:
Consider the following conditions:
$X$ is a {Stein manifold, affine scheme, coherent analytic subvariety of $\mathbb{R}^n$, contractible ...
- 1,109
7
votes
2
answers
796
views
Restriction of Ext sheaves
Let $f \colon X \to Y$ be a map of schemes, $\mathcal{F}, \mathcal{G}$ two coherent sheaves on $Y$. I'm interested in conditions which guarantee an isomorphism
$$f^{*} \mathcal{E}xt^i(\mathcal{F}, \...
- 14.7k
7
votes
2
answers
1k
views
Natural operators in differential geometry - why are they natural?
I'm reading bits and pieces of Kolar, Michor, & Slovak's Natural Operations in differential Geometry, and I'm having "doubt" about some of the definitions. All I'm trying to do is sheafify some of ...
- 10.5k
7
votes
2
answers
3k
views
Grothendieck spectral sequence and Mayer-Vietoris sequence
Suppose $U'\cup U''=X$ is an open cover $U$ of a topological space $X$ and $F$ is a sheaf on $X$ with values in abelian groups. There is a special instance of the Grothendieck spectral sequence ...
- 319
7
votes
2
answers
3k
views
Describing global sections of sheafifications
Recently on glancing through Hartshorne's description
of Cartier divisors I started pondering the definition of
sheafification which led me to a question I can't answer. Neither
can I find a ...
- 20.8k
7
votes
3
answers
483
views
Kernel of a non-integrable connection
The Riemann-Hilbert correspondence states that the kernel of an integrable (zero curvature) connection is a local system. Here, a connexion on a vector bundle $E$ over a manifold $X$ is a morphism of ...
- 71
6
votes
0
answers
171
views
Could we characterize injective objects in the category of $G$-equivariant sheaves?
Let $k$ be a field and $X$ be a topological space. We consider Sh$(X)$, the category of sheaves of $k$-vector spaces on $X$.
Let $G$ be a topological group which act on $X$ continuously from the left....
- 9,019
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
6
votes
1
answer
760
views
The Yoneda pairing, hypercohomology, and cup product
Let $\mathcal{F}$ and $\mathcal{G}$ be coherent analytic sheaves on $\mathbb{P}^n$. Let $\mathcal{F}_\bullet$ be a locally free resolution of $\mathcal{F}$. In Principles of Algebraic Geometry by ...
- 294
6
votes
2
answers
1k
views
Explicit Direct Summands in the Decomposition Theorem
Let f:X→Y be a semismall resolution of singularities. Then the pushforward of the constant sheaf on X is a semisimple perverse sheaf on Y. Under these conditions, I know how to calculate the ...
- 8,866
6
votes
3
answers
1k
views
Definition of sheaves in wikipedia
In wikipedia, sheaves were first defined in the case of concrete categories (with usual identity and gluing axioms), then in the general case. (writing it as an "exact" sequence)
Do these two ...
user709
6
votes
0
answers
103
views
Is the derived category of sheaves localised at pointwise homotopy equivalences locally small?
In order to define the cup and cross products in sheaf cohomology, Iversen makes computations in an intermediate derived category. If $K(X;k)$ is the triangulated category of cochain complexes of ...
- 1,021
6
votes
0
answers
2k
views
group cohomology and cohomology of classifying space [closed]
Let $G$ be a discrete group, and $BG$ is the classifying space.
It is well-known that the group cohomology of $G$-module M, is the same as the cohomology on $BG$ with coefficient in $\tilde{M}$, which ...
- 1,457
6
votes
2
answers
966
views
C*-algebras and quantum fields
One can represent a quantum system by the Weyl algebra (which is a C*-algebra). For instance, a 1 degree of freedom system can be represented by the algebra generated by $e^{\imath t Q}, e^{\imath s P}...
- 585
6
votes
1
answer
221
views
When is derived category of ringed space perfectly generated?
Let $(X,\mathcal{O})$ be a ringed space. Also assume that $X$ is nice, e.g. locally compact, Hausdorff, some type of finite dimension, ...
We can then consider $\mathcal{D}(\mathcal{O}\text{-}Mod)$. ...
- 501
5
votes
0
answers
859
views
How to construct the espace étalé (space of sections) for an arbitrary category?
I want to consider the sheaf valued in an arbitrary category (not only of sets, groups, modules and so on) on a topological space, using the language of étalé space.
In all references I am reading (...
5
votes
2
answers
985
views
Chern classes in flat families
Given a smooth projective variety $X$ over an algebraically closed field $k$. Now given a another projective variety $T$ and a coherent $O_{X\times T}$-module $F$, which is flat over $T$.
Given $r,s \...
- 1,391
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,\...
- 711
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
4
votes
2
answers
809
views
Two basic questions on derived categories
Let $\mathcal{A}, \mathcal{B}$ be two abelian categories with sufficiently many injective objects (in my case these are categories of sheaves of vector spaces on a manifold).
Let $f_*\colon \mathcal{A}...
- 21.8k
3
votes
1
answer
550
views
Characterization of étale locally constant sheaves over a normal scheme
I have a question about the verification of remark 1.2 in James Milne's book Étale Cohomology stated on page 156:
Assume $X$ be a normal & connected scheme with generic
point $g: \eta \to X$.
Then ...
- 6,028
3
votes
0
answers
334
views
Which sheaves on a projective bundle are flat over the base scheme?
Assume $X$ is a noetherian scheme over $\mathbb{C}$ and $E$ a locally free sheaf of finite rank on $X$. Denote the the associated projective bundle by $f: \mathbb{P}(E)\rightarrow X$.
Are there any ...
- 1,025
2
votes
1
answer
672
views
vanishing theorems
I would be glad to know about possible generalizations of the following results:
1) (Grothendieck) Let $X$ be a noetherian topological space of dimension $n$. Then for all $i>n$ and all sheaves of ...
- 1,975
2
votes
0
answers
144
views
Local freeness of $\pi_*F(r)$ from flatness of $F$
In 'Fundamental Algebraic Geometry' by Fantechi there is a lemma in section 5.3.2, page 119:
LEMMA 5.5 Let $S$ be a noetherian scheme and let $F$ be a coherent sheaf on $\mathbb{P}^n_S$. Suppose there ...
- 6,028
1
vote
0
answers
141
views
Homeomorphic endomorphism of schemes inducing equivalence of sheaves
Let $F: X \to X$ to be an endomorphism of scheme $X$, which is additionally assumed to induce an universal homeomorphism on the underlying topological space $| X|$. Then it is known that this induces ...
- 6,028
1
vote
0
answers
654
views
Sheafification map is surjective
This is not a research level problem for sure. But, similar question was asked by some one else $2$ years back on Stack exchange has not received any attention. So, I thought it does not suit there....
- 6,023
1
vote
1
answer
362
views
Coherent locally free sheaves on projective varieties
Let $k$ be a field, $X$ be a connected smooth projective $k$-scheme. Let $f:X\rightarrow X$ be a finite $k$-morphism that is surjective on the underlying topological spaces. Suppose $f$ has degree $n$....
user138661
0
votes
0
answers
156
views
A stalk criterion for unit map to be an isomorphism on étale site
Let $f: X \to Y$ be a morphism of schemes and $\mathcal{F}$ sheaf of sets/Abelian groups on the small étale site $Y_{ét}$. Assume we manage somehow to show thatat every geometric point $\overline{y} \...
- 6,028
0
votes
0
answers
57
views
Lifting of quadrics containing hyperplane section for projectively normal curves
Let $C \subset \mathbb{P}^r$ be a projective curve (over $k=\mathbb{C}$), smooth, irreducible and nondegenerate of degree $d$, ie the embedding line bundle $\mathcal{O}_C(1)=(\mathcal{O}_{\mathbb{P}^r}...
- 6,028