MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

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

Good Morning,

These questions are a result of trying to understand the proof of Proposition III.18 in Beauville's book 'Complex Algebraic Surfaces'.

Here is the setup - everything is smooth, projective, algebraic, complex.

For a curve $C$, let $E \to C$ be a rank 2 vector bundle, and let $S=\mathbb{P}_C(E)$ be the associated geometrically ruled surface; label the surjection $S \to C$ as $p$. Let $\mathcal{O}_S(1)$ be the tautological bundle of $S$.

Let $F (\cong \mathbb{P}^1)$ be a fibre of $p$. The first equality I don't understand is $F.\mathcal{O}_S(1)=1$. The 'rough' justification I have for this is that the tautological bundle corresponds to a section of $S\to C$, and hence meets $F$ exactly once with multiplicity 1, but this doesn't totally make sense to me. Why exactly does the tautological bundle correspond to a section? (Or if this is nonsense, how else may I see the equality?).

Secondly, there is the claim that $\mathcal{O}_S(1).p^* det(E)=deg(E)$. Could someone please explain why this is true?

I suspect that both of my problems are related to not understanding what $\mathcal{O}_S(1)$ is, so here is the construction of it that I'm using. Consider the pullback bundle $p^* E \to S$. Define a sub-line bundle $N$ of $p^* E$ as follows. A point $s \in S$ is actually equal to a one dimensional subspace of $E_{p(s)}$. Choose $N_s$ to be this one dimensional subspace of $(p^*E)_s = E_{p(s)}$. Then define $\mathcal{O}_S(1)$ by

$ 0 \to N \to p^* E \to \mathcal{O}_S(1) \to 0 $.

This question is a bit vague, but could someone motivate this definition for me, or try to explain what is going on here? Is this the same as the pullback of a hyperplane in some projective embedding?

Thank you,


edit: not totally sure why the latex code isn't working at the end, apologies.

share|cite|improve this question

closed as off-topic by abx, Alex Degtyarev, coudy, Stefan Kohl, Dima Pasechnik Apr 30 '15 at 14:42

This question appears to be off-topic. The users who voted to close gave this specific reason:

  • "MathOverflow is for mathematicians to ask each other questions about their research. See Math.StackExchange to ask general questions in mathematics." – abx, Alex Degtyarev, coudy, Stefan Kohl, Dima Pasechnik
If this question can be reworded to fit the rules in the help center, please edit the question.

I'm purposely going to give a hint rather than a solution: The sheaf $\mathcal{O}_{P(E)}(1)$ restricts to $\mathcal{O}(1)$ on the fibres by design. So it is a section in this case. So the rough justification of the first fact is correct. It also means that $p^*det(E)$ restricts to $det(E)$ on the section. Taking the degree, gives the second claim. – Donu Arapura Sep 10 '11 at 15:17
Thanks Donu. Not sure how to accept a comment as an answer. Cheers, Robert – Robert Garbary Sep 11 '11 at 16:01