All Questions
Tagged with divisors ag.algebraic-geometry
313 questions
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 ...
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,...) ...
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) ...
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=...
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$. ...
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
1
answer
248
views
Big divisors and small transformations
Let $X$ be a smooth projective variety such that $-K_X$ is ample. Let $f:X\dashrightarrow Y$ be a small $\mathbb{Q}$-factorial transformation. I would like to know if is true or not that:
$-K_Y$ is ...
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^...
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.
...
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 ...
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|...
-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 ...
-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 ...