I am surprised that nobody has mentioned (yet) that an essential point of the algebro-geometric notions of (algebraic) stack and algebraic space is to completely shift the burden of construction problems: one *gives up* on trying to make any kind of actual ringed space at all, and in fact the whole point is to create a kind of "geometry for functors". In particular, Bun$_G$ is demoted to the status of a definition (there's no "space" to be constructed: one just defines a certain groupoid-valued functor) and the real content is to show that it is "near enough" to representable functors that one can import to it many concepts from algebraic geometry.

It is easiest to explain this with an example. Let's contrast the approaches to the "Hilbert scheme" for a projective scheme $X$ over a field $k$ (to fix ideas). In the original approach of Grothendieck, he defined a functor $\underline{\rm{Hilb}}_{X/k}$ on the category $k$-schemes, namely
$\underline{\rm{Hilb}}_{X/k}(S)$ is the set of finitely presented closed subschemes $Y \subset X \times S$ such that the structure map $Y \rightarrow S$ is flat; this is a contravariant functor of $S$ via pullback (i.e., for any $f:S' \rightarrow S$ over $k$, the map
$$\underline{\rm{Hilb}}_{X/k}(f): \underline{\rm{Hilb}}_{X/k}(S) \rightarrow \underline{\rm{Hilb}}_{X/k}(S')$$ carries $Y \subset X \times S$ to $Y \times_S S' \subset (X \times S) \times_S S' = X \times S'$).
The real substance in this approach is to show $\underline{\rm{Hilb}}_{X/k}$ is a representable functor. This amounts to constructing a "universal structure": a distinguished $k$-scheme $H$ *equipped with* an $H$-flat finitely presented closed subscheme $Z \subset X \times H$ such that for any $k$-scheme $S$ and any $Y \in \underline{\rm{Hilb}}_{X/k}(S)$ whatsoever there exists a *unique* $k$-map $g:S \rightarrow H$ for which the $S$-flat closed subscheme
$$Z \times_{H,g} S \subset (X \times H) \times_{H, g} S = X \times S$$
coincides with $Y$. In effect, $k$-maps to $H$ "classify" the functor $\underline{\rm{Hilb}}_{X/k}$.

But Grothendieck's representability result was proved via methods of projective geometry, and there were strong indications that one should seek a result like this more widely for proper $k$-schemes (beyond the projective case) yet nobody could find such a way to do this in the framework of schemes. Artin brilliantly solved the problem by widening the scope of algebraic geometry via his introduction of algebraic spaces, but it must be appreciated that in so doing one *gives up* on constructing a "representing space" in any sense akin to what Grothendieck does. In particular, algebraic spaces are not ringed spaces at all. Instead, they are Set-valued functors which are "near enough" to representable functors that it becomes possible to make sense of many concepts from algebraic geometry for these structures (and there is an associated topological space permitting one to speak of irreducibility, connectedness, etc.).

The crucial point is that in the Artin approach, *the functor is the algebraic space*. That is, in Artin's approach it is a complete misnomer to speak of "constructing the moduli space" for the Hilbert functor $\underline{\rm{Hilb}}_{X/k}$ for a proper $k$-scheme: the functor one has defined above literally is to be the algebraic space, so there is nothing to be constructed there. Instead, the real work is to build the representable functors "near enough" to this so that one can conclude that the functor one has already defined is indeed an algebraic space (and hence one can do meaningful geometry with it, after getting acclimated to the new setting).

Artin's breakthrough was to identify checkable criteria with which one could show (entailing some real work) that many functors of interest are "near enough" to representable functors to be algebraic spaces (and his PhD student Donald Knutson devoted his thesis to working out very many concepts of algebraic geometry in the wider setting of algebraic spaces, often entailing new kinds of proofs from what had been done for schemes). But even with $\underline{\rm{Hilb}}_{X/k}$ for projective $X$ there is a fundamental difference in the nature of the results: Grothendieck built the Hilbert scheme ${\rm{Hilb}}_{X/k}$ as a countably infinite disjoint union of quasi-projective schemes, so one knows the connected components are quasi-compact, whereas the Artin approach gives no information whatsoever on quasi-compactness properties for the algebraic space $\underline{\rm{Hilb}}_{X/k}$ (but of course it has the huge merit of being applicable far more widely, allowing to "do algebraic geometry" with many many more functors of interest; nonetheless, Grotendieck's quasi-compactness results for Hilbert schemes remain vital as a tool for proving quasi-compactness features of rather abstract algebraic spaces).

As another illustration, consider the functor $M_{g,n}$ of $n$-pointed smooth genus-$g$ curves. In the Mumford approach via GIT (say with $n$ big enough to get rid of non-trivial automorphisms), there is tremendous effort done to build a universal structure. In the Artin approach via stacks (which allows $n$ to be quite small too), the moduli problem *is* the stack: it is incorrect to speak of "constructing the moduli space" in this approach, since one has literally defined $M_{g,n}$ and there's all there is to it (granting that one is sufficiently fluent with descent theory and coherent duality to see at a glance that $M_{g,n}$ enjoys nice descent properties). But instead the real effort is to build appropriate "scheme charts" over $M_{g,n}$ to give precise meaning to a sense in which $M_{g.n}$ is "near enough" to representable functors that we can make sense of many concepts of algebraic geometry for this functor or for its groupoid-valued version when $n$ is small.

The situation with Bun$_G$ is similar: the groupoid assignment *is* the geometric object. Techniques of Artin provide a precise sense in which some schemes can be regarded as "smooth" over this gadget, with those used to define geometric concepts for Bun$_G$ in the same spirit as one uses open balls to define concepts for manifolds, but it is rather a misnomer to speak of "constructing Bun$_G$"! That is, one has to clearly distinguish the serious task of describing some "charts" on Bun$_G$ (with which to make computations and prove theorems) from the much more mundane matter of simply defining what Bun$_G$ is: it is the assignment to any $X$ of the groupoid of $G$-bundles on $X$, and the descent-like properties are easy to verify (so it is a "stack in groupoids"), and there is nothing more to do as far as "making the moduli space" is concerned. Of course, one cannot do anything serious with this until having carried out the real effort with Artin's criteria to affirm that this stack admits enough "scheme charts" to be an Artin stack and hence admit the rich array of meaningful concepts for it as in algebraic geometry (irreducible components, coherent sheaf theory, cohomology, smoothness properties, dimension, etc.) There is no gluing to be done: we define the global moduli problem at the outset. We have to do work to show this admits meaningful geometric concepts, and in practice there can be especially useful "scheme charts" or techniques or "local description" with which one can explore it. However, one really should not regard these explicit descriptions as "constructing Bun$_G$"; the construction is just the initial basic definition mentioned above. Another wrinkle is that in the algebro-geometric setting one has to use some serious Grothendieck topologies to make this all work, so it isn't as simple as with making manifolds by gluing open balls (likewise for the notion of $G$-bundle).

Of course, there are interesting and instructive analogies with constructions in homotopy theory, but to make coherent sense of actual algebro-geometric proofs involving Bun$_G$ one should recognize that this "space" is demoted to the status of a definition (in complete contrast with the setting for Hilbert schemes by Grothendieck, where he had to really build a representing scheme before geometry could be done) and the substantial effort is to build many kinds of interesting "scheme charts" over it with which to explore the geometric features of this stack. The framework of Artin stacks gives a systematic way to make sense of this process for many kinds of moduli problems encountered in practice. But at the end of the day stacks and their cousins are not ringed spaces (even though their structure can be explored using many auxiliary ringed spaces); e.g., even though there is an associated topological space with which to define various topological notions, in no sense is a map determined in terms of some kind of map of ringed spaces resting on those associated topological spaces (in contrast with the cast of schemes). The way one gets around the loss of contact with a specific ringed space is by a huge amount of descent theory. I think it is very important to always keep that in mind or else a lot of relevant issues in definitions and proofs will be rather confusing.

11more comments