Bundles

Arun Ram
Department of Mathematics
University of Wisconsin, Madison
Madison, WI 53706 USA

Last updates: 11 May 2007

Bundles

Grothendieck groups

Let $𝒜$ be an abelian category. The Grothendieck group of $𝒜$ is the group $K\left(𝒜\right)$ generated by

• The representation ring, or character ring, of $G$ is the Grothendieck group $K_G\left(\mathrm{pt}\right)$ of the category of $G$-modules.
• The (topological) $K$-theory of $X$ is the Grothendieck group $K\left(X\right)$ of the category of vector bundles on $X$.
• The (algebraic) $K$-theory of $X$ is the Grothendieck group $K\left(X\right)$ of the category of coherent sheaves on $X$.
• The (topological) $G$-equivariant $K$-theory of $X$ is the Grothendieck group $K_G\left(X\right)$ of the category of $G$-equivariant vector bundles on $X$.
• The (algebraic) $G$-equivariant $K$-theory of $X$ is the Grothendieck group $K_G\left(X\right)$ of the category of $G$-equivariant coherent sheaves on $X$.

Bundles

Let $X$ and $F$ be spaces. A fibre bundle on $X$ with fiber $F$ is a space $E$ with a surjective map $E\stackrel{p}{\to }X$ such that $p^{–1}\left(x\right)\simeq F$, for $x\in X$, and if $x\in X$ there is a neighborhood $U$ of $x$ and an isomorphism

$\begin{array}{ccc}U\times F& \stackrel{\varphi }{⟶}& p^{–1}\left(U\right)\\ {\mathrm{pr}}_1\downarrow & & \downarrow p\\ U& =& U\end{array}$

Let $G$ be a group which acts on $F$. A $G$-bundle with fibre $F$ is a bundle $E\stackrel{p}{\to }X$ such that the transition functions $g_{\alpha \beta }:U_{\alpha }\cap U_{\beta }\to \mathrm{Aut}\left(F\right)$ given by

$g_{\alpha \beta }\left(x\right)={\varphi }_{\alpha }{\varphi }_{\beta }^{–1}{\mid }_{\left\{x\right\}\times F}$

are morphisms $g_{\alpha \beta }:U_{\alpha }\cap U_{\beta }\to G$. A principal $G$-bundle is a fibre bundle with fibre $G$ and a $G$-action $E\times G⟶E$.

Let $X$ be a space and let $V$ be a vector space. A vector bundle on $X$ with fiber $V$ is a space $E$ with a surjective map $E\stackrel{p}{\to }X$ such that $p^{–1}\left(x\right)\simeq V$, for $x\in X$, and there is a open cover of $X$ and isomorphisms

$\begin{array}{ccc}{U}_{\alpha }\times V& \stackrel{{\varphi }_{\alpha }}{⟶}& p^{–1}\left(U_{\alpha }\right)\\ {\mathrm{pr}}_1\downarrow & & \downarrow p\\ U_{\alpha }& =& U_{\alpha }\end{array}$

with $\varphi :x\times V\to p^{–1}\left(x\right)$ a linear isomorphism. A vector bundle is a $\mathrm{GL}\left(V\right)$-bundle.

A section of $E$ is a morphism $s:X\to E$

Let $G$ be a topological group. A $G$-space is a topological space $X$ with a $G$-action. More precisely, a $G$-space is a topological space $X$ with a continuous map

Let $X$ be a $G$-space. A $G$-equivariant vector bundle on $X$ is a $G$-space $E$ with a surjective map $E\stackrel{p}{\to }X$ such that

• If $x\in X$ the fiber $E_x=p^{–1}\left(x\right)$ is isomorphic to ${ℂ}^m$,
• $E$ is locally trivial, i.e. If $x\in X$ then there exists an open set $U$ containing $x$ and a homeomorphism

  $\begin{array}{ccc}U\times F& \stackrel{\varphi }{⟶}& p^{–1}\left(U\right)\\ {\mathrm{pr}}_1\downarrow & & \downarrow p\\ U& =& U\end{array}$

  such that if $u\in U$ then $\varphi :{ℂ}^m\stackrel{\simeq }{\to }{p}^{–1}\left(u\right)$,
• If $e\in E$ and $g\in G$ then $p\left(ge\right)=gp\left(e\right)$,
• If $g\in G$ and $x\in X$ then $g:E_x\to E_{gx}$ is a morphism of vector spaces.

Sheaves

Let $X$ be a topological space. A sheaf on $X$ is a contravariant functor

$\begin{array}{cccc}{𝒪}_X:& \left\{\text{\hspace{0.17em}open sets of }X\right\}& ⟶& \left\{\text{ rings }\right\}\\ & U& \mapsto & {𝒪}_X\left(U\right)\end{array}$

such that if $\left\{U_{\alpha }\right\}$ is an open cover of $U$ and $f_{\alpha }\in {𝒪}_X\left(U\right)$ are such that

$\text{if }{f}_{\alpha }{\mid }_{U_{\alpha }\cap U_{\beta }}=f_{\beta }{\mid }_{U_{\alpha }\cap U_{\beta }}\text{for all }\alpha ,\beta ,\text{then there is a unique }f\in {𝒪}_X\left(U\right)$

such that $f_{\alpha }=f{\mid }_{U_{\alpha }},$ for all $\alpha$.

Let $A$ be a ring. An $A$-module is free if there is an isomorphism

A locally free sheaf on $X$ is a sheaf $ℱ$ of ${𝒪}_X$-modules such that if $x\in X$ then there is a neighborhood $U$ of $x$ with

A coherent sheaf on $X$ is a locally finitely presented sheaf of ${𝒪}_X$-modules, i.e. a sheaf $ℱ$ of ${𝒪}_X$-modules such that

• $ℱ$ is of finite type, i.e. $ℱ\left(U\right)$ is generated by a finite set of sections (there exists a surjection ${𝒪}_X(U{)}^{\oplus n}\to ℱ(U)$),
• For each open set $U$ of $X$ and each homomorphism ${𝒪}_X\left(U{)}^{\oplus n}\stackrel{\varphi }{\to }ℱ\right(U)$, $\ker \varphi$ is of finite type.

Let $G$ be a group that is also a space and let $X$ be a space with a $G$-action $G\times X\stackrel{a}{⟶}X.$ A $G$-equivariant sheaf is a sheaf $ℱ$ of ${𝒪}_X$-modules with an isomorphism

References

[BG] A. Braverman and D. Gaitsgory , Crystals via the affine Grassmanian, Duke Math. J. 107 no. 3, (2001), 561-575; arXiv:math/9909077v2, MR1828302 (2002e:20083)