All Questions
Tagged with sheaf-theory ag.algebraic-geometry
183 questions with no upvoted or accepted answers
3
votes
0
answers
307
views
Locality in Grothendieck Topologies
Let $\mathcal{C}$ be a category and $\mathcal{J}$ be a Grothendieck topology on it (i.e., $(\mathcal{C},\mathcal{J})$ is a site). Then what is a good notion of locality in it?
I came up with the ...
- 438
3
votes
0
answers
978
views
How does one compute the Chern classes of the dual sheaf from the Chern class of the original sheaf?
Let $X$ be a smooth projective 4-fold (over $\mathbb{C}$). Let $Z \subset X$ be a codimension two subscheme. Let $I_{Z}$ denote the ideal sheaf of
$Z$. How does one compute the Chern classes of $I_Z^{...
- 3,245
3
votes
0
answers
579
views
A question about the adjunction between pushforward and pullback of sheaves
I am reading this article: http://arxiv.org/pdf/1310.5978.pdf. In definition 2.6 on page 4 there is claim that is made and I don't see why it is true. I will recall it here:
Let $X$ be an integral ...
3
votes
0
answers
551
views
Defining Inertia Stack
Let $X$ be a topos and $F: \zeta \rightarrow X$ a stack on $X$. Now in the paper http://arxiv.org/pdf/math/0411337v2.pdf ( Definitions 2.1.1.5 and 2.1.1.1) of Lieblich, he describes the inertia stack ...
- 31
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
3
votes
0
answers
102
views
Can we extend a homotopy invertible chain morphisms between complexes of sheaves from a closed subspace to the whole space?
Let $X$ be a (say, topological) space and $i: Z\hookrightarrow X$ be a closed subspace. Let $Sh(X)$ and $Sh(Z)$ denote the categories of sheaves of abelian groups on $X$ and $Z$ respectively. ...
- 9,019
3
votes
0
answers
155
views
Elementary examples on sheaf extension
Let $V\subset\mathbb{P}^n$ be a projective variety and $C_V$ its conormal subvariety in $T^\ast\mathbb{P}^n$. Denote by $\mathscr{O}_{C_V}$ its structure sheaf, then when will the condition
$\mathit{...
- 3,187
3
votes
0
answers
293
views
Is this diagram of sheaves actually Cartesian as claimed?
The question is about Corollary 1.6.2 (b) in the book by Laumon and Moret-Bailly on algebraic stacks.
There we have a scheme $S$ and morphisms $X \xrightarrow{f} Y \xrightarrow{g} Z$ of sheaves on a (...
- 825
3
votes
0
answers
422
views
What kind of ringed space $X$ has the property that a locally free sheaf is projective in Qcoh$(X)$?
It is well known that for an affine scheme $X$, every finitely generated locally free sheaf $\mathcal{E}$ is projective in the category Qcoh$(X)$. i.e. the functor $\text{Hom}_{\text{Qcoh}(X)}(\...
- 9,019
3
votes
0
answers
217
views
Coherence of $\mathcal O_X[T]$
Let $X$ a complex manifold, and $\mathcal O_X$ the sheaf of holomorphic functions. Oka Coherence Theorem states that $\mathcal O_X$ is coherent (as $\mathcal O_X$-module).
How to prove that also the ...
- 31
3
votes
0
answers
716
views
Two functorial definitions of schemes
I have been reading a bit about the "functor of points" theory for schemes. There seem to be two ways of going about defining schemes this way:
Equip the category $\textbf {Psh}=\operatorname{Fun}(\...
- 2,011
3
votes
0
answers
160
views
Monodromy along strata of a pushforward
Work with complex varieties and constructible sheaves on the complex analytic site. All functors will be tacitly derived.
Let $X$ be a variety acted upon by a connected linear algebraic group. Let $X ...
- 1,595
3
votes
0
answers
260
views
Pull back of D-modules and Koszul resolution
Consider an holonomic D-module on a smooth algebraic variety $X$ over a field $k$ of caracteristic 0.
Let $i: Y \hookrightarrow X$ be a regular embedding.
$Li^* M = \mathcal{D}_{Y\to X} \otimes^L_{...
- 7,527
3
votes
0
answers
306
views
Does this property of subgroups (or sheaves of ideals) already have a name?
I'm constructing an example of a group which has a particular property on its subgroups, and the property looks like something that might have been considered before.
Fix a group $G$ and a pair of ...
- 35.5k
3
votes
0
answers
877
views
The "pullback presheaf" and the proper base change theorem in topology
Let $f:X\rightarrow Y$ be a continuous map of topological spaces and let $\mathcal{F}$
be a sheaf (say of abelian groups to fix the idea) on $Y$. Define the following rule on open sets of $X$:
$$
V\...
- 7,609
3
votes
1
answer
467
views
Restriction of Ext sheaves on closed subschemes
Let $f:X\rightarrow C$ be a morphism, where $C$ is a smooth curve. For $t\in C$ let $i_t:X_t = f^{-1}(t)\rightarrow X$ be the inclusion of the fiber of $f$ over $t$, and let $\mathcal{F}$ a coherent ...
user61586
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,\...
- 721
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 ...
- 721
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
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
338
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
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,038
2
votes
0
answers
296
views
Small sheaves on big sites
Background: If one works with sheaves on small etale site over a fixed scheme (which is really an essentially large category), one can instead work with sheaves on the affine etale site (which turns ...
- 319
2
votes
0
answers
142
views
Degree of a divisor along a subscheme
I'm curious about a computation of Prop2.3 in The gonality conjecture on syzygies of algebraic curves of large degree by Ein and Lazarsfeld. Let $C$ be a smooth projective curve carrying a pencil $\...
- 439
2
votes
0
answers
131
views
$m$-regularity of sheaves
This is Lemma 1.4 on Green and Lazarsfeld's Some results on the syzygies of finite sets and algebraic curves. Let $X$ be a closed subscheme of $\mathbb{P}^r$. Suppose the ideal sheaf $\mathcal{I}$ of $...
- 439
2
votes
0
answers
645
views
Direct image functor commuting with infinite direct sum of sheaves
Normally I would think this kind of question doesn't belong on overflow, but I haven't been able to find an answer anywhere else, so perhaps it is not so trivial.
Let $f: X \rightarrow Y$ be a ...
- 453
2
votes
0
answers
293
views
Direct sums of invertible sheaves commuting with global sections and the functor of points approach
I am looking at the Stacks Project's treatment of the functor of points for projective space.
Let's restrict to the case that $S$ is a graded ring, generated by $S_{1}$ as an $S_{0}$ algebra. The ...
- 453
2
votes
0
answers
315
views
Any vector bundle can be twisted to have sections
Let $X$ be an integral scheme proper over $\mathbb{C}$. Let $V$ be a locally free $\mathcal{O}_X$-module of positive finite rank. Does there necessarily exist a locally free $\mathcal{O}_X$-module of ...
user139965
2
votes
0
answers
132
views
Compact generation of quasicoherent sheaves on mapping stack
Let $k$ be a field of characteristic $0$, and let $\mathcal{C}= \mathbf{Vect}_k^{\leq 0}$ be the $\infty$-category of vector spaces concentrated in degrees $\leq 0$. Consider the category $\mathbf{Pr}(...
- 3,019
2
votes
0
answers
139
views
Defineing a Sheaf of rings over a topological space
Let $X$ be a topological space and let $R$ be a commutative ring with $1$ such that for each $x\in X$ there exists a multiplicatively closed subset $S_x$ of $R$ such that for each $a\in R$ if $\frac{a}...
- 31
2
votes
0
answers
193
views
Usage of Leray spectral sequence
Maybe this is an elementary stuff for experts, I could not figure it out by myself. Let $\pi:G\to S$ be an elliptic curve with zero section $e:S\to G$. Take $\mathcal{H}=(R^1\pi_*\mathbb{Q}_\ell)^\vee$...
- 1,428
2
votes
0
answers
363
views
Singularities of reflexive sheaves
I am studying reflexive sheaves (on $\mathbb{P}^3$) by the Hartshorne's paper ''Stable reflexive sheaves''. As far I understood, reflexive sheaves fail to be locally free at a finite number of points (...
- 556
2
votes
0
answers
361
views
epimorphism of fppf sheaves is an fppf morphism
I asked this question on math.stackexchange (https://math.stackexchange.com/questions/2693471/epimorphism-of-fppf-sheaves-is-an-fppf-morphism) but didn't get an answer. Maybe someone here can help.
...
- 21
2
votes
0
answers
72
views
Support of étale sheaves
Let $X$ be a scheme, $i: Z\to X$ a closed subscheme, $j: U\to X$ its complement in $X$. Assume the codimension of $Z$ in $X$ is large (at least $2$).
Let $A$ be an étale sheaf on $U$, $B$ an étale ...
user120812
2
votes
0
answers
126
views
Local cohomology with supports in a constructible set
Let $X$ be a topological space (I'm interested in the case of $X$ being a complex algebraic variety with the Zariski topology) and $Z$ a constructible subset (i.e. a finite union of locally closed ...
- 3,079
2
votes
0
answers
101
views
Sheaves of functions on open semi-algebraic sets
Let $U\subsetneq\mathbb{R}^n$ be an open semi-algebraic set which is not Zariski open (the case I have in mind is that of an open ball $B(0,1)$). A function $f:U\rightarrow \mathbb{R}$ is called
(1) ...
- 953
2
votes
0
answers
35
views
If the set of non-0 stalks of F is relatively open, is the same true of its Verdier dual?
Let $X$ be a complex manifold, $F$ a bounded complex of $\Bbb C_X$-modules with constructible cohomology. If the set $\{x: F_x\neq0\}$ is relatively open (i.e. open in its closure), is the same true ...
- 3,079
2
votes
0
answers
258
views
Proj construction and pushforward of line bundles
Let $X$ be a variety of dimension $d \geq 2$ (over a field), consisting of two irreducible components meeting transversely in a divisor $D$. (We can assume these components and $D$ are as nice as we ...
- 21