In mathematics, the Euler sequence is a particular exact sequence of sheaves on n-dimensional projective space over a ring. It shows that the sheaf of relative differentials is stably isomorphic to an ${\displaystyle (n+1)}$-fold sum of the dual of the Serre twisting sheaf.

The Euler sequence generalizes to that of a projective bundle as well as a Grassmann bundle (see the latter article for this generalization.)

Statement

Let ${\displaystyle \mathbb {P} _{A}^{n))$ be the n-dimensional projective space over a commutative ring A. Let ${\displaystyle \Omega ^{1}=\Omega _{\mathbb {P} _{A}^{n}/A}^{1))$ be the sheaf of 1-differentials on this space, and so on. The Euler sequence is the following exact sequence of sheaves on ${\displaystyle \mathbb {P} _{A}^{n))$:

$${\displaystyle 0\longrightarrow \Omega ^{1}\longrightarrow {\mathcal {O))(-1)^{\oplus (n+1)}\longrightarrow {\mathcal {O))\longrightarrow 0.}$$

The sequence can be constructed by defining a homomorphism ${\displaystyle S(-1)^{\oplus n+1}\to S,e_{i}\mapsto x_{i))$ with ${\displaystyle S=A[x_{0},\ldots ,x_{n}]}$ and ${\displaystyle e_{i}=1}$ in degree 1, surjective in degrees ${\displaystyle \geq 1}$, and checking that locally on the ${\displaystyle n+1}$ standard charts, the kernel is isomorphic to the relative differential module.^[1]

Geometric interpretation

We assume that A is a field k.

The exact sequence above is dual to the sequence

${\displaystyle 0\longrightarrow {\mathcal {O))\longrightarrow {\mathcal {O))(1)^{\oplus (n+1)}\longrightarrow {\mathcal {T))\longrightarrow 0}$,

where ${\displaystyle {\mathcal {T))}$ is the tangent sheaf of ${\displaystyle \mathbb {P} ^{n))$.

Let us explain the coordinate-free version of this sequence, on ${\displaystyle \mathbb {P} V}$ for an ${\displaystyle (n+1)}$-dimensional vector space V over k:

${\displaystyle 0\longrightarrow {\mathcal {O))_{\mathbb {P} V}\longrightarrow {\mathcal {O))_{\mathbb {P} V}(1)\otimes V\longrightarrow {\mathcal {T))_{\mathbb {P} V}\longrightarrow 0.}$

This sequence is most easily understood by interpreting sections of the central term as 1-homogeneous vector fields on V. One such section, the Euler vector field, associates to each point ${\displaystyle v}$ of the variety ${\displaystyle V}$ the tangent vector ${\displaystyle v}$. This vector field is radial in the sense that it vanishes uniformly on 0-homogeneous functions, that is, the functions that are invariant by homothetic rescaling, or "independent of the radial coordinate".

A function (defined on some open set) on ${\displaystyle \mathbb {P} V}$ gives rise by pull-back to a 0-homogeneous function on V (again partially defined). We obtain 1-homogeneous vector fields by multiplying the Euler vector field by such functions. This is the definition of the first map, and its injectivity is immediate.

The second map is related to the notion of derivation, equivalent to that of vector field. Recall that a vector field on an open set U of the projective space ${\displaystyle \mathbb {P} V}$ can be defined as a derivation of the functions defined on this open set. Pulled-back in V, this is equivalent to a derivation on the preimage of U that preserves 0-homogeneous functions. Any vector field on ${\displaystyle \mathbb {P} V}$ can be thus obtained, and the defect of injectivity of this mapping consists precisely of the radial vector fields.

Therefore the kernel of the second morphism equals the image of the first one.

The canonical line bundle of projective spaces

By taking the highest exterior power, one sees that the canonical sheaf of a projective space is given by

$${\displaystyle \omega _{\mathbb {P} _{A}^{n}/A}={\mathcal {O))_{\mathbb {P} _{A}^{n))(-(n+1)).}$$

$${\displaystyle \det({\mathcal {E)))=\det({\mathcal {E))')\otimes \det({\mathcal {E))'')}$$

${\displaystyle 0\to {\mathcal {E))'\to {\mathcal {E))\to {\mathcal {E))''\to 0}$

Chern classes

The Euler sequence can be used to compute the Chern classes of projective space. Recall that given a short exact sequence of coherent sheaves,

$${\displaystyle 0\to {\mathcal {E))'\to {\mathcal {E))\to {\mathcal {E))''\to 0,}$$

${\displaystyle {\mathcal {E))}$

${\displaystyle c({\mathcal {E)))=c({\mathcal {E))')\cdot c({\mathcal {E))'')}$

${\displaystyle \mathbb {P} ^{2))$

$${\displaystyle {\begin{aligned}c(\Omega _{\mathbb {P} ^{2))^{1})&={\frac {c({\mathcal {O))(-1)^{\oplus (2+1)})}{c({\mathcal {O)))))\\&=(1-[H])^{3}\\&=1-3[H]+3[H]^{2}-[H]^{3}\\&=1-3[H]+3[H]^{2},\end{aligned))}$$

${\displaystyle [H]}$

${\displaystyle A^{\bullet }(\mathbb {P} ^{2})}$

$${\displaystyle 0\to \Omega ^{2}\to {\mathcal {O))(-2)^{\oplus 3}\to \Omega ^{1}\to 0,}$$

$${\displaystyle {\begin{aligned}c(\Omega ^{2})&={\frac {c({\mathcal {O))(-2)^{\oplus 3})}{c(\Omega ^{1})))\\&={\frac {(1-2[H])^{3)){1-3[H]+3[H]^{2))}.\end{aligned))}$$

${\displaystyle a([H])=a_{0}+a_{1}[H]+a_{2}[H]^{2}+a_{3}[H]^{3}+\cdots }$

${\displaystyle a([H])c(\Omega ^{1})=1}$