Kurs:Vector bundles and their torsors (Kolkata 2011)/Lecture 1/latex
\setcounter{section}{1}
\zwischenueberschrift{Locally free sheaves}
We start this lecture series by asking what are the easiest modules $M$ over a commutative ring $R$. There are several possible answers to this question, but the answer should definitely include the ring $R$ itself and also the $0$-module. Another easy module is the direct product
\mavergleichskette
{\vergleichskette
{ R^n
}
{ = }{ R \times \cdots \times R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
of the ring with itself. These modules are called free modules of rank $r$. Ideals might look easy at first sight, but in fact they are not, with the exception of a principal ideal domain, where all non-zero ideals are isomorphic as a module to $R$. Instead we consider here $R$-modules which have the property that their localizations are free. For this we look at a typical example, the so-called syzygy modules.
Let $R$ be a commutative ring and let $I$ be an ideal generated by finitely many elements
\mathl{I=(f_1 , \ldots , f_n)}{.} The free resolution of the residue class ring
\mathl{R/I}{} is the exact complex
\mathdisp {\ldots \longrightarrow R^{n_2} \longrightarrow R^n \stackrel{f_1 , \ldots , f_n }{\longrightarrow} R \longrightarrow R/I \longrightarrow 0} { . }
This resolution goes
\zusatzklammer {unless $I$ has finite projective dimension} {} {} on forever, but we can break it up to obtain the exact complex
\mathdisp {0 \longrightarrow M = \operatorname{Syz} { \left( f_1 , \ldots , f_n \right) } \longrightarrow R^n \stackrel{f_1 , \ldots , f_n }{\longrightarrow} R \longrightarrow R/I \longrightarrow 0} { , }
where the module $M$ is just defined to be the kernel of the $R$-module-homomorphism
\maabbeledisp {} {R^n} {R
} {(s_1 , \ldots , s_n)} { \sum_{i = 1}^n s_if_i
} {.}
This kernel consists exactly of the syzygies for these elements, hence it is called
\zusatzklammer {the first} {} {} syzygy module. This module can be already quite complicated, however, we can make the following observation. Let us fix one $i$, say
\mathl{i=1}{,} and look at the induced sequence over the localization
\mathl{R_{f_1}}{.} As localization is an exact functor, we still get an exact sequence, and since
\mathl{f_1 \in I}{,} the ideal
\mathl{I_{f_1}}{} contains now a unit and therefore we have
\mathl{(R/I)_{f_1} = 0}{,} so we can rewrite the induced sequence as
\mathdisp {0 \longrightarrow M_{f_1} \longrightarrow (R_{f_1})^n \stackrel{f_1 , \ldots , f_n }{\longrightarrow} R_{f_1} \longrightarrow 0} { . }
We claim that we have an
\mathl{R_{f_1}}{-}module isomorphism
\maabbdisp {} {(R_{f_1})^{n-1}} { M_{f_1} \cong (\operatorname{Syz} { \left( f_1 , \ldots , f_n \right) })_{f_1}
} {}
by sending the $j$-th standard vector $e_j$
\zusatzklammer {\mathlk{j= 2 , \ldots , n}{}} {} {}
to
\mathdisp {v_j = ( - { \frac{ f_j }{ f_1 } } , \ldots , 0, 1 , 0, \ldots , 0)} { }
\zusatzklammer {the $1$ stands at the $j$th position} {} {.}
This is obviously well-defined, since $f_1$ is a unit in
\mathl{R_{f_1}}{,} and evidently the given tuple is a syzygy. If
\mathl{s= (s_1 , \ldots , s_n)}{} is a syzygy, then
\mathl{\sum_{j=2}^n s_j e_j}{} is a preimage, since it is mapped under this homomorphism to
\mavergleichskettedisp
{\vergleichskette
{ \sum_{j = 2}^n s_ j v_j
}
{ =} {(- \sum_{j = 2}^n s_j { \frac{ f_j }{ f_1 } } , s_2 , \ldots , s_n)
}
{ =} {( s_1 , s_2 , \ldots , s_n)
}
{ } {
}
{ } {
}
}
{}{}{.}
Hence we have a surjection. The injectivity follows immediately by looking at the components $2$ to $n$ in the syzygy.
This means that the syzygy module when restricted to the open subset
\mathl{D(f_1)}{}
\zusatzklammer {viewed as an $R_{f_1}$-module} {} {} is free of rank
\mathl{n-1}{,} and the same holds for all
\mathl{D(f_j)}{.} Hence the syzygy module restricted to the open subset
\mathdisp {U= \bigcup_{j=1}^n D(f_j)} { }
has the property that there exists a covering by open subsets such that the restrictions to these open subsets are free modules. In general, the syzygy module is not free as an $R$-module nor as an ${\mathcal O}_U$-module on $U$. The above given explicit isomorphism on
\mathl{D(f_1)}{}
\zusatzklammer {such an isomorphism is called a local trivialization of $M$ on \mathlk{D(f_1)}{}} {} {} uses that $f_1$ is a unit, hence this can not be extended to give an isomorphism on $U$.
On the intersection
\mathl{D(f_1) \cap D(f_2) = D(f_1f_2)}{}
\mathkor {} {f_1} {as well as} {f_2} {}
are units, hence the above isomorphisms
\zusatzklammer {let's call them $\psi_1$ on $D(f_1)$ and $\psi_2$ on $D(f_2)$} {} {}
induce two different isomorphisms on
\mathl{D(f_1f_2)}{} between
\mathkor {} {(R_{f_1f_2})^{n-1}} {and} {M_{f_1f_2}} {} We can connect them to get an isomorphism
\maabbdisp {\psi_2^{-1} \circ \psi_1} { (R_{f_1f_2})^{n-1} } { (R_{f_1f_2})^{n-1}
} {}
which is given by the
\zusatzklammer {over \mathlk{R_{f_1f_2}}{}} {} {}
invertible
\mathl{(n-1) \times (n-1)}{-}matrix
\mathdisp {\begin{pmatrix} - { \frac{ f_2 }{ f_1 } } & - { \frac{ f_3 }{ f_1 } } & - { \frac{ f_4 }{ f_1 } } & \ldots & - { \frac{ f_n }{ f_1 } } \\ 0 & -1 & 0 & \ldots & 0 \\ 0 & 0 & -1 & \ddots & \vdots \\ \vdots & \vdots & \ddots & \ddots & 0 \\ 0 & \ldots & \ldots & 0 & -1 \end{pmatrix}} { . }
We have seen that a syzygy module as above considered on
\mavergleichskette
{\vergleichskette
{ U
}
{ = }{ \bigcup_{i = 1}^n D(f_i)
}
{ }{
}
{ }{
}
{ }{}
}
{}{}{}
has the following two properties: On the
\mathl{D(f_i)}{,} which cover $U$, there are isomorphisms with a free module, and if we connect two such isomorphisms then the transition map is linear. These two properties give rise to what is called a locally free sheaf
\zusatzklammer {the second condition is somehow hidden in the coherence. It will be explicit in the equivalent definition of a geometric vector bundle below} {} {.}
We will now give the precise definition. For this we will work in the context of schemes. If you are not familiar with the theory of schemes, it is enough to think of $X$ as the spectrum
\mathl{\operatorname{Spec} { \left( R \right) }}{} of a ring or an open subset
\mavergleichskette
{\vergleichskette
{ D( {\mathfrak a})
}
{ \subseteq \operatorname{Spec} { \left( R \right) } }{}
{ }{}
{ }{}
{ }{}
}
{}{}{}
of it defined by an ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak a}
}
{ \subseteq }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {such schemes are called quasiaffine} {} {.}
Recall that
\mathl{\operatorname{Spec} { \left( R \right) }}{} consists of all prime ideals of $R$ together with the Zariski topology where a basis is given by
\mavergleichskettedisp
{\vergleichskette
{ D(f)
}
{ =} { { \left\{ {\mathfrak p} \in \operatorname{Spec} { \left( R \right) } \mid f \notin {\mathfrak p} \right\} }
}
{ \cong} { \operatorname{Spec} { \left( R_f \right) }
}
{ } {
}
{ } {
}
}
{}{}{.}
If
\mavergleichskette
{\vergleichskette
{ R
}
{ = }{ K[X_1 , \ldots , X_n]
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
where $K$ is a field, then one should consider
\mathl{\operatorname{Spec} { \left( R \right) }}{} as the usual affine space
\mathl{K^n}{,} where the points
\mathl{(a_1 , \ldots , a_n)}{} correspond to the maximal ideals of the form
\mathl{(X_1 -a_1 , \ldots , X_n-a_n)}{}
\zusatzklammer {and all maximal ideals with residue class field $K$ are of this form} {} {.}
If
\mathl{R=K[X_1 , \ldots , X_n]/(H)}{,} then one should think of
\mathl{\operatorname{Spec} { \left( R \right) }}{} as the closed subset of affine space $K^n$ consisting of the points
\mathl{(a_1 , \ldots , a_n)}{} such that
\mathl{H(a_1 , \ldots , a_n) = 0}{.}
For some also the word sheaf might be scary. As a first good approximation, one may think of a quasicoherent sheaf as an $R$-module $M$ together with the family of localizations $M_f$ which are associated to the open subsets
\mathl{D(f)}{}
\zusatzklammer {$f \in R$} {} {.}
\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
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}
The easist locally free sheaves are
\mathl{{\mathcal O}_{ X }^r}{}
\zusatzklammer {\mathlk{r \in \N}{}} {} {,}
these are called free. The definition says exactly that locally a locally free sheaf is such a free sheaf. Over a local ring, any locally free sheaf is free, so there is not much to say. However, if we consider over a local ring $R$ the modules which are locally free outside the unique closed point ${\mathfrak m}$ of
\mathl{\operatorname{Spek} { \left( R \right) }}{,} i.e. on
\mathl{D( {\mathfrak m} )}{}
\zusatzklammer {which is called the punctured spectrum} {} {,}
then this is already a very important class of modules. Examples of this type will be the first syzygy module for an ${\mathfrak m}$-primary ideal.
The following two theorems give equivalent characterizations of locally free sheaves on an affine scheme
\mathl{\operatorname{Spek} { \left( R \right) }}{.} Basically it says that the term locally can be understood in any meaningful sense.
\inputfakt{Endlich erzeugter Modul/Lokal freie Garbe/Charakterisierungen von lokal/en/Fakt}{Theorem}{}
{
\faktsituation {Let $R$ denote a commutative noetherian ring and let $M$ denote a finitely generated $R$-module. Let
\mavergleichskette
{\vergleichskette
{r
}
{ \in }{\N
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}}
\faktuebergang {Then the following conditions are equivalent.}
\faktfolgerung {\aufzaehlungvier{The localizations
\mathl{M_ {\mathfrak p}}{} are free of rank $r$ for every prime ideal
\mavergleichskette
{\vergleichskette
{ {\mathfrak p}
}
{ \in }{ \operatorname{Spek} { \left( R \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{The localizations
\mathl{M_ {\mathfrak m}}{} are free of rank $r$ for every maximal ideal ${\mathfrak m}$ of $R$.
}{There exists elements
\mavergleichskette
{\vergleichskette
{ f_1 , \ldots , f_k
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
which generate the unit ideal and such that the localizations
\mathl{M_{f_j}}{} are free of rank $r$ for every
\mavergleichskette
{\vergleichskette
{j
}
{ = }{1 , \ldots , k
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
}{The coherent sheaf $\tilde{M}$ on
\mathl{\operatorname{Spek} { \left( R \right) }}{} associated to $M$ is locally free.
}}
\faktzusatz {}
\faktzusatz {}
}
\inputfakt{Endlich erzeugter Modul/Lokal freie Garbe/Projektiv und flach/en/Fakt}{Theorem}{}
{
\faktsituation {Let $R$ denote a commutative noetherian ring and let $M$ denote a finitely generated $R$-module. Let
\mathl{r \in \N}{.}}
\faktuebergang {Then the following conditions are equivalent.}
\faktfolgerung {\aufzaehlungdrei{$\tilde{M}$ is locally free.
}{$M$ is a projective module.
}{$M$ is a
\zusatzklammer {faithfully} {} {}
flat module.
}}
\faktzusatz {}
\faktzusatz {}
}
The following theorem provides many locally free sheaves. The syzygy sheaves discussed above are a special case of this construction, since they are the kernel of
\maabb {} { {\mathcal O}_{ X }^n } { {\mathcal O}_X
} {,}
which is surjective on
\mavergleichskette
{\vergleichskette
{U
}
{ = }{\bigcup_{i = 1}^n D(f_i)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
\inputfakt{Schema/Lokal freie Garben/Surjektiv/Kern/Fakt/en}{Theorem}{}
{
\faktsituation {Let $X$ denote a scheme and let
\mathkor {} {{\mathcal F}} {and} {{\mathcal G}} {} denote two locally free sheaves
\zusatzklammer {of rank $r$ and $s$} {} {} together with a surjective sheaf homomorphism
\maabbdisp {\psi} { {\mathcal F} } { {\mathcal G}
} {.}}
\faktfolgerung {Then the kernel sheaf
\mathl{\operatorname{kern} \psi}{} is also locally free
\zusatzklammer {of rank \mathlk{r-s}{}} {} {.}}
\faktzusatz {}
\faktzusatz {}
}
\zwischenueberschrift{Geometric vector bundles}
We develop an equivalent but more geometric notion for a locally free sheaf. Both concepts are equally important, and it is good to switch from one perspective to the other.
\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 intersection. The trivial bundle of rank $r$ is the $r$-dimensional affine space
\mathl{{\mathbb A}^r_X}{} 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}^r_U ) \times_U ( {\mathbb A}^r_U ) } { {\mathbb A}^r_U
} { (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. The reason for this is that the isomorphisms occurring in the definition of a geometric vector bundle are linear, hence the addition on $V$ coming from an isomorphism with some affine space is independent of the chosen isomorphism. For the same reason there is a unique closed subscheme of $V$ called the \stichwort {zero-section} {} which is locally defined to be
\mathl{0 \times U \subseteq {\mathbb A}^r_U}{.} Also, the multiplication by a scalar, i.e. the mapping
\maabbeledisp {\cdot} { {\mathbb A}_U \times_U ( {\mathbb A}^r_U ) } { {\mathbb A}^r_U
} { (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
\mathl{x \in X}{} the fiber
\mathl{V_x= V \times_X x}{} is an affine vector space over
\mathl{\kappa(x)}{.}
This given we can say that a vector bundle $V$ is in particular a commutative group scheme
\zusatzklammer {but one which is defined over an arbitrary base $X$, not over the spectrum of a field} {} {,} meaning that we have morphismus
\mathdisp {+:V \times V \longrightarrow V,\, 0:X \longrightarrow V \text{ and } -: V \longrightarrow V} { }
fulfilling certain natural arrow-conditions expressing associativity, that $0$ is the neutral element and that $-$ gives the negative. This viewpoint will be later important when we have a look at the torsors of this group scheme.
For a geometric vector bundle
\maabb {p} {V} {X
} {} and an open subset
\mathl{U \subseteq X}{} one sets
\mathdisp {\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.
\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}^r_X}{} over $X$.
\inputremark
{}
{
For a surjective morphism
\maabbdisp {\varphi} { {\mathcal O}^n_X } {{\mathcal O}_X
} {}
on a scheme $X$ given by elements
\mavergleichskette
{\vergleichskette
{ f_1 , \ldots , f_n
}
{ \in }{ \Gamma(X, {\mathcal O}_X )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {the surjectivity means that these elements generate locally the unit ideal} {} {} we can realize the corresponding locally free kernel sheaf in the following natural way. We can directly look at the corresponding surjection of geometric vector bundles
\maabbeledisp {\varphi} { { {\mathbb A}_{ X }^{ n } } } { {\mathbb A}^{1}_{X}
} {( v_1 , \ldots , v_n) } { \sum_{i = 1}^n f_i v_i
} {,}
and the kernel consists for every base point
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in the solution set
\mathdisp {{ \left\{ ( v_1 , \ldots , v_n) \in (\kappa(x) )^n \mid \sum_{i = 1}^n f_i(x) v_i = 0 \right\} }} { }
to this linear equation over the residue class field
\mathl{\kappa(x)}{.} So fiberwise this syzygy bundle is a very simple object, but of course the solution space varies with the basis. If
\mathl{X= \operatorname{Spec} { \left( R \right) }}{} is affine, then one can also describe the syzygy bundle as the spectrum of the $R$-algebra
\mathdisp {R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n \right) }} { . }
}
If the elements
\mathl{f_1 , \ldots , f_n \in R}{} do not generate the unit ideal in $R$, then the syzygy module yields only a vector bundle on the open subset
\mathl{D(f_1 , \ldots , f_n)}{.} However, the algebra just mentioned,
\mathdisp {A=R[T_1 , \ldots , T_n]/(f_1T_1 + \cdots + f_nT_n)} { , }
always gives rise to a commutative group scheme
\mathl{\operatorname{Spec} { \left( A \right) }}{} over
\mathl{\operatorname{Spec} { \left( R \right) }}{.} Note that
\mathdisp {A \otimes_R A \cong R[T_1 , \ldots , T_n, S_1 , \ldots , S_n]/(f_1T_1 + \cdots + f_nT_n,f_1S_1 + \cdots + f_nS_n )} { . }
The coadditon is given by
\maabbeledisp {} {A } {A \otimes_R A
} {T_i} {T_i +S_i
} {,}
and the addition is given by
\maabbeledisp {} { \operatorname{Spec} { \left( A \otimes_R A \right) } } { \operatorname{Spec} { \left( A \right) }
} {(t_1, \ldots , t_n, s_1 , \ldots , s_n ) } { (s_1+t_1 , \ldots , s_n+t_n)
} {.}
The zero element and the negatives are also defined in an obvious way. Also, the fibers of
\mathl{\operatorname{Spec} { \left( A \right) }}{} over a point
\mathl{x \in \operatorname{Spec} { \left( R \right) }}{} is always a vector space over the residue class field. However, the dimension may vary. If
\mavergleichskette
{\vergleichskette
{ x
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is a point where all the functions
\mathl{f_1 , \ldots , f_n}{} vanish
\zusatzklammer {and such points exist if these elements do not generate the unit ideal} {} {,}
then the equation which defines $A$ degenerates to $0$ and then the dimension of the fiber is $n$ instead of
\mathl{n-1}{.} This corresponds to the property that the linear equation degenerates and hence the dimension of the solution space goes up. In the next lecture we will study torsors of vector bundles and forcing algebras, which correspond to inhomogeneous linear equations varying with a basis.