All Questions
Tagged with sheaf-theory ag.algebraic-geometry
493 questions
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\...
- 149k
4
votes
1
answer
435
views
Push-out in the category of coherent sheaves over the complex projective plane
I'm trying to deal with an example of a rank two vector bundle over the complex projective plane which is non slope-stable (because the associated sheaf of sections has a coherent subsheaf of equal ...
- 395
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
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 ...
- 2,808
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 ...
- 2,310
19
votes
2
answers
3k
views
Explaining Mukai-Fourier transforms physically
A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality).
The basic algorithm is ...
- 10.5k
6
votes
1
answer
2k
views
How to understand the Fourier-Sato transform and microlocalization functors?
Given a smooth real vector bundle $\pi: E \to M$ I can look at the (bounded from below) derived category of sheaves on $E$. Since $E$ admits a very natural action of $\mathbb{R}^{\geq 0}$ by scaling, ...
- 370
4
votes
0
answers
195
views
Example of pseudocoherent complex which is not locally quasi-isomorphic to a strict pseudocoherent one
I ask this question here even if I posted it also on math.stackexchange (recieving no answer so far) because I have read some analogous question but for perfect complexes on this site, even though ...
- 351
11
votes
1
answer
2k
views
Locally free extension of locally free sheaf
Given a coherent sheaf $F$ on a smooth variety $X$, we know that $F$ is locally free on an open subset $U$ in $X$ outside a codimension two subset. Say the rank is $k$.
Is there a locally free sheaf $...
- 4,729
6
votes
1
answer
417
views
Etale sheaves on algebraic spaces vs. Etale sheaves on affines
Let's fix a field $k$. First, consider $Aff_k$ to be the category of affine finite type $k$ schemes. On this category, one can define the etale topology and thus consider the site $Aff_k^{et}$, then ...
- 39
8
votes
2
answers
4k
views
Sheaf cohomology question
For a topological space $X$ and a sheaf of abelian groups $F$ on it, sheaf cohomology $H^n(X,F)$ is
defined.
Singular cohomology of $X$ can be expressed as sheaf cohomology if $X$ is locally ...
- 39
8
votes
1
answer
2k
views
Sheaves of $\mathbb Z$-modules = sheaves of abelian groups
In his "Algebraic Geometry", Hartshorne proves that for any ringed spaces $(X,\mathcal O_X)$, category $Mod(X)$ of sheaves of $\mathcal O_X$-modules has enough injectives. If we take $\...
- 828
8
votes
0
answers
681
views
Stalks of limit sheaves
Let $\{\mathcal{F}_i\}_{i\in \mathbb{N}}$ be an inverse system of sheaves of abelian groups on a space $X$. Then for any $x\in X$ we have a natural map
$$\left(\lim_i \mathcal{F}_i\right)_x\rightarrow ...
- 4,418
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
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
10
votes
0
answers
958
views
intuition about perverse sheaves
firstly, I would know if my very basic intuition on perverse sheaves is correct .
secondly, I would have some clarification in what perverse sheaves behaves better than regular sheaves .
my intuition ...
- 64k
5
votes
2
answers
393
views
Existence of finite limits of quasi-coherent modules on a scheme
Defining a quasi-coherent module $\mathcal{M}$ on a scheme $X$ to be a compatible family of modules $(\mathcal{M}(x))_{x \in X(A), A \in \textbf{Rings}}$ (as in here), is there a straightforward way ...
- 19.6k
3
votes
1
answer
212
views
Algebraic spaces in the étale topology (proof from Stacks project)
I have a question about the proof of Lemma 78.12.1 from Stacks Project. The aim of the last paragraph of the proof is to verify that the map of sheaves in the étale topology $F \to U/R$ is an ...
- 45.7k
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
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
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
4
votes
1
answer
289
views
Yoga on coherent flat sheaves $\mathcal{F}$ over projective space $\mathbb{P}^n$
I'm reading Mumfords's Lectures on Curves on an Algebraic Surface (jstor-link: https://www.jstor.org/stable/j.ctt1b9x2g3)
and I found in Lecture 7 (RESUME OF THE COHOMOLOGY OF COHERENT SHEAVES ON
$\...
- 100
17
votes
1
answer
1k
views
Is a direct sum of flabby sheaves flabby?
Consider a family of flabby (= flasque) sheaves $(\mathcal F_i)_{i\in I}$ of abelian groups on the topological space $X$.
My question : is their direct sum sheaf $\mathcal F=\oplus _{i\in I} \mathcal ...
- 1,790
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,038
3
votes
1
answer
428
views
What sort of object represents skyscaper sheaves on the etale site of $\mathbb{Z}_p$?
By SGA 4 IX Proposition 2.7, any constructible sheaf $\mathcal{F}$ on a qcqs scheme $X$ can be represented as an equalizer of two etale maps between representable (by schemes) sheaves. This would ...
- 15.4k
14
votes
1
answer
702
views
Donaldson and DT invariants
Let $X$ be a smooth projective surface. Then, using the compactified moduli space of anti self-dual connections or torsion free sheaves we can construct Donaldson invariants of $X$. Similarly, one can ...
- 1,191
16
votes
3
answers
5k
views
Stalks of sheaf-hom
Let $F$ and $G$ be sheaves on $X$. Under what conditions is the natural map from the stalk at $p$ of $\mathcal{H}\kern{-1pt}\mathit{om}(F,G)$ to $\mathrm{Hom}(F_p, G_p)$ an isomorphism?
- 271
3
votes
1
answer
747
views
Are cohomology functors sheaves?
Question is the following:
Is the functor $H^n_{dR}:\text{Man}\rightarrow \text{Set}$ a sheaf with respect to open cover topology on $\text{Man}$?
More generally, are cohomology functors sheaves in ...
- 37.8k
3
votes
1
answer
902
views
Cohomological Brauer group vs classical
Let $X$ be a smooth scheme over $\mathbb{C}$.
A $O_X$-algebra $A$ is called Azumaya algebra on $X$
if locally it's ismorphic to matrix algebra: ie for
every $p \in X$ there exist open $U \subset X$ ...
- 184
7
votes
1
answer
2k
views
The Serre duality theorem intuition
It is a well known fact that proper scheme $X$ over $k$ has a up to isomorphism unique dualizing sheaf (EGA I, Hartshorne).
This dualizing sheaf $\omega_X$ comes with two striking properties:
(i) ...
- 9,229
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
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
4
votes
2
answers
1k
views
Sheaf cohomology commutes with colimits of sheaves
Let $X$ be a Noetherian scheme over a Noetherian ring $R$ and $(F_{\alpha})_{\alpha \in I}$ a direct system of $O_X$-module sheaves on $X$. I'm looking for source literature where I can find a proof ...
- 546
1
vote
2
answers
431
views
Action on group $\operatorname{Ext}^i(\mathcal{L}, \mathcal{M})$ by scalar multiplication
Let $X$ be a proper scheme over field $k$ and $\mathcal{L}, \mathcal{M}$ two invertible $\mathcal{O}_X$-modules. Then $Hom_{\mathcal{O}_X}(\mathcal{L}, \mathcal{M}) \cong Hom_{\mathcal{O}_X}(\mathcal{...
- 6,038
9
votes
1
answer
447
views
Results in “generalised smooth spaces” that did not hold in the case of smooth manifolds
Consider the category of smooth manifolds $\text{Man}$. I quote from n-lab page:
Manifolds are fantastic spaces. It’s a pity that there aren’t more of them.
I understand that this category $\text{...
- 6,023
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 $ ...
- 5,429
1
vote
0
answers
91
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
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
5
votes
1
answer
571
views
Left Kan extension that preserves colimit
I'd be very happy if the question When do Kan extensions preserve limits/colimits? has been fully answered. But it seems not.
I have a more specific question though. Let $C$ be a site (essentially ...
- 319
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 ...
- 4,713
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
2
answers
663
views
Methods of sheaf theory for solving Diophantine equations
What are some examples of sheaf theory used to either provide solutions to Diophantine equations, or to state that no such solutions exist?
- 5,407
4
votes
2
answers
1k
views
Singular support of an irreducible perverse sheaf
I was studying Sheaves on Manifolds by Kashiwara and Schapira, and while the singular support seems like a complicated invariant I cannot seem to find a counterexample to the following:
Let $X$ be a ...
- 6,829
13
votes
0
answers
524
views
Is the morphism of sheaves $(R \mapsto GL(R((h)))) \rightarrow (R \mapsto PGL(R((h))))$ surjective in Zariski topology?
Consider two functors given by $R \mapsto GL(R((h)))$ and $R \mapsto PGL(R((h)))$ for a ring $R$. It is easy to see that these functors are sheaves in Zariski topology (in fact for any affine variety $...
5
votes
1
answer
512
views
Residue of the canonical sheaf along subvariety
Let $S$ be a smooth projective surface over an
algebraically closed field $k$ and $C \subset S$ a singular curve. Let us denote by $K_S$ the class of canonical divisor of $S$ and $\mathcal{O}(K_S)$ ...
- 42.9k
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
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