 12:09 AM
talk was fine, but not great
wrong crowd to be prattling on about brown-gitler spectra to 12:30 AM
what's up with you being redacted all the time, @ArnavTripathy

3 hours later… 3:07 AM
@Eric I wonder what crowd is right to prattle on about Brown-Gitler spectra... 3:30 AM
i'm having computer troubles lately
hey Tyler 4:21 AM
Hey, @JonBeardsley I just want to make an addendum to my bundle gerbe crash course
I know you're not here right now, but you'll read this when you get back
Recall that I said we had a groupoid X_1 => X_0 such that X_1 -> X_0 \times_M X_0 is a principal A-bundle (M:= X_0/X_1).
Well, that is a bit unmotivated.
One can instead take the bundle of groups Lambda X_1 -> X_0, where \Lambda X_1 is the pullback of X_1 -> X_0 \times_M X_0 along the diagonal X_0 -> X_0\times_M X_0
(in the above we don't a priori assume that we have an A-bundle)
This bundle of groups is essentially all the automorphism groups Aut(x) glued together for all objects x\in X_0, parameterised by X_0
We then can say X -> M is an A-bundle gerbe if \Lambda X_1 -> X_0 is isomorphic to the trivial bundle of groups A \times X_0 -pr-> X_0
That's all :-) 4:39 AM
yo
interesting
thanks
i'm afraid i still find the whole construction rather unmotivated
oh, there was more coming, but you left :(
i was just going to ask about where we find ourselves used bundle gerbes, feel free to reply later if you'd like. hey jon. sorry, I'm mostly just lurking at this point. 4:58 AM
oh no worries
:)
some interesting convos have happened here recently
it's sort of neat that it's all recorded 5:22 AM
so here's something that might be a neat topic for discussion, if anyone ever comes around and wants to talk: recall the spectra $X(k)$, which are the Thom spectra of the maps $\Omega SU(k)\to \Omega SU\simeq BU$. This is pretty much all I talk about these days... sorry.
Well, here's a neat fact, if $E$ is complex oriented then $E^\ast(\mathbb{C}P^k)\cong E_\ast[x]/(x^{k+1})$ and $E_\ast[b_1,\ldots,b_{k-1}]$, sooooo part of me is wondering whether or not one might compare $X(k)$ to $\mathbb{A}^k$, and the notion of an $n$-orientation is sort of similar to the cogroup structures I described above.
whoops, that should say $E_\ast(X(k))\cong E_\ast[b_1,\ldots,b_{k-1}]$
in other words, one notes that $\pi_\ast(HR\wedge X(k))$ is the affine $R$-line, so one might hope that $\pi_ast(X(k))$ is something like.... the affine $\mathbb{S}$-line. LOL
erm, affine $R$-$k-1$-space, or whatever 5:44 AM
and erm, affine $\mathbb{S}-(k-1)$-space 6:22 AM
what's up with your chats, arnav
they are straight Messed Up, brother well you know how it is black and yellow

4 hours later… 10:16 AM
@SeanTilson bob bruner, audience of 1

8 hours later… 6:01 PM
was Bob in here?
oh i get it. he wants to hear you go on and on about Brown-Gitler spectra yeah

3 hours later… 9:14 PM
yeah pretty much
Welcome @FernandoMura
oops
(sic) 10:02 PM
Arnav, how are you doing these days man?
Marco Robalo just told me he met you in Los Angeles

1 hour later… 11:11 PM
I'm pretty good
yeah usc was cool
how are you