# Questions tagged [ample-bundles]

The ample-bundles tag has no usage guidance.

55
questions

2
votes

0
answers

131
views

### Ampleness detected by the first Chern class?

Let $M$ be a compact complex manifold. By Kodaira's embedding theorem, a line bundle $L$ on $M$ is ample if and only if its holomorphic de Rham first Chern class $c_1(L)\in H_{\operatorname{dR}}^2(M)$ ...

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 ...

4
votes

1
answer

333
views

### One-point compactification of ample line bundle

Given a smooth complex projective variety with an ample line bundle $L$, it seems to be folklore that one can get a one-point compactification of the total space $\mathbb{V}(L)$ of $L$ such that ...

1
vote

0
answers

160
views

### GAGA, positive line bundles, Kodaira embedding, and homogeneous coordinate rings

Let $M$ be a compact K"ahler manifold and let $L$ be a positive line bundle over $M$. We know from the Kodaira embedding theorem that from $L^{\otimes k}$ for some $k$ we can construct an ...

1
vote

1
answer

426
views

### Making a vector bundle ample by twisting with ample line bundle

Let $X$ be a projective algebraic variety over some field (I am happy to add some more assumptions if necessary). A vector bundle $E$ is ample if the relative twisting sheaf $\mathcal{O}_{\mathbf{P}(E)...

7
votes

0
answers

242
views

### Ample divisors on $T$-varieties

Question: how does one use a torus action to help decide whether a divisor or line bundle is ample?
In more detail: I have a (normal, but usually rather singular) $T$-variety $X$, where $T$ is an ...

4
votes

0
answers

268
views

### How much does the formal completion know about the ambient variety?

How much information does the formal completion along an ample divisor hold about the ambient variety? Given two smooth projective varieties such that they have isomorphic ample divisors, where the ...

3
votes

0
answers

149
views

### Functorial lift of certain vector bundles to the ambient projective space

Given an very ample line bundle $L$ on a projective variety we embed it into a projective space such that pullback of $\mathcal{O}(1)$ is $L$. Then we can identify the two. Consider the full sub-...

2
votes

1
answer

446
views

### Pushforward of a very ample line bundle on a curve to $\mathbb{P}^1$

Let $p:C\to\mathbb{P}^1$ be a degree $k$ morphism from a smooth projective curve $C$ to the projective line and $L$ a very ample line bundle on $C$. We know that $p_*\mathcal{O}_C(L)$ is a rank $k$ ...

2
votes

0
answers

461
views

### Embedding Calabi-Yau manifolds in projective space

When studying homological mirror symmetry, a lot of work is done not in the setting of complex manifolds, but of smooth (quasi-)projective varieties, see e.g. a paper from Orlov. However, the actual ...

2
votes

0
answers

109
views

### Nef and effective cone of minimal conic bundle

Let $\pi: S\to C$ be a minimal conic bundle over a field $k$ of characteristic zero. That is, $S$ is a geometrically irreducible smooth surface with Picard rank $2$ and $C$ a geometrically ...

2
votes

0
answers

151
views

### Structure of the big cone and Seshadri constant on Fano manifolds

I would like to know something about the following two questions.
Given $X$ Fano manifold and $L$ an ample line bundle on $X$, we define
\begin{gather}
\sigma(L,x):=\sup\{t>0\, :\, \mu^{*}L-tE \,\,...

1
vote

0
answers

152
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{...

2
votes

1
answer

468
views

### Classifying ample line bundles over the flag manifold $G/B$

For a complex Lie group $G$, with $B$ a choice of Borel subgroup. The line bundles over the flag manifold $G/B$ are indexed by elements of the weight lattice of $\frak{g}$. Which of these line bundles ...

2
votes

0
answers

270
views

### Twisting holomorphic vector bundles and Euler characteristics

Given a holomorphic vector bundle $\mathcal{V}$ over a compact complex manifold $M$, it seems that even if $\mathcal{V}$ is non-trivial, then it can still have trivial Euler characteristic, that it,
$$...

2
votes

1
answer

935
views

### Bertini type theorem for very ample line bundle

Let $X$ be a normal, projective variety (can take $X$ to be a hypersurface in a projective space) of dimension at least $3$. Let $L$ be a very ample line bundle on $X$, hence base-point free. What can ...

6
votes

1
answer

1k
views

### Ample vector bundles and embeddings

If $X$ is a complete variety over a field, a line bundle $L$ is said to be very ample if there is a closed immersion from $X$ into a projective space, such that the pullback of $\mathcal{O}(1)$ is ...

2
votes

0
answers

137
views

### Global sections of ample line bundles over (rational) elliptic fibration

Let $S$ be a smooth, complex elliptic fibration over $\mathbb{P}^1$ and $L$ be an ample invertible sheaf on $S$. I am looking for criterion under which $L$ has a non-trivial global section. Any idea/...

3
votes

1
answer

116
views

### The ample cone of a surface with an algebraic $\mathbb C^*$ action

Let $X$ be a compact complex protective surface that admits a nontirvial algebraic $\mathbb C^*$-action. It seems to me, that the ample cone of $X$ is polyhedral with finite number of faces. I wonder ...

4
votes

1
answer

286
views

### Does a projective variety have only finitely many associated Hilbert polynomials?

Let $X$ be a projective variety over $\mathbb{C}$. If $L$ is an ample line bundle, then $h_L$ denotes the Hilbert polynomial.
Is it true that, if $L$ and $L'$ are ample line bundles which are ...

6
votes

1
answer

266
views

### Does ampleness descend along finite maps?

First, let me emphasize that for $X$ a not-necessarily proper variety, we say that a line bundle $L$ on $X$ is ample, if for some positive integer $n$, $L^{\otimes n}$ arises as $j^*O(1)$ for some (...

8
votes

0
answers

294
views

### Very ample divisors on blow ups of the projective plane

Let $X$ be $\mathbb{P}^2$ blown up at $k$ points in general position. The Picard group of $X$ is just $\mathbb{Z}^{k+1}$ and one knows the intersection product explicitly. If $D$ is an ample divisor, ...

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

1
answer

678
views

### Fiber product of projective varieties and ample line bundles

Let $X, Y$ be smooth, projective varieties, $L_X$ and $L_Y$ are very ample line bundles on $X$ and $Y$, respectively. If I understand correctly, $\mbox{pr}_1^*L_X \otimes \mbox{pr}_2^*L_Y$ is a very ...

2
votes

0
answers

116
views

### Do integral curves on simple abelian surfaces define big line bundles?

Let $A$ be a simple abelian surface over $\mathbb{C}$.
Let $C\subset A$ be an irreducible and reduced one-dimensional closed subscheme. Since $A$ is simple, the normalization of $C$ is of genus at ...

9
votes

0
answers

632
views

### Hartshorne's Conjectures about Algebraic Bundles?

In 1978 Hartshorne published a list of 26 open problems about algebraic bundles on projective spaces [Hart], proceeding from an Oxford conference organized by Atiyah.
I understand that many of these ...

5
votes

0
answers

289
views

### When is the strict transform of very ample divisor ample?

Let $X$ be a projective variety and $Y \subset X$ is a very ample divisor on $X$. Let $Z \subset X$ be a regular subvariety (but $X$ need not be regular along $Z$) of codimension $2$ and $\pi:\tilde{X}...

1
vote

0
answers

159
views

### Does being big for a line bundle satisfy fpqc descent

Let $k$ be a field of characteristic zero, and let $L/k$ be a field extension. [Assume $k$ and $L$ are algebraically closed if necessary.]
Let $X$ be a variety over $k$ and let $\mathcal{L}$ be a ...

0
votes

0
answers

291
views

### What is the support of a coherent sheaf on $X\times Y$ if it is invariant by tensoring a very ample line bundle on $X$?

Let $X$ be a smooth projective variety over a field $k$ with char$k=0$ and $\mathcal{L}$ be a very ample line bundle on $X$. Let $\mathcal{F}$ be a coherent sheaf on $X$. It is well-know that if $\...

5
votes

0
answers

301
views

### Extension of ample vector bundles is ample

As I read Huybrechts-Lehn's book on Moduli of Sheaves, it is making a claim that extensions of several (at least 2) ample vector bundles (on curves) is again ample. Somehow, I am unable to see this ...

2
votes

1
answer

303
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 ...

17
votes

3
answers

1k
views

### Varieties with an ample vector bundle mapping to their tangent bundle

A well-known result of Andreatta and Wisniewski says: Let $X$ be a projective complex manifold whose tangent bundle $T_X$ contains an ample sub-bundle $\mathscr{E}$. Then $X$ is isomorphic to ...

2
votes

4
answers

2k
views

### Global section of very ample line bundles and its value on stalks

Let $X$ be a projective scheme and $\mathcal{L}$ be a very ample line bundle on $X$ with respect to some projective embedding $X \hookrightarrow \mathbb{P}^n_{\mathbb{C}}$ (for some $n$).
Given any ...

11
votes

2
answers

898
views

### On a proposition in Hartshorne's paper "Ample vector bundles on curves"

In Prop. 4.1, p. 87 of the article "Ample vector bundles on curves" (Nagoya Math. J. 43 [1971], 73--89), R. Hartshorne states the following:
Let $A$ be an abelian variety [over an alg. closed field $...

1
vote

0
answers

244
views

### Uniqueness of lifting of very ample line bundle on smooth proper surfaces over DVR

Let $R$ be a complete Henselian discrete valuation ring of characteristic 0, $X_R$ be a surface smooth, proper and flat over $R$. Assume that the residue field $k$ of $R$ is algebraically closed of ...

0
votes

1
answer

243
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 ...

1
vote

1
answer

244
views

### Ample divisors on $\mathbb{P}^n$ blown-up at $k$ general points

Let $X$ be the blow-up of $\mathbb{P}^n$ at $k$ general points. We can assume $k\leq n+4$. Let
$$D = aH-b_1E_1-...-b_kE_k$$
be a divisor on $X$. Are there conditions on $a,b_1,...,b_k$ ensuring that $...

3
votes

0
answers

240
views

### Ampleness of Hodge bundles over complex curves

Let $C$ be a smooth, proper and connected curve over
the complex numbers $\bf C$. Let ${\cal G}\to C$ be a smooth group scheme over $C$ and let $\epsilon_{\cal G}:C\to{\cal G}$ be its
zero-section. ...

4
votes

1
answer

620
views

### Does normalization of projective varieties preserve very ampleness

Let $f:\tilde{X} \to X$ be a normalization of projective variety. Let $L$ be a very ample line bundle on $X$. Is $f^*L$ a very ample line bundle on $\tilde{X}$? If not true in general, is there any ...

5
votes

3
answers

3k
views

### Weak Fano and Log fano varieties

A projective smooth variety $X$ is weak Fano if $-K_X$ is nef and big. We say that $X$ is log Fano is there exists a divisor $D$ such that $-(K_X+D)$ is ample and $(X,D)$ is Kawamata log terminal.
Is ...

1
vote

2
answers

548
views

### An ample line bundle on a K3 surface

Let $X$ be a K3 surface obtained as a double covering of $\mathbb{P}^1 \times \mathbb{P}^1$ branching along a $(4,4)$-divisor. I think the natural line bundle $\pi^*\mathcal{O}_{\mathbb{P}^1\times \...

3
votes

1
answer

3k
views

### Kleiman's and Nakai-Moishezon's ampleness criteria

I would like to work out a simple example to understand the relation between Kleiman ampleness criterion and Nakai-Moishezon ampleness criterion.
Namely, let $X$ be the blow-up of $\mathbb{P}^{2}$ at ...

1
vote

1
answer

315
views

### A question on very ample line bundle on smooth projective surfaces

I had been reading a couple of texts by J.P. Demailly, one of them titled "Effective bounds for very ample line bundles". In the introduction the author mentions a result due to I. Reider (stated in "...

0
votes

1
answer

566
views

### Canonical bundle of the moduli space of curves

By the pointed canonical bundle formula the canonical bundle of $\overline{M}_{g,n}$ is given by
$$K_{\overline{M}_{g,n}} = 13\lambda+\psi-2\delta-\sum_{I}\delta_{1,I}$$
where $\lambda$ is the Hodge ...

3
votes

0
answers

356
views

### ampleness in families

Let $X\to S$ be a smooth projective morphism with geometrically connected fibres over an integral noetherian regular scheme $S$ with generic point $\eta$.
Let $L$ be a line bundle on $X$, and suppose ...

4
votes

1
answer

288
views

### Extension of linear system

Let $X$ be a normal irreducible closed subvariety of $\mathbb{P}^n$ and let $\Lambda$ be a linear system on $X$, without fixed component. Then, there exists a linear system $\Lambda'$ on $\mathbb{P}^n$...

1
vote

1
answer

518
views

### Does every ample divisor "span" a hyperplane?

Let $X\subset\mathbb{P}^n$ be a smooth projective variety of dimension $\geq 2$ and assume that it is not contained in any hyperplane. Now, take some hyperplane $H\subset\mathbb{P}^n$ and consider the ...

6
votes

0
answers

545
views

### (Relative) ampleness on algebraic spaces

This is a follow-up (of sorts) to this question.
Let $f : X \to T$ be a proper morphism of schemes. Then the notion of a relative ample (or $f$-ample) line bundle can be defined in several ...

3
votes

0
answers

184
views

### Ampleness on the P^1 bundle over Siegel threefold

I am looking at the Shimura variety for $\mathrm{GSp}_4(\mathbb Q)$, with hyperspecial level structure at $p$. Let $X$ denote the special fiber over $\mathbb F_p$. For simplicity, let us pretend ...

1
vote

1
answer

2k
views

### When is an ample line bundle on an abelian variety base point free?

So, any line bundle $L$ on an abelian variety $X$ determines a type $(d_1,\ldots,d_g)$ where $d_i|d_{i+1}$. It's well known that if $d_1\geq 3$ then $L$ defines an embedding, that if $L$ has no fixed ...