I shall use Seidel's definition of a Liouville domain; in particular, a Liouville domain is a compact manifold [itex] M [/itex] with boundary together with a one-form [itex] \theta \in \Omega^1(M) [/itex] such that [itex] \omega = d\theta [/itex] is a symplectic form and the vector field Z defined by [itex] \iota_Z \omega = \theta [/itex] is always strictly outward pointing along [itex] \partial M[/itex]. Let [itex] \alpha = \theta_{\partial M} [/itex] be the contact form on the boundary.(adsbygoogle = window.adsbygoogle || []).push({});

Let [itex] \hat M [/itex] denote the symplectization of [itex] M [/itex] given by the natural collaring induced by the flow of Z. Namely, we attach an infinite cone to the boundary [itex] \partial M [/itex] and extend [itex] \theta [/itex] to [itex] e^r \alpha [/itex], and Z to [itex] \frac\partial{\partial r} [/itex] where [itex] r [/itex] is the [itex] \mathbb (-\infty,0] [/itex] coordinate of the symplectization.

Now a Liouville isomorphism of two Liouville domains [itex] M_1, M_2 [/itex] is defined to be a diffeomorphism on the symplectizations [itex] \hat M_1,\hat M_2 [/itex] such that [itex] \phi^*\theta_2 = \theta_1 + dg [/itex] where g is a compactly supported smooth function.

First question: Why do we define a Liouville isomorphism at the level of symplectization? Is the collaring argument really so canonical that it is essentially inherent to the definition of a Liouville domain?

Second question: Why do we only require that the one-form is preserved up to an exact form? I have heard an argument that demanding that the pullback preserve the form completely is too restrictive. Perhaps this could be elaborated upon. Furthermore, why do we need to the form to be exact? It seems to me that any argument about the preservation of structure could be done by using a compactly supported closed form, hence generalizing the space of Liouville isomorphisms even further.

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Liouville isomorphism

Loading...

Similar Threads for Liouville isomorphism | Date |
---|---|

Meaning of isomorphism/diffeomorphism ## f: R^n\to M^m## | Oct 1, 2015 |

Killing vector field => global isomorphisms? | May 2, 2014 |

Showing the Fundamental Group of S^1 is isomorphic to the integers | Dec 27, 2012 |

4 component spinor isomorphic to S^7? | May 7, 2012 |

**Physics Forums - The Fusion of Science and Community**