All Questions
Tagged with line-bundles ag.algebraic-geometry
172 questions
1
vote
0
answers
409
views
Splitting principle in algebraic geometry and ample line bundles
Splitting theorem in algebraic geometry claims that if we have a vector bundle $V$ on $X$ (we consider a smooth projective variety for this question), if we pull-back $V$ to $\mathbb{P}(V)$, we get a ...
- 5,901
1
vote
0
answers
725
views
Questions on Néron–Severi group
$\DeclareMathOperator\NS{NS}\DeclareMathOperator\Pic{Pic}$I have two questions on a comment from Daniel Hyubrechts's Complex Geometry on pages 133/134.
Let $X$ be a compact Kähler manifold. Consider ...
- 5,966
1
vote
0
answers
159
views
Ample line bundle gives alternative description of a variety
Let $X$ be a (smooth) projective variety (over $\mathbb{C}$), and $\mathcal{L}$ an ample line bundle on $X$. I have heard that then
$$ X \cong \mathrm{Proj} \left( \bigoplus_{k \ge 0} H^0(X,\mathcal{...
- 533
2
votes
0
answers
164
views
A question on Okounkov bodies
Let $X$ be an irreducible $n$-dimensional projective variety, and
$$Y_n\subset Y_{n-1}\subset\dots\subset Y_1\subset X$$
a flag of irreducible subvarieties such that $Y_i$ has codimension $i$ in $X$ ...
user125056
1
vote
1
answer
160
views
Generators of a graded algebra defining bundle over elliptic curve
I have a question about a statement from P. Wagreich's paper "Elliptic Singularities of Surfaces" (page 425):
We consider an elliptic curve $X$ and a line bundle (=invertible sheaf) $L$ on $X$.
Then,...
- 5,966
2
votes
1
answer
160
views
Sections of Cartier divisors on toric varieties
Let $X_{\Sigma}$ be a projective toric variety. Consider the total coordinate ring
$$S = \mathbb{C}[x_{\rho}\: | \: \rho\in\Sigma(1)]$$
Define $\deg(x_{\rho}) = D_{\rho}$.
Now, take a divisor $D = \...
user75933
1
vote
0
answers
272
views
Are torsion-free rank 1 modules over integral schemes line bundles?
How far away are torsion-free rank 1 sheaves from the line bundles? Is there any condition that makes sure they are same? (for dimensions higher than 1). It is known that for a regular scheme of ...
- 5,901
18
votes
1
answer
2k
views
Embedding abelian varieties into projective spaces of small dimension
Given a (complex) abelian variety $A$ of a fixed dimension $g$, let $d(A)$ be the dimension of the smallest complex projective space it embeds into.
Is $d(A)$ uniform over all abelian varieties of a ...
- 4,164
2
votes
1
answer
153
views
Pull-back of polarization
Let $(X, L)$ and $(Y, M)$ be two polarized abelian varieties .
According to Birkenhake C. and Lange H. in Complex Abelian Varieties a homomorphism of polarized abelian varieties $f:(Y, M)\...
- 560
8
votes
2
answers
1k
views
Is a torsion free sheave of rank one on a reducible curve the pushforward of a line bundle on a normalization?
Let $X$ be a nodal curve, possibly reducible. Then can any torsion free sheaf of rank one on $X$ be expressed as $\pi_*(L)$, where $L$ is a line bundle on a partial normalization of $X$? This looks ...
- 129
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
1
answer
263
views
Do line bundles with enough sections on surfaces have generic divisors which are irreducible?
Let $L$ be a line bundle on a smooth connected complete complex algebraic surface $X$. Assume that $L$ has enough sections i.e. that $H^0(L,X)$ has dimension $> 1$. A nonzero section $s$ of $L$ ...
- 4,164
2
votes
2
answers
709
views
When is the space of holomorphic sections of the tensor product of two line bundles given by the span of the tensor product of the basis?
Let $S$ be a compact complex manifold and $L_1, L_2 \longrightarrow S$
be two holomorphic line bundles. Under what conditions (hopefully something that is easy to check) on $L_1$ and $L_2$ is the ...
- 3,245
1
vote
1
answer
324
views
Reference request: $f^*D$ semi-ample, then $D$ semi-ample
I am looking for a suitable reference to put in a bibliography for the following fact:
Let $f: X \rightarrow Y$ be a surjective morphism between normal projective varieties. Let $D$ be a $\mathbb{Q}$-...
- 625
1
vote
0
answers
227
views
Torsion line bundle on hyperelliptic curves and Weierstrass points
Let $C$ be an hyperelliptic curve of genus $g$ and let $f:C\rightarrow
\mathbb{P}^1$ be the corresponding 2 to 1 covering
ramified in $2g+2$ points.
Let $L$ be a line bundle on $C$ such that either $...
- 1,981
1
vote
0
answers
214
views
Twisting a line bundle with the zero section
Let $X$ be a smooth projective curve and $L$ be an invertible sheaf on $X$. Denote by $\mathbb{L}$ the line bundle associated to $L$, $\pi:\mathbb{L} \to X$ the natural morphism and $0_\pi$ the zero ...
- 1,981
3
votes
1
answer
963
views
Isomorphism classes of line bundles with connections
Isomorphism classes of line bundles over a scheme $X$ are described by the Picard group $Pic(X)$. Now there is a paper that describes the moduli space of line bundles with connections. This paper is ...
- 587
2
votes
1
answer
209
views
Curves contracted by a rational map
Let $D$ be a big but not nef divisor on a normal $\mathbb{Q}$-factorial projective variety. Assume that the section ring
$$R(D) = \bigoplus_{n\in\mathbb{N}}H^0(X,nD)$$
is finitely generated and ...
user114666
3
votes
0
answers
164
views
Determinant of the universal bundle
Let $M$ be the moduli space of semistable vector bundles of fixed determinant $L$ and rank $r$ over a smooth curve $X$. Assume that $gcd(r,deg(L))=1$. Let $\mathcal U$ be the universal bundle over $M\...
- 1,891
1
vote
0
answers
52
views
Connection on line bundle over general simplicial toric variety
In https://arxiv.org/pdf/hep-th/0005247.pdf, on page 60 and 61, it is mentioned that the connection of $\mathcal{O}(-n)$ over a (simplicial) toric variety of the form
$$
(\mathbb{C}^N \backslash U)/(\...
- 1,155
8
votes
1
answer
2k
views
Picard group of toric varieties
I am trying to understand how to obtain the Picard group for general toric varieties. So far, I have been using information found in https://arxiv.org/pdf/1003.5217.pdf .
Here, a toric variety has ...
- 1,155
1
vote
0
answers
137
views
Holomorphic line bundles associated to multiple U(1) groups, defined over toric manifolds
The sections of the holomorphic line bundle $\mathcal{O}(n)$ are acted on by the covariant derivative
$$
d+nA,
$$
where $A$ is the connection on the $U(1)$ bundle to which $\mathcal{O}(n)$ is ...
- 1,155
1
vote
0
answers
72
views
Minimal non-klt center of asymptotic linear system
Let $(X,\Delta)$ be a klt pair and $D $ a $Q $-Cartier divisor on $X $ such that the ring of sections of $D $ is finitely generated. Let $c$ be the log canonical threshold of the asymptotic linear ...
- 11
6
votes
2
answers
360
views
The kernel of a nef line bundle
Let $V$ be a complex projective variety and $L$ a nef line bundle on $V$ (i.e., $L$ is non-negative on every curve in $V$). Denote, as usual, $\deg_LX = c_1(L)^{\dim{X}}.[X]$ for $X$ a subvariety of $...
- 13.8k
2
votes
1
answer
181
views
Anti-canonical divisorial contractions of weak Fano $3$-folds
Let $X$ be a smooth weak Fano but not Fano $3$-fold ($-K_X$ is nef and big but not ample). Then the anti-canonical morphism $\phi:X\rightarrow W$ (the morphsim induced by the linear system $|-mK_X|$ ...
user114198
5
votes
0
answers
232
views
In search for examples concerning pushforward of nef divisors and lc-trivial fibrations
My question is motivated by ideas around the moduli b-divisor of an lc-trivial fibration (see for instance the following paper by Ambro https://arxiv.org/pdf/math/0308143.pdf).
In such a setup, one ...
- 625
3
votes
2
answers
924
views
Rational maps and Kodaira dimension
Let $\phi:X\dashrightarrow Y$ be a generically finite, dominant rational map between smooth projective varieties over $\mathbb{C}$.
Assume that $Y$ is of general type. May we conclude then that $X$ ...
- 8,998
3
votes
2
answers
968
views
Rationality of conic bundles
Let $\pi:X\rightarrow\mathbb{P}^2$ be a $3$-fold conic bundle, and let $\Delta\subset\mathbb{P}^2$ be its discriminant. Assume that both $X$ and $\Delta$ are smooth and that $deg(\Delta)\geq 6$.
Can ...
- 8,998
2
votes
0
answers
341
views
Lefschetz type theorems for big and nef divisors
Let $X$ be a smooth projective variety, and $D\subset X$ a smooth nef and big divisor. Assume that the restriction map $Pic(X)\rightarrow Pic(D)$ is an isomorphism over $\mathbb{Q}$.
Under which ...
user82886
1
vote
1
answer
240
views
Divisor class group of quartic surfaces
Let $X\subset\mathbb{P}^3$ be a normal quartic surface with divisor class group $Cl(X)\cong\mathbb{Z}[H]$ generated by the hyperplane section.
What can we say about the singularities of $X$?
user97096
6
votes
1
answer
525
views
Lifting line bundles
Let $X$ be a smooth proper geometrically integral scheme over $\overline{\mathbb F_p}$. Assume $X$ is the specialization of a smooth proper scheme over $\mathbb Z_p^{nr}$. Let $L$ be an ample line ...
- 113
4
votes
0
answers
172
views
How close is $h^0(mD)$ to be a polynomial?
Let $X$ be a normal (or smooth if it helps) projective variety over an algebraically closed field $k$. Fix a Cartier divisor $D$: I am interested in knowing how $h^0(mD)$ behaves as $m$ varies.
At ...
- 625
1
vote
0
answers
70
views
Moving curves and small transformations
Let $f:X\dashrightarrow Y$ be an isomorphism in codimension one between smooth projective varieties. Let $C\subset X$ a curve generating an extremal ray of the cone of moving curves $Mov_1(X)$, and ...
- 141
1
vote
0
answers
312
views
Cone of moving curves
Let $X$ be a projective variety and $C\subset X$ be a moving curve, that is the curves numerically equivalent to $C$ cover a dense open subset of $X$.
How can we detect when $C$ is an extremal ray ...
- 141
3
votes
2
answers
696
views
Fibers of pushforward of a bundle when the fiber dimension is not constant
I could not decide if I should post this question in MO or Mathstackexchange, so feel free to downvote it if you think it does not belong here. I will delete my post and post it in MathSE in that case....
- 325
1
vote
1
answer
273
views
Big divisors in family
Given a family of divisors $D_t$ on varieties $X_t$, there are examples that show that bigness is not well behaved (e.g. example 2.2.13 in Positivity 1, shows we can have a special fiber where $D_0$ ...
- 625
2
votes
0
answers
200
views
Top intersections on the Hilbert scheme of points on a surface
The Picard group of $S^{[n]}$ is generated by the Picard group of $S$ (via a map $L \mapsto L_n$) and $E$, where $E = -\frac{B}{2}$, where $B$ is the exceptional divisor of the Hilbert Chow morphism.
...
- 1,509
1
vote
1
answer
1k
views
Pull-back of the canonical divisor via a rational map
Let $f:X\dashrightarrow Y$ be a birational map between projective varieties not contracting any divisor. Assume that $X$ is smooth, and that $Y$ has at most ordinary singularities at finitely many ...
user97096
1
vote
1
answer
242
views
Number of conditions imposed by fat points to a linear system
Let $|D|$ be the linear system of degree $d$ hypersurfaces in $\mathbb{P}^n$ having multiplicity at least $m$ at $s$ general points.
Then $|kD|$ is the linear system of degree $kd$ hypersurfaces in $...
user97096
0
votes
1
answer
192
views
Why vanish the integer m of an ample line bundle in the Kodaira embedding theorem?
I try to understand the following version of the Kodaira embedding theorem:
Let $X$ be a compact Kähler manifold. A line bundle $L$ is positiv if and only if it is ample.
I have a problem with the '...
- 9
3
votes
1
answer
376
views
What is known about the cohomology of the relative tangent bundle on a conic bundle?
Let us assume $X$ is a smooth, projective and unirational variety of dimension $n$ over $\mathbb{C}$.
Given a conic bundle $\pi: Y\rightarrow X$ such that $\omega_{\pi}^{-1}$ is relatively very ample ...
- 1,025
2
votes
1
answer
511
views
Rigid effective divisors
Let $D\subset X$ be an effective smooth divisor in a smooth projective variety $X$. Assume that $h^0(X,D)=1$. In particular $D$ spans an extremal ray of the effective cone of $X$.
Now, let $f:X\...
user77919
4
votes
0
answers
179
views
How the existence of holomorphic sections depends on the choice of complex structure
In this Mathoverflow question it is asked how many invariant complex structures exist on the full flag manifold of $SU(m)$. In this question it is asked when a line bundle over a flag manifold has ...
- 443
2
votes
1
answer
308
views
Pencils in very ample linear systems without curve in its base locus
If $L$ is a very ample line bundle over a smooth complex projective surface $X$ and $s_0, \dots, s_n$ is a basis of the global sections of $L$, is there some choice of $i,j$ such that the pencil ...
- 502
8
votes
1
answer
575
views
Pushforward of line bundle under "toric isogeny"
Let $(X,T)$ be a smooth complex toric variety of dimension $d$ with torus $T$ and toric boundary $D=X\setminus T$. Let $\phi : X\to X$ be a finite endomorphism of $X$ such that the restriction
$$\phi|...
- 23.4k
4
votes
1
answer
896
views
Picard groups, ample cones, and proper birational maps
Let $f:Y\to X$ be a proper birational map of normal varieties over an algebraically closed field which is an isomorphism over the regular locus.
Q1: Is it the case that the pullback $f^*\...
- 2,537
2
votes
0
answers
160
views
Universal property of limits of invertible sheaves
Let $R$ be a discrete valuation ring, $m$ the maximal ideal and $f:X \to \mathrm{Spec}(R)$ be a flat, proper morphism of relative dimension $1$. Assume further that $X$ is regular. For any $n>0$, ...
- 2,032
1
vote
0
answers
152
views
Are two line bundles with the same ramification type necessarily isomorphic?
I have no motivation for the following problem, I am just curious if it is true or not. Here it is:
If $l_1$ and $l_2$ are two complete $g^r_d$'s on a smooth curve $C$ such that the vanishing ...
- 325
2
votes
2
answers
799
views
Could we extend any line bundle on the smooth part of a singular curve to a line bundle on the whole curve?
Let $X$ be a singular curve over an algebraic closed field $k$ with characteristic zero. Let $Z$ be the closed subset of singular points on $X$ and $U=X-Z$ be the smooth part, which is an open subset ...
- 9,019
7
votes
2
answers
608
views
Will (general points + small number of arbitrary points) impose independent condtions on plane curves?
It is well known that imposing vanishing at general points of $\mathbb P^2$ gives independent conditions on curves of degree $d$. Also, it is known that a small number ($\le d+1$) points always impose ...
- 1,509