Skip to main content

All Questions

Filter by
Sorted by
Tagged with
2 votes
0 answers
56 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{...
PrimeRibeyeDeal's user avatar
4 votes
1 answer
649 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 ...
user avatar
5 votes
2 answers
527 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)$. ...
user avatar
6 votes
2 answers
524 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$ ...
Puzzled's user avatar
  • 8,998
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: ...
Sheng Meng's user avatar
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) ...
Andrea's user avatar
  • 263
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 $\...
user41650's user avatar
  • 1,982
1 vote
3 answers
845 views

Higher cohomology of sheaves on a projective space

Let $S\subset\mathbb{P}^n$ be a finite set of $s$ reduced points. Let $\mathcal{I}$ be the ideal sheaf of $S$ in $\mathbb{P}^n$. We consider the sheaf $$\mathcal{F}_k:=\mathcal{O}_{\mathbb{P}^n}(kd)\...
user avatar
1 vote
0 answers
445 views

Pull-back of globally generated sheaves

Let $X$ be a smooth projective surface in $\mathbb{P}^3$, $D=\sum_i n_iD_i$ an effective Cartier divisor. Let $C$ be a smooth irreducible curve on $X$. Denote by $i:C \hookrightarrow X$ is the closed ...
user43198's user avatar
  • 1,981