# 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. Apr 24, 2010 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. Apr 26, 2010 at 15:13
• Sorry to dredge this up (this question appeared in a related questions tab) but I don't think this is correct. The complement of $\mathbb P(T_X)$ inside this bundle will be $T_X \otimes L^{-1}$ - you can see this from the identity $\mathbb P(T_X \oplus L ) = \mathbb P (T_X \otimes L^{-1} \oplus \mathcal O)$ that you give - which is not what you want unless $L = \mathcal O_X$. So I think your example of curves works only in the case of a non-hyperelliptic curve. Jan 27, 2020 at 3:21