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
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
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
35
votes
1
answer
2k
views
Are there topological versions of the idea of divisor?
I am trying to extract a particular, more lightweight and more focussed at the same time, case of my recent question Which of the physics dualities are closest in essence to the Spanier-Whitehead ...
- 18.4k
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
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
12
votes
1
answer
8k
views
Simple normal crossing divisors
I found the following definition.
A Weil divisor $D = \sum_{i}D_i \subset X$ on a smooth variety $X$ is simple
normal crossing if for every point $p \in X$ a local equation of $D$
is $x_1\cdot...\...
user47036
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
0
votes
1
answer
281
views
Question about Correspondences from Mumford’s Complex Projective Varieties
I study David Mumford's Algebraic Geometry I - Complex Projective Varieties
and have some problems to understand a step in the proof of Lemma 6.7 (b).
Firstly, the general setting & preparations ...
- 5,966
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
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
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
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
7
votes
1
answer
880
views
Bertini's theorem over non-algebraically closed field
Let $K$ be a non-algebraically closed (infinite) field of characteristic $0$ and $X$ a smooth, projective $K$-variety. Does there exist an ample invertible sheaf $\mathcal{L}$ on $X$ such that a ...
- 1,981
3
votes
2
answers
968
views
Rationality of conic bundles
Let $\pi:X\rightarrow\mathbb{P}^2$ be a $3$-fold conic bundle, and let $\Delta\subset\mathbb{P}^2$ be its discriminant. Assume that both $X$ and $\Delta$ are smooth and that $deg(\Delta)\geq 6$.
Can ...
- 8,998
3
votes
1
answer
276
views
Polarization of an abelian variety made by the sum of two divisors
Let $X$ be an abelian variety of dimension $n$, and let $L$ be a polarization, that is, an ample line bundle on $X$, with $\chi(L)=3$.
In my specific case, I have that $L=\mathcal{O}_X(\Theta + D)$, ...
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
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
3
votes
0
answers
375
views
Linear system on singular plane curve
Let $C \subset \mathbb{P}^2_k$ an irreducible plane curve of degree $d >1$
over algebraically closed field $k$. That is $C=V(f(x,y,z))$ where $f \in k[x,y,z]$ homogeneous of degree $d$. Let $\{...
- 5,966
3
votes
0
answers
193
views
branch divisor of this map
We consider the blow up $Bl(\mathbb{P}^2)_p$ of $\mathbb{P}^2$ in $p:=|1:0:0|$ and the following surface:
$Y:=\{(|y_1: y_2:y_3:y_4|, |x_0:x_1:x_2|) \in \mathbb{P}^3\times \mathbb{P}^2: rk(\begin{...
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
1
vote
1
answer
399
views
Boundary divisor of projective toroidal compactification
If $F$ is a totally real number field with $[F:\mathbb{Q}] = d>1$, $X$ is the moduli space of Hilbert-Blumenthal Abelian varieties for $F$, and $\overline{X}$ is the projective toroidal ...
- 949
5
votes
0
answers
171
views
Steps of the MMP "in family"
Let $\pi\colon X\to Y$ be a morphism between irreducible varieties with terminal singularities (let us say smooth if you want). I suppose that I have an open subset $U$ of $Y$ over which the fibres ...
- 7,722
27
votes
5
answers
7k
views
blowing up, -1 curves, effective and ample divisors
Lets say we're on a smooth surface, and we blow up at a point.
Is there a simple explicit computation that shows to me the fact that the exceptional divisor E has self intersection -1 ? I don't ...
- 271
19
votes
2
answers
3k
views
Bertini theorems for base-point-free linear systems in positive characteristics
Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...
- 20.5k
15
votes
6
answers
2k
views
Seeking Noetherian normal domain with vanishing Picard group but not a UFD
Once again, the question says it all.
My motivation is the article on factorization I am writing. I want to explain (as well as to understand!) why for normal Noetherian domains of dimension greater ...
- 65.4k
6
votes
2
answers
2k
views
Generalisations of Riemann-Roch for surfaces
Let $X$ be a smooth projective algebraic surface (over $\mathbb{C}$ ). For all $L\in \mathrm{Pic}(X)$, we have
$$\chi(L)=\chi(\mathcal{O}_X)+\frac{1}{2}(L^2-L\cdot \omega_X).$$
This is the famous ...
- 2,215
7
votes
1
answer
1k
views
Pull-back divisor being Cartier
Let $\pi \colon X \rightarrow Y$ be a projective morphism with connected fibers between normal quasi-projective varieties. Let $N$ be a $\mathbb{Q}$-Cartier divisor on $Y$ so that $\pi^*(N)$ is ...
- 1,595
2
votes
0
answers
475
views
Uniqueness of theta divisor
Let $A$ be an abelian variety (at least over $\mathbb{C}$). Suppose we have two theta divisors $\Theta_1$ and $\Theta_2$ on $A$, which give two principal polarizations on $A$.
In general, are those ...
1
vote
1
answer
215
views
Terminal $\mathbb{Q}$-factorial divisorial contractions
Let $X$ be a $3$-fold, and $f:Y\rightarrow X$ a birational $\mathbb{Q}$-factorial divisorial terminal contraction (of relative Picard number one) contracting a divisor $E\subset Y$ to a point $p\in X$....
user61586
0
votes
1
answer
131
views
On relating $l(A), l(B)$ and $l(A+B)$ for Weil divisors on a smooth projective curve where one of the divisors is effective
Let $X$ be a smooth projective curve over an Algebraically closed field $k$. Let $k(X)$ denote its function field.
If $A, B$ are Weil divisors on $X$ such that $A$ is effective (i.e. $A\ge 0$) , then ...
- 279
1
vote
0
answers
212
views
Dimension of a linear system of divisors on singular curve
Consider an singular irreducible plane curve $C \subset \mathbb{P}^2_k$ of degree $d>1$ over algebraically closed field $k$ which is given as vanishing locus $C=V(f(x,y,z))$ of a $f \in k[x,y,z]$ ...
- 5,966
1
vote
0
answers
157
views
The morphisms induced by two Cartier divisors
Let X be a projective variety. We consider two Cartier divisors $D,E$ such that $E\geq D$ and the relative morphisms
$\phi_D: X - - -> \mathbb{P}(H^0(X, O_X(D))^*)$ and $\phi_E: X- - -> \mathbb{...
2
votes
1
answer
118
views
Effective semi-group of a singular abelian surface
Let $A$ be a singular abelian surface over $\mathbb{C}$; that is, an abelian surface of maximal Picard rank $\rho(A)=4$. By Shioda-Mitani we know $A \cong E \times E'$ where $E,E'$ are isogenous ...
- 1,701
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
1
vote
0
answers
182
views
Problem regarding existence of a divisor representing line bundle
We consider a normal irreducible variety $X$ and a line bundle $L$. The question is when $L$ is induced by a Cartier divisor $D$. We know that if $s$ is a rational section of $O_X(D)$, where $D$ is a ...
1
vote
0
answers
194
views
Nef divisors on abelian varieties are pullbacks of ample ones
It is well known that for any polarization ( that is, ample line bundle) $L$ on an abelian variety $A$, there is an isogeny $\phi\colon A \to B$ to another abelian variety with a principal ...
3
votes
0
answers
135
views
Isomorphisms of weighted complete intersections
Let $X\subset\mathbb{P}(a_0,\dots,a_n)$ and $Y\subset\mathbb{P}(b_0,\dots,b_n)$ be two weighted complete intersections with mild (say terminal) singularities.
Assume that there is an isomorphism $f:...
user61586
17
votes
2
answers
1k
views
Line bundles vs. Cartier divisors on a non-integral scheme
It is well-known that if $X$ is an integral scheme, then there is an isomorphism $CaCl(X)\to Pic(X)$ taking $[D]$ to $[\mathcal{O}_X(D)]$. Does anyone know any simple examples where the above map ...
- 11.6k
2
votes
0
answers
154
views
Structure of the big cone and Seshadri constant on Fano manifolds
I would like to know something about the following two questions.
Given $X$ Fano manifold and $L$ an ample line bundle on $X$, we define
\begin{gather}
\sigma(L,x):=\sup\{t>0\, :\, \mu^{*}L-tE \,\,...
- 71
2
votes
0
answers
142
views
Degree of a divisor along a subscheme
I'm curious about a computation of Prop2.3 in The gonality conjecture on syzygies of algebraic curves of large degree by Ein and Lazarsfeld. Let $C$ be a smooth projective curve carrying a pencil $\...
- 439
7
votes
1
answer
945
views
Push-forward of nef divisors via finite morphisms
Let $f:X\rightarrow Y$ be a finite morphism between smooth projective varieties, and let $D$ be an effective nef but not ample divisor on $X$.
Consider the divisor $f_{*}D$ on $Y$. Is $f_{*}D$ nef ...
user58018
7
votes
2
answers
781
views
How do i show that:$\prod\frac{p^2+1}{p^2-1}=\frac{5}{2}$ without using properties of Riemann zeta function? [duplicate]
In order to know more about product over primes ,I would like to know how do I show that :$$\prod\frac{p^2+1}{p^2-1}=\frac{5}{2}$$ without using properties of Riemann zeta function ?
Note01 : it ...
- 414
10
votes
0
answers
217
views
Subvarieties with isomorphic complements
Let $X$ be a smooth irreducible projective variety over $\mathbb C$, $Y_1, Y_2$ are two closed smooth subvarieties. Assume $X-Y_1 \cong X-Y_2$, what do $Y_1$ and $Y_2$ have in common (at least ...
- 6,622
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
2
votes
2
answers
515
views
Intuition behind Kawamata's definition of a relative movable Cartier divisor
I am trying to develop a good geometric intuition and to understand the motivation behind Kawamata's definition of a relative movable Cartier divisor in Section 2 of reference [1]:
[1] Y. Kawamata, ...
- 3,022
3
votes
1
answer
258
views
Divisibility of a divisor
Let $X$ be a smooth complex projective curve and $f \colon X \to Y$ an étale Galois cover, whose Galois group $G$ is finite and of order $r$. For any $g \in G$, define $$\Delta_g = \{(x, \, g \cdot x) ...
- 66.3k
2
votes
0
answers
164
views
A question on Okounkov bodies
Let $X$ be an irreducible $n$-dimensional projective variety, and
$$Y_n\subset Y_{n-1}\subset\dots\subset Y_1\subset X$$
a flag of irreducible subvarieties such that $Y_i$ has codimension $i$ in $X$ ...
user125056
21
votes
2
answers
11k
views
Elementary short exact sequence of sheaves
This question arised when I was trying to use this answer to understand Reid's "Young Person's guide to Canonical Singularities". In particular page 352 when computing the blow-up $Y\rightarrow A^2/\...
- 2,215
2
votes
1
answer
160
views
Sections of Cartier divisors on toric varieties
Let $X_{\Sigma}$ be a projective toric variety. Consider the total coordinate ring
$$S = \mathbb{C}[x_{\rho}\: | \: \rho\in\Sigma(1)]$$
Define $\deg(x_{\rho}) = D_{\rho}$.
Now, take a divisor $D = \...
user75933