All Questions
Tagged with sheaves or sheaf-theory
979 questions
1
vote
1
answer
177
views
Is there a nonzero sheaf with all cohomologies vanish?
Is there a topological space $X$ with a nonzero sheaf $\mathcal{F}$ of abelian groups such that $H^i(X,\mathcal{F})=0$ for all $i=0,1,2...$?
user39380
1
vote
1
answer
705
views
Unique decomposition of locally free sheaf
Below let's work over coherent sheaves on a smooth projective algebraic curve.
We call a subsheaf $\mathcal{F'}$ of $\mathcal{F}$ saturated if it $\mathcal{F/F'}$ is locally free.
We call a locally ...
user39380
1
vote
1
answer
273
views
Do Categorical Quotients Preserve Covering Maps?
Before asking a question, please let me write down settings.
SETTINGS:
Let $C$ be a category with fiber products and $B$ be a closed subcategory of $C$ (i.e. $B$ contains any isomorphism of $C$, and ...
- 945
1
vote
1
answer
176
views
Field of fractions of etale stalk of Dedekind domain (Example from Milne's LEC)
Let $X=\operatorname{Spec}(A)$ be an affine Dedekind domain with field of fractions $K$. Let $\widetilde{A}$ be the integral closure of $A$ in separable closure $ K^{\text{sep}}$. A closed point $x$ ...
- 6,028
1
vote
1
answer
244
views
Chern class of torsion sheaf support on a point
Let $X$ be a smooth projective surface. Let $p$ be a closed point of $X$. Let $k(p)$ be the corresponding skyscraper sheaf, then actually we could use Grothendieck-Riemann-Roch to calculate the Chern ...
- 253
1
vote
1
answer
2k
views
Pullback map on global sections surjective
Let $X,Y$ be two irreducible, projective $k$-schemes. $k$ is assumed to be algeraically closed. Consider a dominant morphism $f: X \to Y$ between them which is not an isomorphism!
Let $\mathcal{L}$ ...
- 6,028
1
vote
1
answer
156
views
An ideal and its J-radical
Let $R$ be a commutative ring with $1$ and $I$ be an ideal of $R$. Now let $J=\cap_{I\subseteq m\in Max(R)}m$. Set $A:=\{p\in Spec(R): I\subseteq p\}$ and $B:=\{p\in Spec(R): J\subseteq p\}$, where $...
- 19
1
vote
2
answers
298
views
Terminology: complex of sheaves with cohomology sheaves concentrated in degree zero
What is the proper terminology for a complex of sheaves $\mathcal F^\bullet$ whose homology sheaves $\mathcal H^i\mathcal F^\bullet$ vanish for $i\ne 0$?
- 18.7k
1
vote
1
answer
1k
views
Sheaf Hom and the functor Hom
Let $\varepsilon: 0\to A\to B \to C\to 0$ be an exact sequence of ${\cal O}_X$-modules with $X$ a quasi-compact space. $\varepsilon$ is called pure if the induced sequence
$0\rightarrow Hom(F,A)\...
- 11
1
vote
1
answer
578
views
Descent of Morphisms of Sheaves
While reading Brylinski I am trying to understand the descent of morphisms of sheaves.
In trying to form a new definition of a presheaf $A$ over a space $X$, we associate to each surjective local ...
- 1,611
1
vote
1
answer
414
views
Restriction of a sheaf to an infinitely small neighbourhood of a closed submanifold: how to work with this ind-sheaf?
Let $X$ be a manifold, $i: Z\to X$ is a closed embedding.
For a sheaf $S$ (of abelian groups) on a manifold $X$ and each $\varepsilon>0$ we denote by $Z_\varepsilon$ the set of points of $X$ ...
1
vote
1
answer
405
views
Realizing a restriction as direct/inverse image of sheaves
Consider the inclusion $j$ of ${\mathbb{R}}$ as the real axis of ${\mathbb{C}}$. On ${\mathbb{C}}$ I have a real polynomial algebra ${\mathbb{R}}[x,\bar{x}]$, where $\bar{x}$ denotes conjugation. ...
user2529
1
vote
1
answer
629
views
The fiber of the sheaf of invariants
Let us suppose the the group $G:=\mathbb{Z}/2\mathbb{Z}=(1,i)$ freely act on a smooth projective variety/$k$ $X$ and denote by $Y$ the G.I.T. quotient $X/G$. Let $\pi:X\longrightarrow Y$ the quotinet ...
- 669
1
vote
1
answer
213
views
Concrete sheaves
On the nLab, given a local $S$-topos $E$, a concrete sheaf is defined as an object that is separated with respect to the local isomorphisms (the morphisms that are inverted by the global sections ...
- 193
1
vote
1
answer
521
views
Connecting homomorphism in Cech cohomology
Let $M$ be a smooth manifold and $\mathcal{U}$ be a good open cover of $M$. If I have an exact sequence of sheaves
$$0 \longrightarrow A \stackrel{f}\longrightarrow B \stackrel{g}\longrightarrow C \...
- 19
1
vote
1
answer
278
views
Relation between characteristic cycle and singular support of constructible sheaf
Let $M$ be a real analytic manifold. Let $F$ be an object of the bounded derived category of sheaves on $M$ with real constructible cohomology sheaves. Let $CC(F)$ denote the characteristic cycle of $...
- 21.8k
1
vote
1
answer
1k
views
Kashiwara-Schapira Trilogy
I’m going to start reading Kashiwara-Shapira’s trilogy Categories and Sheaves, Sheaves on Manifolds, and Perverse Sheaves with someone soon. Flipping through the table of contents for Sheaves on ...
1
vote
1
answer
130
views
Relative version of the cohomology product
Let $f\colon X\to Y$ be a continuous map of 'nice' topological spaces (e.g. $f$ is a smooth map of smooth manifolds; $f$ might be assumed to be proper although I am not sure it is relevant). Let $\...
- 21.8k
1
vote
1
answer
187
views
Subbundle generated by linearly dependent sections
On $\mathbb{P}^1$ consider the trivial bundle $\mathcal{O}\oplus \mathcal{O}$, and the subbundle $\mathcal{L}_{a,b}\subset\mathcal{O}\oplus \mathcal{O}$ that on an open subset $U$ of $\mathbb{P}^1$ is ...
user68440
1
vote
1
answer
283
views
Commutativity between functors on sheaves of abelian groups
I am trying to understand certain properties of sheaf theory, but I'm having trouble finding the notions to answer my questions. I'd be really glad if someone could help me with the following. Let $f :...
- 1,227
1
vote
1
answer
356
views
Examples of nontrivial local systems in Decomposition Theorem
There is a proper map $f: X \rightarrow Y$ of projective varieties. The Decomposition Theorem of Beilinson–Bernstein–Deligne-Gabber states that
$$Rf∗IC_X \cong \oplus_a IC_{\bar{Y_a}}(L_a)[shifts]$...
- 1,719
1
vote
1
answer
143
views
Sheaves on the site of $\pi$-sets
Let $\pi$ be a group, and let $\mathcal{C}$ be the site whose underlying category is that of $\pi$-sets (with $\pi$-linear maps as morphisms). The covers are jointly surjective families of such $\pi$-...
- 10.7k
1
vote
1
answer
404
views
+ functor (used to construct sheafification)'s property
Let $X$ be a topological space, $\mathcal{C}$ be a locally small category with "good properties" (such as having small inverse limit, small filtrant inductive limit...etc.) and $\mathcal{F}$ be a ...
- 1,109
1
vote
2
answers
2k
views
Sheafification of a presheaf through the etale space
I have some problems to show that the following contruction defines a sheafification:
Let $\mathcal F$ be a presheaf on $X$, and let $Et(\mathcal F)$ be the etale space associated to $\mathcal F$, ...
- 11
1
vote
1
answer
660
views
when a section descends?
Let $C$ be a (reduced, possibly reducible, complex) projective singular curve. Let $\nu: C'\to C$ a finite surjective birational morphism. (For example the normalization, but could be some ...
- 2,232
1
vote
2
answers
530
views
Why is this a local constant sheaf
If a group $G$ acts on a topological space $M$, and a representation of $G$ on a vector space $V$, why $M \times_G V$ is a local constant sheaf over $M/G$?
- 1,499
1
vote
1
answer
122
views
System of local isos gives system of local epis
Suppose that $W$ is a system of local isomorphisms on a presheaf topos $\mathbf{Pre}(\mathcal{C})$. We say a map in $W$ is a $W$-local isomorphism, and we say that a map of presheaves $f: X \to Y$ is ...
1
vote
1
answer
271
views
Second fundamental exact sequence of sheaves of differentials. Sufficient condition to get a splitting s.e.s
$\def\spec{\operatorname{Spec}}$I am trying to understand the proof of Lemma 0474 of the Stacks Project. I'll give some context to its statement before discussing its proof: In commutative algebra, if ...
1
vote
1
answer
251
views
Some question about (semi-)stable sheaves
Let $X$ be a projective normal variety over $\mathbb C$, I have several questions about semi-stable sheaves:
Question 1. Suppose that $E$ is a pure sheaf such that $HN_*(E)$ is the Harder-Narasimhan ...
- 3,472
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
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
1
answer
202
views
Decomposing an analytic function into two functions which vanish at $0$ and $\infty?$
This question comes from exercise I-10 of The Geometry of Schemes by Joe Harris (although this question is not about schemes). It is translated to less abstract language below:
Consider the Riemann ...
- 1,755
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
1
vote
1
answer
427
views
Flat familiy of coherent sheaves over a scheme
I'm studying the moduli problem of locally free sheaves over a connected smooth projective curve on an algebraically closed field, from the Lecture Notes of Victoria Hoskins, and I cannot fully ...
- 395
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
1
vote
1
answer
507
views
Relation between local cohomology and open immersions
Let $X$ be a noetherian scheme $U \subset X$ an open subset with complement $Z = X- U$. Assume $Z$ is cut out by the ideal sheaf $\mathcal{I} \subset \mathcal{O}_X$. We have exact sequences:
$$0 \to \...
- 7,789
1
vote
1
answer
404
views
Open subset of the moduli space of stable sheaves on a noetherian scheme
This is my question:
Given a projective noetherian scheme $X$, the structural sheaf $\mathcal{O}_X$ is a coherent sheaf, so every locally free sheaf is coherent. This means that the family of stable ...
- 401
1
vote
3
answers
845
views
Higher cohomology of sheaves on a projective space
Let $S\subset\mathbb{P}^n$ be a finite set of $s$ reduced points. Let $\mathcal{I}$ be the ideal sheaf of $S$ in $\mathbb{P}^n$. We consider the sheaf
$$\mathcal{F}_k:=\mathcal{O}_{\mathbb{P}^n}(kd)\...
user49214
1
vote
1
answer
342
views
quotient of ind scheme
Is I consider an ind scheme such as $G(k((t)))$ for a reductive connected group over $k=\bar{k}$
I have the conjugacy action of $G(k[[t]])$.
In what category can I make the quotient $[G(k((t))/ad(G(...
- 3,472
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
1
vote
1
answer
1k
views
Quasi coherent sheaf
One really stupid, trivial question: A Quasi coherent sheaf $F$ on an affine group scheme(Spec R) is simply an R-module. What happens in case R is a Hopf algebra? Will the Q.coherent sheaf $F$ be an ...
- 153
1
vote
0
answers
92
views
Proposition 6.2.7 from Goss
I'm following David Goss's book Basic structures of function field arithmetic. Let $L$ be an extension field of $L_0$ and $\sigma$ an automorphism of infinite order which fixes $L_0$. Let $L\{\sigma\}$...
- 69
1
vote
0
answers
73
views
Why can we not convert GATs / EATs / limit sketches to sites?
I think I'm in the process of understanding something very subtle here, and I could use an expert's double check. So basically, my question is whether what I write is correct.
(Non-finitary) GATs, ...
- 511
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
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
126
views
Local freeness of dualizing sheaf
I am reading the dualizing sheaf and duality theorems from Hartshorne’s algebraic geometry book. I am wondering about the following.
When does the dualizing sheaf of a projective scheme is an locally ...
- 613
1
vote
0
answers
272
views
Vakil's Generalization of qcqs Lemma
(This was also simultaneously asked on math stack exchange: https://math.stackexchange.com/questions/4857715/vakils-generalization-of-qcqs-lemma)
In the most recent notes of Vakil, this is problem 15....
- 29
1
vote
0
answers
100
views
Site structure on smooth fibered manifolds
Let $\mathsf{FB}_{s}$ be the category whose objects are smooth fibered manifolds, and whose morphisms are smooth strong projectable maps. Recall that given fibered manifolds $(\pi:Y\rightarrow X)$ and ...
- 3,292
1
vote
0
answers
221
views
Line bundles on curve with nodal singularity
Let $C$ be be an irreducible reduced curve over alg closed field $k$ with only one single nodal singularity $x$ and $f:N \to C$ it's normalization with $f^{-1}(x)=\{x_1,x_2\}$ (as set), and an iso ...
- 6,028
1
vote
0
answers
74
views
Idempotent completeness
We say a category $\mathcal{N}$ is exact if it is additive and is endowed with an exact structure. In brief, it is an additive category with a predetermined class of short exact sequences in its ...
- 167