Kurs:Vector bundles, forcing algebras and local cohomology (Medellin 2012)/Lecture 3/latex
\setcounter{section}{3}
\zwischenueberschrift{Geometric vector bundles}
We have seen that the fibers of the spectrum of a forcing algebra are
\zusatzklammer {empty or} {} {}
affine spaces. However, this is not only fiberwise true, but more general: If we localize the forcing algebra at $f_i$ we get
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{ { \left( R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n-f \right) } \right) }_{f_i}
}
{ \cong} { R_{f_i}[T_1 , \ldots , T_{i-1},T_{i+1} , \ldots , T_n]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
since we can write
\mavergleichskettedisp
{\vergleichskette
{ T_i
}
{ =} { - \sum_{j \neq i} { \frac{ f_j }{ f_i } } T_j + { \frac{ f }{ f_i } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
So over every
\mathl{D(f_i)}{} the spectrum of the forcing algebra is an
\mathl{(n-1)}{-}dimensional affine space over the base. So locally, restricted to
\mathl{D(f_i)}{,} we have isomorphisms
\mavergleichskettedisp
{\vergleichskette
{ T{{|}}_{D(f_i)}
}
{ \cong} { D(f_i) \times { {\mathbb A}_{ }^{ n-1 } }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
On the intersections
\mathl{D(f_i) \cap D(f_j)}{} we get two identifications with affine space, and the transition morphisms are linear if
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
but only affine-linear in general
\zusatzklammer {because of the translation with \mathlk{{ \frac{ f }{ f_i } }}{}} {} {.}
So the forcing algebra has locally the form
\mathl{R_{f_i}[T_1 , \ldots , T_{i-1},T_{i+1} , \ldots , T_n ]}{} and its spectrum
\mathl{\operatorname{Spec} { \left( B \right) }}{} has locally the form
\mathl{D(f_i) \times { {\mathbb A}_{ }^{ n-1 } }}{.} This description holds on the union
\mavergleichskette
{\vergleichskette
{ U
}
{ = }{ \bigcup_{i = 1}^n D(f_i)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Moreover, in the homogeneous case
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
the transition mappings are linear. Hence
\mathl{V {{|}}_U}{,} where
\mathl{V}{} is the spectrum of a homogeneous forcing algebra, is a geometric vector bundle according to the following definition.
\inputdefinition
{}
{
Let $X$ denote a scheme. A scheme $V$ equipped with a morphism
\maabbdisp {p} {V} {X
} {}
is called a
\stichwort {geometric vector bundle} {}
of rank $r$ over $X$ if there exists an open covering
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and $U_i$-isomorphisms
\maabbdisp {\psi_i} { U_i \times { {\mathbb A}_{ }^{ r } } = { {\mathbb A}_{ U_i }^{ r } } } {V {{|}}_{U_i} = p^{-1} (U_i ) } {}
such that for every open affine subset
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{ U_i \cap U_j
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the transition mappings
\maabbdisp {\psi_j^{-1} \circ \psi_i} { { {\mathbb A}_{ U_i }^{ r } } {{|}}_U } { { {\mathbb A}_{ U_j }^{ r } } {{|}}_U
} {}
are linear automorphisms, i.e. they are induced by an automorphism of the polynomial ring
\mathl{\Gamma (U, {\mathcal O}_X ) [T_1 , \ldots , T_r ]}{}
given by
\mathl{T_i \mapsto \sum_{j=1}^r a_{ij} T_j}{.}
}
Here we can restrict always to affine open coverings. If $X$ is separated then the intersection of two affine open subschemes is again affine and then it is enough to check the condition on the intersections. The trivial bundle of rank $r$ is the $r$-dimensional affine space
\mathl{{ {\mathbb A}_{ X }^{ r } }}{} over $X$, and locally every vector bundle looks like this. Many properties of an affine space are enjoyed by general vector bundles. For example, in the affine space we have the natural addition
\maabbeledisp {+} { { {\mathbb A}_{ U }^{ r } } \times_U { {\mathbb A}_{ U }^{ r } } } { { {\mathbb A}_{ U }^{ r } }
} { (v_1 , \ldots , v_r, w_1 , \ldots , w_r ) } {(v_1 +w_1 , \ldots , v_r + w_r )
} {,}
and this carries over to a vector bundle, that is, we have an addition
\maabbdisp {\alpha} { V \times_X V } { V
} {.}
The reason for this is that the isomorphisms occurring in the definition of a geometric vector bundle are linear, hence the addition on
\mathl{V {{|}}_{U}}{} coming from an isomorphism with some affine space over $U$ is independent of the choosen isomorphism. For the same reason there is a unique closed subscheme of $V$ called the \stichwort {zero-section} {} which is locally defined to be
\mavergleichskette
{\vergleichskette
{ 0 \times U
}
{ \subseteq }{ { {\mathbb A}_{ U }^{ r } }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Also, multiplication by a scalar, i.e. the mapping
\maabbeledisp {\cdot} { {\mathbb A}^{1}_{U} \times_U { {\mathbb A}_{ U }^{ r } } } { { {\mathbb A}_{ U }^{ r } }
} { (s, v_1 , \ldots , v_r ) } {(sv_1 , \ldots , s v_r )
} {,}
carries over to a scalar multiplication
\maabbdisp {\cdot} { {\mathbb A}_X \times_X V } { V
} {.}
In particular, for every point
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
the fiber
\mavergleichskette
{\vergleichskette
{ V_P
}
{ = }{ V \times_X P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is an affine space over
\mathl{\kappa(P)}{.}
For a geometric vector bundle
\maabb {p} {V} {X
} {}
and an open subset
\mavergleichskette
{\vergleichskette
{U
}
{ \subseteq }{X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
one sets
\mavergleichskettedisp
{\vergleichskette
{ \Gamma(U,V)
}
{ =} { { \left\{ s : U \rightarrow V {{|}}_U \mid p \circ s =
\operatorname{Id}_{ U } \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
so this is the set of sections in $V$ over $U$. This gives in fact for every scheme over $X$ a set-valued sheaf. Because of the observations just mentioned, these sections can also be added and multiplied by elements in the structure sheaf, and so we get for every vector bundle a locally free sheaf, which is free on the open subsets where the vector bundle is trivial.
\inputdefinition
{}
{
A coherent ${\mathcal O}_X$-module ${ \mathcal F }$ on a scheme $X$ is called
\stichwort {locally free} {}
of rank $r$, if there exists an open covering
\mavergleichskette
{\vergleichskette
{X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and ${\mathcal O}_{U_i}$-module-isomorphisms
\mavergleichskette
{\vergleichskette
{ { \mathcal F } {{|}}_{U_i}
}
{ \cong }{ { \left( {\mathcal O}_{U_i} \right) }^r
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for every
\mavergleichskette
{\vergleichskette
{i
}
{ \in }{I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
Vector bundles and locally free sheaves are essentially the same objects.
\inputfakt{Schema/Lokal freie Garben und Vektorbündel/Äquivalenz/en/Fakt}{Theorem}{}
{
\faktsituation {Let $X$ denote a scheme.}
\faktfolgerung {Then the category of locally free sheaves on $X$ and the category of geometric vector bundles on $X$ are equivalent.}
\faktzusatz {A geometric vector bundle
\maabb {} {V} {X
} {} corresponds to the sheaf of its sections, and a locally free sheaf ${\mathcal F}$ corresponds to the
\zusatzklammer {relative} {} {}
spectrum of the symmetric algebra of the dual module ${ {\mathcal F} }^{ * }$.}
\faktzusatz {}
}
The free sheaf of rank $r$ corresponds to the affine space
\mathl{{ {\mathbb A}_{ X }^{ r } }}{} over $X$.
\zwischenueberschrift{Torsors of vector bundles}
We have seen that
\mavergleichskettedisp
{\vergleichskette
{ V
}
{ =} { \operatorname{Spec} { \left( R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n \right) } \right) }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
acts on the spectrum of a forcing algebra
\mavergleichskette
{\vergleichskette
{ T
}
{ = }{ \operatorname{Spec} { \left( R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n+f \right) } \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
by addition. The restriction of $V$ to
\mavergleichskette
{\vergleichskette
{ U
}
{ = }{ D({ \left( f_1 , \ldots , f_n \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is a vector bundle, and $T$ restricted to $U$ becomes a $V$-torsor.
\inputdefinition
{}
{
Let $V$ denote a geometric vector bundle over a scheme $X$. A scheme
\maabb {} {T} {X
} {}
together with an action
\maabbdisp {\beta} {V \times_X T } {T
} {}
is called a geometric
\zusatzklammer {Zariski} {} {-}\stichwort {torsor} {}
for $V$
\zusatzklammer {or a
\stichwortpraemath {V} {principal fiber bundle}{}
or a
\stichwort {principal homogeneous space} {}} {} {}
if there exists an open covering
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and isomorphisms
\maabbdisp {\varphi_i} { T {{|}}_{U_i} } { V{{|}}_{U_i}
} {}
such that the diagrams
\zusatzklammer {we set
\mathkor {} {U = U_i} {and} {\varphi= \varphi_i} {}} {} {}
\mathdisp {\begin{matrix} V {{|}}_U \times_U T {{|}}_U & \stackrel{ \beta }{\longrightarrow} & T {{|}}_U & \\ \!\!\!\!\! \operatorname{Id} \times \varphi \downarrow & & \downarrow \varphi \!\!\!\!\! & \\ V {{|}}_U \times_U V {{|}}_U & \stackrel{ \alpha }{\longrightarrow} & V {{|}}_U & \!\!\!\!\! \\ \end{matrix}} { }
commute, where $\alpha$ is the addition on the vector bundle.
}
The torsors of vector bundles can be classified in the following way.
\inputfaktproof
{Vektorbündel auf Schema/Torsor und H^1/Korrespondenz/en/Fakt}
{Proposition}
{}
{
\faktsituation {Let $X$ denote a noetherian separated scheme and let
\maabbdisp {p} {V} {X
} {}
denote a geometric vector bundle on $X$ with sheaf of sections ${\mathcal S}$.}
\faktfolgerung {Then there exists a correspondence between first cohomology classes
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ H^1 (X, {\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and geometric $V$-torsors.}
\faktzusatz {}
\faktzusatz {}
}
{
We describe only the correspondence.
\teilbeweis {}{}{}
{Let $T$ denote a $V$-torsor. Then there exists by definition an open covering
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
such that there exist isomorphisms
\maabbdisp {\varphi_i} {T {{|}}_{U_i} } { V {{|}}_{U_i}
} {}
which are compatible with the action of
\mathl{V {{|}}_{U_i}}{} on itself. The isomorphisms $\varphi_i$ induce automorphisms
\maabbdisp {\psi_{ij} = \varphi_j \circ \varphi_i^{-1}} { V {{|}}_{U_i \cap U_j} } { V {{|}}_{U_i \cap U_j}
} {.}
These automorphisms are compatible with the action of $V$ on itself, and this
means that they are of the form
\mavergleichskettedisp
{\vergleichskette
{ \psi_{ij}
}
{ =} {
\operatorname{Id}_{ V } {{|}}_{U_i \cap U_j} +s_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
with suitable sections
\mavergleichskette
{\vergleichskette
{s_{ij}
}
{ \in }{ \Gamma(U_i \cap U_j,{\mathcal S})
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
This family defines a \v{C}ech cocycle for the covering and gives therefore a cohomology class in
\mathl{H^1(X, {\mathcal S} )}{.}}
{}
\teilbeweis {}{}{}
{For the reverse direction, suppose that the cohomology class
\mavergleichskette
{\vergleichskette
{ c
}
{ \in }{ H^1(X, {\mathcal S} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is represented by a \v{C}ech cocycle
\mavergleichskette
{\vergleichskette
{ s_{ij}
}
{ \in }{ \Gamma (U_i \cap U_j , {\mathcal S} )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
for an open covering
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ \bigcup_{i \in I} U_i
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
Set
\mavergleichskette
{\vergleichskette
{ T_i
}
{ \defeq }{ V {{|}}_{U_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
We take the morphisms
\maabbdisp {\psi_{ij}} {T_i {{|}}_{U_i \cap U_j} = V{{|}}_{U_i \cap U_j} } {V{{|}}_{U_i \cap U_j} = T_j {{|}}_{U_i \cap U_j}
} {}
given by
\mavergleichskette
{\vergleichskette
{ \psi_{ij}
}
{ \defeq }{
\operatorname{Id}_{ V } {{|}}_{U_i \cap U_j} +s_{ij}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
to glue the $T_i$ together to a scheme $T$ over $X$. This is possible since the cocycle condition guarantees the glueing condition for schemes(see \cite[0, 4.1.7]{EGAI}).
The action of
\mavergleichskette
{\vergleichskette
{ T_i
}
{ = }{ V{{|}}_{U_i}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
on itself glues also together to give an action on $T$.}
{}
It follows immediately that for an affine scheme
\zusatzklammer {i.e. a scheme of type \mathlk{\operatorname{Spec} { \left( R \right) }}{}} {} {}
there is no non-trivial torsor for any vector bundle. There will however be in general many non-trivial torsors on the punctured spectrum
\zusatzklammer {and on a projective variety} {} {.}