The Grothendieck Group of Algebraic Vector Bundles; Calculations of Affine and Projective Space

In this post, we view the Grothendieck group of a scheme over a field F, X/F as a functor K_0(-):Sch/F\rightarrow Ab (from the category of schemes over F to the category of abelian groups) applied to the scheme X. Our goal is to see calculations for the  simplest examples of the Grothendieck group, and what machinery is used throughout. Citation for this machinery will be included, as well as precise statements for the results used throughout but, we often omit proof with our goal in mind.

Several motivations can be given as to why one would study the Grothendieck group. The original motivation, I think, being: it aids in studying extensions of vector bundles over a scheme X. Recall there is an equivalence of categories between vector bundles over X, and locally free sheaves of finite rank on X (the equivalence is given as so: for every vector bundle \pi:E\rightarrow X we can associate the sheaf \mathscr{E} given by the presheaf where, for each open U\subset X, we define \mathscr{E}(U)=\{s:U\rightarrow E: s\circ \pi=Id_U\} – it can be checked this is a locally free sheaf of finite rank – and conversely for every locally free sheaf \mathscr{E} we construct the vector bundle E as \text{Spec}_X(Sym(\mathscr{E})) the relative Spec of the symmetric algebra of \mathscr{E} – note that we could construct the vector bundle using \mathscr{E}^\vee instead). We can define an extension of a sheaf \mathscr{F} by a sheaf \mathscr{G} to be a sheaf \mathscr{E} which fits in a short exact sequence

0\rightarrow \mathscr{F}\rightarrow \mathscr{E}\rightarrow \mathscr{G}\rightarrow 0.

Any two extensions \mathscr{E},\mathscr{E}' which admit a map from one to the other, commuting with the maps from \mathscr{F} and to \mathscr{G}, give a commutative diagram which we may apply the 5-lemma or the Snake lemma to show \mathscr{E}\cong \mathscr{E}'. One can hope to classify all such extensions by classifying each distinct short exact sequence. Sounds like a big task, but a start is with the

Definition 1: the functor K_0(-):Sch/F\rightarrow Ab applied to a scheme X is called the Grothendieck group of X. For any scheme X, the group K_0(X) is defined to be the free abelian group on isomorphism classes of locally free sheaves of finite rank on X quotiented by the subgroup generated by the relations [\mathscr{E}]=[\mathscr{F}]+[\mathscr{G}] for every short exact sequence 0\rightarrow \mathscr{F}\rightarrow \mathscr{E}\rightarrow \mathscr{G}\rightarrow 0.

Immediate from this definition is that [\mathscr{F}\oplus\mathscr{G}]=[\mathscr{F}]+[\mathscr{G}] and [0]=0. We remark the Grothendieck group satisfies a, slightly irrelevant for our purposes, equivalent characterization as the object satisfying the following

Universal Mapping Property 2: for any functor F(-):Sch/F\rightarrow Ab which factors additively through the category of locally free sheaves of finite rank over a scheme, and for every scheme X, there is a unique morphism of abelian groups K_0(X)\rightarrow F(X).

We could similarly define K_0' by replacing the category of locally free sheaves of finite rank by coherent sheaves over a scheme X. Then for any scheme X, there is a homomorphism K_0(X)\rightarrow K_0'(X) which maps the class of a locally free sheaf to itself [\mathscr{E}]\mapsto [\mathscr{E}]. For smooth, quasi-projective schemes this is in fact an isomorphism (the inverse given by [\mathscr{F}]\mapsto\sum_i (-1)^i [\mathscr{E}_i] for a locally free finite rank resolution \mathscr{E}_{\bullet}\rightarrow \mathscr{F}\rightarrow 0). Since all of the schemes we will consider below are smooth and quasi-projective, we can work with either group.

Below we compute, for a field F, K_0(\text{Spec}(F)) in proposition 3, K_0(\mathbb{A}_F^n) in proposition 6 proposition 10 and proposition 12, and K_0(\mathbb{P}^n_F) in proposition 8.

Proposition 3: K_0(\text{Spec}(F))\cong \mathbb{Z}.

Proof. Since any locally free sheaf over \text{Spec(F)} is a finite dimensional F vector space, and any two finite dimensional vectorspaces are isomorphic if and only if they have the same dimension, we can define an isomorphism directly \dim:K_0(\text{Spec}(F))\rightarrow \mathbb{Z} by [V]\mapsto \dim(V).\square

Our next goal will be to compute the Grothendieck group of all higher dimensional affine spaces, which we do in three distinct ways throughout this post. The following lemma of Serre gives a useful characterization of vector bundles over an affine scheme which we will employ later.

Lemma 4 (Serre-Swan)Let \mathscr{F} be a coherent sheaf on a connected affine variety X=\text{Spec}(A). Then the following are equivalent:
i) \Gamma(X,\mathscr{F}) is a projective A-module
ii) \mathscr{F} is locally free
iii) \mathscr{F} is isomorphic to the sheaf of germs of sections of a vector bundle over X.

Reference. This result can be found in [Faisceaux Algébriques Cohérents – Serre, Chapter 1, Section 4]. There is an english translation available via Google at the moment.

Lemma 5 (Quillen-Suslin)Every finitely-generated projective F[x_1,...,x_n]-module with F a field is free of finite rank.

Reference. Aside from the original papers, an exposition of this result aimed towards students is given in [Introduction to Commutative Algebra and Algebraic Geometry – Ernst Kunz, Chaper 4, Section 3, Theorem 3.15]. The necessary tools for the proof are also developed in this chapter.

Proposition 6: K_0(\mathbb{A}_F^n)\cong \mathbb{Z} for every n\geq 0.

Proof. By Lemma 4, a locally free sheaf of finite rank \mathscr{F} over \mathbb{A}^n_k is canonically isomorphic with the associated sheaf, \widetilde{\Gamma(\mathbb{A}_k^n, \mathscr{F})}, of a finitely generated projective F[x_1,...,x_n]-module. Lemma 5 implies every class (or its additive inverse) in K_0(\mathbb{A}_F^n) can be represented by \widetilde{F[x_1,...,x_n]^{\oplus p}} for some p\geq 0. The function \text{rank}:K_0(\mathbb{A}_F^n)\rightarrow \mathbb{Z} defined by [\widetilde{F[x_1,...,x_n]^{\oplus p}}]\mapsto p is an isomorphism, which completes the proof.\square

Before proving proposition 6, again, we calculate the Grothendieck group of projective space. The way we’ll do it is by considering a theorem, which is very useful, about projective bundles over a scheme X. For any locally free sheaf of rank n, say \mathscr{E}, we can construct a vector bundle, as stated in the introduction, by constructing E:=\text{Spec}_X(Sym(\mathscr{E})) . The related projective bundle associated to \mathscr{E}, \text{Proj}_X(Sym(\mathscr{E})) is constructed as the relative Proj of the symmetric algebra of \mathscr{E}.

Lemma 7: Let X be a connected, smooth, quasi-projective scheme and \mathscr{E} a locally free sheaf of rank n+1 over X. Then K_0(\text{Proj}_X(Sym(\mathscr{E})))\cong K_0(X)[T]/(\sum_{i=0}^{n+1}(-1)^i [\Lambda^{n+1-i}(\mathscr{E})]T^i) where \Lambda^{k}(\mathscr{E}) is the kth exterior power sheaf of \mathscr{E}. Further, T=[\mathscr{O}_{Proj_X(Sym(\mathscr{E}))}(1)] in the Grothendieck group.

Reference(s): Two references are provided – [Lectures on the K-Functor in Algebraic Geometry – Yuri Manin, Theorem 4.5] and [Riemann Roch Algebra – Fulton and Lang, Chapter 5, Section 2, Theorem 2.3].

Proposition 8: K_0(\mathbb{P}^n_F)\cong \mathbb{Z}[T]/(1-T)^{n+1}.

Proof. Note for the scheme X=\text{Spec}(F), a locally free sheaf \mathscr{E} of rank n+1 is a n+1 dimensional vector space, and the associated projective bundle is isomorphic with \mathbb{P}^n_F. It was shown in Proposition 3 that K_0(\text{Spec}(F))\cong \mathbb{Z} by the dimension map. Thus, the class [\Lambda^{n+1-i}(\mathscr{E})] is associated with the dimension of this vector space, which is {n+1 \choose n+1-i}. By Lemma 7 this yields the isomorphism with \mathbb{Z}[T]/(\sum_{i=0}^{n+1}{n+1 \choose n+1-i}T^i) but this latter polynomial factors as (1-T)^{n+1} and the proposition follows. \square

There are other ways to calculate the Grothendieck group of affine space. We include an alternative calculation which uses the localization exact sequence of K-theory as its main tool. One interesting question raised by the appearance of this sequence was whether or not the localization exact sequence could naturally be extended (to the left) as a long exact sequence. An answer was given (yes) in the work of higher algebraic K-theory by Daniel Quillen. Using some of the results given by his generalization of this theory, we provide a third calculation of K_0(\mathbb{A}_F^n). Along with some final remarks, this will conclude our post.

Lemma 9 (Localization Exact Sequence): For any closed subscheme Z of a scheme X, there is an exact sequence of abelian groups K_0'(Z)\rightarrow K_0'(X)\rightarrow K_0'(Z\setminus X)\rightarrow 0 where the first map is given by [\mathscr{F}]\mapsto [i_*\mathscr{F}] and the second by [\mathscr{G}]\mapsto [j^*\mathscr{G}] for the canonical inclusions i:Z\rightarrow X,j:X\setminus Z\rightarrow X.

Proof. See [Le Théorème de Riemann–Roch – Borel and Serre, Proposition 7]. This is also shown in [Riemann Roch Algebra – Fulton and Lang, Chapter 6, Section 3, Theorem 3.2].

Proposition 10: K_0(\mathbb{A}^n_F)\cong \mathbb{Z}.

Proof. Since \mathbb{P}^n_F=\mathbb{A}^n_F\cup \mathbb{P}^{n-1}_F. Using Lemma 9 we obtain an exact sequence K_0(\mathbb{P}^{n-1}_F)\rightarrow K_0(\mathbb{P}^n_F)\rightarrow K_0(\mathbb{A}^n_F)\rightarrow 0. The result will follow if we show the generators 1, T,..., T^{n-1} of K_0(\mathbb{P}^{n-1}_F) map to distinct elements in K_0(\mathbb{P}^n_F). (Moreover since \mathbb{Z} is on the right side of this sequence, it follows that K_0(\mathbb{P}^{n-1}_F) surjects onto a summand of K_0(\mathbb{P}^n_F). Currently, I can’t see where the basis elements go to but, I’m gonna mark it done anyways. If I can figure out how it splits on the left I’ll update it).\square

We end mentioning one result often titled the homotopy invariance property.

Lemma 11: For any map p:E\rightarrow X which is flat and has fibres isomorphic with affine space, there is an isomorphism K_0(E)\cong K_0(X).

ReferenceThis is [Higher Algebraic K-Theory: I – Quillen, Propsoition 4.1]. One should note the results Quillen derives are in a much more general framework than may be alluded to by this post.

Proposition 12: K_0(\mathbb{A}_F^n)\cong \mathbb{Z}

Proof. Apply lemma 11 to the projection \mathbb{A}^n_F\rightarrow \text{Spec}(F) and the result is then immediate from proposition 3.\square

Much more is true using the results provided above. For instance, lemma 11 implies the K-theory of a vector bundle is the same as the K-theory of its base space. There are also many other results one can find along the way. However, my main goal for writing this was to see if I could calculate some simple examples of the Grothendieck group (which I would say is pretty damned difficult from the definitions).


One comment on “The Grothendieck Group of Algebraic Vector Bundles; Calculations of Affine and Projective Space

  1. […] The Grothendieck Group of Algebraic Vector Bundles; Calculations of Affine and Projective Space […]


Leave a Reply

Fill in your details below or click an icon to log in: Logo

You are commenting using your account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s