Timeline for The gauge group versus the diffeomorphism group of a manifold
Current License: CC BY-SA 3.0
4 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Dec 12, 2014 at 6:49 | comment | added | Peter Michor | @ Igor Khavkine: You are right, I was tired. Thankyou. I changed it. | |
| Dec 12, 2014 at 6:49 | history | edited | Peter Michor | CC BY-SA 3.0 |
added 123 characters in body
|
| Dec 11, 2014 at 23:47 | comment | added | Igor Khavkine | Just noticed that your condition, $\pi_M^* \omega = 0$, on contact forms can't be correct (the arrows point the wrong way). I think what you wanted was to characterize contact forms in a way that easier to check than the defining condition $s^*\omega = 0$ for all $s=j^1 f$. Perhaps the quickest way to do that is to use adapted coordinates on $J^1(M,N)$, say $(x^i,y^j,k^j_i)$. Then, contact forms are all those that are locally generated by the forms $dy^j - k^j_i dx^i$, as you well know of course. | |
| Dec 11, 2014 at 21:41 | history | answered | Peter Michor | CC BY-SA 3.0 |