New preprint with H. Bursztyn, A. Cattaneo, and M. Zambon. This project started in the year of our lord 2006 so it has been a long time coming. https://t.co/7Y5gv8hDzE
Here’s a thread explaining what it’s about, starting with some preliminaries:
1/14
A little-known fact about Lindsay Graham is that he had a Ph.D. in Math. Wrote his thesis about the binomial theorem. Not the best thesis ever but he gets points for effort.
Teaching my students that (2,2) + (2,2) = (5,5)
(in the elliptic curve y^2 = x^3 + 5x^2 - x over F_11)
don’t know if western civilization can recover from this
(xdy^dz + ydz^dx + zdx^dy)/r^3 is the standard example of a 2-form that is closed but not exact on R^3-{0}. But of course it is exact on, say, the region where z>0. Is there a “nice” formula for a primitive there?
If X is a monoid object in a monoidal category C then the slice category C/X is monoidal, and we can talk about monoid objects there. What does all this look like in terms of data on C? Is there a good reference where these things are worked out?
In other words, the Law of Conservation of Energy is a property that is *built into the structure of symplectic geometry*
Noether’s Theorem (correspondence between symmetries and conserved quantities) also holds similarly
This and other cool stuff some other time 7/7
A couple of months ago there was a symplectic geometry lovefest going on, but I didn’t have time to chime in. So here goes. I’ll try to explain WHY symplectic geometry is the thing for Hamiltonian mechanics 1/
This is why symplectic geometry works for mechanics. If you take the function that describes the energy in a system, its Hamiltonian vector field describes how the system changes over time.
It *automatically* points in a direction where the energy stays constant. 6/