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 | Science Articles, Homework Help, Discussion**

Dismiss Notice

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

**Physics Forums | Science Articles, Homework Help, Discussion**