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.
341
questions
0
votes
1
answer
161
views
Behavior of divisors under push forward and pull back
Consider a birational morphism between smooth projective varieties $f:X\to Y$. I would like to understand the behavior of push-pull/pull-push of effective divisors under $f$. I know that if $D$ is an ...
2
votes
0
answers
78
views
Branched covers of real algebraic varieties
Let $X$ be a smooth complex algebraic variety and $L$ be an $n$-torsion line bundle on $X$, i.e., a line bundle $L$ such that $L^n=\mathcal{O}_X(B)$, where $B$ is a divisor $B$ on $X$. Such a bundle ...
2
votes
0
answers
217
views
Chern classes and rational equivalence
Let $X$ be a complex variety and let $l_1$ and $l_2$ be line bundles on $X$. Let $f_1$ and $f_2$ be sections of $l_1$ and $l_2$ respectively, and let $Z_1$ and $Z_2$ be their zero-sets.
I would like ...
1
vote
1
answer
150
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)$. ...
1
vote
0
answers
42
views
Positivity of self-intersection of dicisor associated to meromorphic function
In the book "Holomorphic Vector Bundles over Compact Complex Surfaces" by Vasile Brînzănescu, in the proof of theorem 2.13 there is the following claim
Let $X$ be a compact non-algebraic ...
0
votes
2
answers
266
views
Vakil exercise on sheaf associated to the divisor of rational section
This is exercise 15.4.G. of Vakil's notes.
Let $\mathscr{L}$ be an invertible sheaf on an irreducible normal scheme $X$ with $s$ a rational section of $\mathscr{L}$. We want that $\mathscr{O}_X(\text{...
2
votes
0
answers
183
views
On the definition of the relative canonical divisor
Fix a field $k$. Let $X,Y$ be normal integral $k$-schemes of finite type and $h: Y \to X$ a proper birational $k$-morphism. Moreover, assume that $X$ is Gorenstein, i.e. it admits a canonical divisor $...
3
votes
0
answers
199
views
Is it always true that the complement of an ample divisor is affine?
Consider a proper and integral scheme $X\rightarrow\operatorname{Spec}(A)$ over a Noetherian ring $A$ and $D\in\operatorname{Div}(X)$ an effective ample Cartier divisor on $X$. Is it true that its ...
3
votes
0
answers
102
views
Error function of the second moment of the divisor function
It is easy to show that the second moment of the divisor function has asymptotics:
$$\sum_{n\leq x} d_0(n)^2 = xP(\log(x))+E_2(x)$$
Where $P$ is some polynomial and that:
$$E_2 = o(x)$$
Previously, ...
1
vote
0
answers
62
views
A criterion for divisors of degree $n$ on the projective line to belong to a linear system of codimension 1
My question is essentially about linear dependence/independence of polynomials, but I will formulate it in the language of algebraic geometry, hoping someone may suggest a result in algebraic geometry ...
10
votes
1
answer
2k
views
Power of primes
$n$ is a natural number $>1$, $\varphi(n)$ denotes the Euler's totient function, $P_n$ is the $n^\text{th}$ prime number and $\sigma(n)$ is the sum of the divisors of $n$. Consider the expression:
$...
5
votes
2
answers
240
views
Characterize the space of all ramification divisors of degree $d$
Let $X$ be a compact Riemann surface of genus $g>0$, and let $f\colon X \to \mathbb{P}^1$ be a branched covering of degree $d$. Define the ramification divisor $R_f$ on $X$ by $f$, where $\deg R_f =...
6
votes
2
answers
307
views
Toric varieties as hypersurfaces of degree (1, ..., 1) in a product of projective spaces
I wonder if some hypersurfaces of multi-degree $(1, ..., 1)$ in a product of projective spaces are toric, with polytope a union of polytopes of toric divisors of the ambient space. This question is ...
2
votes
1
answer
265
views
Exact sequence for relative cohomology + normal crossing divisors
Let $X$ be smooth algebraic variety over $\mathbb C$ and $D_1, D_2$ are snc divisors such that $D_1\cup D_2$ is also snc.
Is it true that there is an exact sequence
$$H^*(X, D_1\cup D_2)\to H^*(X, D_1)...
1
vote
1
answer
228
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'...