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
2
votes
0
answers
165
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
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
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
2
votes
2
answers
416
views
The pseudoeffective cone does not contain lines
It seems to be well-known that the pseudoeffective cone $\overline{\text{Eff}}(X)$ of a normal variety $X$ does not contain lines through the origin. How can it be proved? Is there a reference?
- 427
3
votes
2
answers
775
views
what are the singularities of a normal crossings divisor?
This is probably a very stupid question. I'm sorry.
Let $D$ be a simple normal crossings divisor on some smooth projective variety $D$. By this I mean that the irreducible components $D_i$ are smooth ...
- 47
10
votes
1
answer
911
views
Numerically equivalent effective divisors and semiampleness
Recall that a divisor $M$ on a variety $X$ is said to be semiample if $kM$ is base point free for a certain $k > 0$.
Being semiample is not a numerical property (take for example torsion and a non-...
- 205
3
votes
0
answers
122
views
Extra Algebraic $(1,1)$ cycles on a complex surface
Suppose $x,y,w,z$ are homogeneous coordinates of $\mathbb{CP}^3$, and
\begin{eqnarray}
X_t := \left(F_t = x f_2 +y g_2 +t F_3 = 0 \right)
\end{eqnarray}
be a family of degree 3 hypersurfaces in $\...
- 93
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
2
votes
0
answers
163
views
Terminal and log canonical singularities
Let $D$ be a divisor with at most terminal singularities in a smooth projective variety $X$. Is the pair $(X,D)$ log canonical?
user61586
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?
user91659
8
votes
0
answers
343
views
How do I make the components of a Cartier divisor again Cartier divisors?
Let $D$ be an effective Cartier divisor on a normal noetherian scheme $X$. Its irreducible components are codimension $1$ subschemes, i.e. Weil divisors, of $X$ but not necessarily Cartier divisors. I ...
- 227
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
1
vote
0
answers
116
views
On the fixed and negative part of a linear system
Let $X$ and $Z$ be smooth complex projective varieties and let $f:X\rightarrow Z$ be a contraction (i.e. $f_\ast\mathcal{O}_X=\mathcal{O}_Z$). Let $F$ be an effective $\mathbb{R}$-divisor on $X$ such ...
- 599
0
votes
0
answers
228
views
Local complete intersection and hypersurfaces
Let $Y \subset \mathbb{P}^n$ be a regular, codimension $2$, complete intersection subscheme in $\mathbb{P}^n$ (for example, $Y \cong \mathbb{P}^{n-2}$). Let $X$ be a normal (not necessarily smooth) ...
- 2,323
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
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
1
vote
0
answers
120
views
Question about Local Henselian Rings
I have a question regarding properties/characterizations of local Henselian rings exploited in M. Artin's article "On Isolated Rational Singularities of Surfaces":
Here the relevant excerpt:
Remark: ...
- 6,016
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
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
13
votes
1
answer
865
views
Generalization of the rigidity lemma in birational geometry
Let $X,Y,Z$ be projective varieties, and let $f:X\rightarrow Y$, $g:X\rightarrow Z$ be dominant morphisms. Assume that all the fibers of $g$ have the same dimension and are connected.
If there exists ...
user75933
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
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}$-...
- 625
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
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
10
votes
1
answer
314
views
Is there a divisor in $\mathbb P^2$ such that all analytic maps into its complement algebraize?
Is there a closed subscheme $D$ in $\mathbb P^2_{\mathbb C}$ pure of codimension one such that, for all algebraic varieties $X$ over $\mathbb C$, any analytic map
$$ \phi: X(\mathbb C) \to \mathbb P^...
- 103
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
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
2
votes
0
answers
141
views
Chow group of a pair
In a paper by S. Landsburg the (higher) Chow groups of a pair $(X,Y)$ are defined when $Y$ is a smooth closed subvariety of a smooth variety $X$ as follows.
We consider the sub-complex $z^{*}(X;.)_{Y}...
- 1,566
1
vote
0
answers
114
views
Iitaka dimension of a $\mathbb{Q}$-Cartier Prime divisor
Let $X$ be a normal projective variety and $D$ a prime divisor such that $mD$ is Cartier for some integer $m>0$.
Suppose $H^1(X,\mathcal{O}_X)=0$ and $mD|_D\sim 0$.
My questions are the following:
...
- 85
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 ...
- 1,102
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
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
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
2
votes
3
answers
2k
views
Movable Divisors
Let $X$ be a projective variety. Does anyone know an example of a movable reducible divisor $D\in Mov(X)$ such that any element in the linear system $|D|$ of $D$ is reducible?
user56259
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
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
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
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
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
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
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
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
7
votes
1
answer
861
views
Is $n=6$ the only integer satisfies ${\sigma}_x(n) \equiv 0\bmod{n}$ for every odd integer $x > 0$ and $2 (\bmod n)$ if $x$ is even integer? [closed]
After a few computations in wolfram alpha about the divisor function for some values of $n$ to look the behavior of $\sigma_x(n)\bmod n$ for $\,n=6,\,$ i got this result : $\sigma_x(6)=0 \bmod 6$ for $...
- 414
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
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
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
5
votes
2
answers
657
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
2
votes
1
answer
974
views
Inverse image of a divisor
Let $f:X\rightarrow Y$ be a morphism with connected fibers between projective varieties (not necessarily flat). Let $D\subset Y$ be an irreducible divisor.
Let us look at the cycle $f^{-1}(D)\subset X$...
user82886