In algebraic geometry, given a smooth projective curve X over a finite field and a smooth affine group scheme G over it, the moduli stack of principal bundles over X, denoted by , is an algebraic stack given by:[1] for any -algebra R,
the category of principal G-bundles over the relative curve .
In particular, the category of -points of , that is, , is the category of G-bundles over X.
Similarly, can also be defined when the curve X is over the field of complex numbers. Roughly, in the complex case, one can define as the quotient stack of the space of holomorphic connections on X by the gauge group. Replacing the quotient stack (which is not a topological space) by a homotopy quotient (which is a topological space) gives the homotopy type of .
In the finite field case, it is not common to define the homotopy type of . But one can still define a (smooth) cohomology and homology of .
^Lurie, Jacob (April 3, 2013), Tamagawa Numbers in the Function Field Case (Lecture 2)(PDF), archived from the original (PDF) on 2013-04-11, retrieved 2014-01-30
and 17 Related for: Moduli stack of principal bundles information
it, the modulistackofprincipalbundles over X, denoted by Bun G ( X ) {\displaystyle \operatorname {Bun} _{G}(X)} , is an algebraic stack given by:...
algebraic geometry, the modulistackof rank-n vector bundles Vectn is the stack parametrizing vector bundles (or locally free sheaves) of rank n over some reasonable...
geometry, a moduli space is a geometric space (usually a scheme or an algebraic stack) whose points represent algebro-geometric objects of some fixed kind...
{\displaystyle X} -points of the modulistack are the groupoid ofprincipal G m {\displaystyle \mathbb {G} _{m}} -bundles P → X {\displaystyle P\to X}...
One can define the modulistackofprincipalbundles Bun G ( X ) {\displaystyle \operatorname {Bun} _{G}(X)} as the quotient stack [ Ω / G ] {\displaystyle...
semistable vector bundles and μ(W) >μ(V), then there are no nonzero maps W → V. Mumford proved that the moduli space of stable bundlesof given rank and...
the modulistackof stable vector bundles on C {\displaystyle C} of rank r {\displaystyle r} and degree d {\displaystyle d} . It has a coarse moduli space...
good-behaving moduli space of curves. 2. A stable vector bundle is used to construct the moduli space of vector bundles. stack A stack parametrizes sets of points...
classifying stack B G {\displaystyle BG} , the stackofprincipal G-bundles for a smooth linear algebraic group G. By definition, it is the quotient stack [ ∗...
sense) any natural moduli problem or, in the precise language, there is no natural modulistack that would be an analog ofmodulistackof stable curves....
sheaf of rings that codifies this geometric information. Coherent sheaves can be seen as a generalization of vector bundles. Unlike vector bundles, they...
determines a morphism of schemes X →Y in a natural way. The Stacks Project, 01J5 The functor of points, Yoneda's lemmma, moduli spaces and universal properties...
differentiable stack is the analogue in differential geometry of an algebraic stack in algebraic geometry. It can be described either as a stack over differentiable...
instantons Gauge theory (mathematics) – Study of vector bundles, principalbundles, and fibre bundles Notes Because this projection is conformal, the...
characteristic of this complex yields the correct (virtual) dimension of the quotient stack. In particular, if we look at the modulistackofprincipal G {\displaystyle...
for a divisor of a local ring to be principal Scheme (mathematics) Section conjecture Semistable abelian variety Sheaf cohomology Stack (mathematics)...
This is a timeline of category theory and related mathematics. Its scope ("related mathematics") is taken as: Categories of abstract algebraic structures...