arXiv research

Paper solves equivalence problems for fifth-order differential operators using Cartan's method.

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.

Three completeness notions for Cartan geometries are shown not to be equivalent.

Local equivalence found between maximally symmetric rolling and flat Cartan distributions.

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 prolongation. We show how to construct certain normal forms (Cartan algebroids) …

Local equivalence shown between specific distributions and flat Cartan distribution.

This article is dedicated to solve the equivalence problem for two third order differential operators on the line under general fiber--preserving transformation using the Cartan method of equivalence. We will do three versions of the equivalence problems: first via the direct equivalence problem, second equivalence pro…

Paper presents an algorithm to check spacetime equivalence.

We apply Cartan's method of equivalence to find a Bäcklund autotransformation for the tangent covering of the universal hierarchy equation. The transformation provides a recursion operator for symmetries of this equation.

This note elaborates on Th. Voronov's construction [math/0304038,math/0412202] of $L_\infty$-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce $L_\infty$-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are d…

Abstract: Bijection strengthened to Morita equivalence integrating Poisson and Cartan-Dirac structures.

Homotopy equivalence between formalities with different covariant derivatives.

Following the Cartans's original method of equivalence supported by methods of parabolic geometry, we provide a complete solution for the equivalence problem of quaternionic contact structures, that is, the problem of finding a complete system of differential invariants for two quaternionic contact manifolds to be loca…

We study the equivalence problem for $4$-dimensional CR-manifolds of CR-dimension $1$ and codimension $2$ which are referred to as Engel CR-manifolds. We construct a canonical Cartan connection on such CR-manifolds through Cartan equivalence's method. In particular, we give the explicit expression of $4$ biholomorphic …

Classifies multiply-transitive (2,3,5)-distributions using modern Cartan geometry.

We apply Cartan's method of equivalence to find a covering for the modified Khokhlov - Zabolotskaya equation.

We consider the local equivalence problem for the class of linear second order hyperbolic equations in two independent variables under an action of the pseudo-group of contact transformations. E. Cartan's method is used for finding the Maurer - Cartan forms for symmetry groups of equations from the class and computing …

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 method, we establish two new equivalence results. Weestablish when a system of secon…

We formulate a method of computing invariant 1-forms and structure equations of symmetry pseudo-groups of differential equations based on Cartan's method of equivalence and the moving coframe method introduced by Fels and Olver. Our apparoach does not require a preliminary computation of infinitesimal defining systems,…

Let $G$ be a simply connected Lie group with Lie algebra $\mathfrak{g}$. We show that the following categories are naturally equivalent. The category $\mathsf{Mod}(C(G))$, of sufficiently smooth modules over the DG-algebra of singular chains on $G$. The category $\mathsf{Rep}(Tg)$ of representations of the DG-Lie algeb…

Let y''' = f(x, y, y', y'') be a 3rd order ODE. By Cartan equivalence method, we will study the local equivalence problem under the transformations group of time-fixed coordinates.

Examines quantum mechanics equivalence with Newtonian geometry.

This research reinterprets Lie and Cartan's work on geometric structures using Lie groupoids.

Unified approach to geometric structure equivalence problem.

Generalizes Carathéodory form for higher-order field theories.

We provide five examples of conformal geometries which are naturally associated with ordinary differential equations (ODEs). The first example describes a one-to-one correspondence between the Wuenschmann class of 3rd order ODEs considered modulo contact transformations of variables and (local) 3-dimensional conformal …

We give a generalization of the well-known result of E. Cartan on isoparametric cubics by showing that a homogeneous cubic polynomial solution of the eiconal equation $|\nabla f|^2=9|x|^4$ must be rotationally equivalent to either $x_n^3-3x_n(x_1^2+...+x_{n-1}^2)$, or to one of four exceptional Cartan cubic polynomials…

This paper extends a category equivalence to an A-infinity quasi-equivalence for compact Lie groups.

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 key is a pseudo-group analog of the classic result that characterizes congruence o…

Researchers discover all affinely homogeneous models for surfaces in 4D space.

The paper examines Matsumoto change and its Cartan connection equivalence.

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.

We present a modern formulation of Élie 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 coming from the theory of Lie groupoids and algebroids, we introduce the framework o…

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 differential invariants for symmetry groups and equivalent conditions of these e…

In this review article we discuss four recent methods for computing Maurer-Cartan structure equations of symmetry groups of differential equations. Examples include solution of the contact equivalence problem for linear hyperbolic equations and finding a contact transformation between the generalized Hunter-Saxton equa…

Study reveals CR structure of snake robot's geometry.

Constructs Cartan geometries from automorphism behaviors.

We apply the Cartan equivalence method to the study of real analytic second order ODEs under the local real analytic diffeomorphism of $\C^2$ which are area-preserving. This enables us to give a characterization of the second order ODEs which are equivalent to $y^{\prime\prime}=0$ under such transformations. Moreover w…

Clarifies Einstein-Cartan gravitation with Dirac spinor on generalized frame bundle.

We develope in great computational details the classical Cartan equivalence problem for Levi-nondegenerate C^6-smooth real hypersurfaces M^3 in C^2, performing all calculations effectively in terms of a (local) graphing function \varphi. In particular, we present explicitly the unique (complex) essential invariant J of…

We extend a result of Z. Feng and Z. Tu by showing that if one of the coefficients $a_j$, $2\leq j\leq n$, of Rawnlsey's epsilon function associated to a $n$-dimensional Cartan-Hartogs domain is constant, then the domain is biholomorphically equivalent to the complex hyperbolic space.

The linearization problem by use of the Cartan equivalence method for scalar third-order ODEs via point transformations was solved partially in [1,2]. In order to solve this problem completely, the Cartan equivalence method is applied to provide an invariant characterization of the linearizable third-order ordinary dif…

In present paper, the equivalence problem for fourth order differential operators with one variable under general fiber-preserving transformation using the Cartan method of equivalence is applied. Two versions of equivalence problems are considered. First, the direct equivalence problem and second equivalence problem i…

A limit group is the limit of a sequence of conjugates of the diagonal Cartan subgroup, C, of SL(3,R). We show C has 5 possible limit groups, up to conjugacy. Each limit group is determined by an equivalence class of nonstandard triangle, and we give a criterion for a sequence of conjugates of C to converge to each of …

These are lecture notes of the Summer school on the geometry of differential equations held in Nordfjordeid, Norway in 1996. They cover geometric structures related to scalar second order ODEs, the construction of the associated Cartan connection, techniques for computing invariants of differential equations starting f…

In 1910 E. Cartan constructed the canonical frame and found the most symmetric case for maximally nonholonomic rank 2 distributions on a 5-dimensional manifold. We solve the analogous problems for rank 2 distributions on an n-dimensional manifold for arbitrary n greater than 5. Our method is a kind of symplectification…

This paper is a continuation of Part I where the general setup was developed. Here we discuss the general equivalence problem for geometric structures and provide criteria for the equivalence, local and global, of transitive structures. Cartan's Flag Systems illustrate the theory as a major example and, finally, some a…

We show that a well-known result on solutions of the Maurer--Cartan equation extends to arbitrary (inhomogeneous) odd forms: any such form with values in a Lie superalgebra satisfying $dø+ø^2=0$ is gauge-equivalent to a constant, $ø=gCg^{-1}-dg\,g^{-1}\,.$ This follows from a non-Abelian version of a chain homotopy f…