Jf. Carinena et H. Figueroa, HAMILTONIAN VERSUS LAGRANGIAN FORMULATIONS OF SUPERMECHANICS, Journal of physics. A, mathematical and general, 30(8), 1997, pp. 2705-2724
We take advantage of different generalizations of the tangent manifold
to the context of graded manifolds, together with the notion of super
section along a morphism of graded manifolds, to obtain intrinsic def
initions of the main objects in supermechanics such as, the vertical e
ndomorphism, the canonical and the Cartan's graded forms, the total ti
me derivative operator and the super-legendre transformation. In this
way, we obtain a correspondence between the Lagrangian and the Hamilto
nian formulations of supermechanics.