All Questions
Tagged with divisors ag.algebraic-geometry
313 questions
2
votes
0
answers
220
views
Divisorial contraction to a non-normal variety
Consider a divisorial contraction $f:X\rightarrow Y$, between projective varieties, contracting an irreducible divisor $D\subset X$ to a subvariety $Z\subset Y$ of codimension at least two, and which ...
user114666
2
votes
0
answers
142
views
Degree of a divisor along a subscheme
I'm curious about a computation of Prop2.3 in The gonality conjecture on syzygies of algebraic curves of large degree by Ein and Lazarsfeld. Let $C$ be a smooth projective curve carrying a pencil $\...
- 439
2
votes
0
answers
474
views
Uniqueness of theta divisor
Let $A$ be an abelian variety (at least over $\mathbb{C}$). Suppose we have two theta divisors $\Theta_1$ and $\Theta_2$ on $A$, which give two principal polarizations on $A$.
In general, are those ...
2
votes
0
answers
164
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
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
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 ...
2
votes
1
answer
490
views
Strict transform under resolution of singularity along a singular $\mathbb{Q}$-Cartier divisor
$\DeclareMathOperator\Bl{Bl}$Let $f: Y=\Bl_0^\omega(\mathbb{C}^3)\to \mathbb{C}^3$ be a weighted blow up of $\mathbb{C}^3$ with weights $w(x,y,z)=(1,1,2)$. Then $Y$ and the exceptional divisor $E\cong ...
- 41
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
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
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
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
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
194
views
A nice way to verify whether the Neron-Severi group of a smooth affine variety is zero
Let $S$ be a smooth affine variety over an algebraically closed field (this could be the field of complex numbers). Is there an 'easy' way to verify whether $NS(S)=0$? Unfortunately, I don't know how ...
- 16.9k
2
votes
0
answers
764
views
Riemann-Roch for ARBITRARY Function Fields
I know that on an algebraic function field in one variable over any base field, there is a good divisor theory for it and a Riemann-Roch Theorem; in particular, there is a 'good' notion of 'genus'. (...
- 468
2
votes
0
answers
515
views
A motivic complex
By definition, Voevodsky's motivic complex (an object of his $DM^{eff}_-$) is a complex of sheaves with transfers whose cohomology sheaves are homotopy invariant. Now, I consider the complex (of ...
- 16.9k
1
vote
3
answers
913
views
Terminology issue: meaning of 'ample class' ?
What is meant by an "ample class" in general? Motivation: In the document I am reading, the phrase in question is "fix an ample class $\alpha\in H^1(X,\Omega^1_X)$." I know what ampleness of a line ...
- 545
1
vote
2
answers
985
views
Top self-intersection of the tautological line bundle
Let $\mathcal E$ be a rank $n$ vector bundle over a curve $Y$ and let $X=\mathbb P(\mathcal E)$ and let $\pi: X \to Y$ be the projection. I would like to compute the value of the top self-intersection ...
- 427
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
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
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,...
user68440
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 ...
- 1,103
1
vote
1
answer
881
views
Direct image of reflexive sheaf via finite, flat map
Suppose $f: X \rightarrow Y$ is a finite, flat (hence locally free) morphism of curves (i.e. schemes of dimension 1, not smooth or even reduced). Suppose $L$ is a reflexive sheaf on $X$, locally free ...
- 479
1
vote
1
answer
260
views
A short exact sequence regarding Kähler differentials and an invertible ideal on an algebraic curve
$\def\sO{\mathcal{O}}
\def\sK{\mathcal{K}}
\def\sC{\mathscr{C}}$I am trying to understand what the maps are on a certain s.e.s. of sheaves of modules on an algebraic curve. It is \eqref{ses} on Conrad'...
1
vote
1
answer
399
views
Boundary divisor of projective toroidal compactification
If $F$ is a totally real number field with $[F:\mathbb{Q}] = d>1$, $X$ is the moduli space of Hilbert-Blumenthal Abelian varieties for $F$, and $\overline{X}$ is the projective toroidal ...
- 949
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
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
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
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
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
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 ...
- 1,103
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 ...
user58604
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 ...
user47036
1
vote
1
answer
519
views
Does every ample divisor "span" a hyperplane?
Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...
- 267
1
vote
1
answer
235
views
Explicit description of the space of global sections of a torus invariant Weil divisor over a real toric variety
Let $D$ be a Weil divisor on a normal toric variety $X$ with fan $\Sigma$ that is invariant under the action by the torus $T$. Then Proposition 4.3.2 of the textbook Toric Varieties by Cox, Little and ...
- 331
1
vote
1
answer
119
views
Homogeneous components of Cox RIngs
Let $X$ be an irreducible smooth projective variety over a field $k$ (algebraically closed and of characteristic zero if needed). Let $U \subseteq X$ an affine open such that $O_X(U)$ is factorial and ...
1
vote
1
answer
215
views
Terminal $\mathbb{Q}$-factorial divisorial contractions
Let $X$ be a $3$-fold, and $f:Y\rightarrow X$ a birational $\mathbb{Q}$-factorial divisorial terminal contraction (of relative Picard number one) contracting a divisor $E\subset Y$ to a point $p\in X$....
user61586
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
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 ...
user56259
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.
user58018
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 ...
- 13.8k
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 $...
user49214
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 ...
- 3,779
1
vote
1
answer
154
views
Divisors on product abelian fourfolds
Given a principally polarized abelian surface $A$ with CM of signature $(1,1)$ by an imaginary quadratic number field $K$, I am interested in studying the Néron-Severi group $\text{NS}(A\times A)$. ...
- 91
1
vote
1
answer
729
views
Push-forward of divisors and intersections
Let $f:X\rightarrow Y$ be a surjective finite morphism of varieties, with $X$ normal and $Y$ smooth. Let $D\subset X$ be a divisor and $C\subset Y$ a curve. Does the equality
$$C\cdot f_{*}D = f^{*}C\...
user168627
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)$?
- 75
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
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 ...
- 1,103
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 $...
user49214
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)\...
user49214
1
vote
1
answer
461
views
a question on Euler characteristic of normal crossing divisors
Let $X$ be a smooth, projective complex algebraic variety. Let $D$ be a simple normal crossings divisor on $X$, with irreducible components $D_i$, for $i \in I$. For each non-empty subset $J \subset I$...
- 13