MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

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 "flat projective" or "birational proper surjective".

A "nice" scheme could be "integral non-singular", or "integral normal", or "with easy singularities".

share|cite|improve this question
One of the common situations which arise is the following. Assume $f$ is flat and projective and let $L=f^*A\otimes B$ where $A$ is ample on $S$. Further assume that $f_*B$ is globally generated and higher direct images vanish. Then $f_*B$ is a vector bundle and $f_*L=A\otimes f_*B$ is ample and thus, so is its determinant. So, typically, if $A$ is ample on $S$, $B$ is $f-ample on $X$, then for all large $n$, $f^*A\otimes B^n$ will have this property. – Mohan Apr 12 '13 at 16:55

Consider a morphism $f:\mathbb{P}^1 \to \mathbb{P}^1$ of degree $e> 2$. Using Grothendieck's splitting lemma, it is straightforward to compute that $f_*\mathcal{O}(1)$ is isomorphic to $\mathcal{O}^{\oplus 2} \oplus \mathcal{O}(-1)^{\oplus (e-2)}$. Thus the determinant is $\mathcal{O}(-(e-2))$, which is anti-ample. Thus, I don't see any reason at all that $\text{det}(f_*L)$ should be ample in general.

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.