Want to take part in these discussions? Sign in if you have an account, or apply for one below
Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.
1 to 6 of 6
It just occurred to me that there is an immediate axiomatization of the Liouville-Poincaré 1-form (the canonical differential 1-form on a cotangent bundle) in differential cohesion.
In fact, it is the special case of a much more general notion: for $A$ any type in differential cohesion the total space $\underset{X}{\sum} \mathcal{O}_X(A)$ of the $A$-valued structure sheaf over any $X$ carries a canonical $A$-cocycle.
For $A = \Omega^1$ the sheaf of 1-forms and $X$ a manifold, this is the traditional Liouville-Poincaré 1-form on $T^* X$.
I made a quick note on that at differential cohesion – Liouville-Poincaré cocycle.
Thanks to a conversation with Owen Gwilliam I now also understand how that construction gives the antibracket in the BV-BRST complex. I still need to write that out. Not today though.
traditional Liouville-Poincaré 1-form
Google does not give any hits with phrase Liouville-Poincaré.
All sources on that 1-form say it is called the Liouville form or the Poincaré-form. I thought if it’s really due to both, one should give credit to both.
Thanks. I do know it as canonical form, indeed, http://en.wikipedia.org/wiki/Tautological_one-form. Liouville-Poincaré sounds OK a priori, but it may repel some of the outside users – one has to be careful with new mixed names as they are expected to be different from the one with one name; for example Euler equation (in fluid dynamics) is completely different from say Euler-Lagrange equation (in variational calculus). I was just told be a student yesterday that he does not read $n$Lab any more, because the $n$Lab is like machine – always gives a correct answer but unrecognizable and hi-brow even when he thinks he knows the notion. This was sad to hear because it was about a good student.
Maybe somebody know or enjoys to dig out the original sources? Chances are that the idea is originally neither to Liouville nor to Poincaré! :-)
Yes, likely :) it could be instructive, how they were lead there, it is always instructive when it is about such great minds :)
1 to 6 of 6