Skip to main content
4 of 7
added 241 characters in body
Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176

While the following may be less “physically” intuitive than the question intends, I liked it when I heard it. If you believe in the importance of Poisson brackets, it is natural to ask if they make the Lie algebra of some transformation group, or in other words, if they can be realized as Lie brackets of vector fields.

This question was answered in the 1960s by “prequantization” of symplectic manifolds, but in the case of $X=\smash{\mathbf R^2}$ with points $x=(p,q)$ and 2-form $\omega=dp\wedge dq$, already by Sophus Lie in (1890, p. 270): one considers $L=X\times\mathbf U(1)$ with points $ξ=(x,z)$, projection $ξ\mapsto x$ and connection (contact) 1-form $\varpi = p\,dq + dz/iz$. Then an automorphism, $g\in\operatorname{Aut}(L,\varpi)$, is a diffeomorphism of the form $$ g(x,z) = (s(x),ze^{iS(x)}) \tag1 $$ where $s\in\operatorname{Aut}(X,\omega)$ is a symplectomorphism and the function $S$ is determined up to an additive constant1) by $$ p\,dq-s^*(p\,dq)=dS. \tag2 $$ Now the Lie algebra $\operatorname{aut}(L,\varpi)$ is isomorphic to $(C^∞(X), \{\cdot,\cdot\})$: to any $\varpi$-preserving vector field $Z$ we can attach the function $H(x) = \varpi(Z(ξ))$ called its Hamiltonian, and conversely any $H ∈ C^∞(X)$ gives rise to the infinitesimal automorphism $$ Z(x,z)= (\eta(x),iz\ell(x)) \tag3 $$ where $\eta=\smash{\bigl(-\frac{\partial H}{\partial q},\frac{\partial H}{\partial p}\bigr)}$ is the symplectic gradient of $H$, and $\ell= H-p\smash{\dfrac{\partial H}{\partial p}}$ is the Lagrangian for you.

Paths $t\mapsto x$ in $X$ “lift” to paths in $L$ where $z$ spins around the “internal clock” $\mathbf U(1)$ so eloquently described in Feynman’s QED, evolving with $S=\int\ell\,dt$. “Wave functions” live in the complex plane it spans, and constructive interference of the waves corresponds to stationary $S$.


1) That is to say, one has a central extension $1\longrightarrow\mathbf U(1)\longrightarrow\operatorname{Aut}(L,\varpi)\longrightarrow\operatorname{Aut}(X,\omega)\longrightarrow 1$.

Francois Ziegler
  • 31.5k
  • 6
  • 121
  • 176