From Handwiki In algebraic geometry, the moduli stack of rank-n vector bundles Vectn is the stack parametrizing vector bundles (or locally free sheaves) of rank n over some reasonable spaces.
It is a smooth algebraic stack of the negative dimension [math]\displaystyle{ -n^2 }[/math].[1] Moreover, viewing a rank-n vector bundle as a principal [math]\displaystyle{ GL_n }[/math]-bundle, Vectn is isomorphic to the classifying stack [math]\displaystyle{ BGL_n = [\text{pt}/GL_n]. }[/math]
For the base category, let C be the category of schemes of finite type over a fixed field k. Then [math]\displaystyle{ \operatorname{Vect}_n }[/math] is the category where
Let [math]\displaystyle{ p: \operatorname{Vect}_n \to C }[/math] be the forgetful functor. Via p, [math]\displaystyle{ \operatorname{Vect}_n }[/math] is a prestack over C. That it is a stack over C is precisely the statement "vector bundles have the descent property". Note that each fiber [math]\displaystyle{ \operatorname{Vect}_n(U) = p^{-1}(U) }[/math] over U is the category of rank-n vector bundles over U where every morphism is an isomorphism (i.e., each fiber of p is a groupoid).
![]() |
Categories: [Algebraic geometry]