16,452 reputation
14881
bio website math.uchicago.edu/~may
location US
age 75
visits member for 3 years, 10 months
seen yesterday
At the University of Chicago since 1967. Mainly known as an algebraic topologist.

Oct
6
comment Classifying space for fibrations with Eilenberg-MacLane space as fibers
Qiaochu, bundles in fact, not just fibrations, since K(A,n+1) is the classifying space of the topological abelian group K(A,n). (See e.g. my Classifying Spaces and Fibrations.)
Oct
6
answered Classifying space for fibrations with Eilenberg-MacLane space as fibers
Oct
6
answered A fibration of classifying spaces
Sep
30
awarded  Explainer
Sep
20
awarded  Good Answer
Sep
19
comment Condition on a Hopf operad for tensor product in the base categoy to be a (categorical) coproduct for algebras
Just want to say this is a great question. I've thought about it a little, but gotten nowhere very helpful, alas, except when working in a cartesian monoidal category where such structure is obvious and very useful.
Sep
16
awarded  Enlightened
Sep
16
awarded  Nice Answer
Sep
12
comment (co)homology of symmetric groups
User 43326, that is not quite right for odd p. You forgot the bocksteins in the DL operations, which give you odd degree generators, so you have a polynomial algebra on even degree generators tensored with an exterior algebra on odd degree generators. Change polynomial algebra to free (graded) commutative algebra and the statement is correct.
Sep
12
awarded  Nice Answer
Sep
12
comment (co)homology of symmetric groups
If you have a polynomial algebra on a specified set of generators in specified degrees, finitely many in each degree, then you can enumerate. Mod p, that kind of enumeration is immediate from the functor I alluded to. The proof of 3) is in the description of the Bockstein spectral sequences I alluded to, pages 48-49 opus cit.
Sep
11
answered (co)homology of symmetric groups
Sep
5
answered $t$-structure on modules over highly structured ring spectra
Sep
3
awarded  Nice Answer
Sep
1
comment What is the geometric fixed points of an (equivariant) Eilenberg Maclane Spectrum?
Akhil, there is no Prop. 2.42 there. Tom, Prop. 3.18 of Akhil's reference gives the answer for cyclic 2-groups, and your answer for cyclic of order 2 remains true as you state it for cyclic of order 2^n.
Sep
1
comment The topology of the classifying space of U(n)
Standard: rational homotopy equivalence, meaning the two spaces become homotopy equivalent after rationalizing (when the Z's become Q's on the right). A suitable map from left to right is given by the Chern classes.
Aug
30
answered Is there an analog of the Barratt-Eccles construction for group-like E_∞-spaces and E_∞-ring spaces?
Aug
24
comment PBW proof proposal
This is a sketch of a standard proof, and one does not have to restrict to characteristic zero. See Section 22.2 of ``More Concise Algebraic Topology" by Kate Ponto and myself for a recent version, which deals with graded Lie algebras.
Aug
7
awarded  model-categories
Aug
7
answered Is the category of $G$-spaces a model category?