Kurs:Vector bundles and ideal closure operations (MSRI 2012)/Lecture 1/latex
\setcounter{section}{1}
\zwischenueberschrift{Systems of linear equations}
We start with some linear algebra. Let $K$ be a field. We consider a system of linear homogeneous equations over $K$,
\mavergleichskettedisp
{\vergleichskette
{ f_{11}t_1 + \cdots + f_{1n} t_n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ f_{21}t_1 + \cdots + f_{2n} t_n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathdisp {\vdots} { }
\mavergleichskettedisp
{\vergleichskette
{ f_{m1}t_1 + \cdots + f_{m n} t_n
}
{ =} { 0
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
where the
\mathl{f_{ij}}{} are elements in $K$. The solution set to this system of homogeneous equations is a vector space $V$ over $K$
\zusatzklammer {a subvector space of \mathlk{K^n}{}} {} {,}
its dimension is
\mathl{n- \operatorname{rk}(A)}{,} where
\mavergleichskettedisp
{\vergleichskette
{ A
}
{ =} { (f_{ij})_{ij}
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
is the matrix given by these elements. Additional elements
\mavergleichskette
{\vergleichskette
{ f_1 , \ldots , f_m
}
{ \in }{ K
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
give rise to the system of inhomogeneous linear equations,
\mavergleichskettedisp
{\vergleichskette
{ f_{11}t_1 + \cdots + f_{1n} t_n
}
{ =} { f_1
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mavergleichskettedisp
{\vergleichskette
{ f_{21}t_1 + \cdots + f_{2n} t_n
}
{ =} { f_2
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
\mathdisp {\vdots} { }
\mavergleichskettedisp
{\vergleichskette
{ f_{m1}t_1 + \cdots + f_{m n} t_n
}
{ =} { f_m
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
The solution set $T$ of this inhomogeneous system may be empty, but never\-theless it is tightly related to the solution space of the homogeneous system. First of all, there exists an action
\maabbeledisp {} {V \times T} {T
} {(v,t)} {v+t
} {,}
because the sum of a solution of the homogeneous system and a solution of the inhomogeneous system is again a solution of the inhomogeneous system. This action is a group action of the group
\mathl{(V,+,0)}{} on the set $T$. Moreover, if we fix one solution
\mavergleichskette
{\vergleichskette
{ t_0
}
{ \in }{ T
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {supposing that at least one solution exists} {} {,} then there exists a bijection \maabbeledisp {} {V } { T } { v } { v+t_0 } {.} This means that the group $V$ acts simply transitive on $T$, and so $T$ can be identified with the vector space $V$, however not in a canonical way.
Suppose now that $X$ is a geometric object
\zusatzklammer {a topological space, a manifold, a variety, a scheme, the spectrum of a ring} {} {}
and that instead of elements in the field $K$ we have functions
\maabbdisp {f_{ij}} {X} {K
} {}
on $X$
\zusatzklammer {which are continuous, or differentiable, or algebraic} {} {.}
We form the matrix of functions
\mavergleichskette
{\vergleichskette
{ A
}
{ = }{ { \left( f_{ij} \right) }_{ij}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
which yields for every point
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
a matrix
\mathl{A(P)}{} over $K$. Then we get from these data the space
\mavergleichskettedisp
{\vergleichskette
{ V
}
{ =} { { \left\{ (P;t_1 , \ldots , t_n) \mid A (P) \begin{pmatrix} t_1 \\\vdots\\ t_n \end{pmatrix} = 0 \right\} }
}
{ \subseteq} { X \times K^n
}
{ } {
}
{ } {
}
}
{}{}{}
together with the projection to $X$. For a fixed point
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the fiber
\mathl{V_P}{} of $V$ over $P$ is the solution space to the corresponding system of homogeneous linear equations given by inserting $P$ into
\mathl{f_{ij}}{.} In particular, all fibers of the map
\maabbdisp {} {V} {X
} {,}
are vector spaces
\zusatzklammer {maybe of non-constant dimension} {} {.}
These vector space structures yield an addition\zusatzfussnote {\mathlk{V \times_X V}{} is the fiber product of \mathlk{V \rightarrow X}{} with itself} {.} {}
\maabbeledisp {} {V \times_X V} {V
} { (P;s_1 , \ldots , s_n;t_1 , \ldots , t_n) } { (P;s_1+t_1 , \ldots , s_n+t_n)
} {,}
\zusatzklammer {only points in the same fiber can be added} {} {.}
The mapping
\maabbeledisp {} {X} {V
} {P} {(P;0 , \ldots , 0)
} {,}
is called the \stichwort {zero-section} {.}
Suppose now that additional functions
\maabbdisp {f_1 , \ldots , f_m} {X} {K
} {}
are given. Then we can form the set
\mavergleichskettedisp
{\vergleichskette
{ T
}
{ =} { { \left\{ (P;t_1 , \ldots , t_n) \mid A (P) \begin{pmatrix} t_1 \\\vdots\\ t_n \end{pmatrix} = \begin{pmatrix} f_1(P) \\\vdots\\ f_n(P) \end{pmatrix} \right\} }
}
{ \subseteq} { X \times K^n
}
{ } {
}
{ } {
}
}
{}{}{}
with the projection to $X$. Again, every fiber
\mathl{T_P}{} of $T$ over a point
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is the solution set to the system of inhomogeneous linear equations which arises by inserting $P$ into
\mathl{f_{ij}}{} and $f_i$. The actions of the fibers $V_P$ on $T_P$
\zusatzklammer {coming from linear algebra} {} {}
extend to an action
\maabbeledisp {} {V \times_X T} {T
} {(P;t_1 , \ldots , t_n;s_1 , \ldots , s_n) } {(P;t_1+s_1 , \ldots , t_n+s_n)
} {.}
Also, if a
\zusatzklammer {continuous, differentiable, algebraic} {} {} map
\maabbdisp {s} {X} {T
} {}
with
\mavergleichskette
{\vergleichskette
{ s(P)
}
{ \in }{ T_P
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
exists, then we can construct a
\zusatzklammer {continuous, differentiable, algebraic} {} {}
isomorphism between
\mathkor {} {V} {and} {T} {.}
However, different from the situation in linear algebra
\zusatzklammer {which corresponds to the situation where $X$ is just one point} {} {,}
such a section does rarely exist.
These objects $T$ have new and sometimes difficult global properties which we try to understand in these lectures. We will work mainly in an algebraic setting and restrict to the situation where just one equation
\mavergleichskettedisp
{\vergleichskette
{ f_1T_1 + \cdots + f_nT_n
}
{ =} { f
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
is given. Then in the homogeneous case
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {}
the fibers are vector spaces of dimension
\mathkor {} {n-1} {or} {n} {,}
and the later holds exactly for the points
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
where
\mavergleichskette
{\vergleichskette
{ f_1(P)
}
{ = }{ \ldots
}
{ = }{ f_n(P)
}
{ = }{ 0
}
{ }{
}
}
{}{}{.}
In the inhomogeneous case the fibers are either empty or of dimension
\mathkor {} {n-1} {or} {n} {.}
We give some typical examples.
\inputexample{}
{
We consider the line
\mavergleichskette
{\vergleichskette
{ X
}
{ = }{ {\mathbb A}^{1}_{K}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
\zusatzklammer {or
\mavergleichskettek
{\vergleichskettek
{ X
}
{ = }{ K, \R, {\mathbb C}
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
etc.} {} {}
with the
\zusatzklammer {identical} {} {}
function $x$. For
\mavergleichskette
{\vergleichskette
{ f_1
}
{ = }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
i.e. for the homogeneous equation
\mavergleichskette
{\vergleichskette
{ xt
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
the geometric object $V$ consists of a horizontal line
\zusatzklammer {corresponding to the zero-solution} {} {}
and a vertical line over
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
So all fibers except one are zero-dimensional vector spaces. For the inhomogeneous equation
\mavergleichskette
{\vergleichskette
{ xt
}
{ = }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
$T$ is a hyperbola, and all fibers are zero-dimensional with the exception that the fiber over
\mavergleichskette
{\vergleichskette
{ x
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is empty.
For the homogeneous equation
\mavergleichskette
{\vergleichskette
{ 0t
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
$V$ is just the affine cylinder over the base line. For the inhomogeneous equation
\mavergleichskette
{\vergleichskette
{ 0t
}
{ = }{ x
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{,}
$T$ consists of one vertical line, almost all fibers are empty.
}
\inputexample{}
{
Let $X$ denote a plane
\zusatzklammer {like \mathlk{K^2, \R^2, {\mathbb A}^{2}_{K}}{}} {} {}
with coordinate functions
\mathkor {} {x} {and} {y} {.}
We consider an inhomogeneous linear equation of type
\mavergleichskettedisp
{\vergleichskette
{ x^a t_1 +y^b t_2
}
{ =} { x^cy^d
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
The fiber of the solution set $T$ over a point
\mathl{\neq (0,0)}{} is one-dimensional, whereas the fiber over
\mathl{(0,0)}{} has dimension two
\zusatzklammer {for
\mavergleichskettek
{\vergleichskettek
{ a,b,c,d
}
{ \geq }{ 1
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {.}
Many properties of $T$ depend on these four exponents.
}
In
\zusatzklammer {most of} {} {}
these examples we can observe the following behavior. On an open subset, the dimension of the fibers is constant and equals
\mathl{n-1}{,} whereas the fiber over some special points degenerates to an $n$-dimensional solution set
\zusatzklammer {or becomes empty} {} {.}
\zwischenueberschrift{Forcing algebras}
We describe now the algebraic setting of systems of inhomogeneous linear equations depending on a base space. For a commutative ring $R$, its spectrum
\mathl{X=\operatorname{ Spec}_{ } ^{ } { \left( R \right) }}{} is a topological space on which the ring elements can be considered as functions. The value of
\mathl{f \in R}{} at a prime ideal
\mathl{P \in \operatorname{ Spec}_{ } ^{ } { \left( R \right) }}{} is just the image of $f$ under the morphism
\mathl{R \rightarrow R/P \rightarrow \kappa(P) = Q(R/P)}{.} In this interpretation, a ring element is a function with values in different fields. Suppose that $R$ contains a field $K$. Then an element
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
gives rise to the ring homomorphism
\maabbeledisp {} {K[Y]} {R
} {Y} {f
} {,}
which itself gives rise to a scheme morphism
\maabbdisp {} { \operatorname{ Spec}_{ } ^{ } { \left( R \right) }} { \operatorname{ Spec}_{ } ^{ } { \left( K[Y] \right) } \cong {\mathbb A}^{1}_{K}
} {.}
This is another way to consider $f$ as a function on
\mathl{\operatorname{ Spec}_{ } ^{ } { \left( R \right) }}{.}
The following object was introduced by M. Hochster in 1994 in his work on solid closure.
\inputdefinition
{}
{Let $R$ be a commutative ring and let
\mathl{f_1 , \ldots , f_n}{} and $f$ be elements in $R$. Then the $R$-algebra
\mathdisp {R[T_1 , \ldots , T_n]/ { \left( f_1T_1 + \cdots + f_nT_n - f \right) }} { }
is called the \stichwort {forcing algebra} {} of these elements
\zusatzklammer {or these data} {} {.}
}
The forcing algebra $B$ forces $f$ to lie inside the extended ideal
\mathl{(f_1 , \ldots , f_n)B}{}
\zusatzklammer {hence the name} {} {}
For every $R$-algebra $S$ such that
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ (f_1 , \ldots , f_n)S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
there exists a
\zusatzklammer {non unique} {} {}
ring homomorphism
\maabb {} {B} {S
} {}
by sending $T_i$ to the coefficient
\mavergleichskette
{\vergleichskette
{ s_i
}
{ \in }{ S
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
in an expression
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ s_1f_1 + \cdots + s_nf_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
The forcing algebra induces the spectrum morphism
\maabbdisp {} {\operatorname{ Spec}_{ } ^{ } { \left( B \right) }} {\operatorname{ Spec}_{ } ^{ } { \left( R \right) }
} {.}
Over a point
\mavergleichskette
{\vergleichskette
{ P
}
{ \in }{ X
}
{ = }{\operatorname{ Spec}_{ } ^{ } { \left( R \right) }
}
{ }{
}
{ }{
}
}
{}{}{,}
the fiber of this morphism is given by
\mathdisp {\operatorname{ Spec}_{ } ^{ } { \left( B \otimes_R \kappa(P) \right) }} { , }
and we can write
\mavergleichskettedisp
{\vergleichskette
{ B \otimes_R \kappa(P)
}
{ =} { \kappa(P)[T_1 , \ldots , T_n]/(f_1(P)T_1 + \cdots + f_n(P)T_n - f(P) )
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
where
\mathl{f_i(P)}{} means the evaluation of the $f_i$ in the residue class field. Hence the
\mathl{\kappa(P)}{-}points in the fiber are exactly the solutions to the inhomogeneous linear equation
\mavergleichskette
{\vergleichskette
{ f_1(P) T_1 + \cdots + f_n(P) T_n
}
{ = }{ f(P)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
In particular, all the fibers are
\zusatzklammer {empty or} {} {}
affine spaces.
As the solution vector space of a system of homogeneous linear equations acts on the solution set of a system of inhomogeneous linear equations, the spectrum of a homogeneous forcing algebra acts on the spectrum of an inhomogeneous forcing algebra. The spectrum
\mavergleichskettedisp
{\vergleichskette
{ V
}
{ =} { \operatorname{ Spec}_{ } ^{ } { \left( A \right) }
}
{ =} { \operatorname{ Spec}_{ } ^{ } { \left( R[S_1 , \ldots , S_n]/(f_1S_1 + \cdots + f_nS_n) \right) }
}
{ } {
}
{ } {
}
}
{}{}{}
is a group scheme over
\mathl{\operatorname{ Spec}_{ } ^{ } { \left( R \right) }}{,} and the Hopfalgebra structure is given by
\mathl{S_i \mapsto S_i +T_i}{.} Similarly, the action of $V$ on
\mavergleichskette
{\vergleichskette
{ T
}
{ = }{ \operatorname{ Spec}_{ } ^{ } { \left( B \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is given by
\maabbeledisp {} { \operatorname{ Spec}_{ } ^{ } { \left( A \right) } \times_{ \operatorname{ Spec}_{ } ^{ } { \left( R \right) } } \operatorname{ Spec}_{ } ^{ } { \left( B \right) } } {\operatorname{ Spec}_{ } ^{ } { \left( B \right) }
} {(s_1 , \ldots , s_n, t_1 , \ldots , t_n )} { (s_1+t_1 , \ldots , s_n+t_n)
} {.}
On the ring level this map is again induced by
\mathl{T_i \mapsto S_i+T_i}{.}
\zwischenueberschrift{Forcing algebras and closure operations}
Let $R$ denote a commutative ring and let
\mavergleichskette
{\vergleichskette
{ I
}
{ = }{ (f_1 , \ldots , f_n )
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
be an ideal. Let
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ R
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
and let
\mavergleichskettedisp
{\vergleichskette
{ B
}
{ =} { R[T_1 , \ldots , T_n ]/(f_1T_1 + \cdots + f_nT_n -f)
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{}
be the corresponding forcing algebra and
\maabbdisp {\varphi} { \operatorname{ Spec}_{ } ^{ } { \left( B \right) } } { \operatorname{ Spec}_{ } ^{ } { \left( R \right) }
} {}
the corresponding spectrum morphism. How are properties of $\varphi$
\zusatzklammer {or of the $R$-algebra $B$} {} {}
related to certain ideal closure operations?
We start with some examples. The element $f$ belongs to the ideal $I$ if and only if we can write
\mavergleichskette
{\vergleichskette
{ f
}
{ = }{ r_1f_1 + \cdots + r_nf_n
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{.}
By the universal property of the forcing algebra this means that there exists an $R$-algebra-homomorphism
\maabbdisp {} {B} {R
} {,}
hence
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ I
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
holds if and only if $\varphi$ admits a scheme section. This is also equivalent to
\maabbdisp {} {R} {B
} {}
admitting an $R$-module section or $B$ being a pure $R$-algebra
\zusatzklammer {so for forcing algebras properties might be equivalent which are not equivalent for arbitrary algebras} {} {.}
We have a look at the radical of the ideal $I$,
\mavergleichskettedisp
{\vergleichskette
{ \operatorname{ rad}_{ } ^{ } { \left( I \right) }
}
{ =} { { \left\{ f \in R \mid f^k \in I \text{ for some }k \right\} }
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{.}
As this is quite a coarse closure operation we should expect that this corresponds to a quite coarse property of the morphism $\varphi$ as well. Indeed, it is true that
\mavergleichskette
{\vergleichskette
{ f
}
{ \in }{ \operatorname{ rad}_{ } ^{ } { \left( I \right) }
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
if and only if $\varphi$ is surjective. This and the interpretation of other closure operations like integral closure and in particular tight closure in terms of forcing algebras will be discussed in the tutorial session and in the next lectures.
\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 fiberwisely true, but more generally: If we localize the forcing algebra at $f_i$ we get
\mavergleichskettedisphandlinks
{\vergleichskettedisphandlinks
{(R[T_1 , \ldots , T_n]/(f_1T_1 + \cdots + f_nT_n-f))_{f_i}
}
{ \cong} { R_{f_i}[T_1 , \ldots , T_{i-1},T_{i+1} , \ldots , T_n]
}
{ } {
}
{ } {
}
{ } {
}
}
{}{}{,}
since we can write
\mathdisp {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 } }}{}} {} {.}
This local description holds on the union
\mavergleichskette
{\vergleichskette
{ U
}
{ = }{}
{ }{}
{ }{}
{ }{}
}
{}{}{.}
Moreover, in the homogeneous case
\zusatzklammer {
\mavergleichskettek
{\vergleichskettek
{ f
}
{ = }{ 0
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}} {} {} the transition mappings are linear. Hence
\mathl{V {{|}}_U}{} 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 always restrict 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}_{ 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, the 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}^{1}_{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$.
The global sections in
\maabbdisp {} {V = \operatorname{ Spec}_{ } ^{ } { \left( R[S_1 , \ldots , S_n]/(f_1 S_1 + \cdots + f_n S_n \right) }} { \operatorname{ Spec}_{ } ^{ } { \left( R \right) }
} {} are just the tuples
\mathl{(s_1 , \ldots , s_n)}{} such that
\mavergleichskettedisp
{\vergleichskette
{}
{ 0} {}
{ } {}
{ } {}
{ } {}
}
{}{}{.}
So these are just the syzygies for the ideal generators, and they form the syzygy module. We denote this by
\mathl{\operatorname{ Syz}_{ } ^{ } { \left( f_1 , \ldots , f_n \right) }}{.} The sheaf of sections in $V$ is also the sheafification of this syzygy module. The restriction of this sheaf to
\mavergleichskette
{\vergleichskette
{ U
}
{ = }{ D(f_1 , \ldots , f_n)
}
{ }{
}
{ }{
}
{ }{
}
}
{}{}{}
is locally free and corresponds to the geometric vector bundle
\mathl{V{{|}}_U}{.}
This action of $V$ on $T$ induces an action of the vector bundle
\mathl{V{{|}}_U}{} on
\mathl{\operatorname{ Spec}_{ } ^{ } { \left( B \right) }{{|}}_U}{,} and endowed with this action
\mathl{\operatorname{ Spec}_{ } ^{ } { \left( B \right) }{{|}}_U}{} becomes a torsor. We will deal with this structure in the next lecture.