FYI, the following should be starred in each room probably

math.ucla.edu/~robjohn/math/mathjax.html

It explains how to use chatjax so that tex gets displayed properly.

But I can't star it since I made the comment. I recommend someone else do that.

Thanks!

@JonBeardsley so there is the nishida nilpotence theorem that tells you that every element outside of $\pi_0 S$ is nilpotent. That is one way in which people think of the sphere as being an infinitesimal thickening.

How it shows up explicitly in a TAQ computation, I am not sure.

yeah i know of that.

but, i mean, yeah, i'd rather it have more meaning

@JonBeardsley I agree, just wanted to mention that in case you didn't know.

is there supposed to be some correlation between SU(n) and SL_n(R)? Like, is the latter supposed to be some kind of algebraic-group version of theformer?

@JonBeardsley Yep, for $n \geq 3$, $SU(n)$ is a form of SL_n/R; see section 3.8 here: www2.imperial.ac.uk/~buzzard/maths/research/notes/…

Actually, I wish I knew where there were tables just listing all of these sorts of things (e.g. which groups are forms of which other groups...)

Good to see that it seems like there is some talk starting here. The mention of group schemes (even though the word formal was also used) has now made me keep an eye on the room.

group schemes are awesome

derived group schemes are awesomer

@JonBeardsley Let's keep that kind of talk in the htpy theory room :P

apologies. I forgot where I was.