All Questions
Tagged with ag.algebraic-geometry sheaf-theory
183 questions with no upvoted or accepted answers
2
votes
0
answers
169
views
Restriction of scalars from an Azumaya algebra and preservation of perfect/compact objects of the derived categories
An Azumaya variety over a field is by definition a pair $(X,\mathcal A_X)$, where $X$ is an algebraic variety of finite type over that field and $\mathcal A_X$ is a sheaf of Azumaya algebras, namely ...
- 2,079
2
votes
0
answers
397
views
Terminology for "global sections" when sheaf is valued in general category
Let $\mathcal F$ be a sheaf (say on a topological space $X$) valued in some category $\mathcal C$.
What do we call $\mathcal F(X)$?
When $\mathcal C$ is some vaguely linear category (e.g. the ...
- 18.7k
2
votes
0
answers
1k
views
Chern Classes: two approaches
The following question is closely related to this one.
Let $X$ a non singular projective variety over $\mathbb C$, and let $\mathscr E$ a locally free sheaf of rank $r$ (an algebraic vector bundle), ...
- 1,237
2
votes
0
answers
163
views
Lifting a local section to a global section along a homomorphism of quasi-coherent sheaves
If $X$ is a scheme, is it always possible to find a basis $\mathcal{B}$ for the topology of $X$ (for example, the affine open subsets) with the following property?
For every quasi-coherent sheaf $M$...
- 5,482
2
votes
0
answers
272
views
Double dual of ample sheaf
Let $X$ be a projective manifold. Then we can define ample sheaves on $X$, and many results of ample vector bundles still hold in this more general case (See K. Kubota, Ample sheaves).
Now I was ...
- 147
2
votes
0
answers
272
views
local universal sheaf (moduli of stable sheaves)
I do not know much about moduli of sheaves and I wanted to shows that for a smooth (projective) family over a discrete valuation ring of mixed characteristics (relative dimension 3), the locally free ...
- 101
2
votes
0
answers
231
views
Surjectivity locus of a morphism of families of sheaves
Let $X$ and $T$ be schemes and assume we have two coherent sheaves $\mathcal{F}$ and $\mathcal{G}$ on $X\times T$ which are flat over $T$, that is these are families of sheaves parametrized by $T$.
...
- 1,025
2
votes
0
answers
266
views
Relationship between coherent toposes/coherent logic and coherent sheaves
I've heard it claimed that the adjective "coherent" in logic/topos theory (i.e. coherent logic, coherent toposes, coherent categories) was adopted to fit in with the terminology of coherent sheaves in ...
- 3,058
2
votes
0
answers
180
views
on geometric Satake and functions
Let $G(F)/G(O)$ the affine grassmanian with $F=k((t))$ where $k$ is a finite field.
For $\lambda$ a dominant cocharacter, we have by Cartan decomposition the schubert strata $\overline{Gr^{\lambda}}$....
- 3,472
2
votes
0
answers
175
views
Does mapping cylinder category have enough injectives?
Let $A, B$ be two abelian categories, and $\tau : A \to B$ a left exact functor.
We define a category $C$ as follows:
objects: triples $(M, N, \varphi)$ where $M\in A, N\in B$ and $\varphi: N\to \...
- 945
2
votes
0
answers
358
views
What are the easiest cases of base change (for sheaves on sites)?
I have a closed embedding of schemes $i:X'\to X$, and for each of them I consider three Grothendieck topologies for the category of the corresponding (relatively) \'etale schemes: the \'etale one, the ...
- 16.9k
2
votes
0
answers
414
views
Do inverse images respect flabby sheaves?
Let $i:Y\to X$ be a closed embedding of varieties, and let $S$ be a flabby \'etale (or Nisnevich) sheaf of abelian groups on $X$. Is $i^*S$ flabby also? I am mostly interested in the case when $S=i_{x*...
- 16.9k
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
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
91
views
Quotient sheaf obtained from a quotient of $\mathrm{SL}_2$ having a section
$\DeclareMathOperator\SL{SL}$Let $K$ be a field and let $G$ be a $K$-defined, closed, algebraic subgroup of $\SL_2$. Denote by $\mathcal{C}$ the site whose objects are $K$-schemes, with your favorite $...
- 2,907
1
vote
0
answers
79
views
What is $\text{Hom}(\mathcal{F}\times\mathcal{G}, \mathbb{A}^1)$?
Let $S$ be an affine scheme and let $\text{Aff}(S)$ be the site of affine $S$-schemes. Let $\mathcal{F}$ and $\mathcal{G}$ be a pair of sheaves on $\text{Aff}(S)$, and let $\mathbb{A}^1_S$ be the ...
- 2,907
1
vote
0
answers
137
views
The stack $\operatorname{GL}_2/B$
Let $F$ be the functor from the category of affinoid Tate algebras over $\mathbb{Q}_p$ to the category $\mathrm{Sets}$, which maps an affinoid $\operatorname{Spm} R$ to the set of orbits $\...
- 2,907
1
vote
0
answers
82
views
Do the covariant maps of a sheaf with transfer automatically satisfy a dual gluing axiom?
I'm interested in describing a notion of equivariant sheaves that uses Mackey functors on topoi. We can describe a genuine G-spectrum as a spectral Mackey functor on the topos of finite G-sets. If we ...
- 1,969
1
vote
0
answers
106
views
Joins of (closed) subschemes and Zariski-local Z-functors
$\newcommand\Aff{\mathrm{Aff}}\newcommand\cRing{\mathrm{cRing}}\newcommand\Sch{\mathrm{Sch}}$Equip $\Aff = \cRing^\text{op}$ with the Zariski Grothendieck-topology. There are nested categories:
$$\Aff\...
- 775
1
vote
0
answers
226
views
Resolution of the pushforward of a vector bundle
Let $i:Z\hookrightarrow X$ be a subvariety of a compact Kahler manifold. Assume that $Z$ can be realize as the zero locus of a section $s$ of a holomorphic vector bundle $E\to X$ of rank $r$. The ...
- 789
1
vote
0
answers
200
views
Question regarding affine fibre bundles
Let $f:X\to Y$ be a morphism of affine varieties such that it is a fibre bundle with fibre $F$. Let $\pi_1(Y)=\Gamma$ be a free group (non abelian) of finite rank and $\pi_1(F)$ is a finite group $G$ ...
- 585
1
vote
0
answers
215
views
Artin-Winters proof of semi-stable reduction theorem: details
I've been reading through Artin-Winters proof of the semi-stable reduction theorem (Degenerate fibers and stable reduction of curves) and found myself confused about the following detail—
Let $\...
1
vote
0
answers
355
views
Global section of pullback of an ideal sheaf
For a local ring $R$ with maximal ideal $\mathfrak{m}\subset R$ and residue field $\kappa$, and a flat morphism $f\colon X\rightarrow \mathrm{Spec} R$ of schemes, we consider the short exact sequence ...
- 119
1
vote
0
answers
172
views
When does a $D$-module think it’s a pullback along a smooth morphism?
Let $X$ and $Y$ be two algebraic varieties, and let $f: X \to Y$ be a morphism. Suppose $A$ is a holonomic $D$-module on $Y$. In this situation we can pull $A$ back to $X$ using either the $!$ or $*$ ...
- 3,019
1
vote
0
answers
105
views
Interesting property of a divisor contained in special fiber
Let $(A, \mathfrak{m}, \kappa=A/\mathfrak{m})$ be a local ring and $f:X \to \operatorname{Spec} (A)$
a scheme. Let $D \subset X$ a divisor on $X$ contained in special fiber $D \subset f^{-1}(\sigma_{\...
- 6,028
1
vote
0
answers
131
views
Schur's lemma for sheaves with different reduced Hilbert polynomials
Recall Schur's Lemma for Gieseker-semistable sheaves, in particular the injectivity statement:
Let $\psi : F \to G$ be a morphism of Gieseker-semistable sheaves. If $p(F)=p(G)$ and $F$ is stable, ...
- 123
1
vote
0
answers
133
views
Does flatness morphisms between ringed spaces implies the direct image sheaf is flat?
Let $(X,\mathcal{O}_X)$ and $(Y,\mathcal{O}_Y)$ be ringed spaces and $f: X\to Y$ be a morphism between them. We call $f$ flat at $x\in X$ if the natural morphism $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{...
- 9,019
1
vote
0
answers
103
views
$L^r_M = i_* \circ \hat{L}^{r-1}_M \circ i^*$ by the projection formula and the Poincare duality
This is a question arising when I am reading
M. A. A. de Cataldo, L. Migliorini - The Hard Lefschetz Theorem and the topology of semismall maps, Ann. sci. École Norm. Sup., Serie 4 35 (2002) 759-772.
...
- 1,168
1
vote
0
answers
125
views
Explicit resolution of $\Omega^1_C$ for prestable curve $C$
Suppose $C$ is a complex projective curve (or a compact $1$-dimensional connected reduced complex space). If $C$ is smooth, then its module of differentials $\Omega^1_C$ is locally free. If $C$ is a ...
- 1,761
1
vote
0
answers
164
views
When every localization of the polynomial ring over a ring has finitely many idempotents
Let $R$ be a commutative ring such that every localization ring $R_r$ has finitely many idempotents for each non nilpotent element $r\in R$. Why dose every localization ring $R[x]_{f(x)}$ have ...
- 11
1
vote
0
answers
78
views
When minimal prime ideals are maximal with respect to not containing an element
Let $\{ P_i \}$ be the set of all minimal prime ideals of a commutative ring $R $. Is there any conditions on $R $ under which there exists an element $x\in R $ such that $P_i $ is an ideal of $R $ ...
- 11
1
vote
0
answers
90
views
Ext-Ring of (equivariant) sheaves over a variety
Apologies if this is a standard question for algebaric geometry colleagues: Suppose I have a variety, what is the ring Ext(1,1) of self-extensions of the unit object (trivial sheaf) in the categoy of ...
- 1,846
1
vote
0
answers
174
views
Galoisian perspective on local system tamely ramified along a smooth divisor
This question is about (1.7.8) and (1.7.11) in Deligne’s Weil II paper.
Let $X$ be a regular scheme and $D\subset X$ a smooth principal divisor cut out by the function $t$. Let $\mathcal F$ be a ...
- 1,217
1
vote
0
answers
167
views
When localization is indecomposable
We know that if $R $ is a domain then any localization of $R $ at any multiplicative subset of $R $ is indecomposable, that is, has no non trivial idempotents. Now let $R $ be a commutative ring with ...
- 29
1
vote
0
answers
171
views
Existence of a non-degenerate global section is an open property?
Setting:
$X$:projective surface over algebraically closed field $k$.
$T$:scheme over $k$.
$E$: Coherent sheaf on $X \times_k T$ , flat over $T$ and $\forall t \in T$, $E_t$ is rank 2 torsion-free ...
- 479
1
vote
0
answers
262
views
Devissage lemma (Mumford's & Oda's AG II)
This question is part II of my proof reading of Lemma of devissage
from Mumford's & Oda's Algebraic Geometry II, findable on page 81; Theorem 6.12:
Theorem 6.12 (“Lemma of devissage”). Let $K$...
- 6,028
1
vote
0
answers
343
views
Cokernel of section of a general coherent sheaf
Given a scheme $X$ and an $\mathcal{O}_{X}$-module $\mathscr{E}$, we know that a section $s \in H^{0}(X, \mathscr{E})$ is equivalent to a morphism $s :\mathcal{O}_{X} \to \mathscr{E}$. It is the ...
- 1,701
1
vote
0
answers
309
views
Restriction of the sheaf of relative differentials
Let $f:X\rightarrow C$ be a morphism, where $C$ is a smooth curve, and let $\Omega_f$ be the sheaf of relative differentials.
For $t\in C$ let $i_t:X_t = f^{-1}(t)\rightarrow X$ be the inclusion of ...
user61586
1
vote
0
answers
170
views
Espace étalé for derived category
It is known that for a sheaf $\mathcal{F}$ on $X$, we can associate $X_\mathcal{F}$, the étalé space of $\mathcal{F}$ over $X$ such that section of $X_\mathcal{F}$ coincides with section of $\mathcal{...
- 677
1
vote
0
answers
104
views
A sheaf for factorization
Let $R$ be a commutative ring with $1$ and let $X$ be the space of connected componens of $Spec (R) $ with Zariski topology ( The boolean spectrum of $R $ )and let for each $x\in X$ there exists a ...
- 11
1
vote
0
answers
258
views
example of rank 2 torsion free sheaf with no global sections that is not stable
Ìn the book "Vector bundles on complex projective spaces" the authors prove in Chapter 2 Lemma 1.2.5 that, if $E$ is a rank $2$ reflexive sheaf on $\mathbb{P}^n$, then $E$ is stable if, and only if, $...
- 556
1
vote
0
answers
85
views
A special family of prime ideals
I am looking for a commutative ring $R$ with identity which has a family $F:=\{p_i\}_{i\in A}$ of prime ideals such that for each $n\in \mathbb{N}$ there exists $m\in \mathbb{N}$ with $n\leqslant m$ ...
- 11
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
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
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
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