Related papers: Equivalence Problem for Non-Linearizable Third-Ord…
We investigate the relation between Cartan decompositions of the unitary group and discrete quantum symmetries. To every Cartan decomposition there corresponds a quantum symmetry which is the identity when applied twice. As an application,…
We consider the equivalence problem for cosmological models in four-dimensional gravity theories. A cosmological model is considered as a triple $(M, {\bf g},{\bf u})$ consisting of a spacetime $(M, {\bf g})$ and a preferred normalized…
A quantization over a manifold can be seen as a way to construct a differential operator with prescribed principal symbol. The quantization map is moreover required to be a linear bijection. It is known that there is in general no natural…
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…
The automorphisms of all 4-dimensional, real Lie Algebras are presented in a comprehensive way. Their action on the space of $4\times 4$, real, symmetric and positive definite, matrices, defines equivalence classes which are used for the…
When modeling physical properties of molecules with machine learning, it is desirable to incorporate $SO(3)$-covariance. While such models based on low body order features are not complete, we formulate and prove general completeness…
In principle, the local classification of spacetimes is always possible using the Cartan-Karlhede algorithm. However, in practice, the process of determining equivalence of two spacetimes is potentially computationally difficult or not at…
The aim of the paper is to demonstrate the superiority of Cartan's method over direct methods based on differential elimination for handling otherwise intractable equivalence problems. In this sens, using our implementation of Cartan's…
One shows that Cartan's method of adapted frames in Chapter XII of his famous treatise of Riemannian geometry, leads to a classification theorem of homogeneous Riemannian manifolds. Examples of classification in 3D dimensions obtained by…
The coefficient algebra of a finite-dimensional Lie algebra on a finite-dimensional representation is defined as the subalgebra generated by all coefficients of the corresponding characteristic polynomial. We explore connections between…
We discuss the local and global problems for the equivalence of geometric structures of an arbitrary order and, in later sections, attention is given to what really matters, namely the equivalence with respect to transformations belonging…
In this paper, we study scalar the forth order linear differential operators over an oriented 2-dimensional manifold. We investigate differential invariants of these operators and show their application to the equivalence problem.
Point transformations of the 3-rd order ordinary differential equations are considered. Special classes of ordinary differential equations that are invariant under the general point transformations are constructed.
Transformations of differential equations to other equivalent equations play a central role in many routines for solving intricate equations. A class of differential equations that are particularly amenable to solution techniques based on…
The goal of the present paper is to propose an enhanced ordinary differential equations solver by exploitation of the powerful equivalence method of \'Elie Cartan. This solver returns a target equation equivalent to the equation to be…
We sketch our recent application of a non-commutative version of the Cartan `moving-frame' formalism to the quantum Euclidean space $R^N_q$, the space which is covariant under the action of the quantum group $SO_q(N)$. For each of the two…
We study a geometry associated with rank 3 distributions in dimension 8, whose symbol algebra is constant and has a simple Lie algebra sp(3,R) as Tanaka prolongation. We restrict our considerations to only those distributions that are…
Invariants withstand transformations and, therefore, represent the essence of objects or phenomena. In mathematics, transformations often constitute a group action. Since the 19th century, studying the structure of various types of…
Parafermions of order two and three are shown to be the fundamental tool to construct superspaces related to cubic and quartic extensions of the Poincar\'e algebra. The corresponding superfields are constructed, and some of their main…
We apply the language of the groupoid approach to Lie pseudo-groups, and the classical Cartan-Kuranishi theorem, to prove that Cartan's equivalence method terminates at involution (or at complete reduction) for constant type problems.