Euler exact sequence

\begin{align*} 0\to {\mathcal{O}}_{{\mathbf{P}}^n_{/ {k}} } \to {\mathcal{O}}_{{\mathbf{P}}^n_{/ {k}} }(1){ {}^{ \scriptscriptstyle\oplus^{(n+1)} } }\to {\mathbf{T}}{\mathbf{P}}^n_{/ {k}} \to 0 \qquad \in {\mathsf{Sh}}({\mathbf{P}}^n_{/ {k}} ) \end{align*}

The last term is the tangent sheaf.

Links to this page