All Questions
Tagged with ag.algebraic-geometry divisors
313 questions
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
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
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
1
vote
1
answer
246
views
Divisor on variety determined by its restriction to curves
Is a (Cartier) divisor on a variety uniquely determined by its restriction to curves inside the variety? If so, how do we see this?
- 1,537
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
2
votes
0
answers
292
views
Psi-classes on moduli spaces of weighted curves
Let $\overline{\mathcal{M}}_{g,A[n]}$ be the stack of weighted genus $g$ curves with weights $A[n]=(a_1,...,a_n)$, and let $\pi:\mathcal{C}\rightarrow \overline{\mathcal{M}}_{g,A[n]}$ be the universal ...
user82886
2
votes
1
answer
230
views
Linear systems and 2-torsion shifts on hyperelliptic curves
Let $C$ be a hyperelliptic curve of genus $g$ and let $D$ be a divisor on $C$ of degree $g+1$. Assume that the linear system $|D|$ is base-point-free. Now add a $2$-torsion point $[E]$ to $D$. I would ...
- 174
3
votes
1
answer
125
views
Sections of a linear system splitting as a product of degree one polynomials
Let $X\subset\mathbb{P}^n$ be a hypersurface of degree $d$ and with multiplicities $m_1,...,m_k$ at $p_1,...,p_k\in\mathbb{P}^n$ general points.
Let $S\subseteq |\mathcal{O}_{\mathbb{P}^n}(d)|$ be ...
user75933
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$?
user58604
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?
- 63
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$...
user82886
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\...
user77919
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
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. ...
- 23.4k
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. ...
user21574
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 ...
- 825
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)$?
- 75
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 ...
user58018
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
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
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 $...
- 11
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 \...
user58018