All Questions
Tagged with sheaf-cohomology ag.algebraic-geometry
221 questions
4
votes
1
answer
446
views
Exact functor in syntomic cohomology
By Tag 04C4 of the Stacks Project, for $f:X\rightarrow Y$ a closed immersion of schemes, the pushforward $f_*$ is exact for abelian sheaves on the big syntomic site.
Is it also true for a finite flat ...
CommunityBot
- 1
1
vote
1
answer
249
views
Higher cohomology of line bundles and small modifications
I am a PhD student in algebraic geometry and I am blocked on a question that I asked to myself for my research. I am not yet very comfortable with the traditional tools. Also, I apologize in advance ...
- 39.3k
6
votes
1
answer
294
views
When does isomorphism on singular cohomology imply isomorphism on Picard and Brauer groups?
Assume that $f:X\to Y$ is a morphism of complex varieties, and the homomorphisms $H^i_\text{sing}(f)$ are bijective for $0\le i\le 3$ (though possibly $3$ is too much here:)). Under which ...
- 12.9k
2
votes
1
answer
233
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 $\...
- 629
2
votes
0
answers
62
views
Base change for finding fibers of the pushforward of a line bundle along a proper non-flat morphism
Let $f: X \to Y$ be a proper morphism whose fibers have different dimensions, in particular $f$ is not flat. Let $L$ be a line bundle on $X$. What conditions would be sufficient to be able to conclude ...
- 2,974
2
votes
0
answers
181
views
Proposition 6.2.3 from Goss "Basic Structures of Function Field Arithmetic"
I'm studying Proposition 6.2.3 from Goss "Basic Structures of Function Field Arithmetic", page 184:
Let $F$ be the sheaf of Data A (a torsion-free coherent $O_{\bar{X}}$-module on $\bar{X}$ ...
- 69
2
votes
0
answers
142
views
Computing the coherent cohomology of a quasiprojective variety
I have a quasiprojective variety given by some explicit quations. How do I compute its coherent cohomology (with coefficients in the structure sheaf)? Do I use the Cech complex for an open affine ...
- 2,974
0
votes
1
answer
193
views
Is the square of a special line bundle also special?
Suppose $C$ is a smooth projective curve over, say, $\mathbb{C}$. I'm interested in knowing whether the following is true.
Let $\mathcal{L} \in Pic^d(C)$ be a special line bundle, i.e. its $H^1 \neq 0$...
- 66.3k
3
votes
1
answer
240
views
Cohomology of the complement of a subvariety
Let $X$ be a complex manifold, $Y\subset X$ a subvariety, and $U:=X\setminus Y$ of codimension $d$. It is well known that the restriction map
$$
H^i(X,\mathbb Q)\to H^i(U,\mathbb Q)
$$
is an ...
- 149k
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
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 ...
- 5,986
8
votes
0
answers
647
views
Trying to understand "Shtukas"
I'm studying Goss' Basic structures of function field Arithmetic, chapter 6 about Shtukas. I'm trying to understand some details about some concepts. This chapter is based on a Mumford's paper An ...
CommunityBot
- 1
1
vote
0
answers
127
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 ...
- 629
2
votes
1
answer
210
views
Making a map in sheaf cohomology involving a theta characteristic explicit
Motivation:
For a given rank 2 vector bundle we want to know how many theta-characteristic valued twisted endomorphisms it has.
Setting:
Let $C$ be a smooth algebraic curve over a field of ...
- 149k
1
vote
0
answers
121
views
How to increase the second cohomology group of the structure sheaf?
We know that $H^2(\mathcal{O}_{\mathbb{P}^3})=0$. I am looking for blow-ups $$\pi:X \to \mathbb{P}^3$$ such that $X$ is non-singular and $H^2(\mathcal{O}_X)>0$. Of course, if we blow-up along ...
- 2,323
2
votes
1
answer
162
views
Pullback morphism of a hyperplane inclusion is zero in the derived category
Let $L \subset \mathbb{C}^n$ be a hyperplane and let $i:L \to \mathbb{C}^n$ be the inclusion. Since $i$ is proper, we have induced maps $i^*: H^k_c(\mathbb{C}^n) \to H^k_c(L)$, and these maps are zero ...
- 3,948
3
votes
0
answers
250
views
Is pullback map on sheaf cohomology injective for surjective morphisms?
Consider a surjective map $f\colon X\to Y$ of smooth projective varieties. It is well known (see e.g. Voisin's Hodge theory I, Lemma 7.28) that the map $H^i(Y,\mathbb Q)\to H^i(X,\mathbb Q)$ is ...
- 2,305
2
votes
0
answers
143
views
Cohomology of equivariant toric vector bundles using Klyachko's filtration
I am trying to understand Klyachko's following description of the cohomology groups of locally free (hopefully more generally of reflexive) sheaves on toric varieties.
Whereas detailed literature ...
- 455
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}...
- 5,986
2
votes
0
answers
241
views
Action of algebraic group in cohomology of equivariant algebraic vector bundle
Let $X$ be a projective algebraic variety over an algebraically closed field. Let an algebraic group $G$ act algebraically on $X$. Let $\mathcal{F}$ be a $G$-equivariant vector bundle (or, more ...
- 21.8k
2
votes
1
answer
270
views
Commutative group scheme cohomology on generic point
Setup:
Let $k$ be an algebraically closed field.
Let $C$ be a smooth connected projective curve over $k$.
Let $J$ be a smooth commutative group scheme over $C$ with connected fibers.
Let $j:\eta\to C$ ...
- 149k
1
vote
0
answers
213
views
Computing the first sheaf cohomology
I am looking for some examples of computing the dimension of the first sheaf cohomology for smooth projective surfaces. To be more precisely, let $X$ be a smooth, projective surface. Let $D$ be an ...
- 12.9k
2
votes
1
answer
308
views
If $\mathrm{Ext}^i(E,F)$ commutes with base change, then is $\mathrm{Ext}^{i+1}(E,F)$ representable?
Consider a projective morphism of Noetherian schemes $p:X\to \mathrm{Spec}(A)$. Let $\mathcal{E},\mathcal{F}$ be coherent $\mathcal{O}_X$-modules flat over $A$. For every (Noetherian) ring map $A\to B$...
- 4,111
3
votes
1
answer
157
views
In what sense is the complex $\mathscr{L}^\bullet$ unique?
This is in Section III.12. Algebraic Geometry by Hartshorne. Assume $X\to\mathrm{Spec}(A)$ is a projective morphism of Noetherian schemes. Let $\mathscr{F}$ be coherent over $X$, flat over $A$.
...
- 9,229
2
votes
0
answers
78
views
How to estimate the locus of non-zero cohomology for a equivariant toric reflexive sheaf, with a Klyachko description
I am trying to analyze Macaulay2 package "ToricVectorBundles". The package deals with equivariant reflexive sheaves on complete toric varieties. Such a sheaf is described by a set of ...
4
votes
2
answers
484
views
Removing Noetherian condition from cohomology and base change
This question is related to a question I asked a few days ago. Since there seems to be no (at least for me) satisfying reference for cohomology and base change as stated by Vakil in his script in ...
- 11
26
votes
1
answer
4k
views
When (or why) is a six-functor formalism enough?
The six functor formalism in a given cohomology theory consists of for each space a derived category of sheaves and six different ways to construct functors between those categories (four involving a ...
- 4,492
3
votes
1
answer
270
views
Čech-like cohomology with the “other nerve”
Let $X$ be a space and $\mathcal U$ a cover of $X$. Instead of Čech cohomology, I would like to take the following construction:
let
$$I= \{ \text{finite nonempty intersections of elements of }\,\...
- 9,627
1
vote
0
answers
153
views
Sheaf cohomology definition
I have seen multiple definitions for sheaf cohomology and wanted to ask for the reason.
One goes through injective resolutions and the other through flasque resolutions.
For paracompact bases it holds ...
- 11
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
2
votes
1
answer
438
views
Sheaf cohomology in number theory
I have read the first three chapters of Hartshorne and was wondering what are the applications of the notions presented in number theory or arithmetic geometry. I already know that the notion of ...
- 7,320
2
votes
0
answers
109
views
Homotopy invariant Bloch-Ogus cohomologies with a vanishing property
I am looking for examples (in any characteristic) of homotopy invariant Bloch-Ogus cohomology theories given by Zariski sheaves $\Gamma(n)$, such that $\Gamma(0) = \mathbb{Z}$ is the constant sheaf. ...
- 5,901
0
votes
0
answers
248
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
2
votes
1
answer
265
views
Formula for the Euler characteristic of a local system on $\mathbb{P}^1$
Let $X := \mathbb{P}^1$, $S\subset X$ a finite set of points, $U := X - S$, and $j : U\rightarrow X$ the inclusion.
Let $F$ be a complex local system on $U$ of rank $r$, and let $F_0$ be a typical ...
- 149k
16
votes
1
answer
448
views
Zorn's lemma for Grothendieck sites
In every treatment of Grothendieck sites I can find, flasque sheaves are not defined in the way one would naïvely expect from ordinary sheaf cohomology; namely instead of saying that "restriction ...
- 1,110
6
votes
1
answer
443
views
Where can I find a definition of $\underline{H}^p(X, \mathscr{F})$?
Let $X$ be a topological space and $\mathscr{F}$ a sheaf on $X$. In the paper Tropical cycle classes for non-archimedean spaces and weight decomposition of de Rham cohomology sheaves by Yifeng Liu, ...
- 37.8k
5
votes
0
answers
306
views
Cohomology of coherent sheaves on Deligne Mumford stacks
Suppose that $\cal X$ is tame Deligne Mumford stack with generic trivial inertia. Let $X$ be its muduli space and $f:{\cal X}\to X$ the projection.
Let $\cal F$ be a coherent sheaf on $\cal X$.
Is it ...
- 388
3
votes
0
answers
175
views
Deligne's integrality theorem in the setting of $ \mathbb{F}_{\ell}((t)) $-adic cohomology
Let $ \mathbb{F}_{q} $ be a finite field of characteristic $ p $ and $ \overline{\mathbb{F}_{q}} $ be an algebraic closure of $ \mathbb{F}_{q} $. Let $ X $ be a smooth projective variety over $ \...
- 863
1
vote
0
answers
217
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 $\...
4
votes
1
answer
362
views
Type vs degree of a polarized abelian variety
Let $(A,L)$ be a polarized abelian variety. I know that the degree of the polarization is the Euler characteristic of $L$, so that
$d = \chi(L) = \dim H^0(A,L)$
since $L$ is ample.
I've read in a lot ...
- 1,803
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
98
views
Cohomology with coefficient in sheaf of morphisms of an algebraic group
Let $G$ be an affine algebraic group over ${\mathbb C}$. We denote the sheaf of morphisms from ${\mathbb A}^1$ to $G$ by $\bf G$. Then $H^1({\mathbb A}^1,\bf G)=0$ (Cech cohomlogy). Is this fact true? ...
- 1,177
7
votes
1
answer
334
views
Extending $G$-torsors on open subsets of affine space
Let $k$ be a characteristic zero field, $V \subset \mathbb{A}^n_k$ an open subscheme, $G$ a split reductive group over $k$ and $T$ a $G$-torsor over $V$ (in the etale, equivalently fppf topology). ...
- 984
2
votes
2
answers
288
views
Extensions for a short exact sequence on Grassmannians
$\DeclareMathOperator\Sym{Sym}\DeclareMathOperator\Ext{Ext}$Let us consider a $n$-dimensional complex vector space $V$ and denote by $G(k,n)$ the Grassmannian of $k$-planes in $V$. We use the ...
- 12.9k
1
vote
0
answers
135
views
Base change of cohomology when the cohomology is a torsion
Let $(R,m,k)$ be a discrete valuation ring, where $k=R/m$. Let $X\rightarrow \mathrm{Spec}R$ be a projective, integral and flat $R$-scheme. Let $\mathscr F$ be a coherent sheaf such that $H^i(X,\...
- 51
5
votes
1
answer
299
views
First cohomology of tangent sheaf of rational curve
Let $C$ be a reduced, connected, projective and purely one-dimensional scheme of finite type over a field $k$.
Suppose that $C$ is rational, i.e. that the normalisation of $C$ is a disjoint union of ...
- 984
5
votes
1
answer
654
views
First Chern class of torsion sheaves
Let $X$ be a smooth projective variety, $\mathscr T$ a torsion sheaf with irreducible support of codimension $1$, say $Z$. Then the first Chern class $c_1(\mathscr T)$ is of form $r[Z]$. Is there ...
- 39.3k
3
votes
0
answers
126
views
Poincare polynomials for Borel Moore homology and fibrations
For an algebraic variety $X$ over $\mathbb{C}$, we denote $H_k(X)$ as its Borel-Moore homology of degree $k$. Let us define the Poincare polynomial associated it by
$$P(X)=\sum_{k\in \mathbb{N}}dim ...
- 71
1
vote
0
answers
128
views
understanding higher direct images of $\mathbb{G}_m$ for a finite Galois map
Let $X$ be a smooth quasi-projective variety over $\mathbb{C}$, and let $\mu_r$ denote the group of $r$-th roots of unity, and moreover suppose $\mu_r$ (algebraically) acts on $X$ freely. Then $Y:= X/\...
- 737
2
votes
0
answers
90
views
$\bigoplus_{k=0}^{\infty}H^n(X,I^k\mathcal{F})$ is a finitely-generated $\bigoplus_{k=0}^nI^k-$graded module
Does anyone know where I can find a proof of the following result ?
Given a Noetherian ring $A$, a proper morphism of schemes $X\rightarrow \operatorname{Spec}A$, a coherent $O_X-$module $\mathcal{F}$ ...
- 121