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.
345 questions
4
votes
0
answers
1k
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 ...
- 4,164
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{...
- 1,338
4
votes
1
answer
230
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$ ...
- 8,998
4
votes
1
answer
509
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 $...
- 151
2
votes
0
answers
136
views
Average length of consecutive integers which have an increasing number of divisors
Consider the nine consecutive natural numbers starting from $1584614377$.
...
- 5,470
3
votes
0
answers
121
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)$ ...
- 1,363
6
votes
1
answer
643
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:
...
- 213
1
vote
0
answers
50
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 ...
- 231
11
votes
1
answer
866
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 ...
- 3,717
5
votes
1
answer
463
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}^...
- 100
2
votes
1
answer
218
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 ...
- 8,998
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 ...
user114666
3
votes
2
answers
396
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}))$.
...
- 519
1
vote
0
answers
202
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\...
- 8,998
2
votes
1
answer
482
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 ...
- 8,998
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)$.
...
user329228
6
votes
2
answers
422
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:
$...
- 8,998
0
votes
1
answer
184
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 ...
- 9
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$ ...
- 8,998
1
vote
0
answers
168
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\...
- 41
2
votes
1
answer
487
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 ...
- 8,998
2
votes
1
answer
489
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.
...
- 8,998
0
votes
1
answer
271
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 $...
- 8,998
3
votes
1
answer
529
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) / \...
- 651
6
votes
0
answers
490
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 ...
- 445
2
votes
1
answer
171
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 $...
user114666
2
votes
0
answers
129
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 ...
- 25
0
votes
0
answers
201
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) = \...
- 1
3
votes
1
answer
461
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}$-...
- 1,168
0
votes
0
answers
181
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$...
- 25
5
votes
1
answer
535
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,...
- 267
9
votes
1
answer
443
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 ...
user125056
5
votes
1
answer
359
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 ...
- 26.1k
0
votes
1
answer
88
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....
- 1,197
0
votes
0
answers
231
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 ...
- 5,966
0
votes
0
answers
285
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,...) ...
- 5,966
3
votes
1
answer
160
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}$. ...
user114666
5
votes
0
answers
413
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 ...
- 1,104
2
votes
1
answer
398
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\...
user168611
10
votes
2
answers
1k
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\...
user168611
2
votes
0
answers
154
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 ...
user169803
2
votes
0
answers
220
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 ...
user114666
5
votes
1
answer
243
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 ...
user169803
2
votes
1
answer
464
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)$...
- 115
3
votes
1
answer
217
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\...
user168611
1
vote
1
answer
729
views
Push-forward of divisors and intersections
Let $f:X\rightarrow Y$ be a surjective finite morphism of varieties, with $X$ normal and $Y$ smooth. Let $D\subset X$ be a divisor and $C\subset Y$ a curve. Does the equality
$$C\cdot f_{*}D = f^{*}C\...
user168627
3
votes
0
answers
199
views
Divisorial contractions and singularities
I have a smooth $6$-fold $X\subset\mathbb{P}^n$ and a divisor $D\subset X$ cut out by a quadratic polynomial. I know that $D$ in singular along a smooth $3$-fold $Y\subset X$, and that if $Z$ is the ...
user125056
2
votes
1
answer
543
views
Divisors on the symmetric product of an elliptic curve
Assume that $C$ is an elliptic curve and $C_p$ is the $p$-fold symmetric product. Let $\beta:C_p\to C$ be defined by the addition on the elliptic curve. Let $u\in C$ be the zero in the additive group ...
- 439
6
votes
1
answer
316
views
First Chern class and field extensions
Let $X$ be a smooth, complex projective algebraic variety defined over a number field $K$.
Let $D$ be a divisor of $X$ defined over $K$ with the following property:
For any curve $C$ defined over $K$,...
- 321
1
vote
1
answer
210
views
Gcd of linear function
$\DeclareMathOperator\gcd{gcd}$Take $q\in \mathbb N$ and $X>0$ ($q$ not necessarily smaller than $X$). A sum such as
$$\sum_{d\leq X}(q,d)$$
is easily seen to be $\ll q^\epsilon (X+q)$ so that the ...
- 1,381