Take the 2-minute tour ×
Physics Stack Exchange is a question and answer site for active researchers, academics and students of physics. It's 100% free, no registration required.

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?

share|improve this question
4  
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 8 at 21:16

2 Answers 2

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

share|improve this answer
    
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 8 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 8 at 21:53
    
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 9 at 7: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 at 19:19
    
@josphysics Exactly! –  Jiang-min Zhang Jul 11 at 12:46

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. (This could also be expressed as the requirement that the top deRham cohomology does not vanish)

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.

(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)

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.

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.