Questions tagged [ample-bundles]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
7
votes
0answers
188 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
0answers
164 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
0answers
145 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
1answer
198 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
0answers
140 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
0answers
72 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
0answers
118 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
0answers
131 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
1answer
256 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
0answers
186 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
1answer
486 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 ...
4
votes
1answer
351 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
0answers
126 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
1answer
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 ...
3
votes
1answer
231 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
1answer
234 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
0answers
187 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
0answers
77 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
1answer
426 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
0answers
110 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 ...
6
votes
0answers
199 views

Is the stack of smooth canonically polarized surfaces uniformisable (or a good orbifold)

This is a question about the fundamental group of the moduli of canonically polarized surfaces. Let $\mathcal{M}$ be the (locally finite type separated Deligne-Mumford) algebraic stack of smooth ...
9
votes
0answers
464 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 ...
3
votes
0answers
197 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
0answers
119 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
0answers
241 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
0answers
237 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
1answer
259 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
3answers
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
4answers
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 ...
10
votes
2answers
776 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
0answers
214 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 ...
1
vote
1answer
199 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
1answer
206 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
0answers
195 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
1answer
470 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 ...
4
votes
3answers
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 ...
1
vote
2answers
400 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 \...
2
votes
1answer
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 ...
1
vote
1answer
248 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 "...
1
vote
1answer
413 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
0answers
252 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
1answer
246 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
1answer
435 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
0answers
453 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
0answers
172 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
1answer
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 ...
4
votes
2answers
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 ...
0
votes
0answers
565 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)$
1
vote
1answer
302 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 ...
2
votes
0answers
524 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 $\...