All Questions
Tagged with sheaf-theory ag.algebraic-geometry
493 questions
2
votes
1
answer
1k
views
relation between sheaf of hom and hom of sheaf
If $\mathcal{M，N}$ are the associated sheaf of $A$ modules $M$ and $N$ on $X=Spec A,$ then what is $\mathcal{Hom_{O_X}(M,N)}$？Is that the associated sheaf of $Hom(M,N)\ ?$
- 21
2
votes
2
answers
2k
views
Serre's Theorem for Coherent Sheaves
I recently heard a discussion about a certain of Serre which reconstructs the category of coherent sheaves of a variety $V$ as the category of modules over the homogeneous space of $V$ modulo modules ...
2
votes
1
answer
218
views
About the support of a holonomic D-module
Let $X$ be a smooth algebraic variety over $\mathbb{C}$ and let $M^\bullet\in\mathsf{D}^b_\text{h}(\mathcal{D}_X)$ be a complex of D-modules with holonomic cohomologies. We define the support of $M^\...
- 711
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
2
votes
1
answer
506
views
Ext sheaves as extension by zero of locally free sheaves
Let $X$ be a complex projective manifold and let $\phi \colon E \hookrightarrow F$ an injection of locally free sheaves. Then we have a sequence of coherent sheaves
$$
0 \to E \to F \to F/E \to 0
$$
...
- 502
2
votes
1
answer
460
views
Cartier Divisor generated by Global Sections
Let $X$ be an integer curve of (arithmetic) genus $g=0$. (the arithmetic genus $g$ is defined by $g:= 1 -\chi_k(\mathcal{O}_X)$ where $\mathcal{O}_X$ is the structure sheaf of $X$ and $\chi_k(\mathcal{...
- 6,038
2
votes
1
answer
326
views
Extension by zero operation
Suppose you have a closed subset $Z$ of a topological space $X$, and $F$ is a sheaf on $Z$. Then one can consider the extension by zero sheaf $F^X$ on $X$.
What are some examples and situations which ...
- 129
2
votes
1
answer
217
views
Dual of slope semistable vector bundle on higher dimensional variety
Recall the definition of slope semistability, taken from section 1.2 of Huybrechts and Lehn's "Geometry of Moduli Spaces of Sheaves" book. Let $X$ be a projective $\mathbb{C}$-scheme and $E \...
- 129
2
votes
1
answer
245
views
Compatibility of Beck Chevalley condition: sheaves
Given a (not necessarily Cartesian) square of spaces
$$\require{AMScd}\begin{CD}
X @>g>> \overline{X} \\
@VVfV @VV\overline{f}V \\
Y @>\overline{g}>> \overline{Y}
\end{CD}$$
does the ...
- 5,701
2
votes
1
answer
271
views
Local extension of holomorphic vector fields
Let $X$ be an open complex manifold, e.g., the complement of a simple normal crossing divisor $D$ in a (smooth) projective manifold $M$. Let $T^{1,0}X$ be the holomorphic tangent bundle of $X$. Let $K ...
user105074
2
votes
1
answer
332
views
Example of an Algebraic Space ("false" affine line with different tangents at origin)
I have a question about the following example from the Algebraic spaces and quotients by equivalence relation of schemes by Roy Mikael Skjelnes (page 12)
of a presheaf quotient, which
has associated ...
- 6,038
2
votes
1
answer
476
views
On the definition of a principal ideal sheaf
In his book Algebraic Geometry and Arithmetic Curves Qing Liu claims in Exercise 3.4, page 56, the following for a scheme $X$ and a global function $f\in \mathcal O_X(X)$:
"The map $U\mapsto f\...
- 417
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
2
votes
1
answer
399
views
Locally free sheaves and vector bundles over smooth connected projective curve
Let $X$ be a connected smooth projective curve over an algebraically closed field $K$. Let $\mathcal{F}$ be a locally free sheaf on $X$ and $\mathcal{E}$ a subsheaf of $\mathcal{F}$, which is again ...
- 395
2
votes
1
answer
1k
views
Cohomology of tangent sheaf of a hypersurface
Let $X\subset\mathbb{P}^n$ be an irreducible and reduced hypersurface of degree $d$. How can one explicitly compute the dimension of the vector spaces $H^0(X,T_X),H^1(X,T_X),H^2(X,T_X)$? Here $T_X$ is ...
user125056
2
votes
1
answer
569
views
Inclusion of logarithmic de-Rham complex into differentials
Let $X$ be a complex manifold and $D$ a normal crossing divisor. Let $U = X - D$ and $j: U \rightarrow X$ the natural map. Voisen observes that there is a natural inclusion $$\Omega^k_X(\log D) \...
- 3,555
2
votes
1
answer
177
views
Is the restriction of a simple sheaf of modules simple?
Let $X$ be a topological space, $A$ a sheaf of (unital and associative but not necessarily commutative) rings on $X$. Suppose $M$ is a simple quasicoherent $A$-module and $U$ an open subset of $X$. Is ...
- 3,079
2
votes
1
answer
163
views
ample subsheaf contained in the tangent bundle of projective space
Let $\mathcal F$ be an ample subsheaf of $T_{\mathbb P^n}$. Is it actually locally free? If not, is there a counterexample?
- 147
2
votes
1
answer
474
views
How to find the smallest flabby sheaf containing a given sheaf?
None of the spaces $C^k(\mathbb{R}^n)$, with $0 \leq k \leq \infty$, is a flabby sheaf. However, they are respectively contained in the smallest flabby sheaves $C^k_{nd} (\mathbb{R}^n)$ of functions $...
- 105
2
votes
1
answer
232
views
existence of a coherent sheaf
I am doing algebraic geometry. My question is the following: Here $X=\mathbb{A}^1-0$, $\mathbb{A}^1 = Spec A[t]$, $A$ is a commutative, noetherian ring with unity, consider $\mathcal{O}_{Spec A}$ as $\...
- 613
2
votes
1
answer
290
views
Calculate stalk of etale derived pushforward sheaf (Milne's LEC)
Assume $X=\operatorname{Spec}(A)$ is connected and normal (especially integral), and let $g:\eta \hookrightarrow X$ be the inclusion of the generic point of $X$. In Milne's LEC script on Etale ...
- 6,038
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
2
votes
1
answer
383
views
Some facts about sheafification functor on étale site
I'm studying the book Etale cohomology and the Weil conjecture by Freitag, Kiehl and I have some questions on the subchapter introducing the machinery associating to an étale presheaf
a sheaf (that is ...
- 6,038
2
votes
1
answer
297
views
Nearby cycle functor for a family of stable curves
Let $B$ be a smooth algebraic curve over $\mathbb{C}$ (or rather a germ of it at a point $b\in B$). Let $f\colon E\to B$ be a proper flat family of stable curves with smooth generic fiber. Assume that ...
- 21.8k
2
votes
1
answer
293
views
global sections of higher direct images of étale sheaves
Is there a useful criterion for when $\Gamma(X, R^qf_*F) = H^q(X',F)$, $f: X' \to X$, $F$ an étale sheaf on $X'$?
user19475
2
votes
1
answer
1k
views
On morphisms to projective space arising from a linear system
Context: This question arose as I was reading the proof of Application 6.1 in Mumford's Abelian Varieties. However, I have extracted all of the relevant information below so this question should ...
- 23
2
votes
1
answer
258
views
Carving out subsheaves of local hom-sheaves of stacks of categories
Recall from my previous question the definition of a local hom-sheaf of a stack of categories. I am interested in stacks of categories such that the underlying stack of groupoids is a moduli stack.
...
- 35.5k
2
votes
1
answer
406
views
Are there any criteria for a presheaf which is an etale sheaf to be a sheaf in the fppf topology?
I am happy to hear answers to variants too. For instance, my situation I actually have a sheaf in the smooth topology.
- 10.5k
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
2
votes
1
answer
373
views
Local question and descent category for a quasi-coherent sheaf on $\mathbb{G}_m$-gerbe
Update: I removed what I thought was unecessary and tried to be more straightforward in the hope to get an answer.
Context:
Suppose I have a $\mathbb{G}_m$-gerbe $\mathcal{G}$ over a scheme $X$ with ...
- 65
2
votes
1
answer
593
views
Example for pullback of stable sheaf not stable
Suppose $C$ is a complete algebraic curve.
Define a coherent locally free sheaf $\mathcal{F}$ over $C$ to be stable if $\mu(\mathcal{E})<\mu(\mathcal{F})$ for any subsheaf $\mathcal{E}$, where $\...
user39380
2
votes
1
answer
429
views
Nisnevich points
Here is a probably stupid question : If $F$ is a sheaf on the big Nisnevich site, then is the morphism $F(X) \to \amalg F(x)$ injective where the sum is over ALL the points of $X$ (not just the closed ...
- 1,347
2
votes
0
answers
137
views
details of a dévissage argument for constructible sheaves
I am working on the following Künneth-type isomorphism from [SGA5, exposé III, 2,3]:
$\mathrm{Settings}.$ Let $X_1, X_2$ be separated finite type schemes over the spectrum of a field $S=\mathrm{Spec}...
- 375
2
votes
0
answers
170
views
Hodge bundles associated to a family of complex manifolds
I'm reading Voisin's books on Hodge theory. In the first volume she claimed but didn't prove this theorem:
Theorem 10.10 (Voisin) Let $\varphi:\chi\rightarrow B$ be a family of compact complex ...
- 21
2
votes
0
answers
126
views
Compact generators of $\mathcal{D}\text{-Mod}$ via Mayer Vietoris
Let $X$ be a complex variety (or any space for whom a category of sheaves with the six functors is defined), and
$$i\ :\ Z\ \to\ X\ \leftarrow\ U\ :\ j$$
be complementary open and closed embeddings.
...
- 5,701
2
votes
0
answers
239
views
Do we have $\underline{\operatorname{Ext}}^i_\text{fppf}(\widehat{\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
2
votes
0
answers
100
views
Global sections of relative characteristic of log-smooth curves
$\DeclareMathOperator\Spec{Spec}$I am currently learning about log-geometry and try to understand the theory in the example of curves with basic log-structure over a general base $S$. Especially, I am ...
- 223
2
votes
0
answers
175
views
Is this double quotient of $\operatorname{SL}_2$ representable by an algebraic space or a scheme?
$\DeclareMathOperator\SL{SL}$Let $B$ be a Borel subgroup (upper triangular matrices), and let $\Gamma := \langle \sigma\rangle$ be the group generated by a (hyperbolic) element of $\SL_2/\mathbb{Q}_p$ ...
- 2,907
2
votes
0
answers
111
views
Canonicity in split sequence in cotangent spaces
Let $X$ be a locally ringed space. We have for a point $p$ the exact sequence
$$0\to \mathfrak{m}_p^2\to \mathfrak{m}_p\to \mathfrak{m}_p/\mathfrak{m}_p^2 \to 0$$
where $\mathfrak{m}_p$ is the maximal ...
- 167
2
votes
0
answers
128
views
On the generalization of a Cech-to-sheaf type spectral sequence
Let $(X,O_{X})$ be a ringed space and $\mathcal{F^{\bullet}}$ be a bounded below complex of $O_{X}$-modules on $(X,O_{X})$. On [Stacks Project 20.25.1][1] it is shown that there is a weakly convergent ...
- 541
2
votes
0
answers
121
views
Norm of sections on $T$-invariant subspace of a homogenous space over $\mathbb{Q}_p$
Let $K=\mathbb{Q}_p$ and $G$ a split reductive group over $K$ with split maximal torus $T$. Furthermore, $X$ is a smooth projective variety over $K$ with a free $G$-action. Let $U \subset X$ be a $T$-...
- 473
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
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
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
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
0
answers
265
views
Why does nearby cycles of a local system on $\mathbb{G}_m$ have same monodromy as local system?
Apologies if this belongs on MSE, but none of the tags I wanted existed, so I took it as a hint to post on MO.
Edit: here is my definition of nearby cycles. Suppose $X$ is a complex analytic space ...
- 272
2
votes
0
answers
115
views
About condition for structure sheaf of a scheme being compact object in a category of sheaf of module over X [duplicate]
I found the condition for one direction :
Categorical interpretation of quasi-compact quasi-separated schemes
This article said that if $X$ is quasi compact and quasi separated, $\mathscr{O}_X$ is a ...
- 121
2
votes
0
answers
158
views
Torsors for nonabelian groups and maps to contracted products
$\newcommand\op{\mathrm{op}}$My question concerns torsors for a sheaf of groups $G$ that is not commutative, and left/right are messing me up. A left $G$-torsor is equivalent to a right $G^{\op}$-...
- 1,094
2
votes
0
answers
337
views
High direct image of dualizing sheaf
I'm reading the paper "High direct image of dualizing sheaf" of professor Kollar. I summarizing my questions as follows:
Let $f:X\rightarrow Y$ be surjective projective morphism between ...
- 623
2
votes
0
answers
92
views
Cone of morphism in families
I am working in derived category $D^b(X)$ of coherent sheaves on a smooth projective varitey.
Let $E,F$ be two sheaves on $X$, with $\mathrm{R}Hom(E,F)=k\oplus k[-1]$, I consider the following ...
- 1,982