All Questions
Tagged with sheaves or sheaf-theory
356 questions with no upvoted or accepted answers
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
0
answers
91
views
Continuous maps vs filtrations construction of the Leray spectral sequence
The Leray spectral sequence of a continuous map $f : X \to Y$ between two topological spaces can be constructed, as far as I understand, in two ways, one very general, and the other a bit more ...
- 1,227
1
vote
0
answers
122
views
maps between two Leray spectral sequences based on maps on cochain complexes
Let $f_1:X_1 \to Y_1$ and $f_2:X_2 \to Y_2$ be two continuous maps between topological spaces. I am trying to understand under what condition there could be a map relating the Leray spectral sequences ...
- 1,227
1
vote
0
answers
180
views
Weaker version of smooth base change for étale sheaves
Consider the cartesian square of schemes
$$ \require{AMScd}
\begin{CD}
X' @>{g'}>> X \\
@V{f'}VV @VV{f}V \\
S' @>>{g}> S
\end{CD}
$$
and the base change map
$$ \eta : ...
- 11
1
vote
0
answers
151
views
Global sections of twisted dualizing sheaf of Hirzebruch surface
Let consider a Hirzebruch surface $S= \mathbb{P}(\mathcal{E})$ over $\mathbb{P}^1$ with invariant $e \ge 0$ where $\mathcal{E}= \mathcal{O}_{\mathbb{P}^1}(e) \oplus \mathcal{O}_{\mathbb{P}^1}$.
Let $\...
- 6,028
1
vote
0
answers
205
views
Sheaves and isomorphisms with chain complex of singular chains (Sheaf Theory, Bredon)
Let $\Delta_{\ast}(X,A)$ (resp. $\Delta_{\ast}^c(X,A)$) be the chain complex of locally finite (resp. finite) singular chains of $X$ modulo those chains in $A$.
How to show that the homomorphism of ...
- 11
1
vote
0
answers
94
views
Confusion about interpretation of internal statement $H\cup G=C$ in a Grothendieck topos
Let $\mathcal E=\mathsf{Sh}(\mathsf C,J)$ be a Grothendieck topos. Suppose, for some representable sheaf $\mathbf{ay}C$, there are $H,G\in \Omega ^{\mathbf{ay}C}$ such that $H\cup G=\mathbf{ay}C$. I ...
- 10.5k
1
vote
0
answers
236
views
Canonicity of Čech cohomology
For a topological space $X$, consider the Leray covering $U_\lambda$ (i.e. $\cap U_\lambda$ is sufficiently fine, e.g. affine for Zariski topology) of $X$.
For a sheaf $F$ on $X,$ the cohomology $H^...
- 781
1
vote
0
answers
135
views
Isomorphism of sheaves
Given a smooth projective variety $X$ and a semiample and big $\mathbb{Q}$-divisor $D$.
We denote by $R:=\sum_{n\in \mathbb{Z}_{\geq 0}} H^0(X,\mathcal{O}_X(nD))$.
Denote by $\tilde R(n)$ the quasi-...
- 1,595
1
vote
0
answers
395
views
the push forward of the differential idea of sheaf
This is about the differential idea of a sheaf as a vector bundle $E$ (not necessarily locally trivial) on a real manifold $M$ with a zero curvature connection $\nabla$. The zeroth cohomology is then ...
- 1,143
1
vote
0
answers
508
views
Equivariant Sheaves, Local system
Let $(G,m)$ be a group scheme unipotent, and $L$ a local system of rank 1 on $G$ such that:
$m^*(L) \simeq L \boxtimes L $.
Then why is $L$ an equivariant sheaf on $G$ with the action the ...
- 335
1
vote
0
answers
91
views
Construction of a Hermitian metric on a locally free subsheaf which is not a subbundle
Assume $X$ is a smooth projective curve over $\mathbb{C}$ and let $\mathcal{E}$ be a locally free sheaf of rank 2 on $X$. We pick a closed point $x\in X$ and a surjection $f: \mathcal{E}\rightarrow k(...
- 251
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
1
vote
0
answers
101
views
How can one compute the cohomology of $i'^*C$, for $i':\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\setminus \{0\} $?
For an (etale or 'topological', constructible bounded) complex of sheaves $C$ on $X'=\mathbb{A}^{N}\setminus \{0\} $, $i'$ being the embedding $\mathbb{A}^{N-1}\setminus \{0\}\to \mathbb{A}^{N}\...
- 16.9k
1
vote
0
answers
88
views
compactness of moduli stack of semistable sheaves
It's known that the moduli stack ${\cal M}$ of semistable sheaves on a given polarized projective variety, with a fixed Hilbert polynomial, is compact (meaning that ${\cal M}$
has an atlas of finite ...
- 11
1
vote
0
answers
238
views
why is the local field Q_l not an etale sheaf over a scheme X?
I would like to know the reason why the local field Q_l is not an etale sheaf over a scheme X while its ring of integers Z_l can be regarded as a constant etale sheaf?
- 11
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
1
vote
0
answers
249
views
On inverse images with respect to Zariski-etale topology.
For a variety $X$ I define its Zariski-etale site as follows: the category is the category of etale $X$-schemes, and the coverings are Zariski ones. Note that this topology is more coarse than the ...
- 16.9k
1
vote
0
answers
236
views
Can etale $X$-schemes be lifted to $Y$, where $X$ is closed in $Y$?
For a closed embedding (of varieties) $X\to Y$ let $U/X$ be etale. Is is true that there necessarily exists an etale $U'/Y$ such that $U'_X=U$? If this is wrong in general, are there any assumptions ...
- 16.9k
1
vote
0
answers
333
views
Does n-multiplication maps of cohomology groups vanish if it vanishes at the 0th cohomology?
In general, we know that a morphism $f=(f ^ {q})$ between universal (cohomological) $\delta$ functors $S=(S ^ {q}),T=(T ^ {q})\ $vanishes if and only if $f ^ {0} \ \colon \ S^{0} \to T^{0}$ vanishes....
- 945
1
vote
0
answers
424
views
Another stupid question on l-adic sheaves: does a generically zero constructible sheaf vanish on an open subvariety?
Suppose that the stalk of a constructible l-adic ($\mathbb{Z}_l$-adic or $\mathbb{Q}_l$-adic) etale sheaf $S$ over a generic (Zariski) point of a variety $V$ is zero. Does this imply that $S$ vanishes ...
- 16.9k
0
votes
0
answers
98
views
A question about the sheaf supported on the zero section
Let $X$ be the total space of the cotangent sheaf on $\mathbb{P}^{2}$ and $i \colon \mathbb{P}^{2} \hookrightarrow X$ be thezero section. Suppose that $E$ is a coherent sheaf on $X$ which is set-...
0
votes
0
answers
123
views
Counit map surjective
Let $X \to Y$ a (set theoretically) surjective morphism of schemes, $L$ a line bundle/invertible sheaf on $X$ (maybe more generally a locally free coh sheaf, but let's stick firstly on invertible ...
- 6,028
0
votes
0
answers
116
views
How can I calculate $\chi(\mathscr{O}(P))$
Let be X a reduced and irreducible curve over a field $L_0$. Let $L$ an extension of $L_0$ and set
\begin{gather*}
\overline{X}=L \otimes X.
\end{gather*}
Assume $\overline{X}$ also irreducible. Now, ...
- 69
0
votes
0
answers
132
views
Higher direct images of locally constant etale sheaf under smooth proper map locally constant
Let $f:X \to Y$ a surjective smooth proper map between Noetherian schemes and $F$ a locally constant sheaf on small etale site of $X$.
Question: Refering to Donu Arapura's answer here, how to see that ...
- 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
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
91
views
Why does the associated sheaf vanish?
I am learning local cohomology from Hartshorne’s book Local Cohomology.
My question is about understanding a line in the proof of proposition 1.11 in this book.
The set-up for proposition 1.11 is that ...
- 639
0
votes
0
answers
215
views
Singular cohomology to cohomology of quasi-coherent sheaf
Let $X$ be a projective nonsingular variety (integral Noetherian scheme of finite type that is proper over a field $k=\overline{k}$ such that $\Omega^1_X$ is locally free). Suppose one knows the ...
- 511
0
votes
0
answers
247
views
Is $\mathbb{C}^*$ not irreducible, or is every locally constant sheaf on $\mathbb{C}^*$ constant?
I am running into contradiction from the following set of definitions, propositions, and assumptions. Can anyone spot where I'm off?
Definition A sheaf $\mathcal{F}$ on a topological space $X$ is ...
- 511
0
votes
0
answers
342
views
Stalks of Sheaves
I saw a statement in a paper like what follows:
Let $X=\text{Spec} A$ be an affine scheme, and let $\mathscr{F}$ be a sheaf of $\mathscr{O}_X$-modules on $X$. For each geometric point $x$ of $X$ we ...
- 1
0
votes
0
answers
100
views
Quotient of $\text{Proj}(A)$ by the action of a finite group
Let $X$ be $ \operatorname{Proj}(A)$ for some graded ring A, and let $G$ be a finite group acting on $A$ with morphisms of graded rings; consequently $G$ acts on $X$.
I know I can write $X = \bigcup_{...
- 1
0
votes
0
answers
391
views
Subsheaves of constant sheaves
Let $X$ be a connected topological space. I am looking for examples of a locally constant subsheaf (of $\mathbb{C}$-vector spaces) of a constant sheaf (of $\mathbb{C}$-vector spaces) on X, which is ...
- 2,323
0
votes
0
answers
157
views
Hyperplane which does not contain any associated point of qc sheaf $\mathcal{F}$
I have a question about an argument on $m$-regularity
from 'Fundamental Algebraic Geometry' by Fantechi on page 114, Chapter
5.2: Castelnovo-Mumford regularity. The statement is:
Let $k$ be a field ...
- 6,028
0
votes
0
answers
185
views
Recipe for resolving a coherent sheaf
Let $X$ be a complex manifold and let $V\subset X$ be a subvariety. Let $F\rightarrow V$ be a holomorphic vector bundle over $V$ and let $\mathcal{S}=\Gamma(F)$ be the sheaf of holomorphic section of $...
- 789
0
votes
0
answers
413
views
When are the cotangent and tangent sheaves isomorphic?
Let $X$ be an $S$-scheme. Under what conditions, if any, is the cotangent sheaf $\Omega_{X/S}$ isomorphic to the tangent sheaf $\Theta_{X/S}$ as $\mathcal{O}_X$- modules? For example, given a ...
- 327
0
votes
0
answers
116
views
cohomology of curves
Let $X$ be a smooth projective complex curve. Consider the diagonal $\Delta$
in $X \times X$, and $\mathcal{O}(\Delta)$ the associated line bundle.
If $j$ is the inclusion of $\Delta$ in $X \times X$ ...
- 237
0
votes
0
answers
180
views
Theorem on Formal Schemes
I have few questions about the proof of Thm 7.5 from P. Wagreich's paper "Elliptic Singularities of Surfaces" (page 452):
Denote by $\mathcal{N}$ the kernel of $A \to H^0(O_Z)$ (sorry, I haven't ...
- 6,028
0
votes
0
answers
657
views
Mistake in Hartshorne's Exercise II.1.1?
This is really an elementary question, but let me state it. Exercise 1.1 of the second Chapter of Hartshorne's Algebraic Geometry ask to prove that the sheaf associated to the presheaf sending every ...
- 149
0
votes
0
answers
635
views
A coherent sheaf is a vector bundle over subvariety?
Over a complex manifold, can every coherent sheaf be seen as a holomorphic vector bundle over an analytic subset?
Thanks in advance.
- 789
0
votes
0
answers
165
views
Examples of degree zero, rank one reflexive sheaves without r-th roots
Let $X$ be a normal, projective surface (or more generally a variety) over $\mathbb{C}$ (i.e., $X$ is irreducible). Fix a polarisation on $X$. I am looking for examples of rank one, degree zero (...
- 1,593
0
votes
0
answers
144
views
Induced Morphism on Fibre Product
Let $X$ be a proper $k$-scheme and $k \subset k'$ a field extension. Consider the fibre product \ base change $X' = X \otimes _k k'$.
Let $\mathcal{F} \in Coh(X)$ and $p: X' \to X$ the canonical ...
- 6,028
0
votes
0
answers
182
views
Analytic-Local Germs of "General" Sections
Let $C$ be an algebraic curve over an algebraically closed field $k$ of characteristic $0$, and let $\mathcal{L}$ be a base-point-free line bundle on $C$. Furthermore, let $p \in C$ be a smooth point, ...
0
votes
0
answers
193
views
About the definition of flat twisted sheaves
Flat twisted sheaves are mentioned in Căldăraru's thesis (Lemma 2.1.2 for example), but I'm confused about how they should be defined. I have in mind some possibilities, given an $\alpha$-twisted ...
- 2,079
0
votes
0
answers
303
views
Sheaves invariant for group actions two equivalent definitions?
Given a (topological) group acting on $X$ a topological space continuously.
Then we have the category $Sh_G (X)$, it's the full subcategory of $Sh(X)$ consisting on the sheaves $\mathcal{L}$ such ...
- 335
0
votes
0
answers
265
views
Explicit adjunction formula and local top form
I am reading the section 4.2 in Kollar-Mori, where they provide the explicit equations for Du Val Singularities. In the course of the proof, they reduce to studying the equation $x^2+f(x,y)=0$ in a ...
- 625
0
votes
0
answers
191
views
First sheaf cohomology $H^1(\mathscr{O}_D, \mathbb{D})=0$
Given a finite divisor$$D=p_1+\dots +p_m -q_1 -\dots -q_n$$on the unit disk $\mathbb{D}$, does it necessarily follow that the first sheaf cohomology group equals zero, i.e.$$H^1(\mathscr{O}_D, \mathbb{...
user76513
0
votes
0
answers
239
views
Cohomology group vs sheaf of cohomology group
Suppose $F$ is a coherent sheaf on a smooth (algebraic or complex) variety $X$. Then we can consider the cohomology groups $$H^p(X,F)$$ for all $i$. Now, let we consider the sheaf $$\mathcal{H}^p(X,F)$...
- 401
0
votes
0
answers
85
views
$\mathcal{F}$-- twists of Lie algebras
I am trying to figure out with Drindfel's Opers. Let us consider Lie group $G$ and $G$ -- bundle $\mathcal{F}$ on the smooth algebraic curve $Y$. Can anybody help me and clarify definition of the $\...
- 181
0
votes
0
answers
307
views
local systems, duals, cohomology
Let $U=\mathbb{P}^1-\{p_1, \ldots, p_n\}$ be a Zariski open subset of the projective line. Consider a rank $r$ local system of complex vector spaces $V$ on $U$ and assume that the monodromy ...
- 11