Welcome to MathOverflow

Question

4

What is a good notation for the 'set' (or stack if you insist) of all principal G bundles over 'all' spaces for given G? BG is way over used. How about Bun(G)?

edited Mar 7 2012 at 1:33

Theo Johnson-Freyd
22.3k●2●27●110

asked Mar 6 2012 at 22:07

jim stasheff
1,386●2●10

Within the context of stacks in algebraic geometry, $BG$ (or $pt/G$) is absolutely the notation that would be used. I suppose you don't like this because it is also the notation for the classifying space of $G$? From my perspective, I don't particularly like the notation $Bun(G)$, only because $Bun_G(X)$ is typically used to denote the moduli of $G$-bundles on the space $X$. But maybe others disagree. I'm struggling to think of a good alternative though. – Mike Skirvin Mar 6 2012 at 22:59

1

I certainly have seen $\operatorname{Bun}(G)$, but I agree with @Mike. Since from a stacky perspective $\operatorname{Bun}_G(X)$ is the space of maps $X \to $ this space that Jim is after, it's not bad to call the target space itself by $\operatorname{Bun}_G$. – Theo Johnson-Freyd Mar 7 2012 at 1:32

I have made a small change to the formatting. The issue is that Markdown considers the backwards single quote ` to be a special character. – Theo Johnson-Freyd Mar 7 2012 at 1:33

May I suggest that my learned colleagues' comments constitute genuine answers to the question asked, and might therefore be submitted as answers? – Tom Leinster Mar 7 2012 at 1:39

Theo Johnson-Freyd · Accepted Answer · 2012-03-07 01:38:56Z UTC

In my comment to the question, I may have misinterpreted Jim's intent. Upon a second reading, I think Jim would like to consider the collection of all pairs consisting of a space $X$ and a $G$-bundle over $X$. If this is the correct interpretation, then I think the correct notation for this category is $\text{Spaces}_{/\mathrm{B}G}$. The meaning of this notation is: $\mathrm{B}G = \operatorname{Bun}_G$ is the stack of $G$-bundles, defined so that a map $X \to \mathrm{B}G$ is a $G$-bundle over $X$. The category $\text{Spaces}$ is whatever category of spaces you want to consider (topological spaces, manifolds, schemes, ...). The category of pairs $(X,$ $G$-bundle over $X)$ is the category of pairs $(X,f: X \to \mathrm{B}G)$, which is precisely the "comma" category of "spaces over $\mathrm{B}G$", and that's what's notated by the subscript.

S. Carnahan · Answer 2 · 2012-03-07 04:31:14Z UTC

2

In algebraic geometry, $BG$ only ever refers to a stack, viewed as a fibered category over the category of schemes, or affine schemes, depending on your conventions. The objects are principal $G$-bundles $P \to X$ of schemes (or if $G$ is a group sheaf, it is a map of sheaves). The morphisms are $G$-equivariant fiber squares.

More to the point, there is no alternative object in the algebro-geometric universe that takes the name $BG$, so there is no source of confusion there.

The name $\operatorname{Bun}_G$ is usually reserved for the enriched Hom-stack construction $\underline{\operatorname{Hom}}(-, BG)$. In other words, $\operatorname{Bun}_G(X)(T) = BG(X \times T)$.

answered Mar 7 2012 at 4:31

S. Carnahan♦
25.6k●41●90

	Perhaps no confusion within alg-geom, but we are not all alg-geometers. So your BG is a category and alg-geom has no use for a classifying space for G-bundles? or it has some other symbol? – jim stasheff Mar 7 2012 at 13:12
	S. Carnahan's $BG$ is the classifying space in the algebro-geometric context. You might (I do) find it more intuitive to turn the category fibred in groupoids into a sheaf of groupoids/homotopy 1-types, using the canonical cleavage' construction. Then we are talking about $BG$ as a sheaf of homotopy types on affine schemes. For a scheme $X$ , $\operatorname{Bun}_G(X)=\underline{\operatorname{Hom}}(X, BG)$ is another sheaf of homotopy types, and the global sections of $\pi_{0}\operatorname{Bun}_G(X)$ are the isomorphism classes of principal $G$-bundles over $X$ , just like in topology. – Chris Brav Mar 7 2012 at 14:58
	That does clarify the relation, but notice how many words it required. – jim stasheff Mar 8 2012 at 14:02

The `set' of all principal G bundles over `all' spaces

Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

2 Answers

You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.