Related papers: Termination of Cartan's equivalence method
By combining the ideas of Cartan's equivalence method and the method of the equivariant moving frame for pseudo-groups, we develop an efficient method for solving equivalence problems arising from horizontal Lie pseudo-group actions. The…
Elie Cartan's general equivalence problem is recast in the language of Lie algebroids. The resulting formalism, being coordinate and model-free, allows for a full geometric interpretation of Cartan's method of equivalence via reduction and…
We introduce a systematic method to solve a type of Cartan's realization problem. Our method builds upon a new theory of Lie algebroids and Lie groupoids with structure group and connection. This approach allows to find local as well as…
The Cartan's method of equivalence and moving coframe method has been applied to solve the local equivalence problem for KDV-type equations under the action of a pseudo-group of contact transformations. The structure equations, the sets of…
We use E. Cartan's method to solve the problem of equivalence of the second order ordinary differential equations with respect to the pseudogroup of point transformations.
The Cartan and Iwasawa decompositions of real reductive Lie groups play a fundamental role in the representation theory of the groups and their corresponding symmetric spaces. These decompositions are defined by an involution with a compact…
This thesis is devoted to algorithmic aspects of the implementation of Cartan's moving frame method to the problem of the equivalence of submanifolds under a Lie group action. We adopt a general definition of a moving frame as an…
We present a modern formulation of \'Elie Cartan's structure theory for Lie pseudogroups and prove a reduction theorem that clarifies the role of Cartan's systatic system. The paper is divided into three parts. In part one, using notions…
Cartan's equivalence method is applied to explicitly construct invariant coframes for four branches, which are used to characterize all non-linearizable third-order ODEs with a four-dimensional Lie symmetry subalgebra under point…
This paper aims to use Cartan's original method in proving Theorem A and B on closed cubes to provide a different proof of the vanishing of sheaf cohomology over a closed cube if either (i) the degree exceeds its real dimension or (ii) the…
Using Cartan's equivalence method for point transformations we obtain from first principles the conformal geometry associated with third order ODEs and a special class of PDEs in two dimensions. We explicitly construct the null tetrads of a…
In this paper, we classify space-time curves up to Galilean group of transformations with Cartan's method of equivalence. As an aim, we elicit invariats from action of special Galilean group on space-time curves, that are, in fact,…
In this paper we show that topological subgroupoids of Lie groupoids, under special circumstances are Lie subgroupoids. Giving an example, we indicate that having the same topological dimension is a necessary condition for topological…
We study Wick-rotations of left-invariant metrics on Lie groups, using results from real GIT (\cite{1}, \cite{2}, \cite{3}). An invariant for Wick-rotation of Lie groups is given, and we describe when a pseudo-Riemannian Lie group can be…
The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'"=f(x,u,u',u")$ which admits the maximal seven-dimensional point symmetry Lie algebra. The method…
We develop an algebraic version of Cartan method of equivalence or an analog of Tanaka prolongation for the (extrinsic) geometry of curves of flags of a vector space $W$ with respect to the action of a subgroup $G$ of the $GL(W)$. Under…
We apply Cartan's method of equivalence to find a covering for the modified Khokhlov - Zabolotskaya equation.
We prove normalization for (univalent, Cartesian) cubical type theory, closing the last major open problem in the syntactic metatheory of cubical type theory. Our normalization result is reduction-free, in the sense of yielding a bijection…
The Cartan equivalence method is utilized to deduce an invariant characterization of the scalar third-order ordinary differential equation $u'''=f(x,u,u',u'')$ which admits the maximal ten-dimensional contact symmetry Lie algebra. The…
In this paper we give detailed construction of $G$-equivariant Kuranishi chart of moduli spaces of pseudo-holomorphic curves to a symplectic manifold with $G$-action, for an arbitrary compact Lie group $G$. The proof is based on the…