Welcome to MathOverflow

Question

1

Let $X$ be a smooth variety and consider the diagonal $\Delta \subseteq X \times X$. It seems to be well-known that the exceptional divisor in the blow-up of $X \times X$ along $\Delta$ is isomorphic to the projectivized tangent bundle $\mathbb P(\mathcal T_X)$ of $X$ but I can't find a reference or a proof; where might I find one?

flag	asked Jan 11 at 16:58 Chuck Hague 2,441●5●15

1

This is almost by definition of the algebraic (co)tangent bundle. What is the normal bundle of $\Delta$ in $X\times X$? – J.C. Ottem Jan 11 at 17:10

2

You may safely state it in a matter-of-fact tone without any proof: "since the normal bundle to $\Delta$ is isomorphic to $\matcal T_X$" etc. – Serge Lvovski Jan 11 at 17:49

2

This is a composite of two standard statements. (1) If $X\subseteq Y$, both smooth, then the exceptional divisor in the blowup of $Y$ along $X$ is the projectivized normal bundle to $X$ inside $Y$. (2) The normal bundle to $\Delta$ inside $X\times X$ is isomorphic to the tangent bundle. As such, I agree with Serge Lvovski. – Allen Knutson Jan 13 at 2:19

1

mathoverflow.net/questions/111430/… – Sándor Kovács Jan 13 at 22:57

LMN · Accepted Answer · 2013-01-13 21:04:29Z UTC

Chuck, I think you can find references for both of the statements 1,2 that Allen gives in Fulton's Intersection theory, Appendix B, Section 5, and maybe also section 7. There, I think (1) is proved more generally for a regularly embedded subscheme. I asked a question about (2) some time ago. You might find what you are looking for (including how one proves 2, which is easy, and "intuition") here:

http://mathoverflow.net/questions/111430/tangent-bundle-and-normal-bundle-in-self-product

Fulton doesn't include proofs for everything but gives references to EGA. (Since I don't have the book with me, the section numbers might be a little off, maybe someone can correct me.)

On the blow-up along the diagonal in a product

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

1 Answer

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.