Search

Lagrangian curves in $\mathbb {R}^{4}$ entertain intriguing relationships with second order deformation of plane curves under the special affine group and null curves in a 3-dimensional Lorentzian space form. We provide a natural affine symplectic frame for Lagrangian curves. It allows us to classify Lagrangian curves with constant symplectic curvatures, to construct a class of Lagrangian tori in $\mathbb {R}^{4}$ and determine Lagrangian geodesics. [ABSTRACT FROM AUTHOR]

Given a Lie group action G we show, using the method of equivariant moving frames, that the local cohomology of the invariant Euler-Lagrange complex is isomorphic to the Lie algebra cohomology of G. [ABSTRACT FROM AUTHOR]

The primary goal of this paper is to provide a rigorous theoretical justification of Cartan’s method of moving frames for arbitrary finite-dimensional Lie group actions on manifolds. The general theorems are based a new regularized version of the moving frame algorithm, which is of both theoretical and practical use. Applications include a new approach to the construction and classification of differential invariants and invariant differential operators on jet bundles, as well as equivalence, symmetry, and rigidity theorems for submanifolds under general transformation groups. The method also leads to complete classifications of generating systems of differential invariants, explicit commutation formulae for the associated invariant differential operators, and a general classification theorem for syzygies of the higher order differentiated differential invariants. A variety of illustrative examples demonstrate how the method can be directly applied to practical problems arising in geometry, invariant theory, and differential equations. [ABSTRACT FROM AUTHOR]

This is the first in a series of papers devoted to the development and applications of a new general theory of moving frames. In this paper, we formulate a practical and easy to implement explicit method to compute moving frames, invariant differential forms, differential invariants and invariant differential operators, and solve general equivalence problems for both finite-dimensional Lie group actions and infinite Lie pseudo-groups. A wide variety of applications, ranging from differential equations to differential geometry to computer vision are presented. The theoretical justifications for the moving coframe algorithm will appear in the next paper in this series. [ABSTRACT FROM AUTHOR]