All Questions
Tagged with sheaf-cohomology ag.algebraic-geometry
221 questions
1
vote
0
answers
114
views
Iitaka dimension of a $\mathbb{Q}$-Cartier Prime divisor
Let $X$ be a normal projective variety and $D$ a prime divisor such that $mD$ is Cartier for some integer $m>0$.
Suppose $H^1(X,\mathcal{O}_X)=0$ and $mD|_D\sim 0$.
My questions are the following:
...
- 85
1
vote
0
answers
164
views
Compute $H^i(S,\underline{\text{Hom}}(A,\mathbb G_m))$ for a semi-abelian scheme $A$
How can I compute $H^i(S,\underline{\text{Hom}}(A,\mathbb G_m))$ (where $A$ denotes a semi-abelian scheme over $S$, $\mathbb G_m$ denotes the multiplicative group over $S$ and $\underline{\text{Hom}}$ ...
- 11
1
vote
0
answers
182
views
Cohomological criterion for being projectively normal
Let $X$ be a smooth projective variety over some algebraically closed field $K$ and let $\mathcal{L}$ be a line bundle that is generated by global sections. I want to know whether the ring $\sum_{n\in\...
- 3,031
1
vote
0
answers
80
views
Sections of nodal curves
We work over an algebraically closed field. Suppose $X\subset \mathbf{P}^n$ is an integral projective curve and $\pi:X\to Y$ is a linear projection that identifies two distinct points $p,q\in X$ to a ...
- 141
-2
votes
1
answer
203
views
Flat cohomology and finite direct sum
Let $X$ be a scheme (we can assume $X$ is smooth over a field $k$). Let $\mathcal F_1$ and $\mathcal F_2$ be two sheaves of abelian groups on $X$.
Is it always true that $H^i_{\text{flat}}(X, \...
- 167
6
votes
1
answer
1k
views
Poincare duality on the level of complexes
The classical Poincare duality is formulated in terms of cohomology groups. I am wondering if we can also formulate it in terms of complexes.
In particular, suppose $\mathcal{C}^*$ is a complex of $...
- 69
2
votes
1
answer
1k
views
Cohomology of tangent sheaf of a hypersurface
Let $X\subset\mathbb{P}^n$ be an irreducible and reduced hypersurface of degree $d$. How can one explicitly compute the dimension of the vector spaces $H^0(X,T_X),H^1(X,T_X),H^2(X,T_X)$? Here $T_X$ is ...
user125056
2
votes
0
answers
251
views
Is there a by-hand prove that $\Gamma(\mathbb{C}P^n,E)$ is finite dimensional for a holomorphic vector bundle $E$?
Please let me know whether this question is suitable for Mathoverflow.
Let $E$ be a finite holomorphic vector bundle (or more generally a coherent analytic sheaf) on a compact complex manifold $X$. ...
- 9,019
1
vote
0
answers
312
views
Cohomology of constant sheaves
Let $X= spec(k)$ where $k$ is an algebraically closed field. Consider the constant sheaf $\mathbb{Z}$ on the fppf site of $X$. I'm interested in computing $H^1_{fppf}(X, \mathbb{Z})$. I know that $H^...
- 11
3
votes
1
answer
177
views
is the induced map of an embedding an Iso on Ext-groups?
I am sorry, but I am quite new to Ext groups of sheaves. However, I have a closed embedding of projective $\mathbb{C}$-schemes $\iota : X \hookrightarrow Y$ and was wondering if
$$\iota_*:\mathrm{Ext}^...
- 213
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
16
votes
1
answer
1k
views
Does every sheaf embed into a quasicoherent sheaf?
Question. Let $X$ be a scheme. Let $\mathcal{E}$ be a sheaf of $\mathcal{O}_X$-modules. Is there always a quasicoherent sheaf $\mathcal{E}'$ together with a monomorphism $\mathcal{E} \to \mathcal{E}'$?...
- 3,312
4
votes
1
answer
1k
views
Computation of cohomology of ideal sheaves
Let $j: X \to Y$ be a closed embedding. Let $I_{X/Y}$ be the ideal sheaf of this closed embedding. Then there is a exact sequence
$$ I_{X/Y} \to \mathcal{O}_Y \to j_{*}\mathcal{O}_X \to 0$$
One use ...
- 1,277
1
vote
1
answer
315
views
What is the hypercohomology of the push-forward of the intersection chain complex of an open cone to its closure?
Let $X = \left(L \times [0, 1]\right) / \left(L \times \{0\}\right)$ be the closed cone over a closed smooth $d$-dimensional manifold $L^{d}$. Let $i \colon Y \hookrightarrow X$ denote the inclusion ...
- 165
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
3
votes
0
answers
155
views
Semicontinuity of cohomology of torsion-free sheaves restricted to divisors
Let $X$ be a smooth projective variety, $\mathcal{E}$ a torsion-free coherent sheaf on $X$ and $\mathfrak{d}$ a linear system of divisors in $X$.
I would like to show (at least when $X$ is a surface) ...
- 263
1
vote
1
answer
587
views
Reformulation of Grothendieck vanishing theorem
Let $X$ be a smooth, projective variety, ${F}$ a quasi-coherent $\mathcal{O}_X$-module on $X$ supported on a closed subscheme, say $Z \subset X$. Is it true that $H^i(X,F)=0$ for all $i>\dim Z$?
...
- 1,593
2
votes
1
answer
202
views
Sheaf cohomology of a complement of finitely many points
Let $X$ be a smooth, projective surface in $\mathbb{P}^3$ and $p \subset X$ a closed point in $X$. How do I compute $H^1(\mathcal{O}_{X\backslash p})$?
Any reference/idea will be most welcome.
- 2,032
1
vote
0
answers
97
views
Thom-type isomorphism on sheaf cohomology
Let $X$ be a smooth, projective surface and $T$ a finite set of points in $X$ i.e., of codimension $2$ in $X$. Is it true that $H^i(\mathcal{O}_X)=H^i(\mathcal{O}_{X\backslash T})$ for $i \ge 1$?
- 2,032
6
votes
1
answer
334
views
Naive question on local cohomology
Let $X$ be a smooth, projective variety and $Z_1, Z_2$ two smooth, projective subvarieties in $X$ of the same dimension. Let $E$ be a locally free sheaf on $X$. Recall, there are natural morphims:
$$...
- 1,593
1
vote
0
answers
206
views
How to calculate : $ \mathrm{Hdg}^{ 2 \bullet } ( \mathcal{H}\mathrm{ilb} ( \mathbb{P}^n ),\mathbb{Q} ) $?
I try to calculate the rational cohomology algebra $ \mathrm{Hdg}^{ 2 \bullet } ( \mathcal{H}\mathrm{ilb} ( \mathbb{P}^n ),\mathbb{Q} ) = \displaystyle \bigoplus_{k=0}^{+ \infty} \mathrm{Hdg}^{ 2 k } (...
- 325
3
votes
0
answers
152
views
exact sequence of fundamental groups associated to "almost" smooth families of curves
Suppose I have a proper, flat family of curves $X \to S$ that has a section. Fix a basepoint $s \in S$ and let $X_s$ denote the corresponding fiber. Let $\mathbb{L}$ be a set of primes which does not ...
- 1,298
3
votes
0
answers
300
views
An algorithm to compute coherent sheaf cohomology in projective space over a ring [closed]
EDIT: As the article was put on hold, because it was unclear what I am asking, here I put again my two questions:
1) Is the argument I used to derive the algorithm valid?
The second question is a ...
- 708
6
votes
1
answer
728
views
Sheaf cohomology with support vanishes
I am trying to solve the exercise 2.4 chapter III in Hartshorne's "Algebraic Geometry". For this I would like to prove for a sheaf $F$ of Abelian groups on a topological space $X$ and $U$ open subset ...
- 233
1
vote
0
answers
328
views
Cohomology of a structure sheaf of a normal affine variety
I can't find the reference for the following fact:
Let $X$ be an affine variety and let $Y$ be its smooth resolution. $H^0(X,\mathcal{O}_x)=H^0(Y,\mathcal{O}_Y)$ if and only if $X$ is normal.
- 371
2
votes
1
answer
460
views
Cartier Divisor generated by Global Sections
Let $X$ be an integer curve of (arithmetic) genus $g=0$. (the arithmetic genus $g$ is defined by $g:= 1 -\chi_k(\mathcal{O}_X)$ where $\mathcal{O}_X$ is the structure sheaf of $X$ and $\chi_k(\mathcal{...
- 5,986
3
votes
1
answer
343
views
Is any element in $H^2_{et}(X,\mathcal{O}_X^*)$ locally trivial in the Zariski topology?
Let $X$ be an algebraic variety over a field $k$ and we consider the cohomological Brauer group $H^2_{et}(X,\mathcal{O}_X^*)$.
For any element $\alpha \in H^2_{et}(X,\mathcal{O}_X^*)$ and any closed ...
- 9,019
8
votes
1
answer
1k
views
What are the uses of coefficient systems for arithmetic cohomology theories?
In topology when studying a space with non-trivial fundamental group it becomes important to consider homology and cohomology with coefficients in representations of the fundamental group, i.e. local ...
- 183
4
votes
0
answers
133
views
Theta divisor on compactified jacobian of nodal curve
Let $X$ be a Nodal curve. Let $\bar{J}(X)$ be compactified Jacobian (rank one torsion free sheaf of degree one) and $\Theta$ denote the theta divisor in $J$.
How to compute $H^0(\bar{J}(X);\Theta^k)$, ...
- 137
9
votes
1
answer
1k
views
Do the cohomology groups of the structure sheaf of a smooth resolution depend on the resolution?
Let $X$ be an affine variety. Let $Y$ be smooth and let the map $f\colon Y\rightarrow X$ be proper birational. We will call $Y$ a smooth resolution of $X$.
Do the cohomology groups $H^i(Y,\mathcal{O}...
- 371
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
3
votes
0
answers
154
views
$\operatorname{Ext}^2(O,\omega)$ as a higher extension on $\mathbb{P}^1 \times \mathbb{P}^1$
Let $X = \mathbb{P}^1 \times \mathbb{P}^1$ over a field $k$ and consider $Ext^2(\mathcal{O}_X,\omega_X)\cong H^2(\omega_X) = H^2(\mathcal{O}_X(-2,-2)) = k$
Let $C = \mathbb{P}^1$.
By Kunneth $H^2(\...
- 3,968
7
votes
0
answers
574
views
What is the geometric intuition for the sheaf-theoretic terms "soft", "fine", and "flabby"?
The sheaf-theoretic terms "soft", "flabby", and "fine" are of an obviously geometric character, and suggest opposition with "hard", "rigid", and "coarse" sheaves (I'm just inventing these terms here).
...
- 6,025
4
votes
0
answers
343
views
Does hypercohomology of the Koszul complex compute sheaf cohomology?
Let $i:X \to \mathbb{P}^n$ be a smooth projective variety defined by the vanishing locus of polynomials $(\underline{f}) = (f_1,\ldots,f_k)$ which have degrees $>0$ and are pairwise coprime, ...
- 1,716
4
votes
2
answers
1k
views
Different definition of sheaf cohomology
It could be related to my previous question here.
Let $\mathcal F$ be a sheaf on a topological space $X$. Hartshorne in his book on Algebraic geometry defines the sheaf cohomology by
$$
H^i(X, \...
- 2,789
8
votes
1
answer
394
views
Independence of embedding for higher sheaf cohomology of local cohomology on projective space
Suppose $Y$ is a projective variety over a field $k$. Fix an embedding $\iota: Y \hookrightarrow \mathbb{P}^n_k$ for some $n$, and consider the local cohomology sheaves $\mathcal{H}^j_Y(\omega_{\...
- 409
2
votes
0
answers
263
views
Global section of line bundle on anti-canonical rational surface
Let $X$ be an anti-canonical rational surface(i.e. $-K_X$ is effective) such that $K_X^2\geq 1$. Let $D$ be a $r$-class divisor ($D^2=r, D^2+D.K_X=-2$, the latter condition can be re-interpreted as $\...
- 1,982
4
votes
0
answers
575
views
Sheaf Cohomology as Glueing of Local Data
For some time I've been trying to find an answer to the question "why do we care about or compute sheaf cohomology". As far as I can tell books like Hartshorne treat this as something we already want ...
- 901
12
votes
1
answer
2k
views
difference between the small and big étale/flat/... site
What is the difference between the small and the big étale (or flat or syntomic or ...) site? How does the cohomology vary? When should I use which one? Up to now, I have always used the small sites.
user19475
12
votes
1
answer
860
views
Algebraic groups without torsors
If $G$ is an algebraic group such that $H^1(S, G) = 0$ for all schemes $S$, must $G$ be the trivial group?
My original motivation for the question is the rationale I always give students for studying ...
- 8,004
5
votes
2
answers
676
views
Log canonical counterexample to Kawamata-Viehweg vanishing
I found in the literature that, in characteristic 0, Kodaira vanishing holds for log-canonical pairs. On the other hand, the usual statement for Kawamata-Viehweg vanishing talks about a klt pair $(X,\...
- 625
6
votes
1
answer
479
views
A mysterious quasi-isomorphism in Kashiwara-Schapira's proof of HKR
On p. 127 of Kashiwara-Schapira's paper "Deformation Quantization Modules", there is the following situation: $X$ is a smooth complex (quasi?)projective variety and $\delta\colon X\to X\times X$ is ...
- 2,011
16
votes
1
answer
2k
views
Where am I suppose to actually learn how to compute hypercohomology?
I'm reading about algebraic de Rham cohomology over characteristic zero which is constructed using hypercohomology. Already, constructing injective resolutions is difficult, and coupling this with ...
- 1,716
2
votes
0
answers
265
views
Cohomology of intersection of projective hyperplanes
I will change my original question a bit for a bounty:
Let $A$ be a reduced finitely generated $\bar{\mathbb{F}}_p$-algebra (integral, if you want). Let $X$ be a non-empty intersection of ...
- 189
3
votes
1
answer
287
views
What's $H^*(X - \{x_1,\ldots,x_n\},\mathcal{O})$, when $X$ is a projective smooth surface?
Let $X$ be a smooth projective surface over a field $k$. Is there a way to compute $H^1(X - \{x\},\mathcal{O}_{X-\{x\}})$ in terms of similar invariants for $X$? Actually I'd like to remove even ...
0
votes
0
answers
191
views
First sheaf cohomology $H^1(\mathscr{O}_D, \mathbb{D})=0$
Given a finite divisor$$D=p_1+\dots +p_m -q_1 -\dots -q_n$$on the unit disk $\mathbb{D}$, does it necessarily follow that the first sheaf cohomology group equals zero, i.e.$$H^1(\mathscr{O}_D, \mathbb{...
user76513
3
votes
1
answer
159
views
Homology in the sections of an infinite exact sequence of injective sheaves of $\mathcal O_X$-modules?
Let $(X, \mathcal O_X)$ be a scheme and the following an infinite, exact sequence of injective sheaves of $\mathcal O_X$-modules:
$$
\cdots \overset{f_5}\longrightarrow I_5\overset{f_4}\longrightarrow ...
- 355
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
4
votes
1
answer
409
views
Does the nearby cycle functor commute with the Verdier duality?
I would be interested to know the answer to the above question for the constructible bounded derived category on complex analytic or complex algebraic manifolds (or some other context). A reference ...
- 21.8k
6
votes
1
answer
753
views
Sections of the conormal bundle
Let $X\subset\mathbb{P}^N$ be a quadratic manifold. That is $I(X)$ is generated by quadratic polynomials $Q_1,...,Q_m$.
Let $\mathcal{I}_X$ be the ideal sheaf of $X$ and $\mathcal{I}_X/\mathcal{I}_X^...
user82886