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
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 ...
CommunityBot
- 1
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$?
- 6,262
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 $...
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 ...
CommunityBot
- 1
-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 ...
CommunityBot
- 1
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$ ...
CommunityBot
- 1
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 ...
- 42.9k
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 ...
CommunityBot
- 1
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?
- 666
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 ...
- 42.9k
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 $\...
- 1,566
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 $...
CommunityBot
- 1
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 ...
- 2,427
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?
- 6,262
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 ...
CommunityBot
- 1
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 ...
- 38k
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 ...
4
votes
1
answer
104
views
Zeroes of global sections killed by differential operators
I asked this question some two weeks ago on StackExchange, but received no feedback of any sort ...
Let $X$ be a compact connected Riemann surface and let $\Phi:M\rightarrow N$ be an elliptic ...
- 34.7k
13
votes
1
answer
863
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
0
answers
167
views
Ricci flat metric on pair (X,D)
Let $(X,\omega)$ be a Calabi-Yau variety and $D$ be a simple normal crossing divisor on $X$ with conic singularities with cone angle $2\pi\theta$, $0<\theta<1$ such that $K_X+D>0$, then is ...
- 75
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
0
votes
2
answers
244
views
Is there an example of integers ($x,p, q ,y$ ) which satisfies the below conditions in this claim? [closed]
Edit 01:In order to look divisibility among power divisor function where i would like to know if there a such integer $n>1 $ with y coprime to $x$ then we have: :$\sigma_y(n)\bmod \sigma_x(n)=0$, ...
- 414
7
votes
2
answers
781
views
How do i show that:$\prod\frac{p^2+1}{p^2-1}=\frac{5}{2}$ without using properties of Riemann zeta function? [duplicate]
In order to know more about product over primes ,I would like to know how do I show that :$$\prod\frac{p^2+1}{p^2-1}=\frac{5}{2}$$ without using properties of Riemann zeta function ?
Note01 : it ...
CommunityBot
- 1
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 $...
- 13k
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
159
views
Rational functions on hyperelliptic Riemann surface
Let $\mathcal R$ be an hyperelliptic Riemann surface of genus $g\geq 1$. Is it true that the only possible rational functions on $\mathcal R$ with $\leq g$ poles are the liftings of rational functions ...
- 38k
1
vote
1
answer
386
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
307
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
655
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