16

Of course it should have dimension $2n$.

But any more conditions?

For example, can a genus-2 surface be the phase space of a Hamiltonian system?

Qmechanic
  • 201,751
Jiang-min Zhang
  • 4,092
  • 5
    Comment to the question (v2): It seems that OP is essentially asking When can an even-dimensional manifold be endowed with a globally defined symplectic structure? This is e.g. discussed in this, this and this mathoverflow.SE posts. – Qmechanic Jul 08 '14 at 21:16

3 Answers3

19

The bible for the mathematical formulation of classical Mechanics, namely Foundations of Mechanics by Abraham and Marsden, defines a hamiltonian system as a triple $(M, \omega, X_H)$ where $(M, \omega)$ is a symplectic manifold, and $X_H$ is the Hamiltonian vector field corresponding to a hamiltonian function $H:M\to\mathbb R$.

Now, are there typically any restrictions, including perhaps topological ones, placed on $M$? Well, Abraham and Marsden include some that are pretty standard:

  1. $M$ is hausdorff
  2. $M$ is second countable
  3. $M$ is differentiable

Aside from these restrictions, the authors (and I suspect this is standard) don't place any more restrictions on $M$. In particular, there is no reason why you can't consider a manifold $M$ with arbitrary genus.

Note. As pointed out by user ACuriousMind and others, there are toplogical complications resulting from the fact that only certain manifolds admit symplectic structures, so you can't just pick any old (especially higher dimensional) manifold and have yourself a merry time.

However, notice that in the case of $2$-manifolds, there exist surfaces of arbitrarily high genus that admit symplectic structures because of the following sequence of facts:

  1. Every smooth, orientable $n$-manifold admits a smooth, non-vanishing volume $n$-form.
  2. Therefore, every smooth, orientable $2$-manifold admits a smooth, non-vanishing $2$-form which is also non-degenerate.
  3. This $2$-form is closed because its exterior derivative is a $3$-form which must vanish in dimension $2$.

Take for example any $n$-fold torus, each of these guys is a smooth, orientable $2$-manifold which therefore admits a symplectic structure, and the genus of each of them is $n$. The $3$-fold torus is depicted below

enter image description here

Community
  • 1
joshphysics
  • 57,120
  • topological restrictions aren't placed by authors, but by existence of a symplectic form; Wikipedia lists orientability and non-trivial de-Rham cohomology $H^2(M)$ (ruling out all spheres except the 2-sphere) – Christoph Jul 08 '14 at 21:23
  • @Christoph Great points thanks. Fortunately, I think it's still true that, for example, one can find oriented two-manifolds of arbitrary genus that admit a symplectic structure, but please correct me if I'm wrong. – joshphysics Jul 08 '14 at 21:53
  • 1
    These answers are far above me. But, from a physical point of view, can one construct a physically realizable system with the "exotic" phase space manifold? – Jiang-min Zhang Jul 09 '14 at 07:49
  • @Jiang-minZhang Are you asking about the practical question of whether such a system could actually be constructed in the real world with some finite amount of effort or whether there exist idealized physical systems with such exotic phase spaces that one could in principle construct with the sorts of interactions that exist in the real world? – joshphysics Jul 10 '14 at 19:19
  • @josphysics Exactly! – Jiang-min Zhang Jul 11 '14 at 12:46
  • 1
    @Jiang-minZhang I have been unable to think of anything after a lot of thought, so I posted the following question to draw attention to the more physical side of this question: http://physics.stackexchange.com/q/126676/ – joshphysics Jul 15 '14 at 21:04
  • Could you expand on what $X_H$ is? Should I think if at as the time derivative $(\dot{q}_i, \dot{p}_i)$ given by applying Hamilton’s equations to the Hamiltonian function $H$? – tparker Aug 21 '22 at 12:21
  • 1
    @tparker You can think of $X_H$ as the vector field on phase space that is tangent to the orbits (solutions) of Hamilton's equations. If $(q^i, p_i)$ is a solution to Hamilton's equations in local coordinates, then for a given time $t$, the Hamiltonian vector field corresponds to the "velocity" $(\dot q^i(t), \dot p_i(t)) = (\partial H/\partial p_i, -\partial H/\partial q^i)$ where I suppressed arguments of the derivatives of $H$ for compactness. See also: https://en.wikipedia.org/wiki/Hamiltonian_vector_field – joshphysics Aug 21 '22 at 20:20
12

The phase space is a symplectic manifold, so any manifold $\mathcal{M}$ that admits a closed nondegenerate 2-form is a possible phase space.

Now, what is necessary (or sufficent) for admitting such a form?

First, as you mention, $\mathcal{M}$ must be even-dimensional.

Second, $\mathcal{M}$ must be orientable. Why? Because orientability is equivalent to the existence of a non-degenerate volume form, and the n-fold wedge product of the symplectic form $\omega$ will always provide such a form, so non-orientable manifolds are out.

Third, if $\mathcal{M}$ is compact, it must have also non-vanishing second deRham cohomology, so that there are closed forms which are not exact, of which the symplectic form is then one. Why? Because vanishing cohomology class of the symplectic form would imply vanishing cohomology of the induced volume form, which cannot be.

In this, I have assumed, as some do, that the term manifold already means a Hausdorff, second countable space. I know nothing about whether non-Hausdorff or non-second countable spaces locally diffeomorphic to $\mathbb{R}^n$ can also be symplectic.

ACuriousMind
  • 124,833
  • Could you clarify what you mean by “(It may be that compactness (due to its relation to "finite" volume) is also required for my second point, I am not 100% certain on that)“? Surely you aren’t implying that only a compact manifold can be orientable. – tparker Aug 21 '22 at 12:24
  • @tparker I don't know what I meant there when I wrote this 8 years ago, any symplectic manifold is definitely orientable; I have removed the parenthetical, thanks for the question. – ACuriousMind Aug 21 '22 at 13:58
4

Richens & Berry [Physica 1D, 495-512 (1981)] give beautiful examples of such systems (with phase-space that is a surface of genus > 1), which they call pseudointegrable; their examples are invariant manifolds of billiards shaped as polygons with rational angles. These systems are interesting because there are two constants of motion, so invariant manifolds are two-dimensional, but they do not behave at all like integrable systems, whose invariant manifolds are tori (i.e., genus-1). The simplest example is a rhombus billiard with two internal angles of 120 degrees and two of 60 degrees. Its invariant manifolds are exactly genus-2 surfaces. The reason why Arnold's theorem (claiming that invariant manifolds of D-dimensional Hamiltonian systems with D constants of motion are D-dimensional tori) cannot be used is because the assumption that two smooth vector fields can be constructed from the two constants of motion breaks down. (The vector fields have singularities at the corners.) I very much liked the previous answers by JoshPhysics and ACuriousMind.

Jiri Vanicek
  • 41