Timeline for Is the Borel lemma projection a smooth principal bundle?
Current License: CC BY-SA 4.0
6 events
when toggle format | what | by | license | comment | |
---|---|---|---|---|---|
Oct 8, 2022 at 8:50 | vote | accept | David Roberts♦ | ||
Oct 8, 2022 at 8:50 | comment | added | David Roberts♦ | Oh cool. I was worried that the tangent spaces wouldn't work out, but given that they do, this is an excellent argument. Thanks! | |
Oct 8, 2022 at 7:30 | comment | added | TaQ | Yes, it is exactly so. | |
Oct 8, 2022 at 2:09 | comment | added | David Roberts♦ | Can I ask: is this proof reducing the issue to that of a linear section of $J$ by looking at the derivative of the local section? And then proving that a linear section cannot exist, since we cannot have a retraction to the kernel? If that's the case, then I totally get it. | |
Oct 7, 2022 at 12:16 | comment | added | David Roberts♦ | Oh, excellent! This will take me a little to digest, so I can accept this after a little delay. | |
Oct 7, 2022 at 11:49 | history | answered | TaQ | CC BY-SA 4.0 |