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.
113 questions with no upvoted or accepted answers
0
votes
0
answers
181
views
Adjunction formula for non compact surfaces
Let $M$ be a non compact complex surface and S an embedded compact Riemann surface in $M$.
I already know how to show the following equality of fiber bundle:
$$\Omega^2_{M}|S =\Omega^1_S \otimes N^*_S$...
- 25
0
votes
0
answers
231
views
Transversally intersecting divisors $C$ and $D$ in a Hartshorne's AG lemma
Question about proof of lemma V.1.3 in Robin Hartshorne's
Algebraic Geometry on page 358.
Let $X$ be surface. That's for us a nonsingular projective
surface over an algebraically closed field $k$ and ...
- 5,976
0
votes
0
answers
285
views
Pencil of divisors in algebraic geometry
Let $X \subset \mathbb{P}^n$ be projective variety over alg closed field of char $0$ and
$C = V(F), D= V(G) \subset X$ two distinct divisors (e.g. two quadrics,
curves or lines lying in a surface,...) ...
- 5,976
0
votes
0
answers
228
views
Local complete intersection and hypersurfaces
Let $Y \subset \mathbb{P}^n$ be a regular, codimension $2$, complete intersection subscheme in $\mathbb{P}^n$ (for example, $Y \cong \mathbb{P}^{n-2}$). Let $X$ be a normal (not necessarily smooth) ...
- 2,323
0
votes
0
answers
85
views
$H$ very ample, $f$ finite, is there uniform $C=C(\mathrm{deg}(f))$ for $C f^* H$ very ample?
Let $X$ and $Y$ be normal projective varieties over $\mathbb{C}$ of dimension $n$. Let $f: X \rightarrow Y$ be a finite morphism. Also, let $H$ be a very ample divisor on $Y$.
Is there a constant $C=...
- 625
0
votes
0
answers
147
views
Embedding of curves in $\mathbb P^2$
There is a mistake in the following argument but I cannot see where. Can someone help me, please?
Let $C$ be any smooth curve of genus $g\geq 1$ and $D$ a general effective divisor of degree $g+2$. ...
- 1,463
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 ...
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
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
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
0
votes
0
answers
127
views
How to compute the Betti numbers of S-D for a surface S and a divisor D?
Let S be a projective non-singular surface and D a Cartier divisor which has a smooth representative. Can the Betti numbers of S-D be represented by the Betti numbers of S and D? In a paper $b_i(S-D)=...
- 1
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
-1
votes
1
answer
895
views
Restriction of a Cartier divisor
Let $X$ be a surface (so $2$-dimensional proper $k$-scheme)
$D \subset X$ an effective Cartier divisor of $X$ which corresponding to an invertible sheaf $\mathcal{L}=O_X(D)$ and
$C \subset X$ a closed ...
- 5,976