# How far is the tangent bundle from projective space?

Is there a general theory of embeddings of the (total variety of) the tangent bundle on a (nonsingular) projective variety into projective space? I suppose what I really mean is (and to be more precise about the projective space), if $\mathbb{P}$ is the projective completion of $T_X\rightarrow X$, then what can be said about the relative dimension of "infinity": $D=\mathbb{P}\backslash T_X$?

I apologize if this question is vague. Any thoughts or references will be greatly appreciated.

Thanks!

-
Is the term "projective completion" well-defined here? If you take different embeddings of TX in projective space, you are likely to get different results. – Charles Staats Apr 24 '10 at 16:39

The simplest way to get a "projective completion" is to consider the projectivization on $X$ of $T_X \oplus L$ for some line bundle $L$ on $X$. In this case the complement will be the projectivization of $T_X$ and will have codimension 1. Sometimes you can contract this completion to get smaller complement, e.g. if $X$ is a curve (choose $L$ in such a way that $\omega_X\otimes L$ is very ample, then $P(T_X \oplus L) = P(T_X\otimes L^{-1} \oplus O)$ which is a blowup of the projective cone over $X$ in the embedding given by $\omega_X\otimes L$).
Certainly, $T_X$ is of codimension 0, it is $P(T_X)$ which is of codimension 1. Let me repeat this once again, $P(T_X \oplus L)$ contains both the total space of $T_X$ and the projectivization of $T_X$ and is the union of these two sets. The first is an open subset and the second is a closed subset. This is just a relative version of the fact that $P(V \oplus k) = P^n$ contains $V = A^n$ as an open subset and $P(V) = P^{n-1}$ as its closed complement. – Sasha Apr 26 '10 at 15:13