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

I would like to see some examples of how to compute Chern classes of blow-ups via the formula

$$c(Y')-f^{*}c(Y)=j_{*}(g^{*}c(X)\cdot \alpha)$$,

which appears on page 300 of Fulton's intersection theory. Here $Y'$ is the blowup of $Y$ along $X$, the f,g, and j are from the usual blow-up diagram and


where $d$ is the rank of the normal bundle $N$ of $X$ in $Y$ and $\zeta=c_{1}(\mathscr{O}(1))$. Thanks.

share|cite|improve this question
DZN -- I've tried to fix the LaTex. – algori Oct 3 '11 at 18:52
Thanks (I don't know why it always gives me problems). – DZN Oct 3 '11 at 20:35
DZN -- Mathjacks, the software MO uses to process LaTeX, doesn't seem to like asterisks very much. I hope I got the brackets right in the second formula. – algori Oct 3 '11 at 21:10

Suppose we have finite-dimensional complex vector spaces $U$ and $V$, and we consider the projective spaces $X=P(U)$ and $Y=P(U\oplus V)$. The blowup $Y'$ is then $$ Y' = \{ (L,M) \in P(U\oplus V) \times P(V) : L \leq U\oplus M\}. $$ The map $f:Y'\to Y$ is just $f(L,M)=L$. The exceptional divisor is $$ X' = \{ (L,M) : L\in P(U), M\in P(V) \} = P(U)\times P(V). $$ Let $x$ be the first Chern class of $L$ in the evident sense, and let $y$ be the first Chern class of $M$. Put $n=\dim(U)$ and $m=\dim(V)$. Note that $Y'$ can be regarded as the projective bundle of the tautological bundle plus $U$ over $P(V)$, which determines its cohomology. We have

\begin{align*} H^\ast(X) &= \mathbb{Z}[x]/x^n \\\\ H^\ast(X') &= \mathbb{Z}[x,y]/(x^n,y^m) \\\\ H^\ast(Y) &= \mathbb{Z}[x]/x^{n+m} \\\\ H^\ast(Y') &= \mathbb{Z}[x,y]/(x^n(x-y),y^m) \\\\ \end{align*}

The tangent bundle to $X=P(U)$ is $\text{Hom}(L,U)-1$, and using this we get $c(X)=(1+x)^n$ (or at least $(1\pm x)^{\pm n}$, depending on your conventions). Similarly $c(Y)=(1+x)^{n+m}$ and $c(X')=(1+x)^n(1+y)^m$. If we regard $Y'$ as a bundle over $P(V)$ then the horizontal tangent bundle is $\text{Hom}(M,V)-1$ and the vertical tangent bundle is $\text{Hom}(L,M+U)-1$ which I think gives $c(Y')=(1+x)^n(1+y)^m(1+x-y)$.

This gives most of what you want. I don't have time to write more just now.

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.