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

0
votes
1answer
31 views

Degree of the negative part of a divisor

Let $K$ be an algebraically closed field (or $\overline{\mathbb{C}(z)}$ for more requirement). And let $P \in K[x,y]$ be an irreducible polynomial of degree $m$ with respect to $x$ and degree $n$ with ...
10
votes
0answers
635 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
0answers
851 views

Ample divisors on projective surfaces

Question: If $X$ is a projective surface and $U$ is an open affine subset of $X$, then is it true that $X \setminus U$ is the support of an (effective) ample divisor on $X$? Background: I was reading ...
3
votes
0answers
113 views

Blowig-up a point in the singular locus

Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow ...
3
votes
0answers
110 views

Non-vanishing of $H^0$ on rational surface

Let $X$ be a smooth rational surface that admits a proper birational morphism to $\mathbb{P}^2$ and $D$ a simple normal crossing divisor on $X$ such that $K_X+D$ is big, is it true that ...
3
votes
0answers
142 views

Hypersurfaces with Gorenstein singular loci

Recall that a hypersurface $D$ in a complex manifold $X$ is called a free divisor if the Lie algebroid $\mathcal{T}_X(-\log D)$ of vector fields tangent to $D$ is locally free. This condition is ...
3
votes
0answers
267 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
0answers
142 views

A nice way to verify whether the Neron-Severi group of a smooth affine variety is zero

Let $S$ be a smooth affine variety over an algebraically closed field (this could be the field of complex numbers). Is there an 'easy' way to verify whether $NS(S)=0$? Unfortunately, I don't know how ...
2
votes
0answers
492 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'. ...
2
votes
0answers
328 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 ...
2
votes
0answers
239 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 ...
1
vote
0answers
102 views

A question on the secondary fan

I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...
1
vote
0answers
173 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 ...
1
vote
0answers
59 views

lift sections on a thickened curve

Let $X$ a curve over an algebraically closed field $k$ and $D$ a divisor on X. Fix an integer $N$ and a closed point $x$ on $X$, we assume that $\deg(D)$ is big enough such that we have a surjective ...
1
vote
0answers
127 views

cohomology of a normal crossing divisor

Let $D$ be a simple normal crossing divisor on a smooth projective variety over a field $k \subset \mathcal{C}.$ Write $D_i$ with $i \in I$ for its irreducible components. Denote, as usual, ...
1
vote
0answers
260 views

Canonical divisor of a curve base point free (if g>0)

Is there a way to prove that the canonical divisor $W$ of an algebraic function field in one variable $F$ over a field $K$ (that is the function field of an algebraic curve) of genus $g>0$ is base ...
0
votes
0answers
50 views

open subset in constructible set of divisors

Let a smooth projective curve $X$ over $\mathbb{C}$. Let a pair $(x, D)$ a pair xith a closed point $x$ and $D$ an effective divisor on $X$, such that $d_{x}:=m_{x}(D)\neq 0$. Let $N=\deg (D)$ and ...
0
votes
0answers
70 views

sections of vector bundles transversal to a divisor

Let $X$ a smooth projective curve over $\mathbb{C}$, $S$ a finite subscheme of $X$. $E$ a vector bundle over $X$ with a divisor $D$. We look at the sections $A:=H^{0}(X,E)$ with $\deg E$ big enough. ...
0
votes
0answers
80 views

invertible sheaf of a hypersurface

Let $X \hookrightarrow \mathbb{P}^n$ be a hypersurface of degree $d$. I am trying to prove that $\mathcal{O}_{\mathbb{P}^n}(X)=\mathcal{O}(d)$. My idea is the following: if one considers the $d$-uple ...
0
votes
0answers
100 views

How to compute the Betti numbers of S-D for a surface S and a divisor D?

Let S be a projective non-singular surface and D a Cartier divisor which has a smooth representative. Can the Betti numbers of S-D be represented by the Betti numbers of S and D? In a paper ...
0
votes
0answers
210 views

Properties of morphisms induced by divisors on curves

There are a few properties from Hartshorne IV on curves that I am trying to verify. Let $D$ be an effective divisor on a curve (integral scheme of dimension 1, proper over $k$, regular) $X$, $\dim ...