arXiv research

The paper uses Cartan moving frames to analyze data manifolds and neural network outputs.

Discussing moving frames for curve and surface invariants.

Study curvature of piecewise metrics using moving frames.

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…

The Frenet frame generalizes the Park transform for multi-phase circuits.

New proof of Lie-Tresse theorem with computational advantages.

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…

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 equivariant map from the space of submanifolds to the group itself and introduce two algor…

We show the fundamental theorems of curves and surfaces in the 3-dimensional Heisenberg group and find a complete set of invariants for curves and surfaces respectively. The proofs are based on Cartan's method of moving frames and Lie group theory. As an application of the main theorems, a Crofton-type formula is prove…

Proves convergence of normal forms for infinite-dimensional Lie pseudo-group actions.

This preliminary report studies immersed surfaces of constant mean curvature in $H^3$ through their {\it adjusted Gauss maps} (as harmonic maps in $S^2$) and their {\it adjusted frames} in SU(2). Lawson's correspondence between Euclidean CMC surfaces and their hyperbolic cousins is interpreted here under a different pe…

We use Cartan's method of moving frames to compute a complete set of local invariants for nondegenerate, 2-dimensional centroaffine surfaces in $\mathbb{R}^5 \setminus \{0\}$ with nondegenerate centroaffine metric. We then give a complete classification of all homogeneous centroaffine surfaces in this class.

We give in this paper which is the fifth in a series of eight a theory of covariant derivatives of multivector and extensor fields based on the geometric calculus of an arbitrary smooth manifold M, and the notion of a connection extensor field defining a parallelism structure on M. Also we give a novel and intrinsic pr…

We study the relation between an R-Cartan structure α and an (I, J, K)- generalized Finsler structure on a 3-manifold showing the difficulty in finding a general transformation that maps these structures each other. In some particular cases, the mapping can be uniquely determined by geometrical conditions.

We review classical approaches to the problem of isometrically embedding a Riemannian surface into Euclidean 3-space, including coordinate-based approaches exposited by Darboux and Eisenhart, as well as the moving-frames based approaches advocated by Cartan. In particular, the first approach involves reducing the probl…

The classical Cartan's structural equations show in a compact way the relation between a connection and its curvature, and reveals their geometric interpretation in terms of moving frames. In order to study the mathematical properties of singularities, we need to study the geometry of manifolds endowed on the tangent b…

Given a group action, known by its infinitesimal generators, we exhibit a complete set of syzygies on a generating set of differential invariants. For that we elaborate on the reinterpretation of Cartan's moving frame by Fels and Olver (1999). This provides constructive tools for exploring algebras of differential inva…

The current paper is devoted to the study of integral curves of constant type in parabolic homogeneous spaces. We construct a canonical moving frame bundle for such curves and give the criterium when it turns out to be a Cartan connection. Generalizations to parametrized curves, to higher-dimensional submanifolds and t…

We investigate the geometric properties of hyperbolic affine flat, affine minimal surfaces in the equiaffine space $\mathbb{A}^3$. We use Cartan's method of moving frames to compute a complete set of local invariants for such surfaces. Using these invariants, we give a complete local classification of such surfaces and…

We investigate the geometric properties of lightlike surfaces in the Minkowski space $\R^{2,1}$, using Cartan's method of moving frames to compute a complete set of local invariants for such surfaces. Using these invariants, we give a complete local classification of lightlike surfaces of constant type in $\R^{2,1}$ an…

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

Local generalization of frame bundles using a weakened Maurer-Cartan equation.

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 covariant differential calculi over $R^N_q$ based on the $R$-matrix formalism, we…

We develop the concept of Cartan ribbons together with a rolling-based method to ribbonize and approximate any given surface in space by intrinsically flat ribbons. The rolling requires that the geodesic curvature along the contact curve on the surface agrees with the geodesic curvature of the corresponding Cartan deve…

The techniques used in this paper are based on the exterior calculus of Maurer-Cartan forms, and Weingarten surfaces are used to illustrate the methods that apply to quadratic exterior equations with constant coefficients. Isothermic {\it surfaces of constant astigmatism} (non-linear Weingarten surfaces whose differenc…

We study the local equivalence problems of curves and surfaces in three dimensional Heisenberg group via Cartans method of moving frames and Lie groups, and find a complete set of invariants for curves and surfaces. For surfaces, in terms of these invariants and their suitable derivatives, we also give a Gaussian curva…

New framed moves extend classical knot theory results.

E. Cartan's method of moving frames is applied to 3-dimensional manifolds $M$ which are CR-embedded in 5-dimensional real hyperquadrics $Q$ in order to classify $M$ up to CR symmetries of $Q$ given by the action of one of the Lie groups $SU(3,1)$ or $SU(2,2)$. In the latter case, the CR structure of $M$ derives from a …

We investigate the infinitesimal invariants of an immersed submanifold $Σ$ of a Klein geometry $M\cong G/H$, and in particular an invariant filtration of Lie algebroids over $Σ$. The invariants are derived from the logarithmic derivative of the immersion of $Σ$ into $M$, a complete invariant introduced in the companion…

In this paper we study the general affine geometry of curves in affine space $A^2$. For a regular plane curves we define two kinds of moving frames. The first is of minimal order in all moving frames.The second is the Frenet moving frame. We get the moving equations of these moving frames. And we prove that curvature a…

Analyses cohomology relations for moving frames and coframes.

Minimal sets of moves for rotational Reidemeister diagrams are identified.

Universal bi-Hamiltonian hierarchies of group-invariant (multicomponent) soliton equations are derived from non-stretching geometric curve flows $\map(t,x)$ in Riemannian symmetric spaces $M=G/H$, including compact semisimple Lie groups $M=K$ for $G=K\times K$, $H={\rm diag} G$. The derivation of these soliton hierarch…

New formula connects Loewner energy to moving frames' renormalised energy.

New method studies moving points on curves using rotating frames.

Parseval frames can be thought of as redundant or linearly dependent coordinate systems for Hilbert spaces, and have important applications in such areas as signal processing, data compression, and sampling theory. We extend the notion of a Parseval frame for a fixed Hilbert space to that of a moving Parseval frame for…

We analyzed the problem of finding a surfaces family through an asymptotic curve with Cartan frame. We obtain the parametric representation for surfaces family whose members have the same as an asymptotic curve. By using the Cartan frame of the given null curve, we present the surface as a linear combination of this fr…

Bertrand framed surfaces defined in Euclidean 3-space with applications.

Framed flow categories were introduced by Cohen-Jones-Segal as a way of encoding the flow data associated to a Floer functional. A framed flow category gives rise to a CW-complex with one cell for each object of the category. The idea is that the Floer invariant should take the form of the stable homotopy type of the r…

Frames for $\R^n$ can be thought of as redundant or linearly dependent coordinate systems, and have important applications in such areas as signal processing, data compression, and sampling theory. The word "frame" has a different meaning in the context of differential geometry and topology. A moving frame for the tang…

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…

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 Cartan are given using this powerful method.

We present two families of exterior differential systems (EDS) for non-isometric embeddings of orthonormal frame bundles over Riemannian spaces of dimension q = 2, 3, 4, 5.... into orthonormal frame bundles over flat spaces of sufficiently higher dimension. We have calculated Cartan characters showing that these EDS sa…

New neural network processes 3D volumes with improved equivariance.

We introduce a new knot diagram invariant called the Self-Crossing Index (SCI). Using SCI, we provide bounds for unknotting two families of framed unknots. For one of these families, unknotting using framed Reidemeister moves is significantly harder than unknotting using regular Reidemeister moves. We also investigate …

We pursue the analogy of a framed flow category with the flow data of a Morse function. In classical Morse theory, Morse functions can sometimes be locally altered and simplified by the Morse moves. These moves include the Whitney trick which removes two oppositely framed flowlines between critical points of adjacent i…

In our previous work, we have defined a nonlinear connection of Finsler manifold which preserves the Finsler metric $L=L(x,dx)$. To make the method easier and more useful in applications, moving frame (vielbein) $θ^a={e^a}_μdx^μ$ formalism for the nonlinear connection is newly considered. We derive formulae to calculat…

This paper is devoted to apply the equivariant moving frame method to study the local equivalence problem of third order ordinarily differential equation under the pseudo-group of fiber preserving transformations.