All Questions
Tagged with divisors ag.algebraic-geometry
313 questions
2
votes
1
answer
491
views
Strict transform under resolution of singularity along a singular $\mathbb{Q}$-Cartier divisor
$\DeclareMathOperator\Bl{Bl}$Let $f: Y=\Bl_0^\omega(\mathbb{C}^3)\to \mathbb{C}^3$ be a weighted blow up of $\mathbb{C}^3$ with weights $w(x,y,z)=(1,1,2)$. Then $Y$ and the exceptional divisor $E\cong ...
CommunityBot
- 1
0
votes
0
answers
80
views
Chow moving lemma with additional property
All varieties are over algebraically closed field of characteristic zero. Let $S$ be a smooth projective surface. Let $D$ be an irreducible divisor on $S$, $H$ be another divisor and $Z\subset S$ be a ...
- 219
1
vote
1
answer
882
views
Direct image of reflexive sheaf via finite, flat map
Suppose $f: X \rightarrow Y$ is a finite, flat (hence locally free) morphism of curves (i.e. schemes of dimension 1, not smooth or even reduced). Suppose $L$ is a reflexive sheaf on $X$, locally free ...
- 1,823
29
votes
7
answers
7k
views
Elementary proof of Riemann-Roch for compact Riemann surfaces
I am supposed to give a talk about the Riemann-Roch theorem to a seminar of first and second year graduate students. I want to do Riemann-Roch for compact Riemann surfaces, but I am open to perhaps ...
- 63.9k
1
vote
0
answers
144
views
Existence and injectivity of a map from $\mathrm{Num}(X) \otimes_\mathbb{Z} \mathbb{C}$ to $H^1(X,\Omega^1_X)$
I am currently reading a paper by Mustata and Popa on the Van de Ven theorem, you can read the paper here.
On page 51 there is the following map
$$\alpha_\mathbb{C} : \mathrm{Num}(X) \otimes_\mathbb{Z}...
- 201
4
votes
1
answer
178
views
Computing the divisor class group of toric varieties over an arbitrary field
Let $k$ be an arbitrary field and let $X$ be a toric variety over $k$, coming from a fan $\Sigma$. If $k$ is algebraically closed, then theorem 4.1.3 of Cox ,Little and Schenck’s Toric Varieties book ...
- 21.4k
2
votes
0
answers
149
views
Non-proper intersection between divisors on $\mathbb{P}^1$-bundle of Hirzebruch surfaces
We are working on algebraic closed field $k$. Let $\mathbb{F}_1$ be the Hirzebruch surface $\mathbb{P}(\mathcal{O}\oplus\mathcal{O}(-1))$, $C_0$ and $C_{\infty}$ are its zero and infinity sections ...
- 63.9k
0
votes
1
answer
249
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 ...
- 101
2
votes
0
answers
85
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 ...
- 85
6
votes
2
answers
345
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 ...
- 6,995
2
votes
0
answers
232
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 ...
- 6,377
1
vote
1
answer
154
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)$. ...
- 28.8k
0
votes
2
answers
332
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{...
- 29
2
votes
0
answers
244
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 $...
- 293
16
votes
3
answers
4k
views
Contracting divisors to a point
This is quite possibly a stupid question, but it is pretty far from what I normally do, so I wouldn't even know where to look it up.
If $X$ is a projective variety over an algebraically closed field ...
- 2,305
19
votes
2
answers
8k
views
The canonical line bundle of a normal variety
I have heard that the canonical divisor can be defined on a normal variety X since the smooth locus has codimension 2. Then, I have heard as well that for ANY algebraic variety such that the canonical ...
- 42.9k
4
votes
0
answers
249
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 ...
1
vote
0
answers
73
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 ...
- 5,215
5
votes
2
answers
247
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 =...
- 713
2
votes
2
answers
416
views
The pseudoeffective cone does not contain lines
It seems to be well-known that the pseudoeffective cone $\overline{\text{Eff}}(X)$ of a normal variety $X$ does not contain lines through the origin. How can it be proved? Is there a reference?
2
votes
1
answer
304
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)...
- 149k
1
vote
1
answer
261
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'...
- 12.9k
3
votes
1
answer
248
views
A question on "Ample subvarieties of algebraic varieties"
Corollary 3.3 in Chapter IV of "Ample subvarieties of algebraic varieties" by R. Hartshorne asserts the following:
Let $X$ be a smooth projective variety and $Y\subset X$ a smooth subvariety ...
- 1,306
2
votes
1
answer
276
views
Varieties with disjoint prime divisors
I've been following the works of Totaro, Pereira, and Bogomolov/Pirutka/Silberstein about algebraic varieties over complex numbers with families of disjoint divisors. The last one generalizes results ...
- 66.3k
20
votes
2
answers
10k
views
does a line bundle always have a degree
For curves there is a very simple notion of degree of a line bundle or equivalently of a Weil or Cartier divisor. Even in any projective space $\mathbb P(V)$ divisors are cut out by hypersurfaces ...
- 6,377
3
votes
1
answer
216
views
How to determine the type of a divisor on a product of elliptic curves?
I already asked this on Math.SE, but didn't receive an answer yet.
Say $E_1, \dotsc, E_n$ are elliptic curves (everything over $\mathbb C$), and $D \subset E_1 \times \dotsc \times E_n$ is an ...
- 1,286
1
vote
0
answers
277
views
How to define Cartier divisor and Weil divisor on algebraic stack?
How to define Cartier divisor and Weil divisor on algebraic stack? Do they correspond to line bundles on stack like the case of schemes? In case of a Deligne-Mumford stack, can we have a simpler ...
- 523
3
votes
0
answers
138
views
Inverse image Weil divisor on a toric variety as a Cartier divisor
Let $X$ be a normal toric variety over an algebraically closed field and let $D$ be a torus invariant (prime) divisor. Assume $\pi\colon \tilde{X}\rightarrow X$ is a toric resolution of singularities ...
- 337
0
votes
1
answer
147
views
Are maps into a smooth curve equivalent to relative effective Cartier divisors?
Let $X$ be a smooth curve and $S$ an affine scheme, both over an algebraically closed field $k$.
Given a morphism $f : S \to X$, is it true that the graph morphism $\Gamma_f : S \to X \times S$ is a ...
- 39.3k
2
votes
2
answers
208
views
Mori cones and projective morphisms
Let $f:X\rightarrow Y$ be a morphism of smooth projective varieties, and $NE(X),NE(Y)$ the Mori cones of curves of $X$ and $Y$. Assume that $NE(X)$ is finitely generated. Then is $NE(Y)$ finitely ...
- 10.5k
7
votes
1
answer
543
views
A constructive proof of the theorem of the cube
Do you know a constructive proof of the theorem of the cube ? More precisely, let $X$, $Y$, $Z$ be projective varieties (e.g., over an algebraically closed field $k$) with points $x$, $y$, $z$ ...
- 28.8k
19
votes
2
answers
3k
views
Bertini theorems for base-point-free linear systems in positive characteristics
Suppose that $X$ is a smooth algebraic variety over an algebraically closed (uncountable if it helps) field of characteristic $p > 0$. Suppose that $L$ is a line bundle, probably ample or at least ...
- 1,446
3
votes
1
answer
291
views
Differential of a specific morphism to a Grassmannian
This is a problem that's been bugging me for some time, and therefore I've decided to ask it here. Let $X$ be a smooth projective (irreducible) variety over an algebraically closed field of ...
- 5,407
4
votes
1
answer
1k
views
References about pseudoeffective cone
I'm looking for references of explicit computation of the pseudoeffective cone $\overline{\text{Eff}}(X)$ of a projective variety $X$.
- 1,446
0
votes
1
answer
257
views
Definition of canonical pair
Let $(X,D)$ be a pair and $f:Y\rightarrow X$ a log resolution. Write
$$
K_Y + \widetilde{D} = f^{*}(K_X) + \sum_{i}a_iE_i
$$
where $\widetilde{D}$ is the strict transform of $D$. I found the following ...
- 1,306
2
votes
1
answer
158
views
Reference for torsion-freeness of the group of correspondences on a smooth projective variety
In Beauville's "Variétés de Prym et jacobiennes intermédiaires", Proposition 3.5, it is claimed that $\textrm{Corr}(T)$ is torsion-free for a smooth projective variety $T$. Here $$\textrm{...
- 28.8k
1
vote
0
answers
184
views
Divisor cohomology through spectral sequences
I don't know if it belongs here but anyway, I need to compute arithmetic genus of divisors pulled back from a Fano base space to a bundle (which may or mayn't be trivial) defined through the ...
- 11
0
votes
1
answer
384
views
Relation between canonical bundles under étale maps
Let $X$ and $Y$ be two integral separated Noetherian Gorenstein schemes over a base field $k$ of arbitrary characteristic whose local rings are unique factorization domains and $f: X\to Y$ an étale ...
- 28.8k
0
votes
0
answers
137
views
Intersection product of $\mathbb{Q}$-Cartier divisors with irreducible complete curves is well-defined
I am learning the notion of intersection product of a $\mathbb{Q}$-Cartier divisor with an irreducible complete curve on a normal variety. The definition I learned is that if $D$ is a $\mathbb{Q}$-...
- 639
1
vote
1
answer
235
views
Explicit description of the space of global sections of a torus invariant Weil divisor over a real toric variety
Let $D$ be a Weil divisor on a normal toric variety $X$ with fan $\Sigma$ that is invariant under the action by the torus $T$. Then Proposition 4.3.2 of the textbook Toric Varieties by Cox, Little and ...
- 12.9k
1
vote
1
answer
119
views
Homogeneous components of Cox RIngs
Let $X$ be an irreducible smooth projective variety over a field $k$ (algebraically closed and of characteristic zero if needed). Let $U \subseteq X$ an affine open such that $O_X(U)$ is factorial and ...
2
votes
0
answers
242
views
Semi-continuity of the Picard number
Let $f:X\rightarrow S$ be a family of smooth projective varieties. For $s\in S$ set $X_s := f^{-1}(s)$, and let $\rho(X_{s})$ be the Picard number of the fiber over $s\in S$. Fix a point $s_0\in S$.
...
- 2,607
2
votes
1
answer
243
views
Intersection of translate of divisors on abelian variety
Setup. Let $K$ be an algebraically closed field of characteristic zero, and let $A/K$ be a simple abelian variety of dimension $n$. Let $\{ x_1,x_2,\dots,x_{m^{2n}}\}$ denote the $m$-torsion points of ...
- 254
0
votes
0
answers
130
views
Is a closed subsecheme contained in a Cartier divisor?
Let $X$ be a variety over a field $k$. For a closed subscheme $Z\hookrightarrow X$ and a closed point $x\in X$ such that $\text{codim}_XZ \geq 1$ and $x\notin |Z|$, is there an effective Cartier ...
- 349
2
votes
0
answers
67
views
Irreducible components over a singular divisor
Setup. Let $K$ be an algebraically closed field of characteistic zero, let $X/K$ be a smooth projective surface and let $Z \subset X$ be an integral curve which is nonsingular except for a finite set ...
- 998
3
votes
0
answers
405
views
Cartier divisor that is not a difference of two effective Cartier divisors
Note: There are already several related questions, without any definite answer.
I want to find an example of a Noetherian integral scheme $X$ which contains a Cartier divisor that is not linearly ...
- 603
1
vote
0
answers
81
views
How to calculate the divisor given by closure of subscheme
Let $X \subset \mathbb{P}^N$ be a nonsingular projective variety over algebraically closed field which is embedded by very ample line bundle $\mathcal{L}$. Let $Y = \mathbb{P}(\mathcal{L}^{\oplus 3})$...
- 121
1
vote
0
answers
175
views
Derivation for genus-degree formula from algebraic functions field theory
This is a copy of my question from math.stackexchange: https://math.stackexchange.com/questions/4517289/derivation-for-genus-degree-formula-from-algebraic-functions-field-theory. I didn't get any ...
- 81
1
vote
0
answers
190
views
How to define a principal divisor on general complex spaces?
[I am not a native English speaker, so my sentences may sound strange. ]
I'm studying about complex analytic spaces. For meromorphic functions, I don't know how to define their principal divisors ...
- 11
10
votes
1
answer
911
views
Numerically equivalent effective divisors and semiampleness
Recall that a divisor $M$ on a variety $X$ is said to be semiample if $kM$ is base point free for a certain $k > 0$.
Being semiample is not a numerical property (take for example torsion and a non-...
- 2,821