For questions related to divisors in the sense of algebraic geometry (Cartier divisors, Weil divisors and so on). For question on divisors in the number theoretic sense please use the tag divisors-multiples.

learn more… | top users | synonyms

2
votes
1answer
556 views

(Anti)Canonical divisor of a blow up

This question may be utterly trivial, or not, but as someone with hardly any knowledge of algebraic geometry I thought there could be a chance I get lucky. Let X be a rational surface obtained by n ...
2
votes
2answers
851 views

Generalisations of Riemann-Roch for surfaces

Let $X$ be a smooth projective algebraic surface (over $\mathbb{C}$ ). For all $L\in \mathrm{Pic}(X)$, we have $$\chi(L)=\chi(\mathcal{O}_X)+\frac{1}{2}(L^2-L\cdot \omega_X).$$ This is the famous ...
3
votes
2answers
277 views

Moving a canonical divisor on a normal surface away from the singular locus

In a previous question Moving a Weil divisor on a normal surface away from a finite set of closed points I probably asked for too much. As J.C. Ottem pointed out, it is not always possible to move a ...
2
votes
3answers
351 views

Moving a Weil divisor on a normal surface away from a finite set of closed points

Let $Y$ be a normal surface and let $X$ be a closed subscheme of codimension 2, i.e., $X$ is a finite set of closed points. Let $D$ be a Weil divisor on $Y$. Question. Does there exist a Weil ...
2
votes
1answer
259 views

resolution of singularities and a projection formula

Let $Y$ be a normal surface and let $p:X\longrightarrow Y$ be a resolution of singularities. Let $f$ be a rational function on $Y$. Do we have that $p_\ast$div $(d(f\circ p)) = $ div $df$ as ...
2
votes
2answers
275 views

Global sections of a linear system

Recently, following Beauville's book (exercises iv.(1),(2)) I have been working on Hirzebruch surfaces (from the algebraic geometry point of view) and I had to compute the space of global sections of ...
29
votes
10answers
2k views

Which 'well-known' algebraic geometric results do not hold in characteristic 2?

A smooth curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$. Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. ...
1
vote
1answer
893 views

Cone of effective divisors!

Let $X$ be a smooth simply connected projective variety of dimension $n$ (over complex numbers of course). For such $X$ we have two famous cones which are cone of effective curves and ample cone and ...
14
votes
2answers
887 views

Bertini theorems for base-point-free linear systems in positive characteristics

Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...
3
votes
0answers
237 views

On generators of the Picard group of a projective smooth surface over a finite field

Let $X$ be a smooth projective surface over a finite field $k=\mathbb{F}_q$. Let us first review the proof of the finite generation of $Pic(X)$ (notice that the proof is valid for any smooth ...
2
votes
2answers
575 views

Isolated conics on a del Pezzo surface

Is there anything known about isolated conics in a del Pezzo surface: their number, arrangement, and the corresponding elements of the class group of surface's minimal desingularization? (Isolated ...
12
votes
2answers
2k views

Elementary short exact sequence of sheaves

This question arised when I was trying to use this answer to understand Reid's "Young Person's guide to Canonical Singularities". In particular page 352 when computing the blow-up $Y\rightarrow ...
4
votes
2answers
426 views

Vague question on $Pic^0$

For a smooth variety $X$ when $Pic^0(X)$ is trivial, we get an isomorphism between $N^1(X)$ and Picard group and life become easier. My question is whether in general there are theorems, criteria ... ...
7
votes
1answer
383 views

Does combining Abhyankar's Lemma and embedded resolution give horizontal normal crossings

Let $\pi:Y\longrightarrow \mathbf{P}^1_{\mathbf{Z}}$ be a finite surjective flat morphism of schemes, where $Y$ is a normal integral flat projective 2-dimensional $\mathbf{Z}$-scheme, with branch ...
7
votes
1answer
376 views

Cones, monoids, and the space of (very) ample divisors

An interesting and useful tool to study a projective variety is its ample cone. Understanding the structure of this cone reveals information about the variety, and it is an isomorphism-invariant so ...
2
votes
0answers
467 views

Riemann-Roch for ARBITRARY Function Fields

I know that on an algebraic function field in one variable over any base field, there is a good divisor theory for it and a Riemann-Roch Theorem; in particular, there is a 'good' notion of 'genus'. ...
7
votes
1answer
590 views

Why is (line bundle, appropriate rational section) not a standard kind of divisor?

In algebraic geometry, there are two standard "kinds" of divisors: Weil divisors and Cartier divisors. Weil divisors provide better geometric intuition, while Cartier divisors are more general (if ...
5
votes
1answer
467 views

Stable base loci cannot contain isolated points

Let $X$ be a normal projective complex variety. A theorem of Fujita-Zariski says that if $L$ is a Cartier divisor on $X$ such that the base locus $Bs(|L|)$ is a finite set then $L$ is semiample. It ...
2
votes
0answers
315 views

A motivic complex

By definition, Voevodsky's motivic complex (an object of his $DM^{eff}_-$) is a complex of sheaves with transfers whose cohomology sheaves are homotopy invariant. Now, I consider the complex (of ...
5
votes
3answers
570 views

Are there (-2)-curves on an Enriques surface?

Let $X$ be an Enriques surface. A $(-2)$-curve is an irriducible rational curve on X such that $C^2 = -2$. By Proposition [VIII,16.1] from Barth-Peters-Van de Ven, we have that if $D^2 = -2$, then it ...
1
vote
1answer
346 views

Numerically rigid nef divisor

Is it possible to find an example of an $\mathbb{R}$-Cartier divisor $D$ on an irreducible variety $X$ that is non-trivial, nef, effective and numerically rigid? By "numerically rigid" I mean that ...
10
votes
0answers
536 views

Relative canonical divisors

Suppose that $X$ is a Gorenstein variety and that $\pi : Y \to X$ is a birational map of varieties with normal $Y$. In this case the relative canonical divisor is defined to be $K_Y - \pi^*K_X$ (if ...
8
votes
2answers
531 views

Base locus of divisors on blowings up of the projective space

Let $X$ be the blowing-up of $\mathbb{P}^n$ in $r$ points in general position. Let $\{H,E_1,...,E_r\}$ be the standard basis of $Pic(X)$. Further let $D=dH-\sum m_j E_j$, be an effective divisor, with ...
5
votes
2answers
2k views

The canonical line bundle of a normal variety

I have heard that the canonical divisor can be defined on a normal variety X since the smooth locus has codimension 2. Then, I have heard as well that for ANY algebraic variety such that the canonical ...
3
votes
1answer
537 views

Birational pullbacks of divisors on singular varieties

Actually I have two related questions. Here is the first... Suppose $X$ is a, possibly singular, complex projective variety. Let $D$ be an effective Cartier divisor on $X$ and $x\in X$ a closed ...
2
votes
1answer
346 views

About b-divisors

In the last period I have studied a number of papers of O. Fujino and F. Ambro using the language of b-divisors. So far it seems to me that every proof I have studied can be translated in the ...
11
votes
6answers
1k views

Seeking Noetherian normal domain with vanishing Picard group but not a UFD

Once again, the question says it all. My motivation is the article on factorization I am writing. I want to explain (as well as to understand!) why for normal Noetherian domains of dimension greater ...
2
votes
0answers
229 views

Proof of Saito criterion

Does it exist another proof of saito's criterion for free divisors, other than the one in "K. Saito, Theory of logarithmic differential forms and logarithmic vector fields, J. Fac. Sci. Univ. Tokyo ...
6
votes
3answers
1k views

Contracting divisors to a point

This is quite possibly a stupid question, but it is pretty far from what I normally do, so I wouldn't even know where to look it up. If $X$ is a projective variety over an algebraically closed field ...
1
vote
3answers
523 views

Terminology issue: meaning of 'ample class' ?

What is meant by an "ample class" in general? Motivation: In the document I am reading, the phrase in question is "fix an ample class $\alpha\in H^1(X,\Omega^1_X)$." I know what ampleness of a line ...
4
votes
2answers
498 views

Special divisors on hyperelliptic curves

I was reading a proof that used the following result Let $C$ be a hyperelliptic of genus $\ge 3$ and $\tau \colon C \to C$ the hyperelliptic involution. If $D$ is an effective divisor of degree ...
4
votes
7answers
845 views

Nef divisors with few global sections

Are there nef divisors D on a complex projective manifold X such that $h^0(X,D)$ is less than or equal to $\dim X$? Edit: In fact I'm interested in nef line bundles D, not just divisors.
12
votes
5answers
3k views

blowing up, -1 curves, effective and ample divisors

Lets say we're on a smooth surface, and we blow up at a point. Is there a simple explicit computation that shows to me the fact that the exceptional divisor E has self intersection -1 ? I don't ...
3
votes
3answers
276 views

Nefness of $h-e$ in the blowup of $\mathbb{P}^n$

Let $S$ be the blow up of $\mathbb{P}^n$ in a point $P$. Let $h$ be the class of the pullback of an hyperplane of $\mathbb{P}^n$ and $e$ the class of the exceptional divisor. Why is the divisor ...
2
votes
4answers
708 views

Examples of divisors on an analytical manifold

I am trying to understand divisors reading through Griffith and Harris but it is difficult to come up with any particular interesting example. I have browsed through Hartshone's book but everything is ...
6
votes
2answers
753 views

Anticanonical divisor of the blow up of P^2 in 9 points

Let $S$ the blow up of $P^2$ in nine points. Why is the anticanonical divisor $-K_S$ not semiample?
4
votes
1answer
511 views

A working generalization of Weil divisors

Hartshorne defines Weil divisors under the hypotheses "Noetherian integral separated scheme regular in codimension 1", which, for example, ensures that the divisor of a rational function is a finite ...
5
votes
1answer
271 views

Is there a canonical notion of principal divisor on a discrete dynamical system?

I hope this question is well-posed. Let (X, f) be a discrete dynamical system such that every x in X has finite period, i.e. there is some n such that f^n(x) = x. Let Div(X) be the free abelian ...
7
votes
2answers
2k views

does a line bundle always have a degree

For curves there is a very simple notion of degree of a line bundle or equivalently of a Weil or Cartier divisor. Even in any projective space P(V) divisors are cut out by hypersurfaces which are ...
5
votes
3answers
377 views

Weil divisors on non Noetherian schemes

Let X be an integral scheme that is separated (say over an affine scheme). Define a Weil divisor as a finite integral combination of height 1 points of X, where the height of a point of X is the ...