All Questions
Tagged with divisors ag.algebraic-geometry
313 questions
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
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
6
votes
2
answers
719
views
Intersection numbers in $\mathbb{P}^1$-bundles
Let $\mathcal{E}$ be a rank two vector bundle on $\mathbb{P}^2$ fitting in the following exact sequence
$$0\rightarrow \mathcal{O}_{\mathbb{P}^2}\rightarrow \mathcal{E}\rightarrow \mathcal{I}_p(-1)\...
user101890
6
votes
1
answer
1k
views
Picard groups and birational morphisms
Let $f:X\rightarrow Y$ be a birational morphism of projective varieties. Assume that $Pic(X)$ is a free abelian group generated by $n$ divisors $D_1,...,D_n$.
Under which hypothesis on $X$ and $Y$ is ...
user97096
6
votes
1
answer
320
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 ...
- 118k
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
5
votes
2
answers
1k
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 $g-1$...
- 3,968
5
votes
2
answers
492
views
Picard group of symplectic group modulo orthogonal group
Let $Sp(2n)$ be the group of complex symplectic $2n\times 2n$ matrices, and $O(2n)$ the group of complex orthogonal $2n\times 2n$ matrices.
Consider $Sp(2n)\cap O(2n)\subset Sp(2n)$ and the quotient $...
- 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
5
votes
1
answer
870
views
Divisorial contraction: when is the image an algebraic space or a stack?
Let $X$ be a smooth projective surface (in the category of varieties, or schemes), and let $C\subset X$ be a curve (a priori not irreducible, but the irreducible case in itself is already interesting)....
- 7,722
5
votes
1
answer
585
views
Anti-canonical divisor of a Fano variety
Let $X$ be a normal projective Fano variety, that is the anti-canonical divisor $-K_X$ is ample.
For any $m>0$ let us consider the complete linear system $|-mK_X|$ and the map
$$f_{|-mK_X|}:X\...
user101890
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
5
votes
2
answers
655
views
Fibrations of projective varieties
Let $f:X\rightarrow Y$ be a flat morphism of normal projective varieties with fibers of positive dimension (in particular all the fibers are connected and of the same dimension).
Let $g:X\rightarrow ...
user58018
5
votes
2
answers
3k
views
Embedded resolution of singularities
I'd like to check with my colleagues whether I have correctly understood "embedded resolution of singularities".
Let $X$ be a nonsingular projective variety over $\mathbf C$ and let $D$ be a "nice" ...
- 53
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
5
votes
2
answers
4k
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 ...
- 153
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
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
5
votes
1
answer
444
views
Self-intersection of a Cartier divisor
Let $X$ be a smooth projective variety, and $D$ a Cartier divisor on $X$ inducing a surjective morphism $f\colon X\rightarrow C$, where $C$ is a curve.
May we conclude that $D^{2}=0$?
user58604
5
votes
1
answer
304
views
Does $h^1(D)=0$ imply numerical connectedness on K3 surfaces?
Let $X$ be a complex K3 surface and $D$ an effective divisor on $X$.
We shall say: $D$ is connected if its support is connected. $D$ is numerically connected if for any non-trivial effective ...
- 761
5
votes
2
answers
247
views
Characterize the space of all ramification divisors of degree $d$
Let $X$ be a compact Riemann surface of genus $g>0$, and let $f\colon X \to \mathbb{P}^1$ be a branched covering of degree $d$. Define the ramification divisor $R_f$ on $X$ by $f$, where $\deg R_f =...
- 713
5
votes
1
answer
512
views
Residue of the canonical sheaf along subvariety
Let $S$ be a smooth projective surface over an
algebraically closed field $k$ and $C \subset S$ a singular curve. Let us denote by $K_S$ the class of canonical divisor of $S$ and $\mathcal{O}(K_S)$ ...
- 5,966
5
votes
1
answer
244
views
Blowing-up an ideal generated by squares
Let $f_1,\dots,f_r$ be regular functions on a smooth projective variety $X$, and consider the ideals $I = (f_1^2,\dots,f_r^2)$ and $J = (f_1,\dots,f_r)$. Let $Y = Z(I)$ and $W = Z(J)$ be the ...
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
5
votes
0
answers
338
views
Distinguishing ample divisors by minimally intersecting curves on a smooth projective toric variety
My question has an easily formulated generalization, which I will state first. Let $\sigma \subseteq \mathbf{R}^n$ be a full-dimensional strongly convex polyhedral cone. For each lattice point $m \in \...
- 197
5
votes
0
answers
540
views
When does a Cartier divisor a pull-back of a Cartier divisor?
Suppose $f: Y \to X$ is a projective birational morphism between two varieties with mild singularities. For example, we can assume $X$ is normal and kawamata log terminal, $Y$ is $\mathbb Q$-factorial....
- 3,472
5
votes
0
answers
232
views
In search for examples concerning pushforward of nef divisors and lc-trivial fibrations
My question is motivated by ideas around the moduli b-divisor of an lc-trivial fibration (see for instance the following paper by Ambro https://arxiv.org/pdf/math/0308143.pdf).
In such a setup, one ...
- 625
5
votes
0
answers
248
views
The existence of the Drinfeld shtuka function
I want to understand the existence of the Drinfeld shtuka function but unfortunately I know very little in algebraic geometry.
I am reading Shtukas and Jacobi sums from D. Thakur and I am stucked at ...
- 1,479
4
votes
1
answer
2k
views
On Q-Cartier Divisors
I have my question on Q-Cartier Weil divisor.
People say $D$ is Q-Cartier divisor if $nD$ is Cartier for some $n \geq 1$. Especially for $n > 1$, I have never seen the `rigorous' definition of $...
- 781
4
votes
1
answer
1k
views
References about pseudoeffective cone
I'm looking for references of explicit computation of the pseudoeffective cone $\overline{\text{Eff}}(X)$ of a projective variety $X$.
- 427
4
votes
2
answers
482
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 ... ...
4
votes
2
answers
2k
views
Bertini's Theorem small print
Suppose $S\subset \mathbb{P}^n$ is a smooth del Pezzo surface and $C$ is an irreducible smooth curve (you can make it rational if it simplifies the setting) such that $\mathcal{L}=\vert -K_S-C\vert $ ...
- 2,215
4
votes
2
answers
2k
views
Ample divisors on blown-up projective space
Let $\mathbb{P}=\mathrm{Proj}(\mathbb{C}[x_0,\ldots,x_n])$ be complex projective $n$-space. Assume I have linear subvarieties $L_1,\ldots,L_k\in\mathbb{P}$ of codimension $r_i\ge 2$, respectively. Let ...
- 4,902
4
votes
2
answers
1k
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 ...
- 1,488
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
4
votes
2
answers
859
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 ...
- 9,497
4
votes
2
answers
1k
views
Varieties with big anti-canonical divisor
I recently heard about the following problem:
Let $X$ be a projective variety with klt singularities and such that $-K_X$ is big. Is $X$ a Mori Dream Space ?
Now, $-K_X$ big if and only if $-K_X -\...
user47036
4
votes
1
answer
299
views
Extension of linear system
Let $X$ be a normal irreducible closed subvariety of $\mathbb{P}^n$ and let $\Lambda$ be a linear system on $X$, without fixed component. Then, there exists a linear system $\Lambda'$ on $\mathbb{P}^n$...
- 7,722
4
votes
1
answer
1k
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 ...
- 11.3k
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
249
views
Is the class (resp. Picard) group of a $G$-variety generated by invariant divisors?
Let's work over the complex numbers. Let $S$ be a normal surface, $\mathrm{A}^1(S)$ the class group of divisors on $S$ and $\mathrm{Pic}(S)$ its Picard group. Let $G$ be a reductive group acting on $S$...
- 23.4k
4
votes
1
answer
178
views
Computing the divisor class group of toric varieties over an arbitrary field
Let $k$ be an arbitrary field and let $X$ be a toric variety over $k$, coming from a fan $\Sigma$. If $k$ is algebraically closed, then theorem 4.1.3 of Cox ,Little and Schenck’s Toric Varieties book ...
- 639
4
votes
1
answer
169
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 ...
- 1,833
4
votes
1
answer
277
views
Polynomials on spaces of matrices
Let $\mathbb{P}^N$ be the projective space parametrizing $n\times n$ non-zero matrices modulo scalar multiplication, and let $\mathbb{P}^M\subset\mathbb{P}^N$ be the subspaces of symmetric matrices.
...
user91659
4
votes
0
answers
249
views
Is it always true that the complement of an ample divisor is affine?
Consider a proper and integral scheme $X\rightarrow\operatorname{Spec}(A)$ over a Noetherian ring $A$ and $D\in\operatorname{Div}(X)$ an effective ample Cartier divisor on $X$. Is it true that its ...
- 41
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
4
votes
0
answers
209
views
Birational models and Cartier divisors
Let $X$ be a normal projective variety and $D$ be a Weil divisor on $X$ which is $\mathbb{Q}$-Cartier and Cartier in codimension one.
Can we find a projective birational morphism $\pi\colon Y \...
- 1,595
4
votes
0
answers
130
views
Extremal rays in Picard rank two
Let $X$ be a projective variety of Picard rank two. We may assume that $X$ is $\mathbb{Q}$-factorial. Then the Mori cone $NE(X)$ has two extremal rays $R_1,R_2$.
Assume that $R_i$ is generated by ...
user77919
4
votes
0
answers
172
views
How close is $h^0(mD)$ to be a polynomial?
Let $X$ be a normal (or smooth if it helps) projective variety over an algebraically closed field $k$. Fix a Cartier divisor $D$: I am interested in knowing how $h^0(mD)$ behaves as $m$ varies.
At ...
- 625
3
votes
4
answers
3k
views
Cone over the Veronese surface
Let $V\subset\mathbb{P}^5$ be the Veronese surface and let $X\subset\mathbb{P}^6$ be the cone over it. Since $X$ is $\mathbb{Q}$-factorial there are two integers $a,b$ such that $aK_X = \mathcal{O}_X(...
user56259