bio | website | math.uchicago.edu/~may |
---|---|---|
location | US | |
age | 75 | |
visits | member for | 3 years, 10 months |
seen | yesterday | |
stats | profile views | 5,958 |
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? |