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.

Filter by
Sorted by
Tagged with
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$?
user avatar
  • 1,939
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$ ...
user avatar
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 ...
user avatar
  • 257
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 ...
user avatar
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 $...
user avatar
  • 1,939
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 ...
user avatar
  • 3,686
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{...
user avatar
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$ ...
user avatar
  • 383
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 $...
user avatar
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$. ...
user avatar
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)$ ...
user avatar
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: ...
user avatar
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 ...
user avatar
  • 181
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 ...
user avatar
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}^...
user avatar
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 ...
user avatar
  • 301
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 ...
user avatar
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}))$. ...
user avatar
  • 399
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\...
user avatar
  • 355
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 ...
user avatar
  • 355
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)$. ...
user avatar
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: $...
user avatar
  • 355
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 ...
user avatar
  • 29
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$ ...
user avatar
  • 355
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\...
user avatar
  • 11
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 ...
user avatar
  • 301
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. ...
user avatar
  • 6,653
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 $...
user avatar
  • 301
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) / \...
user avatar
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 ...
user avatar
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 $...
user avatar
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 ...
user avatar
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) = \...
user avatar
  • 1
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}$-...
user avatar
  • 794
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$...
user avatar
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,...
user avatar
  • 257
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 ...
user avatar
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 ...
user avatar
  • 25k
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....
user avatar
  • 953
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 ...
user avatar
  • 35
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,...) ...
user avatar
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}$. ...
user avatar
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 ...
user avatar
  • 924
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\...
user avatar
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\...
user avatar
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 ...
user avatar
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 ...
user avatar
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 ...
user avatar
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)$...
user avatar
  • 73
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\...
user avatar

1
2 3 4 5 6