Euler sequence (source code)

= Euler sequence
{c}
{wiki}

On projective space, the Euler sequence is
$$
0\to\mathcal O\to\mathcal O(1)^{\oplus(m+1)}\to T\mathbb P^m\to0.
$$