Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

Let $\mathcal E$ be a rank $n$ vector bundle over a curve $Y$ and let $X=\mathbb P(\mathcal E)$ and let $\pi: X \to Y$ be the projection. I would like to compute the value of the top self-intersection of the tautological line bundle $(\mathcal O_X(1))^n$.

share|improve this question

2 Answers 2

up vote 4 down vote accepted

Let $\xi \in A^1(X) $ be the class of $\mathcal{O}_X(1)$.

Since $\dim Y=1$, by [Hartshorne, Algebraic Geometry, p. 429] we have the equality $$\xi^n=\pi^*c_1(\mathcal{E}) \cdot \xi^{n-1}.$$

But $\mathcal{O}_X(1)$ is a relative hyperplane, so $\pi^*(\textrm{point}) \cdot \xi^{n-1}=1$. Then $$\xi^n= \deg (\mathcal{E}).$$

share|improve this answer

As Francesco showed you this is quite straightforward, therefore I think is a good opportunity to give a more general answer here.

If you have a rank $r$ holomorphic vector bundle $E$ over a compact complex manifold $X$ of dimension $n$, and you call $\pi\colon\mathbb P(E)\to X$ the projectivized bundle of hyperplanes of $E$ and $\mathcal O_E(1)\to\mathbb P(E)$ the tautological line bundle of one dimensional quotients of $E$, then $$ \pi_*c_1(\mathcal O_E(1))^{r-1+k}=(-1)^ks_k(E),\quad k=1,\dots,n. $$ Here, $s_k(E)$ is the $k$-th Segre class which is defined for instance by the following relation: $$ c_\bullet(E)\cdot s_\bullet(E)=1, $$ where $$ c_\bullet(E)=1+c_1(E)+\cdots+c_n(E) $$ is the total Chern class of $E$ and $$ s_\bullet(E)=1+s_1(E)+\cdots+s_n(E) $$ is the total Segre class.

Thus, the first terms for $s_\bullet$ are given in terms of the Chern classes by $$ s_1(E)=-c_1(E),\quad s_2(E)=c_1(E)^2-c_2(E),\quad\dots $$ The top Segre class $s_n(E)$ has an expansion which always contains the term $(-1)^nc_1(E)^n+$ terms involving higher Chern classes.

In particular, all such terms vanish if $X$ has dimension $1$ (or the bundle has rank one).

The answer to your question is now a particular case of all this and you get that your top self-intersection is just $c_1(\mathcal E)$, that is the degree of $\mathcal E$.

share|improve this answer
    
Isn't self-intersection on a curve just degree? For instance, because it should be a continuous map to $\mathbb Z$ but the degree-zero line bundles form a connected component? Intersection number is the generalization of the "degree" concept to higher-dimensional varieties? –  Will Sawin Oct 18 '11 at 4:46
    
In the question of fds (as well as in Francesco's answer and mine) the intersections considered ar not on a curve! They are on the projectivized bundle of a holomorphic vector bundle over a curve! –  diverietti Oct 18 '11 at 7:22

Your Answer

 
discard

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.