Let M be a smooth manifold of dimension 2n, and let O-M be the dense open subbundle in boolean AND(2) T*M of 2-covectors of maximal rank. The algebra of Diff M-invariant smooth functions of first order on O-M is proved to be isomorphic to the algebra of smooth Sp(Omega(x))-invariant functions on boolean AND T-3(x)*M, x being a fixed point in M, and Omega(x) a fixed element in (O-M)(x). The maximum number of functionally independent invariants is computed.
Let M be a smooth manifold of dimension 2n, and let O-M be the dense open subbundle in boolean AND(2) T*M of 2-covectors of maximal rank. The algebra of Diff M-invariant smooth functions of first order on O-M is proved to be isomorphic to the algebra of smooth Sp(Omega(x))-invariant functions on boolean AND T-3(x)*M, x being a fixed point in M, and Omega(x) a fixed element in (O-M)(x). The maximum number of functionally independent invariants is computed. Read More


