# Questions tagged [divisors-algebraic-geometry]

For questions involving divisors, invertible sheaves and/or line bundles on varieties and schemes.

445 questions
Filter by
Sorted by
Tagged with
70 views

• 23
21 views

### Can $\nu_Y (f) = 0$ for every prime divisor containing $Z = \overline{\{z\}}$, where $f \notin \mathcal{O}_z$?

This is about the argument in Hartshorne exercise III.6.8(a), which is supposed to show $X_s$ form a base for the topology of a noetherian, integral, separated, locally factorial scheme $X$, where $s$ ...
• 1,769
43 views

### How is it that the quotitient of two rationals is a common divisor for both?

When $2$ number's ratio can not be expressed as a rational number then we call these number incommensurable. But I also read that incommensurable also has the meaning of being able to measure two ...
• 1,517
83 views

### Why do we have $\mu_* \mathcal{O}_Y(K_{Y/X}) = \mathcal{O}_X$ for a resolution?

Let $X$ be a normal complex variety and $\mu : Y \to X$ a resolution of singularities. We define the relative canonical divisor to be $K_{Y/X} := K_Y - \mu^* K_X$. In his book Positivity in Algebraic ...
• 93
45 views

### Why consider $dx/x$ on a complex curve?

In a paper I'm reading, the author considers a compact Riemann surface -- or smooth algebraic curve, you pick -- $X$ given by the equation $y^d=x^n-1$ for some natural numbers $n,d$. My understanding ...
• 1,719
68 views

### What is a Cartier divisor on an affine scheme ring-theoretically?

A Cartier divisor is usually defined to be a section of the sheaf $\mathscr{K}^\times/\mathscr{O}^\times$. For an affine scheme, does a Cartier divisor on $\mathrm{Spec}(A)$ have a simple description ...
• 93
38 views

### Definition of $\nu_C(f)$ where $C$ is a subvariety of codimension 1 and $f$ is rational.

I am studying divisors from Shafarevich. The book is available as a free download at http://userpage.fu-berlin.de/aconstant/Alg2/Bib/Shafarevich.pdf. My issue comes at page 164 of the pdf. Assume we ...
50 views

### Is a degree zero divisor on a curve always basepoint-free?

Let $X$ be a smooth projective curve and $D$ a divisor on $X$ of degree zero. Is it always the case that $D$ is basepoint-free? If not, then is there always some (positive) power $mD$ which is?
• 93
104 views

### Grothendieck Group of a Nonsingular Curve (Hartshorne Exercise II.6.11).

I have copied the exercise below for reference. I was able to figure out how to do (a) and (d), so let me focus on (b) and (c). Please do not provide me with full solutions, but hints (and if ...
41 views

### Nef divisor on a surface and intersection number

Let $X$ be a complex surface and $D$ a nef divisor that is not numerically trivial. Then for any $n\in \Bbb N$, can we choose a smooth curve $C$ such that $D\cdot C\geq n$? Certainly there is a ...
• 2,034
48 views

### On a particular exact sequence in cohomology

The setup for my question is as follows (from page 9 of Deschamps' expository notes on the Artin-Winters proof of semi-stable reduction here). We want to prove that for $X$ the special fiber of a ...
1 vote
23 views

### $h^0(S^nF(nD_1+D_2))=O(n^2)$ for a rank 2 vector bundle $F$ on a smooth curve

The following proposition and proof are given in Lemma 2.5 of https://mathscinet.ams.org/mathscinet-getitem?mr=1272710, and I have some questions about it. Proposition. Let $F$ be a rank 2 vector ...
• 2,034
59 views

### Applying Riemann-Roch to a rank 2 vector bundle on a complex surface

Let $X$ be a complex surface, $F$ a rank 2 vector bundle on $X$, $n$ a positive integer, $S^nF$ the $n$-th symmetric product of $F$, $P$ a rational divisor, and $a$ a rational number such that $naP$ ...
• 2,034
38 views

### Projective surface has an ample divisor

Let $S$ be a projective surface. In https://mathoverflow.net/questions/63999/nef-divisor-on-surface, there is an argument proving that any nef divisor $D$ on $S$ has $D^2\geq 0$. But the argument ...
• 2,034
74 views

### About quotient singularities on a complex projective surface

Let $S$ be a normal (complex) projective surface with quotient singularities (locally analytically isomorphic to $\Bbb C^2/G$ where $G\subset \text{GL}(2,\Bbb C)$ is a finite group whose action is ...
• 2,034
1 vote
27 views

### Either $\pm c_1(S)$ is ample or $c_1(S)=0$ for a normal projective surface with quotient singularities with $b_2(S)=1$

According to this paper: https://arxiv.org/pdf/math/0602562.pdf, in p.2 (below Theorem 1), it is written that if $S$ is a normal projective surface (so there are only finitely many isolated ...
• 2,034
1 vote
61 views

• 83