# When is a symplectic manifold equivalent to a cotangent bundle?

Let $X$ be a differentiable manifold. Its cotangent bundle $T^*X$ carries a canonical 1-form $\alpha$ whose exterior differential $\omega = d\alpha$ endows $T^*X$ with the structure of a symplectic manifold.

But what about the converse question? Which symplectic manifolds are cotangent bundles?

Clearly a necessary condition is that $\omega$ must be exact, so cohomological obstructions are relevant. Is that all? Compact symplectic manifolds have non-trivial de Rham cohomology in grade two, so the cohomological test passes muster for that important class of examples.

I'm also interested in examples of manifolds where different symplectic forms (modulo exact 2-forms) give qualitatively different dynamics with the same Hamiltonian. As symplectic structures on the same manifold are all locally equivalent by Darboux's theorem, one expects such phenomena would occur only on a global scale.

-

Using the h-principle, Gromov showed that there is a symplectic form on $\mathbb{R}^6$ which admits $S^3$ as a Lagrangian submanifold. Using holomorphic curves, he showed that the standard symplectic form on $T^* \mathbb{R}^3$ does not admit any such Lagrangian. There is now a whole industry of building exotic symplectic forms on non-compact manifolds (see papers of Seidel-Smith, Mark McLean, ...).

Probably the only reasonable answer to characterising cotangent bundles uses the existence of a Lagrangian foliation by planes. If you have a foliation parametrised by a manifold which admits a Lagrangian section, then you have yourself an open subset of a cotangent bundle (this is just Weinstein's theorem). You can't drop the condition of the existence of a section precisely because you can add the pull back of a $2$-form on the base. If your symplectic form is "complete" then the existence of a Lagrangian section is a cohomological condition. Pick any section: If the pullback of $\omega$ doesn't vanish, then you don't have a cotangent bundle. If it vanishes in cohomology, you can use a primitive $1$-form to flow your section to a Lagrangian.

I want to point out that the methods we have for producing different symplectic forms do not proceed by writing down different $2$-forms on the same space. Rather, you find some construction of symplectic manifolds (using some general notion of symplectic surgery) which produces a large class of symplectic manifolds, then you prove that some of these result in the same smooth manifold. The existence of a diffeomorphism is obtained abstractly, so I do not know of examples where we can write down a Hamiltonian whose dynamics for two different symplectic forms can be compared.

-

In response to your last paragraph, the so-called "twisted" cotangent bundles provide examples where different symplectic forms exhibit very different dynamics with the same Hamiltonian.

Suppose $\omega=d\alpha$ is the standard symplectic form on a cotangent bundle $\pi:T^{*}X\to X$, where $X$ is a closed manifold. Let $\sigma$ denote a closed non-exact two-form on $X$, and consider a new family of two-forms $\omega_{s}$ for $s\in [0,\infty)$ defined by $\omega_{s}:=\omega-s\pi^{*}\sigma$. It's easily checked that $\omega_{s}$ is again a symplectic form on $T^{*}X$ for each $s\in [0,\infty)$ (it's closed as $\sigma$ is closed and non-degenerate as $d\pi$ vanishes on "vertical" tangent vectors).

Fix a Riemannian metric $g$ on $X$, and let $H:T^{*}X\to X$ denote the standard "kinetic energy" Hamiltonian defined by $H(x,p):=\frac{1}{2}|p|^{2}$, and let $\xi_{s}$ denote the symplectic gradient of $H$ with respect to $\omega_{s}$ (i.e. $i_{\xi_{s}}\omega_{s}=-dH$). Let $\phi_{s}$ denote the flow of $\xi_{s}$.

Let $S^{*}X$ denote the unit cosphere bundle of $X$. Since $H$ is autonomous, the flow $\phi_{s}$ preserves $S^*{X}$ for each $s\in[0,\infty)$. The point is that the dynamics of $\phi_{s}$ on $S^{*}X$ can vary dramatically depending on $s$.

As a concrete example of this, consider a closed hyperbolic surface $X=\mathbb{H}^{2}/\Gamma$, where $\Gamma$ is a cocompact lattice of $\mathrm{PSL}(2,\mathbb{R})$. Let $\sigma$ denote the area form on $X$. Note that for $s=0$, $\phi_{0}$ is just the cogeodesic flow. For $0\le s<1$, the dynamics of $\phi_{s}$ is Anosov and conjugate (after rescaling) to the cogeodesic flow. All closed orbits are non-contractible. In this case the unit cosphere bundle is a contact type hypersurface in the symplectic manifold $(T^{*}X,\omega_{s})$. For $s=1$ we get the horocycle flow. There are no closed orbits at all, and the unit cosphere bundle is not of contact type (in fact, it's not even stable). For $s>1$ all the orbits are closed and contractible. The unit cosphere bundle is again of contact type, but with the opposite orientation.

Perhaps the best place to read about this is Ginzburg's survey article "On closed trajectories of a charge in a magnetic field: An application of symplectic geometry", which is in the book "Contact and symplectic geometry" (CUP,1994). The recent paper "Symplectic topology of Mane's critical values" by Cieliebak, Frauenfelder and Paternain contains lots of examples of this sort of behaviour.

-

Since the earlier (very nice) answers didn't actually say it, let me mention: lots of exact symplectic manifolds are not cotangent bundles. The hypersurface $xy=f(z)$ for $f$ a monic polynomial with distinct roots is not a cotangent bundle if the degree is $\geq 3$ (it has the wrong homotopy type; a contangent bundle of a 2-manifold will have second Betti number $\leq 1$, whereas the second Betti number of this hypersurface will be the degree of $f$ minus 1). This affine variety has a Kähler metric (maybe induced from the obvious metric on $\mathbb{C}^3$, though I won't swear to it) which is exact.

-

I don't know if this question : "when a symplectic manifold is isomorphic to a cotangent bundle" has a complete and simple answer in the literature, in the way you want, but this is some comments that come in mind about this question.

A cotangent bundle $T^*Q$ has two main characteristics:

1. A Lagrangian foliation over its base $(q,p) \mapsto q$.

2. A one parameter dilatation group $t\mapsto [(q,p) \mapsto (q,e^t p)]$.

On a symplectic manifold $(M,\omega)$, we usually call polarization a Lagrangian foliation when the space of leaves is a manifold. And we call Liouville 1-parameter group a 1-parameter group of diffeomorphisms $\varphi_t$ such that $\varphi_t^*(\omega) = e^t\omega$. The infinitesimal action of the Liouville group is a (complete) Liouville vector field, it satisfies ${\cal L}_\xi(\omega) = \omega$. Every Liouville vector field on a symplectic manifold gives a primitive of the symplectic form: $\alpha(\cdot) = \omega(\xi,\cdot)$, that is, $d\alpha = \omega$. We have then two necessary conditions for the symplectic manifold $(M,\omega)$ to be a cotangent space:

• There exists a polarization $\pi : x \mapsto q$ onto some manifold $Q$.
• There exists a complete Liouville vector field $\xi$, tangent to the polarization $\pi$.

Let's assume now that these two conditions are satisfied, we can define a natural map $\Phi : M \to T^*Q$ by $$\Phi(x) = (q = \pi(x), p = [\delta q \mapsto \omega_x(\xi(x),\delta x)]) \quad \mbox{with} \quad \pi_*(\delta x) = \delta q.$$ Here $\delta q \in T_qQ$, $\delta x \in T_xM$. Because the Liouville field is tangent to the polarization, $\omega_x(\xi(x),\delta x)$ depends only on $\delta q = \pi_*(\delta x)$, and therefore $p$ belongs to $T^*_qQ$. Now this map $\Phi$ satisfies: $$\Phi(\lambda) = \alpha \quad \mbox{and then} \quad \phi^*(d\lambda) = \omega,$$ where $\lambda$ is the canonical Liouville 1-form $pdq$ on $T^*Q$. Now, since $d\lambda$ and $\omega$ are symplectic the tangent linear map $D(\Phi)_x$ is non degenerate, $\ker D(\Phi)_x = \{0\}$ for all $x$. Thus, $\Phi$ is an étale map, that is, a local diffeomorphism everywhere. Hence, $(M,\omega)$ is not far to be a cotangent bundle, we can already say that $\omega$ is the pullback of the standard symplectic form $d\lambda$ on a cotangent $T^*Q$ by an étale map which is already a bit of interesting information. It remains to give some conditions on the polarization to move from an étale map to a diffeomorphism. I don't know if it is exactly the sense you gave to your question but it may help to apprehend the situation.

-