Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
started G-CW complex.
I added a bit about G-CW embedding into presheaves on Or(G).
moved the section on smooth G-manifolds from “Properties” to “Examples”.
added pointer to Waner 80, who attributes this class of examples to Matumoto 71
added pointer to
Takao Matumoto, On -CW complexes and a theorem of JHC Whitehead, J. Fac. Sci. Univ. Tokyo Sect. IA 18, 363-374, 1971
Takao Matumoto, Equivariant K-theory and Fredholm operators, J. Fac. Sci. Tokyo 18 (1971/72), 109-112 (pdf)
which is apparently the origin of the concept for equivariance groups being compact Lie groups.
(A minute ago I also knew the original reference for finite groups, but now I seem to have lost it…)
I have added pointer to
for the origin of the concept of G-CW complexes over finite groups.
It’s interesting that Bredon’s proposal to parametrize over the -orbit category precedes the proof of the equivariant Whitehead theorem by 4 years, and the proof of Elmendorf’s theorem by 16 years, given that it’s only the combination of these two theorems which justify Bredon’s idea on deeper grounds.
added pointer to:
added pointer to:
added pointer to:
also pointer to:
Have added a remark (here) that -CW-complexes for finite groups are equivalently CW-complexes with cellular group action.
Then I have made explicit (here) – for the simple special case of finite groups – that binary products in k-spaces preserve -CW complex structure.
I gather this is still true for compact Lie groups , “due to” the equivariant triangulation theorem – but what’s an actual proof of this implication?
1 to 11 of 11