Abstract mechanical connection and Abelian reconstruction for almost Kähler manifolds (Q5939021)

Let \((P,\omega)\) be a finite-dimensional symplectic manifold, \(G\) a Lie group, acting canonically on \(P\), admitting an equivariant momentum map \(J\), \(H\) a Hamiltonian on \(P\). Under appropriate assumptions the space of group orbits \(P/G\) is a smooth manifold inheriting a Poisson structure from that of \(P\). The Hamiltonian \(H\) on \(P\) drops to a Hamiltonian \(h\) on \(P/G\), the Hamiltonian vector fields \(X_H\) and \(X_h\) as well as their solutions \(x_t\) and \(y_t\) are related by the projection \(\pi: P \rightarrow P/G\). Let \(y_t\) be periodic with period \(T\). Then for any initial condition \(x_0 \in \pi^{-1}(y_0)\) there exists a unique \(g \in G\) such that \(x_T = g \cdot x_0\). The reconstruction problem consists in the computation of the associated ``reconstruction phase'' \(g\). Under certain conditions the Marsden-Weinstein reduction produces a principal bundle \(J^{-1}(\mu_0)\) \(\rightarrow P_{\mu_0}\) with \(\mu_0 = J(x_0)\), \(P_{\mu_0}\) being a symplectic leaf in \(P/G\), containing the solution \(y_t\). The computation now uses an arbitrary principal connection on this principal bundle. If \(P\) is the cotangent bundle of a Riemannian manifold, there is a canonical choice for such a connection, the so-called mechanical connection, but in general this is not the case. The authors show that there still exists a canonical connection, under the assumption that \((P, \omega)\) is an almost Kähler manifold, the symplectic form \(\omega\) being given by the almost complex structure and the Kähler metric. This so-called abstract mechanical connection is defined by declaring horizontal spaces at each point to be metric orthogonal to the tangent to the group orbit. Explicit formulas for the corresponding connection form are given, which, in the Abelian case, simplify the computation considerably.