Symplectization

Template:Unreferenced In mathematics, the symplectization (or symplectification) of a contact manifold is a symplectic manifold which naturally corresponds to it.

Definition

Let $(V,\xi )$ be a contact manifold, and let $x\in V$. Consider the set

$S_{x}V=\{\beta \in T_x^{\ast }V-\{0\}\mid \ker \beta ={\xi }_x\}\subset T_x^{\ast }V$

of all nonzero 1-forms at $x$, which have the contact plane ${\xi }_x$ as their kernel. The union

$SV=\bigcup _{x\in V}{S}_{x}V\subset T^{\ast }V$

is a symplectic submanifold of the cotangent bundle of $V$, and thus possesses a natural symplectic structure.

The projection $\pi :SV\to V$ supplies the symplectization with the structure of a principal bundle over $V$ with structure group ${ℝ}^{\ast }\equiv ℝ-\{0\}$.

The coorientable case

When the contact structure $\xi$ is cooriented by means of a contact form $\alpha$, there is another version of symplectization, in which only forms giving the same coorientation to $\xi$ as $\alpha$ are considered:

$S_x^{+}V=\{\beta \in T_x^{\ast }V-\{0\}|\beta =\lambda \alpha ,\lambda >0\}\subset T_x^{\ast }V,$

$S^{+}V=\bigcup _{x\in V}{S}_x^{+}V\subset T^{\ast }V.$

Note that $\xi$ is coorientable if and only if the bundle $\pi :SV\to V$ is trivial. Any section of this bundle is a coorienting form for the contact structure.