## Classical analogue of the Stone-von Neumann Theorem?

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

Let $U_s$, $V_t$ be a pair of continuous $n$-parameter groups ($n < \infty$) of unitary operators on a complex Hilbert space $\mathcal{H}$. The Stone-von Neumann Theorem establishes that any such pair forming an irreducible representation of the Weyl relations,

$U_sV_t = e^{is\cdot t}V_tU_s$

is unitarily equivalent to the Schrödinger representation, and hence that all such representations are unitarily equivalent. (Note: the Weyl relations in this context are equivalent to the canonical commutation relations (CCRs) $[Q,P]\psi=i\psi$ for all $\psi$ in the common dense domain of $Q$ and $P$, where $Q$ and $P$ are the generators of $V$ and $U$.)

Question: Is there a known analogue of this result in the context of classical Hamiltonian mechanics?

I don't know of a classical analogue of the Weyl relations. But there is a classical analogue of the CCRs, which is the Poisson bracket $\{q,p\}=1$. So, here's how I imagine a classical analogue of the Stone-von Neumann theorem might look (just a rough attempt, really!).

Let $\mathcal{M}$ be a smooth $2n$-dimensional manifold and $\omega$ a symplectic form on $\mathcal{M}$. Let $\xi = (q,p)$ be any global coordinate system on $\mathcal{M}$, and let $Q:\mathcal{M}\rightarrow\mathbb{R}$ and $P:\mathcal{M}\rightarrow\mathbb{R}$ be the projections onto $q$ and $p$, respectively. Then (conjecture): all such pairs ($Q$, $P)$ satisfying,

$\{Q,P\}=1$

where $\{\cdot,\cdot\}$ is the Poisson bracket associated with $(\mathcal{M}, \omega)$, are related by a single canonical transformation.

Does this seem like a reasonable way to formulate the classical analogue? Is the status of this conjecture obvious? Your thoughts are appreciated!

-

1
Let n=1. What you get is the famous Jacobian conjecture... In classical limit representation correspond to symplectic leaves. R^2n is symplectic - so only 1 symplectic leave with accordance to Stone-vonNeuman... – Alexander Chervov Oct 19 2011 at 13:25

## 1 Answer

Expanding on Chervov's comment: the Jacobian conjecture for two variables conjectures that if a polynomial map $(x,y) \to (X,Y)$ has for its Jacobian $\partial(X,Y)/\partial(x,y)$ a nonzero constant, then this polynomial map has a polynomial inverse. (The chain rule, plus the fact that over ${\mathbb C}$ polynomials have zeros, yields the truth of the converse: if the map has polynomial inverse, then its Jacobian is a nonzero constant.) If $(x,y) = (q,p), (X,Y) = (Q,P)$ then ${Q, P }$ is the Jacobian of this transformation. So: an affirmative answer for the Jacobian conjecture would precisely yield a 'yes' to your 'reasonable formulation' in the polynomial category when $n =1$.

Going back to Stone-von-Neumann and the Weyl relations you wrote down suggests adding the hypothesis that the flows of the Hamiltonian vector fields for both $Q$ and $P$ are complete. With that addition, you have a chance of a 'yes' answer when $n=2$, perhaps in the smooth category.

Note: your hypothesis imply that your manifold is ${\mathbb R}^{2n}$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 40, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": false}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.8939915895462036, "perplexity_flag": "head"}