# Questions tagged [divisors]

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.

299
questions

2
votes

1
answer

230
views

### Is the reduced scheme associated to a Cartier divisor always Cartier?

Let $X$ be a normal integral variety over $\mathbb{C}$ and $D \subset X$ be a Cartier divisor in $X$. Is the associated reduced scheme $D_{\mathrm{red}}$ also necessarily a Cartier divisor in $X$?

5
votes

1
answer

282
views

### A constructive proof of the theorem of the cube

Do you know a constructive proof of the theorem of the cube ? More precisely, let $X$, $Y$, $Z$ be projective varieties (e.g., over an algebraically closed field $k$) with points $x$, $y$, $z$ ...

2
votes

1
answer

171
views

### Two conditions on divisors on surfaces

Let $X$ be a smooth projective surface and $D$ be an effective Cartier divisor (not necessarily ample) on $X$. Is there a connection between these two conditions?
$(i)$ for a large enough $n$, the ...

4
votes

1
answer

125
views

### Tri-homogenous polynomials of tridegree $(3,3,3)$ to add three points on an elliptic curve

Consider an elliptic curve $E \subset \mathbb{P}^2$ with the zero point $\mathcal{O}$. There are classical articles about complete systems of addition laws on $E$ (see
Lange and Ruppert - Complete ...

3
votes

1
answer

147
views

### Extending effective Cartier divisors

Let $X$ be a non-singular, quasi-projective variety (over $\mathbb{C}$) of dimension at least $3$, $D_1, D_2$ are integral effective divisors in $X$ with $D_1 \cap D_2$ of codimension $2$ in $X$. Let $...

3
votes

0
answers

172
views

### Is there any relation between the pushforward of a divisor and the pushforward of its line bundle?

Given a morphism between normal varieties $f: X \to Y$, we can push forward a Cartier divisor $D$ to get a cycle $f_* D$. On the other hand, we can form the line bundle $\mathscr{L}(D)$ and push that ...

2
votes

0
answers

47
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{...

5
votes

1
answer

184
views

### Volume of conic bundles

Consider a smooth conic bundle $X\rightarrow \mathbb{P}^1$ with discriminant of degree $d$ (the locus of $\mathbb{P}^1$ over which the fibers are reducible conics). There is a formula for $(-K_X)^2$ ...

3
votes

1
answer

134
views

### Zsigmondy's Theorem Generalization

Zsigmondy's Theorem states that if $a>b>0$ are coprime integers then for any integer $n\geq 1$ there is a prime $p$ that divides $a^n-b^n$ and does not divide $a^k-b^k$ for any positive integer $...

2
votes

0
answers

105
views

### Average length of consecutive integers which have an increasing number of divisors

Consider the nine consecutive natural numbers starting from $1584614377$.
...

3
votes

0
answers

62
views

### Detecting non-principal Weil divisors on normal varieties using curves

Let $X$ be a normal projective variety over an algebraically closed field $k$. Given any morphism $f:Y\to X$, there is a pullback homomorphism $f^*:\text{Cl}(X)\to\text{Cl}(Y)$, where $\text{Cl}(X)$ ...

5
votes

1
answer

393
views

### Hartshorne's proof of Halphen's theorem

Apologies if this is not quite at the level of MathOverflow, but it has already been asked at MSE and gone unresolved for several years despite a bounty.
Hartshorne states the theorem as follows:
...

1
vote

0
answers

39
views

### Torsion order on Prym variety

Consider two hyperlliptic curves $C_1,C_2$ over $\mathbb{Q}$, and a morphism $\phi:C_1 \rightarrow C_2$. Lifting this morphism on the Jacobians of $C_1,C_2$ and taking its kernel defines a Prym ...

11
votes

1
answer

786
views

### Is the divisibility graph of the proper divisors of n more often planar than not?

Define the divisibility graph of a set of positive integers as the graph whose vertices are the integers, two of which are joined by an edge if one divides the other.
For all N, is it true that ...

5
votes

1
answer

294
views

### Square root of a line bundle up to a finite surjective morphism

Given a projective variety $X$ over a field of any characteristic, consider a line bundle $\mathcal{L}$ over $X$.
The existence of a line bundle $\mathcal{L}^\prime$ with an isomorphism ${\mathcal{L}^...

3
votes

1
answer

145
views

### Existence of terminal $3$-fold flips

Does there exist a terminal $3$-fold $X$ with a curve $C\subset X$ such that $K_X\cdot C < 0$ admitting a Mori flip $X\dashrightarrow Y$, flipping $C$ to a curve $C'\subset Y$, where the singular ...

4
votes

1
answer

271
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 ...

3
votes

2
answers

255
views

### Abelian varieties corresponding to Hodge substructures

In an exercise of Voisin book, says:
Let $j:C\rightarrow S$ the inclusion of a smooth curve on a smooth connected projective surface. Set
$H=ker(j_*:H^1(C,\mathbb{Z})\rightarrow H^3(S,\mathbb{Z}))$.
...

3
votes

1
answer

165
views

### Mori cone of Picard rank two varieties

Let $X$ be a smooth projective variety of Picard rank two. Assume that there exists a surface $S\subset X$ such that
$$i^{*}:\text{Pic}(X)\rightarrow\text{Pic}(S)$$
is an isomorphism, where $i:S\...

2
votes

1
answer

277
views

### Divisors on projective bundles

Let $\pi:X = \mathbb{P}(\mathcal{E})\rightarrow\mathbb{P}^n$ be a projective bundle, where $\mathcal{E}$ is a rank two vector bundle over $\mathbb{P}^n$.
If $n = 0$ then $X = \mathbb{P}^1$, and for $n ...

5
votes

2
answers

413
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)$.
...

7
votes

2
answers

280
views

### Nef divisors on surfaces

Let $X$ be a smooth projective rational surface over an algebraically closed field of characteristic zero, and $D$ a divisor on $X$ such that $D$ is nef and $D^2 = 0$ with the following properties:
$...

2
votes

1
answer

157
views

### Curves in conic bundles

Consider a smooth minimal $3$-fold conic bundle $f:X\rightarrow\mathbb{P}^2$. Then $X$ has Picard rank two and consequently also the vector space of $1$-cycles is $2$-dimensional. Then the cone of ...

7
votes

2
answers

408
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$ ...

1
vote

0
answers

125
views

### Rational classes of $(-2)$-curves in a minimal surface of general type

Let $X$ be a minimal surface of general type over $\mathbb{C}$. One can show that if for any set of $(-2)$-curves $C_1,\cdots,C_l$ on $X$, there exists $k$, $1\le k\le l$ such that $$\sum_{i=1}^k\...

3
votes

1
answer

249
views

### A question on effective divisors

Let $X$ be a projective variety with two morphisms $f:X\rightarrow Y$ and $g:X\rightarrow Z$ with irreducible fibers of positive dimension. Assume that $Pic(X) = f^{*}Pic(Y)\oplus g^{*}Pic(Z)$. Then ...

3
votes

1
answer

174
views

### Nef and pseudo-effective divisors over non algebraically closed fields

Let $X$ be a projective variety over a field $K$. As a consequence of Kleiman's criterion, when $K$ is algebraically closed, we have that if $D$ is a nef divisor on $X$ then $D$ is pseudo-effective.
...

1
vote

1
answer

203
views

### Pseudoeffective divisors on surfaces

Consider a minimal smooth conic bundle $S$ of dimension two. Assume that there are two curves $C,F$ on $S$ such that $C^2 < 0$ and $F^2 = 0$. Let $D$ be a pseudoeffective divisor on $S$ such that $...

3
votes

1
answer

323
views

### Examples of complex manifolds with trivial Néron–Severi group?

$\DeclareMathOperator\NS{NS}\DeclareMathOperator\Pic{Pic}$Let $X$ be a compact complex manifold, assume projective if you'd like. Define the Néron–Severi group to be the quotient $$\NS(X) = \Pic(X) / \...

6
votes

0
answers

222
views

### Global sections of canonical line bundle on projective curve with everywhere vanishing derivative

Let $k$ be an algebraically closed field of positive characteristic $p$, $C$ be a curve (projective, non-singular, connected) of genus $g\geq 2$ over $k$ and $\omega \in H^0(C, \Omega_C)$ be a regular ...

2
votes

1
answer

144
views

### Restriction of small transformations

Let $\phi:X\dashrightarrow Y$ be an elementary small transformation (isomorphism in codimension $1$) between normal and $\mathbb{Q}$-factorial projective varieties.
Then there are small contractions $...

2
votes

0
answers

80
views

### principal divisor on complex surfaces

Let $X$ be a non compact complex surface non projective and non algebraic, and let $S$ be compact Riemann surface embedded in $X$ ( i mean that $S$ is a compact complex sub variety of $X$ of ...

0
votes

0
answers

102
views

### Intersection product when one factor is contained in the exceptional divisor

I am trying to calculate some intersection numbers and would appreciate help on the following problem:
Consider two divisors $D_1$ and $D_2$. Blowing up their intersection yields $\varphi^{*}(D_i) = \...

3
votes

1
answer

266
views

### Pullback of $\mathbb{R}$-Cartier divisors

I am reading the recent book by Kawamata, Algebraic Varieties: Minimal Models and Finite Generation. There is an English translation here .
In the bottom of page 16 he says that an $\mathbb{R}$-...

0
votes

0
answers

148
views

### Adjunction formula for non compact surfaces

Let $M$ be a non compact complex surface and S an embedded compact Riemann surface in $M$.
I already know how to show the following equality of fiber bundle:
$$\Omega^2_{M}|S =\Omega^1_S \otimes N^*_S$...

5
votes

1
answer

320
views

### Volume of a divisor on a smooth projective surface

Let $X$ be a smooth projective surface (over complex numbers). Let $D$ be a divisor on $X$. Then we know that its volume is defined as $$\text{vol}_X(D):= \lim \sup_{m \rightarrow \infty} \frac{h^0(X,...

9
votes

1
answer

247
views

### Set theoretic equation for Veronese varieties

Consider the embedding $f:\mathbb{P}^n\rightarrow\mathbb{P}^N$ induced by the complete linear system of degree $d$ hypersurfaces of $\mathbb{P}^n$. Its image $V_{n,\,d}$ is degree $d$ Veronese variety ...

5
votes

1
answer

330
views

### Computations of divisor class monoids

Let me first recall some definitions from the very first pages of Bourbaki, Commutative Algebra, Chapter 7, "Divisors".
Let $A$ be a (commutative) domain, $K$ its field of fractions. A ...

0
votes

1
answer

68
views

### What are conditions such that the polynomial $x^2+1$ divides $p(y)+q(z)+ax+b=F(x,\, y, \,z)$? [closed]

I came across the following problem:
What are conditions such that the polynomial $x^2+1$ divides $p(y)+q(z)+ax+b=F(x,\,y,\,z)$,?
Here $p$ and $q$ are also polynomials and $a$, $b$ are real numbers....

0
votes

0
answers

129
views

### Transversally intersecting divisors $C$ and $D$ in a Hartshorne's AG lemma

Question about proof of lemma V.1.3 in Robin Hartshorne's
Algebraic Geometry on page 358.
Let $X$ be surface. That's for us a nonsingular projective
surface over an algebraically closed field $k$ and ...

0
votes

0
answers

165
views

### Pencil of divisors in algebraic geometry

Let $X \subset \mathbb{P}^n$ be projective variety over alg closed field of char $0$ and
$C = V(F), D= V(G) \subset X$ two distinct divisors (e.g. two quadrics,
curves or lines lying in a surface,...) ...

3
votes

1
answer

138
views

### Picard group of $(SL(n)\times SL(m))$-orbits

Let $\mathbb{P}^N$ be the projective space of $n\times m$ matrices with complex entries modulo scalar. Consider the $(SL(n)\times SL(m))$-action on $\mathbb{P}^N$ given by $((A,B),Z)\mapsto AZB^{T}$. ...

5
votes

0
answers

309
views

### Most divisors on a curve aren't special?

I have a generic smooth curve $C$ of genus $g$ and fixed multiplicities $a_1, \dots, a_n \geq 0$ with $\sum a_i = g+1$.
Q1 : For generic marked points $p_1, \dots, p_n \in C$, must $\sum a_i p_i$ be a ...

2
votes

1
answer

334
views

### Picard group of $\mathrm{GL}(n)$-orbits

$\DeclareMathOperator\GL{GL}\DeclareMathOperator\Mat{Mat}$Consider the general linear group
$$
\GL(n) = \left\lbrace
\left(\begin{array}{cc}
A & C \\
M & B
\end{array}\right) \text{ with } A\...

9
votes

2
answers

764
views

### Picard group of a cubic hypersurface

Consider the following cubic hypersurface in $\mathbb{P}^5$:
$$
X = \{z_0z_3z_5-z_1^2z_5-z_0z_4^2+2z_1z_2z_4-z_2^2z_3 = 0\}\subset\mathbb{P}^5
$$
The singular locus of $X$ is the Veronese surface $V\...

2
votes

0
answers

113
views

### subspace of the global sections of $\mathcal O$$(D)$

Let $X$ be a smooth projective surface and $D$ an effective divisor whose complete linear system $|D$ is base point free and $D^2=1$. Suppose the dimension of $|D|$ is greater than or equal to 3. Is ...

2
votes

0
answers

119
views

### Divisorial contraction to a non-normal variety

Consider a divisorial contraction $f:X\rightarrow Y$, between projective varieties, contracting an irreducible divisor $D\subset X$ to a subvariety $Z\subset Y$ of codimension at least two, and which ...

5
votes

1
answer

189
views

### existence of birational morphism and divisors

The following result was metioned in a lecture: A nonsingular (or smooth) projective surface (variety of dimension 2) has a
birational morphism to the projective plane, if and only if there
exists an ...

2
votes

1
answer

192
views

### Is the positive part of the Zariski decomposition of a big $\mathbb{R}$-divisor big?

I can't understand why the positive part of the Zariski decomposition of a big class is itself big. More concretely:
let $X$ be a smooth projective surface over $\mathbb{C}$. Let $N^1_{\mathbb{R}}(X)$...

3
votes

1
answer

136
views

### Weak Fano varieties and small transformations

A projective normal and $\mathbb{Q}$-factorial variety $X$ is said to be log Fano if there exists and effective divisor $D$ on $X$ such $-K_X-D$ is ample and the pair $(X,D)$ is klt.
Now, let $f:X\...