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
0
answers
197
views
Existence of regular hypersurface sections
Let $X$ be a irreducible regular projective variety over $Spec(O_K)$ for some number field $K$. Is it known that there exists at least one hypersurface over $Spec(O_K)$ such that cuts $X$ in a regular ...
- 5,901
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
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 ...
- 4,034
3
votes
1
answer
318
views
Effective Cartier divisor is an open property
Let $X$ be a regular affine $\mathbb{C}$-scheme, $A$ a (finitely-generated) $\mathbb{C}$-algebra. Let $Y \subset X \times \mathrm{Spec}(A)$ be a closed subscheme of codimension $1$ such that for each $...
- 2,323
1
vote
0
answers
106
views
singular $m$-canonical divisors
[remark for v2] I began by considering curves in v1. I am convinced that the answer is positive. Thanks to Jason Starr and abx.
Let $X$ be a complex projective variety.
Let $K_X$ be its canonical ...
- 101
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 ...
- 28.8k
3
votes
3
answers
732
views
Nefness of $h-e$ in the blowup of $\mathbb{P}^n$
Let $S$ be the blow up of $\mathbb{P}^n$ in a point $P$. Let $h$ be the class of the pullback of an hyperplane of $\mathbb{P}^n$ and $e$ the class of the exceptional divisor. Why is the divisor $l=h-e$...
- 2,444
3
votes
0
answers
155
views
Semicontinuity of cohomology of torsion-free sheaves restricted to divisors
Let $X$ be a smooth projective variety, $\mathcal{E}$ a torsion-free coherent sheaf on $X$ and $\mathfrak{d}$ a linear system of divisors in $X$.
I would like to show (at least when $X$ is a surface) ...
- 263
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 ...
- 4,111
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
0
answers
205
views
Reference request: Vanishing of first cohomology term in Riemann-Roch theorem for singular projective curves over a field
$\newcommand{\F}{\mathcal{F}}$
$\newcommand{\ox}{\mathcal{O}_X}$
Let $f:X \to \operatorname{Spec}(k)$ be a projective scheme of dimension one over a field $k$. The Riemann-Roch equation for such ...
- 435
3
votes
0
answers
406
views
Relative amplitude of the exceptional divisor
Let $f:X'\to X$ be a projective birational morphism between complete algebraic varieties. Assume that the exceptional locus ${\rm Exc}(f)$ is the support of an effective Cartier divisor, can we choose ...
- 4,713
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, ...
- 42.9k
2
votes
0
answers
63
views
Blowing up the base of an elliptically fibered (non Weierstrass) threefold
Suppose $X$ is an elliptically fibered smooth threefold, with a nontrivial Mordel-Weil group. Lets call the sections $\sigma_i$ ,$i=1 \dots n$. None of these "sections" are honestly a section, they ...
0
votes
0
answers
85
views
$H$ very ample, $f$ finite, is there uniform $C=C(\mathrm{deg}(f))$ for $C f^* H$ very ample?
Let $X$ and $Y$ be normal projective varieties over $\mathbb{C}$ of dimension $n$. Let $f: X \rightarrow Y$ be a finite morphism. Also, let $H$ be a very ample divisor on $Y$.
Is there a constant $C=...
- 625
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 \...
- 4,713
1
vote
1
answer
324
views
Reference request: $f^*D$ semi-ample, then $D$ semi-ample
I am looking for a suitable reference to put in a bibliography for the following fact:
Let $f: X \rightarrow Y$ be a surjective morphism between normal projective varieties. Let $D$ be a $\mathbb{Q}$-...
- 1,164
0
votes
0
answers
147
views
Embedding of curves in $\mathbb P^2$
There is a mistake in the following argument but I cannot see where. Can someone help me, please?
Let $C$ be any smooth curve of genus $g\geq 1$ and $D$ a general effective divisor of degree $g+2$. ...
- 1,463
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
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 ...
CommunityBot
- 1
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 ...
CommunityBot
- 1
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 $...
- 28.8k
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)...
- 4,111
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)$ ...
- 1,164
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 ...
- 1,164
14
votes
1
answer
530
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?
- 223
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 ...
- 7,249
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.
...
- 7,320
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)\...
CommunityBot
- 1
7
votes
1
answer
946
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 ...
- 38k
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\...
- 1,164
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 ...
- 6,813
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 ...
- 8,998
1
vote
0
answers
290
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
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 $...
- 3,058
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|$ ...
- 14.3k
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 ...
- 39.3k
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$...
- 15.5k
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
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 ...
- 4,111
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
299
views
A necessary condition for existence of Ricci flat metric on pair (X,D)
Let $X$ be a complex compact manifold with simple normal crossing divisor $D$. Is the condition $K_X +D = 0$ necessary for the existence of Ricci-flat metric?
CommunityBot
- 1
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 $...
- 106
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$ ...
CommunityBot
- 1
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
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 ...
- 625