# Tag Info

Accepted

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

No, not in general. Take $C=\mathbb{P}^1$, $L=\mathcal{O}(1)$, $p$ to be map $x\mapsto x^2$ in affine coordinates. Then $p_*L$ has rank $2$, but 2=h^0(L)=h^0(p_*L)=h^0(\mathcal{O}(e_1))+h^0(\mathcal{...
• 31.7k
Accepted

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

Yes for the first question, by Riemann--Roch. No for the second --- even in the simplest case of a projective line, the polynomial $td + 1$ is the Hilbert polynomial (with respect to $L = O(d)$).
• 31.6k
Accepted

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

The assertion (X) is false in any characteristic $p > 0$ for any $Y$ with genus at least 2. (It is true and easy for $Y$ of genus 1, and true and easy and uninteresting for $Y$ of genus 0.) To ...
• 1,225
Accepted

### Does normalization of projective varieties preserve very ampleness

1) There are certainly many cases where $f^*L$ is still very ample: e.g. if $X$ is an irreducible curve, any line bundle on $X$ of degree $\geq 2g(\tilde{X} )+1$ will have this property. 2) A ...
• 34.4k

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

This is not a complete answer, but it's way too long for a comment. You can define ampleness for arbitrary coherent sheaves. This is done for example in V. Ancona, "Faisceaux amples sur les espaces ...
• 992
Accepted

### Does ampleness descend along finite maps?

There is a non-quasi-affine variety $X$ with quasi-affine normalization. See Tag 0271. Then $\mathcal{O}_X$ is a counter example.
• 66
Accepted

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

As Donu said, line bundles on $G/B$ correspond to elements of the weight lattice. The ample bundles correspond to the dominant regular weights. This means that the pairing of the weight $\lambda$ with ...
• 6,374
Accepted

### Ample vector bundles and embeddings

The answer to your first question is yes. Gieseker (https://projecteuclid.org/download/pdf_1/euclid.nmj/1118798367) calls such bundles as strongly ample. ( see p 92 of above paper). To see that such ...
Accepted

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

This is true, and follows from Corollary 3.29 of https://arxiv.org/pdf/0811.0517.pdf
• 56
Accepted

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

The answer to this question is now known to be yes -- it is Corollary 1.2 of this paper of Jie Liu.
• 20.6k

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

It seems to me that the $m$ is a red herring. Since you already assume that $\mathcal L$ is very ample, why do you need a power? I'll ignore $m$ here. For the questions: In case the base field is ...
• 40.8k

• 6,663

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

Actually, I think that the phenomenon Jason is describing is very much due to using a finite morphism, so there is something intelligent one could say about this. Of course, as stated there is no ...
• 40.8k
Accepted

### Weak Fano and Log fano varieties

That is true. Basically it is a consequence of the following fact: Let $D$ be a nef and big divisor on an irreducible projective variety $X$. Then there exist an effective divisor $E$ and a rational ...
• 6,663

### Weak Fano and Log fano varieties

I believe that all weak Fano varieties are log Fano. Basically, you can find an effective divisor $D$ such that $-K_X-\epsilon D$ is ample for arbitrarily small $\epsilon$. For a reference, see the ...
• 153

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

Maybe it's worth saying something more about question (2) (like Sándor, I'll stay in the algebraically closed case). This gets very close to the realm of Seshadri constants, see Positivity in ...
• 19.1k
Accepted

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

Let $D_X$ and $D_Y$ be the Chern classes of $L_X$ and $L_Y$. Assume $X$ and $Y$ have dimension at least one. Thus $pr_{1*}pr_1^*D_X=0$ and $pr_{2*}pr_2^*D_Y=0$. Applying the projection formula we ...
• 559
1 vote
Accepted

### Pencils in very ample linear systems without curve in its base locus

Here is a more precise formulation of my suggestion above. First of all, I do not believe that you can find such a surface in $\mathbb{P}^3$. The base locus curves must be coordinate lines. In ...
1 vote

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

I propose that this is what you "really" mean to say by 2): "what is the maximum length $t(L)$ such that for any $0$-dimensional scheme $Z$ of length $t(L)$, the evaluation morphism \$H^0(L) \otimes \...
• 233

Only top scored, non community-wiki answers of a minimum length are eligible