Timeline for Idempotents split in category of smooth manifolds?
Current License: CC BY-SA 3.0
10 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Apr 6, 2014 at 8:29 | comment | added | მამუკა ჯიბლაძე | Nice proof. I wonder if in fact it can be squeezed into something like "every such $p$ is locally diffeomorphic to ${\mathbb R}^{k+l}\twoheadrightarrow{\mathbb R}^k\hookrightarrow{\mathbb R}^{k+l}$, $(u,v)\mapsto u\mapsto(u,0)$" - this would make it completely transparent... | |
| S Apr 6, 2014 at 3:38 | history | suggested | Aaron Hall | CC BY-SA 3.0 |
spelling, made a bit more readable, instead of one block of unreadable text.
|
| Apr 6, 2014 at 3:35 | review | Suggested edits | |||
| S Apr 6, 2014 at 3:38 | |||||
| Apr 5, 2014 at 23:40 | vote | accept | Todd Trimble | ||
| Apr 5, 2014 at 23:39 | comment | added | Todd Trimble | Thanks for adding more details. I've looked this over pretty carefully now, and your argument seems to be holding up. So acceptance and another thank-you is in order! | |
| Apr 5, 2014 at 22:40 | history | edited | Zack | CC BY-SA 3.0 |
Tried to clarify the confusing bits.
|
| Apr 5, 2014 at 22:18 | comment | added | Zack | The projection to the kernel of $dp(0)$, after identifying $T_0\mathbb{R}^n$ with $\mathbb{R}^n$ itself. | |
| Apr 5, 2014 at 22:13 | comment | added | Todd Trimble | I'm sorry, I'm having some trouble understanding this. For starters, what is $\pi_{\ker(dp(0))}$? | |
| Apr 5, 2014 at 21:38 | review | First posts | |||
| Apr 5, 2014 at 21:43 | |||||
| Apr 5, 2014 at 21:21 | history | answered | Zack | CC BY-SA 3.0 |