Timeline for Is the space of diffeomorphisms homotopy equivalent to a CW-complex?
Current License: CC BY-SA 4.0
8 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jan 26 at 17:20 | comment | added | Yasha | Peter, do you still not have an answer on whether the group of compactly supported Diffeomorphisms (modelled on a nuclear LF space) has the homotopy type of a CW complex? Do you know where I might look? | |
| Mar 16, 2020 at 12:12 | history | edited | Peter Michor | CC BY-SA 4.0 |
added 33 characters in body
|
| Mar 15, 2020 at 11:41 | comment | added | David Roberts♦ | "All Frechet spaces are homeomorphic" I know this is an old answer, but this statement is a little misleading. Euclidean spaces are Fréchet, and they are not all homeomorphic. Did you mean to add some kind of separability, as well as "infinite-dimensional" (which is clearly what you meant)? | |
| Apr 8, 2013 at 19:10 | comment | added | Vidit Nanda | Peter: thank you for addressing the compact open topology. Also, +1 for "horrendibly". | |
| Apr 8, 2013 at 18:19 | history | edited | Peter Michor | CC BY-SA 3.0 |
added 1461 characters in body
|
| Apr 8, 2013 at 16:29 | comment | added | Ricardo Andrade | @Peter: Thank you for the interesting results and references. I had actually taken a look at your book "Manifolds of differentiable mappings" when thinking about this question. Since I could not find the answer there, I posted my question here. | |
| Apr 8, 2013 at 14:32 | comment | added | Vidit Nanda | Peter, isn't the Whitney topology very different from the compact-open topology which Ricardo is asking about? | |
| Apr 8, 2013 at 11:37 | history | answered | Peter Michor | CC BY-SA 3.0 |