Questions tagged [ample-bundles]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
1 vote
1 answer
250 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)...
user avatar
7 votes
0 answers
204 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 ...
user avatar
4 votes
0 answers
192 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 ...
user avatar
  • 4,926
3 votes
0 answers
148 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-...
user avatar
  • 4,926
2 votes
1 answer
285 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$ ...
user avatar
  • 305
2 votes
0 answers
216 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 ...
user avatar
2 votes
0 answers
90 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 ...
user avatar
  • 2,277
2 votes
0 answers
131 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 \,\,...
user avatar
  • 71
1 vote
0 answers
136 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{...
user avatar
  • 503
2 votes
1 answer
308 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 ...
user avatar
2 votes
0 answers
216 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, $$...
user avatar
2 votes
1 answer
691 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 ...
user avatar
  • 1,940
5 votes
1 answer
560 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 ...
user avatar
  • 391
2 votes
0 answers
130 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/...
user avatar
  • 2,046
3 votes
1 answer
110 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 ...
user avatar
  • 13.2k
4 votes
1 answer
253 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 ...
user avatar
6 votes
1 answer
245 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 (...
user avatar
  • 2,686
8 votes
0 answers
214 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, ...
user avatar
  • 2,277
0 votes
0 answers
78 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=...
user avatar
  • 625
0 votes
1 answer
516 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 ...
user avatar
  • 1,533
2 votes
0 answers
112 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 ...
user avatar
9 votes
0 answers
512 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 ...
user avatar
3 votes
0 answers
217 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}...
user avatar
  • 2,046
1 vote
0 answers
126 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 ...
user avatar
  • 19
0 votes
0 answers
260 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 $\...
user avatar
  • 8,079
5 votes
0 answers
262 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 ...
user avatar
  • 159
2 votes
1 answer
283 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 ...
user avatar
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 ...
user avatar
  • 20.5k
2 votes
4 answers
1k 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 ...
user avatar
  • 1,899
10 votes
2 answers
804 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 $...
user avatar
1 vote
0 answers
229 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 ...
user avatar
  • 483
0 votes
1 answer
213 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 ...
user avatar
1 vote
1 answer
215 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 $...
user avatar
3 votes
0 answers
222 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. ...
user avatar
4 votes
1 answer
509 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 ...
user avatar
  • 823
4 votes
3 answers
2k 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 ...
user avatar
1 vote
2 answers
447 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 \...
user avatar
2 votes
1 answer
2k 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 ...
user avatar
1 vote
1 answer
267 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 "...
user avatar
  • 823
0 votes
1 answer
460 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 ...
user avatar
  • 6,653
3 votes
0 answers
295 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 ...
user avatar
4 votes
1 answer
260 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$...
user avatar
1 vote
1 answer
468 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 ...
user avatar
6 votes
0 answers
473 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 ...
user avatar
3 votes
0 answers
174 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 ...
user avatar
1 vote
1 answer
1k 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 ...
user avatar
4 votes
2 answers
1k views

When is the determinant of the push-forward of an ample line bundle ample

Let $f:X\to S$ be a "nice" morphism of "nice" schemes. Let $L$ be an ample line bundle on $X$. When is $\det f_\ast L$ also ample? A "nice" morphism could be anything from "finite type separated" to ...
user avatar
0 votes
0 answers
645 views

About first Chern class and Poincaré duality in case of an ample divisor

Led $D$ be a very ample divisor in $X$ projective variety. I can't understand why the first Chern class $c_1(\mathscr{O}_X(D))$ equals the Poincaré dual of $D$, $\mathscr{P}(D)$
user avatar
  • 107
1 vote
1 answer
309 views

Sommese's theorem (generalized Weak Lefschetz) in arbitrary characteristic?

Sommese's theorem is a natural generalization of the Weak Lefschetz; for a smooth projective (connected) $X$, an ample vector bundle $E/X$ of rank $e$, and a section $s:X\to E$ it states that the ...
user avatar
2 votes
0 answers
556 views

The cohomology of the relative dualizing sheaf of a relative curve

Let $X\to S$ be a curve over $S=\mathrm{Spec} \ \mathbf{Z}$. Let $\omega$ be the relative dualizing sheaf of $X\to S$. Let $g$ be the genus of the generic fibre. Assume that $g\geq 2$. I know that $\...
user avatar
  • 1,163