All Questions
Tagged with divisors ag.algebraic-geometry
313 questions
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 ...
- 42.9k
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$?
- 66.3k
2
votes
0
answers
112
views
Polarization of the Prym variety
Let $X\rightarrow Y$ a ramifield double cover of curves, $J_X, J_Y$ their jacobians, $P\subset J_X$ the Prym variety, for any line bundle $L$ on $X$ of degree $g_X-1$, denote by $\Theta_L$ the ...
- 1,891
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$...
CommunityBot
- 1
2
votes
1
answer
511
views
Rigid effective divisors
Let $D\subset X$ be an effective smooth divisor in a smooth projective variety $X$. Assume that $h^0(X,D)=1$. In particular $D$ spans an extremal ray of the effective cone of $X$.
Now, let $f:X\...
CommunityBot
- 1
2
votes
1
answer
1k
views
Negative degree line bundles over a singular projective curve have no sections?
Let $C$ be a local complete intersection projective curve in $\mathbb{P}^3$. Assume that $C$ is integral. Let $\mathcal{L}$ be a line bundle on $C$ of negative degree. We know that if $C$ is smooth ...
- 23.4k
3
votes
1
answer
437
views
Question about canonical DM stacks
Let $\mathcal{X}$ be a canonical stack (edit: I forgot to say I also want $\mathcal{X}$ smooth), and $\pi : \mathcal{X}\to X$ its coarse moduli space morphism. Let also $D$ be a prime divisor (i.e. ...
CommunityBot
- 1
1
vote
1
answer
273
views
Degree of the negative part of a divisor
Let $K$ be an algebraically closed field (or $\overline{\mathbb{C}(z)}$ for a more precise condition). And let $P \in K[x,y]$ be an irreducible polynomial of degree $m$ with respect to $x$ and degree $...
CommunityBot
- 1
1
vote
0
answers
217
views
Family $(X_y,D_y)$ with trivial canonical bundles
Let $i:D\hookrightarrow X$ and $f : X \to Y$ be holomorphic mappings of complex manifolds
such that $i$ is a closed embedding and $f$ as well as$ f \circ i$ are proper and smooth and $D$ is a divisor. ...
CommunityBot
- 1
1
vote
0
answers
210
views
On triviality and numerical triviality of (classes of) divisors
Let $X$ be a smooth irreducible threefold, and let $H$ be an ample divisor on $X$.
Assume that $D$ is a divisor on $X$ such that $D\cdot H^2=D^2\cdot H=D^3=0$.
Question 1: Is $D$ numerically trivial?...
- 1,159
1
vote
1
answer
387
views
Tor-amplitude [0, 1] in the setting of intersection theory on a regular surface?
The question is coming from Definition 1.5 in Deligne's Expose X in SGA 7 on intersection theory.
Let $X$ be a connected regular scheme of dimension $2$ and $Y \subset X$ a reduced divisor that ...
- 4,111
1
vote
1
answer
308
views
symplectic reduction for pair $(M,D)$
Let $M$ be a symplectic manifold with divisor $D$. Then how can we define symplectic reduction for pair $(M,D)$?
- 3,187
5
votes
2
answers
656
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 ...
- 19.6k
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 $...
CommunityBot
- 1
3
votes
1
answer
2k
views
Blowing-up a point in the singular locus
Let $X\subset\mathbb{P}^n$ be a variety singular along a smooth subvariety $Z\subset X$ of positive dimension. Let us assume that $X$ has ordinary singularities along $Z$. Now, let $\pi:Y\rightarrow \...
- 20.5k
0
votes
0
answers
79
views
Terminology regarding divisor on a curve
Suppose that $D = \sum n_i P_i$ is a divisor on a curve $C$, say, over a field. Is there a standard algebraic geometry terminology referring to the set $\{ P_i : n_i \neq 0 \} \subset |C|$? Support of ...
1
vote
2
answers
404
views
A question on the effective cone
Let $X$ be a projective variety and $G$ a finite group acting on $X$. We consider the quotient $\pi:X\rightarrow Y :=X/G$.
I'm interested in the relation between $Eff(X)$ and $Eff(Y)$. In particular,...
- 8,998
1
vote
1
answer
499
views
A question about an intersection number
Let $\pi:Y\rightarrow \mathbb{P}^3$ be the blow-up of two points $p,q\in\mathbb{P}^3$, and then of the strict transform of the line $L$ spanned by them. Now, Let $E_p,E_q, E_{p,q}$ be respectively the ...
CommunityBot
- 1
1
vote
1
answer
503
views
Reference request: log Fano varieties
I need a reference for a proof of the following fact: let $X$ be a toric variety then $X$ is log Fano.
Thanks a lot.
- 8,998
1
vote
1
answer
201
views
Does a line bundle on a normal Noetherian algebraic space come from a Weil divisor?
Let $X$ be a normal Noetherian algebraic space and $\mathscr{L}$ a line bundle on $X$. If $X$ is a scheme, then there is locally principal Weil divisor on $X$ that gives rise to $\mathscr{L}$. Is the ...
CommunityBot
- 1
0
votes
1
answer
411
views
Intersection Matrix of a resolution
Probably this is a very easy question. Let $f:X\rightarrow S$ be a resolution of a projective surface such that
$$K_X = f^{*}K_S+\sum_ia_iE_i$$
with $a_i>0$. By Grauert-Mumford theorem the ...
- 8,998
1
vote
1
answer
399
views
Schematic image of a relative Cartier divisor of a fiberwise dense open
Let $S$ be a scheme and $A$ an abelian $S$-scheme, i.e., $A \rightarrow S$ is a proper smooth $S$-group scheme whose fibers are $g$-dimensional abelian varieties. Suppose that one has a fiberwise ...
- 4,111
1
vote
1
answer
636
views
Moving a divisor on a (reducible, non-reduced) curve
I am trying to understand the first sentence of the proof of 9.1/5 in "Neron models." There we have a proper curve $X$ over a field $K$ and a line bundle $\mathscr{L}$ on $X$. Our ultimate goal is to ...
- 42.9k
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?
- 42.9k
6
votes
2
answers
483
views
Blow-ups of $\mathbb{P}^{n-3}$ and $(\mathbb{P}^1)^{n-3}$
Let us consider the points
$$p_1=[1:0:...:0],p_2 = [0:1:...:0],...,p_{n-2} =[0:...:0:1],\\
p_{n-1}=[1:1:...:1]\in\mathbb{P}^{n-3}$$
and the blow-up $X = Bl_{p_1,...,p_{n-1}}\mathbb{P}^{n-3}$.
...
- 8,998
7
votes
1
answer
762
views
Bertini's Theorem
Let $p_1,...,p_n\in\mathbb{P}^{N}$ be general points. Consider the linear system $|L|$ of hypersurfaces of degree $d$ in $\mathbb{P}^{N}$ with prescribed multiplicities $m_1,...,m_n$ at $p_1,...,p_n$. ...
- 66.3k
2
votes
2
answers
674
views
Standard plane Cremona transformation
Let us consider nine general points $p_1,...,p_9\in\mathbb{P}^2$ and the line $L = \left\langle p_1,p_2\right\rangle$. Take the standard Cremona $f_1$ centred in $p_3,p_4,p_5$, then $C_1 = f_1(L)$ is ...
- 8,998
1
vote
0
answers
351
views
A question on the secondary fan
I am studying the secondary fan decomposition of the effective cone of a projective variety $X$. Let as assume that $X$ is a Mori Dream Space. As far as I understand passing from a cone of maximal ...
CommunityBot
- 1
1
vote
1
answer
327
views
Canonical bundle of moduli space of rational curves and automorphisms
Let $\overline{M}_{0,n}$ be the usual Deligne-Mumford compactification of $M_{0,n}$ the moduli space of smooth $n$-pointed rational curves.
The canonical divisor $K_{\overline{M}_{0,n}}$ can be ...
- 8,998
1
vote
1
answer
687
views
A question on klt pairs
Let $D$ be a $\mathbb{Q}$-divisor in a smooth variety $X$. In Lazarsfeld book "Positivity in Algebraic Geometry 2" I found Proposition 9.5.13 saying that if for any $x\in D$ we have $mult_xD < 1$ ...
- 8,998
2
votes
1
answer
717
views
Singularities of secant varieties of rational normal curves
Let $C\subset\mathbb{P}^n$ be a rational normal curve of degree $n$, and let $Sec_k(C)\subset\mathbb{P}^n$ be its $k$-th secant variety. By Theorem 1.1 in this paper:
http://ac.els-cdn.com/...
CommunityBot
- 1
0
votes
2
answers
490
views
Small birational maps and singularities of the pair
Let $f:X\dashrightarrow Y$ be a small birational map, where $X,Y$ are normal $\mathbb{Q}$-factorial varieties. Let $\Delta_X\subset X$ be an effective $\mathbb{Q}$-divisor such that the pair $(X,\...
CommunityBot
- 1
1
vote
1
answer
183
views
Boundedness of the number of curves negative on a varying big divisor
For a divisor $D$ on a smooth complex projective surface $X$, the stable fixed part is the maximal effective divisor $E$ which, for every $n \in \mathbb{N}$, is contained in every memeber of the ...
CommunityBot
- 1
1
vote
1
answer
635
views
Cremona transformations
Let $f:\mathbb{P}^n_1\dashrightarrow\mathbb{P}^n_2$ be the standard Cremona transformation based on $p_1,...,p_{n+1}\in\mathbb{P}^n_1$ and $q_1,...,q_{n+1}\in\mathbb{P}^n_2$. That is, $f$ is the ...
CommunityBot
- 1
0
votes
1
answer
248
views
Big divisors and small transformations
Let $X$ be a smooth projective variety such that $-K_X$ is ample. Let $f:X\dashrightarrow Y$ be a small $\mathbb{Q}$-factorial transformation. I would like to know if is true or not that:
$-K_Y$ is ...
- 8,998
0
votes
1
answer
259
views
Dimension of image of a hyperplane section
If we have a surjective morphism $f：X\to Y$, where $X$ is $n$ dimensional projective variety and $Y$ is $m$ dimensional projective variety.
If $m<n$, Can we choose a general hyperplane section $H$ ...
- 1,371
1
vote
1
answer
248
views
Ample divisors on $\mathbb{P}^n$ blown-up at $k$ general points
Let $X$ be the blow-up of $\mathbb{P}^n$ at $k$ general points. We can assume $k\leq n+4$. Let
$$D = aH-b_1E_1-...-b_kE_k$$
be a divisor on $X$. Are there conditions on $a,b_1,...,b_k$ ensuring that $...
- 8,998
3
votes
1
answer
333
views
A question about kawamata's proof of vanishing for big and nef $\mathbb{Q}$ divisors
Theorem 2 [1, p.46] Let $X$ be a non-singular projective algebraic variety of dimension $n$, and $D$ a numerically effective $\mathbb{Q}$-divisor such that $(D^n)>0$. We assume that the support of ...
- 20.5k
1
vote
1
answer
1k
views
Singular irreducible quadrics
Let $Q\subset\mathbb{P}^n$ be the quadric hypersurface defined by
$$x_0^2+x_1^2+...+x_k^2 =0.$$
If $2\leq k\leq n-1$ then $Q$ is irreducible and $Sing(Q)$ is a linear space of dimension $n-k-1$.
If $...
- 8,998
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 -\...
- 8,998
1
vote
3
answers
845
views
Higher cohomology of sheaves on a projective space
Let $S\subset\mathbb{P}^n$ be a finite set of $s$ reduced points. Let $\mathcal{I}$ be the ideal sheaf of $S$ in $\mathbb{P}^n$. We consider the sheaf
$$\mathcal{F}_k:=\mathcal{O}_{\mathbb{P}^n}(kd)\...
CommunityBot
- 1
3
votes
2
answers
5k
views
Big and Nef divisors
In Example 2.2.19 of
Lazarsfeld, Positivity in Algebraic Geometry I,
I found the following statement:
Let $D$ be a divisor on an irreducible projective variety $X$. Then $D$ is nef and big if and ...
- 76
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 ...
- 8,998
6
votes
1
answer
3k
views
Top self-intersection of exceptional divisors
Let $Y\subset\mathbb{P}^n$ be a smooth variety of codimension two. Consider the blow-up $X = Bl_Y\mathbb{P}^n$ of $\mathbb{P}^n$ along $Y$, and let $E$ be the exceptional divisor over $Y$. Then $E$ ...
- 38k
2
votes
2
answers
394
views
Divisors with positive Iitaka dimension
Let $X$ be a non-singular projective variety, and $D$ a divisor on $X$.
Saying that $D$ has positive (meaning non-zero) Iitaka dimension is equivalent to the function $n \mapsto h^0(\cal{O}(D))$ ...
- 156
3
votes
4
answers
2k
views
Ample divisors on $\mathbb{P}^3$ blow-up along single point
Let $\pi:X\to\mathbb{P}^3$ be the blowing up at single point with $E$ be the exceptional divisor. Let $H=\pi^\ast\mathcal{O}_{\mathbb{P}^3}(1)$.
In Ample divisors on the blow up of $\mathbb{P}^3$ at ...
CommunityBot
- 1
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 ...
- 1,054
1
vote
0
answers
445
views
Pull-back of globally generated sheaves
Let $X$ be a smooth projective surface in $\mathbb{P}^3$, $D=\sum_i n_iD_i$ an effective Cartier divisor. Let $C$ be a smooth irreducible curve on $X$. Denote by $i:C \hookrightarrow X$ is the closed ...
- 1,981
2
votes
1
answer
1k
views
On morphisms to projective space arising from a linear system
Context: This question arose as I was reading the proof of Application 6.1 in Mumford's Abelian Varieties. However, I have extracted all of the relevant information below so this question should ...
- 123
1
vote
1
answer
145
views
divisors on $\overline{\mathcal{M}}_{g,n}$ that are trivial on certain $F$-curves
Inside the moduli space of curves $\overline{\mathcal{M}}_{g,n}$ one can distinguish two classes of $F$-curves isomorphic to $\mathbb{P}^1$: those of type $\overline{\mathcal{M}}_{0,4}$, and those of ...
- 4,111