Questions tagged [sheaf-cohomology]
The sheaf-cohomology tag has no usage guidance.
342
questions
3
votes
0
answers
178
views
Hypercovers with sieves
Consider a covering family $\{Y_i \to X\}$ and the induced sieve $R \subseteq X$, the subpresheaf of all maps to $X$ that factor through some $Y_i$. The family gives me an induced Cech nerve $C_\...
- 1,084
4
votes
1
answer
300
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,701
3
votes
0
answers
120
views
Is the cohomology $H^1(X, \mathcal{E}^\nabla)$ trivial, for the sheaf of constants of an algebraic connection $\nabla$?
Suppose that $\pi:X\to S$ is a flat morphism between Noetherian, integral schemes (of characteristic zero, if need be).
Let $\mathcal{E}$ be a locally free sheaf on $X$, and
$$\nabla:\mathcal{E} \to \...
- 1,338
1
vote
0
answers
326
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
2
votes
0
answers
52
views
Conditions for long exact sequence for line bundles on curve to degenerate?
Let $\varphi:X\to Y$ be a morphism of schemes of relative dimension 1, and $\mathcal{L}' \xrightarrow{g} \mathcal{L}$ an injection of line bundles on $X$.
The sequence
$$0\to \mathcal{L}' \xrightarrow{...
- 1,338
1
vote
0
answers
94
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,059
6
votes
1
answer
306
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). ...
- 949
1
vote
2
answers
367
views
Pushforward of structure sheaf along a torsor for a finite group
Let $\pi : P \to X$ be a torsor for a discrete, finite group $G$ of size $\#G = N$ on a scheme $X$. I want to compare $\pi_* \mathcal O_P$ with $\mathcal{O}_X$. Locally but not globally, $\pi_* \...
- 1,084
2
votes
2
answers
269
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 ...
- 11.4k
1
vote
0
answers
124
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
273
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 ...
- 949
6
votes
0
answers
150
views
Cech cohomology on product covers & Fréchet sheaves
My question is about the paper [Ka67].
Let $S, T$ be sheaves of nuclear Fréchet spaces over paracompact topological spaces $X, Y$, respectively; in particular, if $V \subset U$ are open subsets in $X$,...
4
votes
0
answers
80
views
Canonical coresolutions of cosheaves
Let $M$ be a sufficiently nice topological space (e.g. smooth manifold).
Recall that a (pre-)cosheaf in a category $\mathcal{C}$ over a topological space $M$ is essentially a $\mathcal{C}^\mathrm{op}$-...
5
votes
1
answer
581
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 ...
- 37.3k
3
votes
0
answers
113
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
126
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
4
votes
1
answer
553
views
Cohomology of divisors on Hirzebruch surfaces
Consider the Hirzebruch surface $\mathbb{F}_n = \mathbb{P}(\mathcal{O}_{\mathbb{P}^1}\oplus \mathcal{O}_{\mathbb{P}^1}(n))\rightarrow\mathbb{P}^1$. The Picard group of $\mathbb{F}_n$ is generated by ...
- 37.3k
6
votes
1
answer
306
views
Topology on cohomology of a sheaf of topological groups
Let $X$ be a topological space and $\mathcal{F}$ be a sheaf of commutative topological groups on $X$. I am interested in the following question:
Is there a natural way to introduce topology on $H^i(X,...
- 36.3k
2
votes
0
answers
113
views
The cohomology groups corresponding to a modified global sections functor
Let $\mathcal{F}$ be a sheaf on the big etale site of $Sm_k$. I am looking for a way to calculate a modified version of sheaf cohomology. Let $X$ be a smooth scheme and $Z$ a closed sub-scheme. After ...
- 5,851
6
votes
2
answers
594
views
Geometric meaning of coherent sheaves $\mathcal{F} \otimes \mathcal{O}_{\mathbb{P}^n}(d)$ over $\mathbb{P}^n$
Maybe it sounds like a silly question but I'm not able to figure out in my head the geometric meaning of "twisting" vector bundles (or more generaly coherent sheaf) over $\mathbb{P}^n$.
I ...
- 9,539
1
vote
0
answers
91
views
Continuity of motivic cohomology under direct limit
Given the motivic complexes $\mathbb{Z}(n)$ on the big Zariski site of finite type smooth $k$-schemes denoted by $FinSm_k$, we pullback it to the smooth $k$-schemes i.e. $Sm_k$. For example for a ...
- 5,851
1
vote
0
answers
192
views
Künneth formula for local cohomology with support
In "Differential operators on the flag varieties" (http://www.numdam.org/article/AST_1981__87-88__43_0.pdf) by Brylinski, he uses on page 53 a Künneth formula for local cohomology with ...
- 463
5
votes
2
answers
502
views
Divisors whose restriction is big
Let $f:X\rightarrow Y$ be a flat morphism of smooth projective varieties, and $\mathcal{L}$ an effective and ample line bundle on $Y$. For a divisor $A\in H^0(Y,\mathcal{L})$ set $X_A := f^{-1}(A)$.
...
- 8,852
2
votes
1
answer
419
views
Higher direct image with compact support of a constant sheaf
Let $f: X \to Y$ be a locally trivial fibration between locally compact spaces with fiber $F$. It is well known that for a constant sheaf $A_X$ on $X$, the higher direct images $R^n f_* A_X$ are ...
6
votes
2
answers
483
views
Global sections of multiples of a divisor
Let $D$ be an integral divisor on a smooth projective variety $X$. Consider the multiples $mD$ of $D$ for $m\geq 0$. Clearly, $h^0(X,mD) = 1$ for $m = 0$.
Is there any example where $h^0(X,mD) = 0$ ...
- 137k
8
votes
1
answer
2k
views
Cohomology of Grothendieck topology
My naïve cartoon picture of the construction of étale cohomology is this:
start with a scheme, associate to it a Grothendieck topology (making a site).
A functor from the Grothendieck topology to ...
- 33.9k
6
votes
0
answers
900
views
Intuition behind exceptional inverse image?
The story is probably well-known: given a map $f:X\to Y$ of spaces (say schemes, but there are many other contexts), we have two classical operations between sheaves on $X$ and those on $Y$: the ...
- 27.4k
3
votes
0
answers
503
views
Etale cohomology of a nodal (cuspidal) curve
Let $k$ be a separably closed field, and $X/k$ be a curve (not necessarily complete) with a single singularity, a simple node $x$. Suppose $\ell$ is a prime number invertible in $k$, how do we compute ...
- 537
2
votes
0
answers
182
views
Higher cohomology of projective bundles
Let $C$ be a curve and $L$ be a line bundle with sufficiently large degree. Let $C_p$ denote the $p$-th symmetric product of $C$, which consists of all the effective divisors of degree $p$ on $C$. Let ...
- 393
9
votes
2
answers
3k
views
Top cohomology detecting compactness
I am looking for a reference for the fact that the top cohomology $H^n(X;A)$ of an $n$-dimensional manifold $X$ is non-trivial precisely when $X$ is compact.
I tried to ask this question on Math....
- 20.6k
14
votes
2
answers
6k
views
When does sheaf cohomology commute with arbitrary direct sums?
It is well known and more or less proven in Hartshorne's 'Algebraic Geometry' (p. 209) that for every noetherian scheme $X$ and every collection of abelian sheaves $\mathcal{F}_i$ the canonical map
$$...
- 33.9k
6
votes
1
answer
492
views
Cohomology and base change without Noetherian assumption
In the "The Rising Sea" by Vakil one can find the base change theorem for proper morphisms over a locally Noetherian base (28.1.6). He later indicates (28.2.M) how one could exchange the ...
- 445
3
votes
0
answers
565
views
fppf/ etale Cohomology calculate with Cech cohomology
Let $R$ be a commutative ring with one and $S$ commutative faithfully flat $R$-algebra (that is there is a faithfully flat ring map
let $\phi: R \to S$). Then the so called Amitsur complex
$R \to S^{\...
- 6,000
6
votes
2
answers
424
views
Representability of flat cohomology by a group scheme
In his paper "Supersingular K3 surfaces", Artin states the following theorem (Theorem 3.1) without proof:
Let $\pi:X \to S = \mathrm{Spec}(k)$ be a smooth proper surface with $k$ an ...
- 15.3k
3
votes
2
answers
348
views
Extension between vector bundles inducing non-zero map on cohomology
Let $X$ be a projective variety over a field $k$ equipped with a very ample line bundle $\mathcal{O}_X(1)$. Suppose that $E, F$ are locally free sheaves of finite rank on $X$ and $c\in \mathrm{Ext}^i(...
- 137k
5
votes
2
answers
717
views
Reference request: Kleiman's proof of Snapper's Lemma
On page 4 of Nitin Nitsure's paper Construction of Hilbert and Quot Schemes, the author refers to the fact that Hilbert polynomials are indeed polynomials as
a special case of Snapper's Lemma, see &...
- 1,727
4
votes
1
answer
484
views
$H^1(X, GL(n, \mathcal{O}_X))$ and Vector Bundles
Let $X$ be a nice space: a manifold, a variety over a field, or so on. We know that line bundles on $X$ up to isomorphisms are given by $H^1(X,\mathcal{O}_X^*)$.
Can it be generalized to higher rankal ...
- 151k
3
votes
0
answers
432
views
Sheaf cohomology on the formal completion of $\mathbb{P}^1_k$ at its north pole
Let $k$ be a field and let $\mathbb{P}^1_k$ be the projective line over $k$. Let $\mathcal{F}$ be a coherent sheaf on $\mathbb{P}^1_k$. The curve $\mathbb{P}^1_k$ is recovered by the two affine ...
- 1,479
3
votes
1
answer
244
views
Automorphisms of Frobenius liftings and degeneration of the Hodge-de Rham spectral sequence
I am still studying Deligne and Illusie's paper (https://eudml.org/doc/143480), and I am again stuck, this time on pages 262/263.
Assume $X\longrightarrow S$ is a smooth morphism of $\mathbb{F}_{p}$-...
- 1,727
3
votes
1
answer
309
views
Degeneration of Hodge-de Rham spectral sequence, exactness of a pairing and the trace morphism
If $X\longrightarrow S$, where $S=\operatorname{Spec}(k)$, is a proper smooth morphism of dimension $p$ between $\mathbb{F}_{p}$ schemes with Frobenius $F$, then there is an exact pairing $\wedge:\...
- 1,809
6
votes
1
answer
332
views
Elementary proof of the exactness of Čech complex associated to a hypercovering ("Illusie's Conjecture")
Let $\mathcal{E}$ be a sheaf of abelian groups on a topological space (or a site). For an open covering $\mathfrak{U} = (U_i)_i$, it is well known that the augmented Čech complex $0 \to \mathcal{E} \...
- 39.3k
3
votes
0
answers
275
views
Sheaf cohomology of Grassmannian G(2,4) with values in twisted tautological bundles over an arbitrary field
Let k be an arbitrary field. Let $G(2,4)_k$ be the Grassmannian of 2-planes in 4-space over that field. Let $\mathcal{E}$ be the tautological quotient bundle on the Grassmannian. I am trying to ...
- 1,802
2
votes
1
answer
260
views
Help about "Varieties with small Dual Varieties" by L.Ein
I'm studying the paper "Varieties with small Dual Varieties" by L.Ein and in the construction he gives about the $10-$dimensional spinor variety $S_4 \subset \mathbb{P}^{15}$ I'm finding ...
- 7,200
5
votes
1
answer
197
views
Cohomology of doubly pinched torus via spectral sequences
Let $f:T^2\to Y$ be a resolution of singularities where $Y$ is a torus with two "pinched" points (or, if you prefer, two copies of $\mathbb{P}^1$ meeting at two points). I'm interested in ...
- 39.3k
3
votes
0
answers
357
views
Spectral sequence from resolution of condensed abelian groups
I am watching Scholze's and Clausen's masterclass on Condensed Mathematics and I don't understand or can find any references on something they said.
You have a resolution
$$ \dots \to \mathbb{Z}[\...
1
vote
1
answer
399
views
Relationship between $H^1(X, \mathbb{T})$ and complex line bundles
Let $X$ be a compact metric space and consider the sheaf cohomology group $H^1(X, \mathbb{T})$. From a class in $H^1(X, \mathbb{T})$, I can get a principal $\mathbb{T}$-bundle over $X$ and from this, ...
- 6,766
1
vote
0
answers
423
views
Dimension of global holomorphic sections of a line bundle
Let $K$ be the canonical line bundle of a compact Riemann surface $M$ of genus $g$. Consider the pull back of $K$ on $M \times M$ via projection on the first factor. What is the dimension of the space ...
- 11.4k
3
votes
0
answers
575
views
Elementary reference for Borel-Moore/locally finite homology
There is a homology theory called "Borel-Moore" or "locally finite" homology, which can either be constructed by using locally-finite chains or by more advanced sheaf-theoretic ...
- 2,483
1
vote
0
answers
95
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,084