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
8
votes
0
answers
167
views
On a smooth curve $C$, when is $K_C \sim_\mathbb{Q} (2g-2)P$?
Let $C$ be a smooth curve of genus $g$ over $\mathbb{C}$. I am interested in the following property:
There exists a point $P \in C$ such that $K_C \sim_\mathbb{Q} (2g-2)P$. Equivalently, $K_C - (2g-2)...
- 625
1
vote
0
answers
214
views
Twisting a line bundle with the zero section
Let $X$ be a smooth projective curve and $L$ be an invertible sheaf on $X$. Denote by $\mathbb{L}$ the line bundle associated to $L$, $\pi:\mathbb{L} \to X$ the natural morphism and $0_\pi$ the zero ...
- 1,981
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
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
3
votes
1
answer
295
views
Infinitely small intersections with nef $\mathbb R$-Cartier divisors
Suppose $X/\mathbb C$ is a projective $\mathbb Q$-factorial variety with wild singularities. Let $N$ be a nef $\mathbb R$-Cartier divisor. Then is it possible that there are infinitely many curves $...
- 3,472
3
votes
1
answer
292
views
Ring of sections and normalization
Let $D$ be a base-point-free divisor on a normal projective variety $X$, and let $Y$ be the image of the morphism $f_{D}:X\rightarrow Y$ induced by $D$. Assume that $f_D$ is birational.
Now, let $X(D)...
user114666
2
votes
1
answer
257
views
Flipping and flipped loci
Let $f:X\dashrightarrow Y$ be the flip of a small contraction $\phi:X\rightarrow Z$, and let $\psi:Y\rightarrow Z$ be the small contraction such that $\psi\circ f = \phi$. Let $Exc(\phi), Exc(\psi)$ ...
user117617
2
votes
1
answer
209
views
Curves contracted by a rational map
Let $D$ be a big but not nef divisor on a normal $\mathbb{Q}$-factorial projective variety. Assume that the section ring
$$R(D) = \bigoplus_{n\in\mathbb{N}}H^0(X,nD)$$
is finitely generated and ...
user114666
14
votes
1
answer
529
views
Birational automorphisms of varieties of Picard number one
Let $X$ be a smooth projective variety of Picard number one, and let $f:X\dashrightarrow X$ be a birational automorphism which is not an automorphism.
Must $f$ necessarily contract a divisor?
user91659
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
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
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
2
votes
1
answer
487
views
Strict transform under resolution of singularity along a singular $\mathbb{Q}$-Cartier divisor
$\DeclareMathOperator\Bl{Bl}$Let $f: Y=\Bl_0^\omega(\mathbb{C}^3)\to \mathbb{C}^3$ be a weighted blow up of $\mathbb{C}^3$ with weights $w(x,y,z)=(1,1,2)$. Then $Y$ and the exceptional divisor $E\cong ...
- 41
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
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
1
vote
0
answers
289
views
Intersection with very ample divisor and linear equivalence
Let $X$ be a smooth, projective variety and $D, E$ two effective divisors of $X$ which correspond to distinct elements on the cohomology group $H^2(X,\mathbb{Q})$. Denote by $H$ a very ample divisor ...
- 2,126
3
votes
2
answers
624
views
Is this divisorial contraction a blow-up?
Let $C$ be a curve in a smooth $3$-fold $X$ with an ordinary node $p\in X$. Blow-up $p$ let $E$ be the exceptional divisor, and $\widetilde{C}$ the strict transform of $C$. Furthermore let $L$ be the ...
user114666
6
votes
2
answers
360
views
The kernel of a nef line bundle
Let $V$ be a complex projective variety and $L$ a nef line bundle on $V$ (i.e., $L$ is non-negative on every curve in $V$). Denote, as usual, $\deg_LX = c_1(L)^{\dim{X}}.[X]$ for $X$ a subvariety of $...
- 13.8k
2
votes
1
answer
181
views
Anti-canonical divisorial contractions of weak Fano $3$-folds
Let $X$ be a smooth weak Fano but not Fano $3$-fold ($-K_X$ is nef and big but not ample). Then the anti-canonical morphism $\phi:X\rightarrow W$ (the morphsim induced by the linear system $|-mK_X|$ ...
user114198
7
votes
1
answer
333
views
Pencils on del Pezzo surfaces
Let $X$ be the blow-up of $\mathbb{P}^2$ at three general points $p_1,p_2,p_3$, that is a del Pezzo surface of degree six, and let $\pi_i:X\rightarrow\mathbb{P}^1$ be the morphism induced by the ...
user114198
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
2
votes
0
answers
151
views
Stable base loci and flips
Let $D_1,D_2$ be two effective divisors on o normal and $\mathbb{Q}$-factorial projective variety $X$ of Picard rank two. Assume that $D_1$ is semi-ample and that it induces a small-comtraction $f_{...
- 8,998
3
votes
0
answers
120
views
A question on the Kodaira dimension of 3-folds
Let $X$ a smooth projective $3$-fold. Assume that $X$ admits a finite rational map $f:X\dashrightarrow Y$ where $Y$ is a smooth Calabi-Yau 3-fold, and a fibration $g:X\rightarrow \mathbb{P}^2$ with a ...
- 79
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
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
3
votes
1
answer
264
views
Linear systems on moduli spaces of stable maps
I am studying the general theory of moduli spaces of stable maps, in particuar of the moduli spaces $\overline{M}_{0,n}(\mathbb{P}^r,d)$ of degree $d$ stable maps from a rational curve with $n$ marked ...
user97096
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
1
vote
1
answer
1k
views
restriction of a divisor
Suppose I have a Cartier divisor D in a smooth variety X, and suppose I have a subvariety Y in X. Is it always possible to talk about restrict D to Y even when Y might be contained in D? I think it is ...
- 623
4
votes
1
answer
371
views
Kähler metric on compact complex manifolds with simple normal crossing divisor
Let $X$ be a reduced compact complex analytic space of $\dim_{\mathbb{C}}X\ge2$; by [KJ] definition 3.29, remark 3.44 and theorem 3.45, it admits a strong resolution $R(X)$ which is smooth, $E=\pi_X^{-...
- 828
3
votes
1
answer
474
views
Bound on the number of primitive divisors of the $n$th Fibonacci number
It is a result of Carmichael that for any integer $n > 12$, the Fibonacci number $F_n$ has at least one primitive divisor, that is, a prime factor $p$ such that $p$ does not divide any $F_m$ with $...
user40023
3
votes
2
answers
924
views
Rational maps and Kodaira dimension
Let $\phi:X\dashrightarrow Y$ be a generically finite, dominant rational map between smooth projective varieties over $\mathbb{C}$.
Assume that $Y$ is of general type. May we conclude then that $X$ ...
- 8,998
2
votes
0
answers
263
views
Global section of line bundle on anti-canonical rational surface
Let $X$ be an anti-canonical rational surface(i.e. $-K_X$ is effective) such that $K_X^2\geq 1$. Let $D$ be a $r$-class divisor ($D^2=r, D^2+D.K_X=-2$, the latter condition can be re-interpreted as $\...
- 1,982
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
2
votes
0
answers
341
views
Lefschetz type theorems for big and nef divisors
Let $X$ be a smooth projective variety, and $D\subset X$ a smooth nef and big divisor. Assume that the restriction map $Pic(X)\rightarrow Pic(D)$ is an isomorphism over $\mathbb{Q}$.
Under which ...
user82886
1
vote
1
answer
240
views
Divisor class group of quartic surfaces
Let $X\subset\mathbb{P}^3$ be a normal quartic surface with divisor class group $Cl(X)\cong\mathbb{Z}[H]$ generated by the hyperplane section.
What can we say about the singularities of $X$?
user97096
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
1
vote
0
answers
70
views
Moving curves and small transformations
Let $f:X\dashrightarrow Y$ be an isomorphism in codimension one between smooth projective varieties. Let $C\subset X$ a curve generating an extremal ray of the cone of moving curves $Mov_1(X)$, and ...
- 141
1
vote
0
answers
312
views
Cone of moving curves
Let $X$ be a projective variety and $C\subset X$ be a moving curve, that is the curves numerically equivalent to $C$ cover a dense open subset of $X$.
How can we detect when $C$ is an extremal ray ...
- 141
7
votes
1
answer
426
views
Degree of equations of secant varieties of Veronese varieties
Let $Sec_r(V)$ be the $r$-secant variety of a Veronse variety $V\subset\mathbb{P}^N$, that is
$$Sec_r(V) = \bigcup_{p_1,...,p_r\in V}\left\langle p_1,...,p_r\right\rangle\subset\mathbb{P}^N$$
where $...
user101890
-2
votes
3
answers
220
views
Is it possible to show that :for $n \geq 1:\sigma(n!-1) $ never be prime and why $\sigma(n!-1)\bmod 10 $ at most is $0$?
This question is related to my question here , I w'd like to check if $n \geq 1:\sigma(n!-1) $ never be prime according to some computations which i did in wolfram alpha to come up with parity of sum ...
user99666
6
votes
0
answers
535
views
When is $ \sigma(n!-1) $ a perfect square?
I am looking for pairs of positive integers $(m,n)$ such that $ \sigma(n!-1) =m^2$, where $\sigma$ is the sum of divisors function. Examples occur with $(m,n)=(12,5),(1,2)$.
Question: Are there ...
user99666
1
vote
1
answer
273
views
Big divisors in family
Given a family of divisors $D_t$ on varieties $X_t$, there are examples that show that bigness is not well behaved (e.g. example 2.2.13 in Positivity 1, shows we can have a special fiber where $D_0$ ...
- 625
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
3
votes
1
answer
453
views
Extremal rays of the effective cone
Let $X$ be a smooth projective variety with polyhedral finitely generated effective cone $Eff(X)$. Let $f:X\dashrightarrow X$ be a birational automorphism of $X$ that is an isomorphism in codimension ...
user56259
6
votes
1
answer
354
views
Fundamental groups of complements of divisors in $\mathbb P^2$
Let $D$ be a divisor in $\mathbb P^2_{\mathbb C}$ and let $X= \mathbb P^2_{\mathbb C} - D$.
Under what condition on $D$ is the fundamental group of $X$ infinite?
- 71
29
votes
7
answers
7k
views
Elementary proof of Riemann-Roch for compact Riemann surfaces
I am supposed to give a talk about the Riemann-Roch theorem to a seminar of first and second year graduate students. I want to do Riemann-Roch for compact Riemann surfaces, but I am open to perhaps ...
user100272
1
vote
1
answer
1k
views
Pull-back of the canonical divisor via a rational map
Let $f:X\dashrightarrow Y$ be a birational map between projective varieties not contracting any divisor. Assume that $X$ is smooth, and that $Y$ has at most ordinary singularities at finitely many ...
user97096
0
votes
1
answer
342
views
Intersections of divisors in blow-ups of $\mathbb{P}^n$
Let $p_1,p_2,p_3\in\mathbb{P}^n$ be three general points, $X$ the blow-up of $\mathbb{P}^n$ at $p_1,p_2,p_3$, then along the lines $\left\langle p_i,p_j\right\rangle$, and finally along the plane $\...
user91659
1
vote
1
answer
242
views
Number of conditions imposed by fat points to a linear system
Let $|D|$ be the linear system of degree $d$ hypersurfaces in $\mathbb{P}^n$ having multiplicity at least $m$ at $s$ general points.
Then $|kD|$ is the linear system of degree $kd$ hypersurfaces in $...
user97096
2
votes
1
answer
679
views
A Decomposition for Iitaka fibration
Let $\pi: X\to Y$ be an Iitaka fibration of projective varieties
$X,Y$, then is there always the following decomposition
$$K_Y+\frac{1}{m!}\pi_*\mathcal O_X(m!K_{X/Y})=P+N$$
where $P$ is ...
user21574