Diffeomorphism-invariant covariant Hamiltonians of a linear frame and a linear connection (Q2467652)

Let \(N\) be a \(C^\infty\) manifold. An automorphism of a fibered manifold \(q: E\to N\) is a pair of diffeomorphisms \(\phi: N\to N\), \(\Phi: E\to E\) such that \(q\circ\Phi= \phi\circ q\). The group of automorphisms is denoted by \(\Aut(q)\), and its Lie algebra is regarded as the space of \(q\)-projectable vector fields on \(E\). Given a subgroup \({\mathcal G}\subseteq\Aut(q)\), a Lagrangian density \(\Lambda\) on the \(r\)-jet bundle \(J^rE\) is said to be \(\text{Lie}({\mathcal G})\)-invariant, if \(L_{X^{(r)}}\Lambda= 0\), with \(X^{(r)}\in{\mathcal X}(J^rE)\) for every \(X\) in \(\text{Lie}({\mathcal G})\), which is a Lie algebra corresponding to the group \({\mathcal G}\). A basic problem in the theory of covariant Hamiltonians, when a group \({\mathcal G}\) of symmetries act, is to determine the class of connections \(\gamma\) such that the covariant Hamiltonian \(\Lambda^\gamma\) associated to \(\Lambda\) (the explicit definition is now omitted) is \(\text{Lie}({\mathcal G})\)-invariant for every \(\text{Lie}({\mathcal G})\)-invariant Lagrangian density \(\Lambda\). In this article, the authors solve this problem when \(E\) is a bundle \(FN\times_N CN\), where \(FN\to N\) \((CN\to N)\) be the bundle of linear frames (resp., the bundle of linear connections).