Schema/Geometrisches Vektorbündel/Als Schema/en/Definition

Geometric vector bundle

Let ${}X$ denote a scheme. A scheme ${}V$ equipped with a morphism

$p\colon V\longrightarrow X$

is called a geometric vector bundle of rank ${}r$ over ${}X$ if there exists an open covering ${}X=\bigcup _{i\in I}U_{i}$ and ${}U_{i}$-isomorphisms

$\psi _{i}\colon U_{i}\times {{\mathbb {A} }_{}^{r}}={{\mathbb {A} }_{U_{i}}^{r}}\longrightarrow V{|}_{U_{i}}=p^{-1}(U_{i})$

such that for every open affine subset ${}U\subseteq U_{i}\cap U_{j}$ the transition mappings

$\psi _{j}^{-1}\circ \psi _{i}\colon {{\mathbb {A} }_{U_{i}}^{r}}{|}_{U}\longrightarrow {{\mathbb {A} }_{U_{j}}^{r}}{|}_{U}$

are linear automorphisms, i.e. they are induced by an automorphism of the polynomial ring ${}\Gamma (U,{\mathcal {O}}_{X})[T_{1},\ldots ,T_{r}]$ given by ${}T_{i}\mapsto \sum _{j=1}^{r}a_{ij}T_{j}$.