All Questions
Tagged with divisors ag.algebraic-geometry
313 questions
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
6
votes
1
answer
320
views
Is there a canonical notion of principal divisor on a discrete dynamical system?
I hope this question is well-posed.
Let (X, f) be a discrete dynamical system such that every x in X has finite period, i.e. there is some n such that f^n(x) = x. Let Div(X) be the free abelian ...
- 6,210
4
votes
1
answer
299
views
Extension of linear system
Let $X$ be a normal irreducible closed subvariety of $\mathbb{P}^n$ and let $\Lambda$ be a linear system on $X$, without fixed component. Then, there exists a linear system $\Lambda'$ on $\mathbb{P}^n$...
- 42.9k
3
votes
0
answers
342
views
Hypersurfaces with Gorenstein singular loci
Recall that a hypersurface $D$ in a complex manifold $X$ is called a free divisor if the Lie algebroid $\mathcal{T}_X(-\log D)$ of vector fields tangent to $D$ is locally free. This condition is ...
- 126
0
votes
0
answers
67
views
open subset in constructible set of divisors
Let a smooth projective curve $X$ over $\mathbb{C}$.
Let a pair $(x, D)$ a pair xith a closed point $x$ and $D$ an effective divisor on $X$, such that $d_{x}:=m_{x}(D)\neq 0$.
Let $N=\deg (D)$ and $X^...
- 3,472
1
vote
0
answers
83
views
lift sections on a thickened curve
Let $X$ a curve over an algebraically closed field $k$ and $D$ a divisor on X.
Fix an integer $N$ and a closed point $x$ on $X$, we assume that $\deg(D)$ is big enough such that we have a surjective ...
- 3,472
9
votes
2
answers
329
views
Effectiveness of the distinguished theta characteristic in characteristic 2
Let $k$ be an algebraically closed field of characteristic 2. Let $C$ be a (smooth projective connected) curve over $k$. Can there exist a rational function on $C$ whose differential is holomorphic ...
- 416
2
votes
1
answer
300
views
a question on the space of divisors on a curve
Let $X$ a complex curve and $x\in X$ a point.
We consider the space of effective divisors $D$ with fixed degree $d$, whic we know is isomorphic to $X^{d}/S_{d}$ where $S_{d}$ is the symmetric group.
...
- 663
-1
votes
1
answer
204
views
effective divisors on a curve and upper semi-continuity
Let consider a smooth projective curve $X$ over $\mathbb{C}$. We consider the scheme that classifies effective divisors of degree $d$, which is isomorphic to $X^{d}/S_{d}$ where $S_{d}$ is the ...
- 39.3k
0
votes
2
answers
400
views
"rationality" of divisors
Let $X$ be a smooth projective variety over some field $k$. Then each closed point $x$ has an associated residue field $k(x)$ which is a finite extension of $k$ and a point is rational when $k(x)=k$.
...
- 47.4k
9
votes
2
answers
754
views
Irreducible divisors containing an arbitrary closed set
Let $X$ be a normal complex projective variety, let $V$ be a closed subset of $X$ (possibly reducible), and let $I_V$ be its ideal sheaf (consider the reduced scheme structure for example).
If $A$ is ...
- 7,338
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$...
- 149k
2
votes
1
answer
274
views
Conical divisor over a $\mathbb Q$-Cartier divisor.
I would like to know if the following statement is correct.
Statement. Let $X$ be a normal projective variety with $Pic(X)=\mathbb Z+torsion$. Let $L$ be an ample line bundle on $X$ and let $D$ be an ...
- 20.5k
0
votes
0
answers
161
views
sections of vector bundles transversal to a divisor
Let $X$ a smooth projective curve over $\mathbb{C}$, $S$ a finite subscheme of $X$.
$E$ a vector bundle over $X$ with a divisor $D$.
We look at the sections $A:=H^{0}(X,E)$ with $\deg E$ big enough.
...
- 3,472
2
votes
1
answer
563
views
On divisorial correspondences between curves
Assume we are given two smooth curves $C_1$ and $C_2$ over an algebraically closed field $k$. It is known that divisorial correspondences between them correspond to homomorphisms between their ...
- 149k
0
votes
0
answers
161
views
invertible sheaf of a hypersurface
Let $X \hookrightarrow \mathbb{P}^n$ be a hypersurface of degree $d$. I am trying to prove that $\mathcal{O}_{\mathbb{P}^n}(X)=\mathcal{O}(d)$. My idea is the following: if one considers the $d$-uple ...
- 11
1
vote
0
answers
355
views
cohomology of a normal crossing divisor
Let $D$ be a simple normal crossing divisor on a smooth projective variety over a field $k \subset \mathcal{C}.$ Write $D_i$ with $i \in I$ for its irreducible components. Denote, as usual,
$D_J=\...
- 11
5
votes
2
answers
3k
views
Embedded resolution of singularities
I'd like to check with my colleagues whether I have correctly understood "embedded resolution of singularities".
Let $X$ be a nonsingular projective variety over $\mathbf C$ and let $D$ be a "nice" ...
- 42.9k
2
votes
1
answer
546
views
divisors and powers of line bundles
Can anyone help me with the following question? Let $X$ be a smooth, projective algebraic variety over a field $k$ of characteristic zero. Let $D$ be an effective divisor on $X$ and $m \geq 2$ an ...
- 66.3k
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
3
votes
1
answer
695
views
Roots of line bundles
Let $k$ be a fixed algebraically closed field and $X/k$ an irreducible scheme smooth and proper over $k$. Can there exist a line bundles $\mathcal{L}, \mathcal{M}$ and an integer $m > 0$ so that
...
- 149k
4
votes
2
answers
2k
views
Bertini's Theorem small print
Suppose $S\subset \mathbb{P}^n$ is a smooth del Pezzo surface and $C$ is an irreducible smooth curve (you can make it rational if it simplifies the setting) such that $\mathcal{L}=\vert -K_S-C\vert $ ...
CommunityBot
- 1
5
votes
1
answer
870
views
Divisorial contraction: when is the image an algebraic space or a stack?
Let $X$ be a smooth projective surface (in the category of varieties, or schemes), and let $C\subset X$ be a curve (a priori not irreducible, but the irreducible case in itself is already interesting)....
- 1,279
9
votes
3
answers
3k
views
Cone of movable curves
Let $X$ be a smooth complex projective variety of dimension $n$.
Under the duality between $N_1(X)$ and $N^1(X)$ we know that closure of cone of effective curves $\overline{NE}(X)$ is dual to closure ...
CommunityBot
- 1
9
votes
1
answer
2k
views
Why is (line bundle, appropriate rational section) not a standard kind of divisor?
In algebraic geometry, there are two standard "kinds" of divisors: Weil divisors and Cartier divisors. Weil divisors provide better geometric intuition, while Cartier divisors are more general (if ...
CommunityBot
- 1
2
votes
1
answer
411
views
Picard/cohomology lattice of surfaces of low degree in $\mathbb P^3$
Let $S_{d>3}\subset\mathbb{P}^3_{\mathbb{C}}$ be a smooth surface of degree $d$. What is known (where to read?) about the Picard/cohomology lattice for small d?
e.g. for $d=4$ the cohomology ...
- 1,936
2
votes
1
answer
321
views
Constructing rational functions with ramification locus the divisor of some $n$-form
I'm still busy learning the theory of linear systems for compact Riemann surfaces. If the answer to the following question is negative, then there might not be any point in continuing.
Let $X$ be a ...
- 66.3k
21
votes
2
answers
11k
views
Elementary short exact sequence of sheaves
This question arised when I was trying to use this answer to understand Reid's "Young Person's guide to Canonical Singularities". In particular page 352 when computing the blow-up $Y\rightarrow A^2/\...
CommunityBot
- 1
2
votes
1
answer
367
views
Do divisors of degree g with this property exist in general
I have the following question. It's a long shot, but worth the try.
Let X be a compact connected Riemann surface of genus $g\geq 2$. Does there exist an effective divisor $D$ on $X$ of degree $g$ ...
- 9,497
2
votes
1
answer
269
views
Divisor intersecting non-negatively the negative part of its Zariski decomposition
Hi all. I'm looking for an example of a smooth projective surface $X$ and a pseudo-effective divisor $D$ on $X$ such that when I consider the Zariski decomposition $D=P+N$ there is some component $E$ ...
- 5,857
1
vote
0
answers
1k
views
Canonical divisor of a curve base point free (if g>0)
Is there a way to prove that the canonical divisor $W$ of an algebraic function field in one variable $F$ over a field $K$ (that is the function field of an algebraic curve) of genus $g>0$ is base ...
- 11
3
votes
1
answer
736
views
Is every Weil divisor on an arithmetic surface Q-Cartier
This question is about a technical issue I ran into.
Let $S$ be a connected 1-dimensional Dedekind scheme, and let $X\to S$ be a flat projective integral normal 2-dimensional scheme. (For simplicity, ...
- 149k
14
votes
0
answers
3k
views
Ample divisors on projective surfaces
Question: If $X$ is a projective surface and $U$ is an open affine subset of $X$, then is it true that $X \setminus U$ is the support of an (effective) ample divisor on $X$?
Background: I was reading ...
- 5,359
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 ...
- 7,902
0
votes
0
answers
331
views
Properties of morphisms induced by divisors on curves
There are a few properties from Hartshorne IV on curves that I am trying to verify. Let $D$ be an effective divisor on a curve (integral scheme of dimension 1, proper over $k$, regular) $X$, $\dim |D|...
- 419
10
votes
2
answers
2k
views
Anticanonical divisor of the blow up of P^2 in 9 points
Let $S$ the blow up of $P^2$ in nine points. Why is the anticanonical divisor $-K_S$ not semiample?
- 1,811
3
votes
1
answer
2k
views
Self intersection of blown up points and the lines which they lie on
I'm currently trying to understand the process of blowing-up, and a few things strike me as a little difficult to get an intuitive understanding of what's happening.
The current problem is on self ...
- 273
3
votes
1
answer
228
views
Boundedness of $C.K$ on a surface with $-K$ pseudoeffective
Let $S$ be a projective surface with pseudoeffective anticanonical divisor $-K_S$. Is it true that if $C$ is an integral curve with $C^2<0$ and $C \cdot K_S >0$, then $\max_C (C \cdot K_S)$ is ...
- 831
2
votes
3
answers
753
views
Moving a Weil divisor on a normal surface away from a finite set of closed points
Let $Y$ be a normal surface and let $X$ be a closed subscheme of codimension 2, i.e., $X$ is a finite set of closed points.
Let $D$ be a Weil divisor on $Y$.
Question. Does there exist a Weil ...
- 9,497
4
votes
2
answers
859
views
Moving a canonical divisor on a normal surface away from the singular locus
In a previous question Moving a Weil divisor on a normal surface away from a finite set of closed points I probably asked for too much. As J.C. Ottem pointed out, it is not always possible to move a ...
CommunityBot
- 1
2
votes
1
answer
389
views
resolution of singularities and a projection formula
Let $Y$ be a normal surface and let $p:X\longrightarrow Y$ be a resolution of singularities.
Let $f$ be a rational function on $Y$.
Do we have that $p_\ast$div $(d(f\circ p)) = $ div $df$ as cycles?...
- 9,497
8
votes
1
answer
697
views
Does combining Abhyankar's Lemma and embedded resolution give horizontal normal crossings
Let $\pi:Y\longrightarrow \mathbf{P}^1_{\mathbf{Z}}$ be a finite surjective flat morphism of schemes, where $Y$ is a normal integral flat projective 2-dimensional $\mathbf{Z}$-scheme, with branch ...
- 9,497
2
votes
2
answers
1k
views
Global sections of a linear system
Recently, following Beauville's book (exercises iv.(1),(2)) I have been working on Hirzebruch surfaces (from the algebraic geometry point of view) and I had to compute the space of global sections of ...
- 471
32
votes
10
answers
3k
views
Which 'well-known' algebraic geometric results do not hold in characteristic 2?
A smooth curve $X$ in $\mathbb{P}^n$ is strange if there is a point $p$ which lies on all the tangent lines of $X$.
Examples are $\mathbb{P}^1$ is strange and so is $y=x^2$ in characteristic $2$. ...
- 22.6k
13
votes
1
answer
4k
views
Cone of effective divisors!
Let $X$ be a smooth simply connected projective variety of dimension $n$ (over complex numbers of course). For such $X$ we have two famous cones which are cone of effective curves and ample cone and ...
- 2,541
4
votes
2
answers
1k
views
Isolated conics on a del Pezzo surface
Is there anything known about isolated conics in a del Pezzo surface: their number, arrangement, and the corresponding elements of the class group of surface's minimal desingularization? (Isolated ...
- 28.9k
4
votes
2
answers
482
views
Vague question on $Pic^0$
For a smooth variety $X$ when $Pic^0(X)$ is trivial, we get an isomorphism between $N^1(X)$ and Picard group and life become easier.
My question is whether in general there are theorems, criteria ... ...
- 7,902
7
votes
1
answer
650
views
Cones, monoids, and the space of (very) ample divisors
An interesting and useful tool to study a projective variety is its ample cone. Understanding the structure of this cone reveals information about the variety, and it is an isomorphism-invariant so ...
- 66.3k
8
votes
2
answers
783
views
Base locus of divisors on blowings up of the projective space
Let $X$ be the blowing-up of $\mathbb{P}^n$ in $r$ points in general position.
Let $\{H,E_1,...,E_r\}$ be the standard basis of $Pic(X)$. Further let $D=dH-\sum m_j E_j$, be an effective divisor, with ...
CommunityBot
- 1
6
votes
1
answer
868
views
Stable base loci cannot contain isolated points
Let $X$ be a normal projective complex variety.
A theorem of Fujita-Zariski says that if $L$ is a Cartier divisor on $X$ such that
the base locus $Bs(|L|)$ is a finite set then $L$ is semiample.
It ...
- 51