Skip to main content
IJL's user avatar
IJL's user avatar
IJL's user avatar
IJL
  • Member for 6 years, 7 months
  • Last seen this week
awarded
Loading…
Loading…
Loading…
awarded
revised
Loading…
comment
Davis' trick and Riemannian manifolds
A slightly pedantic comment: the group $G$ in Mark's posting does not come equipped with an action on $\mathbb{R}^5$. The manifold $M'$ with the proper $G$-action is constructed from $G\times M$, i.e., the direct product of $G$ and $M$, by identifying pieces of the various copies of $\partial M$. Provided that the 2-complex $C$ that you started with was aspherical, the universal cover of $M'$ will be contractible. But even in this case, it need not be homeomorphic to $\mathbb{R}^5$.
comment
Thinking and Explaining
Translations and glides in all directions might be a union of conjugacy classes, so in that sense it's normal, but it isn't a subgroup! It generates the full group of isometries of the plane.
answered
Loading…
comment
Isomorphism in homology
The group $U=K*_GH$ does have the required property, and the Mayer-Vietoris sequence proves this. What did you think was the problem with proving this using Mayer-Vietoris?
comment
Is each closed subgroups of $\mathbb R^\omega$ isomorphic to a Tychonoff product of locally compact Abelian groups?
In question 2, do you want each $G_n$ to be connected? If not, then surely any profinite group is a closed subgroup of a Tychonoff product of finite groups?
answered
Loading…
awarded
revised
Finite complexes whose homotopy groups are not "finitely generated"
Changed `cannot' to `does not happen in general'.
Loading…
awarded
Loading…
comment
What are your favorite instructional counterexamples?
Of course, the mapping telescope of the system of maps that Dan describes is a model for $K(\mathbb{Q},1)$. One way to look at this example is as a case where hocolim is not homotopy equivalent to colim.
comment
infinite dimensional CAT(0) groups
An action on a cube complex that is not finite-dimensional can never be cocompact. The cube complex that Farley uses is not finite-dimensional.
awarded
awarded
1
8 9 10
11
12