Solving local equivalence problems with the equivariant moving frame method

DOI10.3842/SIGMA.2013.029MaRDI QIDQ352498zbMATH OpenFDO

Authors Francis Valiquette

Publication date 4 July 2013

Published in SIGMA. Symmetry, Integrability and Geometry: Methods and Applications (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1304.1616

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

differential invariantequivalence problemjet spaceMaurer Cartan formmoving frame

Mathematics Subject Classification ID

(G)-structures (53C10) Global submanifolds (53C40) Exterior differential systems (Cartan theory) (58A15) Jets in global analysis (58A20)

Abstract: Given a Lie pseudo-group action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. For local equivalence problems the freeness requirement cannot always be satisfied and in this paper we show that, with the appropriate modifications and assumptions, the equivariant moving frame constructions extend to submanifold jets where the pseudo-group does not act freely at any order. Once this is done, we review the solution to the local equivalence problem of submanifolds within the equivariant moving frame framework. This offers an alternative approach to Cartan's equivalence method based on the theory of G-structures.

Review text

In 1999, \textit{M. Fels} and \textit{P. J. Olver} [Acta Appl. Math. 55, No. 2, 127--208 (1999; Zbl 0937.53013)] proposed a new theoretical foundation to the classical Cartan's method of moving frames. For a Lie group \(G\) acting on the \(n^{\text{th}}\) order jet space \(J^n(M,p)\) of \(p\)-dimensional submanifolds of \(M\), a moving frame is a \(G\)-equivariant section of the trivial bundle \(J^n(M,p)\times G\to J^n(M,p)\). This new framework is known as the equivariant moving frame method.NEWLINENEWLINEGiven a Lie pseudo-group action, an equivariant moving frame exists in the neighborhood of a submanifold jet provided the action is free and regular. Unfortunately, the freeness requirement cannot always be satisfied. In the present paper it is shown that, with the appropriate modifications and assumptions, the equivariant moving frame constructions extend to submanifold jets where the pseudo-group does not act freely at any order. This leads to an alternative approach to Cartan's equivalence method based on the theory of \(G\)-structures.

Recommendations

• Involutive moving frames
• Moving Frames for Lie Pseudo–Groups
• Two Algorithms for a Moving Frame Construction
• Moving frames
• Moving coframes. II: Regularization and theoretical foundations

Cited in

(17)

• Moving frames and singularities of prolonged group actions
• Symbolic computation of equivalence transformations and parameter reduction for nonlinear physical models
• Recursive moving frames
• Symmetry-based algorithms for invertible mappings of polynomially nonlinear PDE to linear PDE
• Convergent normal form for five dimensional totally nondegenerate CR manifolds in \(\mathbb{C}^4\)
• Involutive moving frames
• Open problems for Painlevé equations
• scientific article; zbMATH DE number 1640192 (Why is no real title available?)
• Equivariant moving frame method and the local equivalence of \(u _{xx } = r(x, u, v, u_{x }, v_{x })\) under fiber-preserving transformations
• On classification problems in the theory of differential equations: Algebra + geometry
• Symmetry reduction of ordinary finite difference equations using moving frames
• Symmetry reduction of ordinary differential equations using moving frames
• Normal forms, moving frames, and differential invariants for nondegenerate hypersurfaces in \(\mathbb{C}^2\)
• Recursive moving frames for Lie pseudo-groups
• Complete normal forms for real hypersurfaces in \(\mathbb{C}^3\) at 2-nondegenerate points of Levi non-uniform rank zero
• Global Lie-Tresse theorem
• Point equivalence of second-order ODEs: maximal invariant classification order

This page was built for publication: Solving local equivalence problems with the equivariant moving frame method

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q352498)