arXiv research

Characterizes algebraic integrability and minimality of Lie equations for non-commutative pseudogroups.

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…

The paper studies differential operator invariants and equivalence under Lie pseudogroups.

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…

We construct a infinite-dimensional manifold structure adapted to analytic Lie pseudogroups of infinite type. More precisely, we prove that any isotropy subgroup of an analytic Lie pseudogroup of infinite type is a regular infinite-dimensional Lie group, modelled on a locally convex strict inductive limit of Banach spa…

We associate to each infinite primitive Lie pseudogroup a Hopf algebra of `transverse symmetries', by refining a procedure due to Connes and the first author in the case of the general pseudogroup. The affiliated Hopf algebra can be viewed as a `quantum group' counterpart of the infinite-dimensional primitive Lie algeb…

The action of a Lie pseudogroup $G$ on a smooth manifold $M$ induces a prolonged pseudogroup action on the jet spaces $J^n$ of submanifolds of $M$. We prove in this paper that both the local and global freeness of the action of $G$ on $J^n$ persist under prolongation in the jet order $n$. Our results underlie the const…

We introduce the concept of morphism of pseudogroups generalizing the étalé morphisms of Haefliger. With our definition, any continuous foliated map induces a morphism between the corresponding holonomy pseudogroups. The main theorem states that any morphism between complete Riemannian pseudogroups is complete, has a c…

We exhibit a pseudogroup of smooth local transformations of the real line which is compactly generated, but not realizable as the holonomy pseudogroup of a foliation of codimension 1 on a compact manifold. The proof relies on a description of all foliations with the same dynamic as the Reeb component.

We study the equivalence problem of submanifolds with respect to a transitive pseudogroup action. The corresponding differential invariants are determined via formal theory and lead to the notions of k-variants and k-covariants, even in the case of non-integrable pseudogroup. Their calculation is based on the cohomolog…

Study constructs transverse metrics using transformations commuting with elliptic operators.

A near-identity nilpotent pseudogroup of order m >= 1 is a family f_1, ..., f_n: (-1,1) -> R of C^2 functions for which: |f_i - id|_{C^1} < epsilon for some small positive real number epsilon < 1/10^{m+1} and commutators of the functions f_i of order at least m equal the identity. We present a classification of near-id…

New classes defined for manifold pseudogroups, linking to cohomology and bundle structures.

This paper revisits Differential Galois Theory using Hopf algebras for Lie pseudogroups.

Study of Morita equivalences in Lie groupoids and their symmetries.

In the present paper we establish the necessary and sufficient conditions for two generalized Abel differential equations to be locally equivalent under the action of the pseudogroup of linear transformations of the form $\{x\mapsto f(x),~ y\mapsto g(x)\cdot y + h(x)\}$. These conditions are formulated in terms of diff…

Thirty years after the birth of foliations in the 1950's, André Haefliger has introduced a special property satisfied by holonomy pseudogroups of foliations on compact manifolds, called compact generation. Up to now, this is the only general property known about holonomy on compact manifolds. In this article, we give a…

Let (M,g) be a 3-dimensional compact connected real analytic Lorentz manifold and suppose that g is locally homogeneous on a non-empty open set in M (the pseudogroup of local isometries of g has an open orbit). Then we prove that g is locally homogeneous on M (the pseudogroup of local isometries is transitive on M).

In the present paper we consider the problem of local equivalence of second order ODEs which are cubic in second derivative under the action of the pseudogroup of contact transformations. We show how it may be reduced to the equivalence problem of 2-webs in $\mathbb{R}^3$ under the action of finite-dimensional group, a…

We study integrable non-degenerate Monge-Ampere equations of Hirota type in 4D and demonstrate that their symmetry algebras have a distinguished graded structure, uniquely determining the equations. This is used to deform these heavenly type equations into new integrable PDE of the second order with large symmetry pseu…

Smooth structures on infinite dimensional Grassmannians and non-commutative cross-ratios.

Given a fiber bundle $Z \to M \to B$ and a flat vector bundle $E \to M$ with a compatible action of a discrete group $G$, and regarding $B / G$ as the non-commutative space corresponding to the crossed product algebra, we construct an analytic torsion form as a non-commutative deRham differential form. We show that our…

Einstein-Weyl structures on a three-dimensional manifold $M$ is given by a system $E$ of PDEs on sections of a bundle over $M$. This system is invariant under the Lie pseudogroup $G$ of local diffeomorphisms on $M$. Two Einstein-Weyl structures are locally equivalent if there exists a local diffeomorphism taking one to…

The study integrates Banach manifolds into H-manifolds, integrating Lie algebras into H-groups.

Constructs non-commutative modular vector fields for Poisson manifolds.

Generically an almost complex structure has no symmetries at all, but there exist symmetric structures. In this paper we describe how to guarantee that the pseudogroup of local symmetries is small (finite-dimensional). It will be indicated that a large symmetry pseudogroup (infinite-dimensional) is a signature of some …

Reformulates divergence map for Turaev cobracket in non-commutative geometry.

Defines metrics and Einstein tensors on Riemannian manifolds, proving vanishing for non-commutative two-torus.

This paper gives a survey of the index theory of tangentially elliptic and transversally elliptic operators on foliated manifolds as well as of related notions and results in non-commutative geometry.

A multiplicatively closed, horizontal foliation on a Lie groupoid may be viewed as a "pseudoaction" on the base manifold $M$. A pseudoaction generates a pseudogroup of transformations of $M$ in the same way an ordinary Lie group action generates a transformation group. Infinitesimalizing a pseudoaction, one obtains the…

Given a circle-valued Morse function of a closed oriented manifold, we prove that Reidemeister torsion over a non-commutative formal Laurent polynomial ring equals the product of a certain non-commutative Lefschetz-type zeta function and the algebraic torsion of the Novikov complex over the ring. This paper gives a gen…

We show that holomorphic riemannian metrics on compact complex threefolds are locally homogeneous (the pseudogroup of local isometries acts transitively on the manifold).

A dynamical analog of the prime ideals for simple non-commutative rings is introduced. We prove a factorization theorem for the dynamical ideals. The result is used to classify the surface knots and links in the smooth 4-dimensional manifolds.

If X is a full, finitely generated, projective module over a non-commutative torus, the Yang-Mills functional attains its minimum exactly on the flat connections on X. We classify the flat connections on modules admitting integrable connections.

We associate a non-commutative $C^*$-algebra with any locally finite simplicial complex. We determine the $K$-theory of these algebras and show that they can be used to obtain a conceptual explanation for the Baum-Connes conjecture.

In earlier work, we introduced the `Monster tower', a tower of fibrations associated to planar curves. We constructed an algorithm for classifying its points with respect to the equivalence relation generated by the action of the contact pseudogroup on the tower. Here, we construct the analogous tower for curves in $n$…

We show that the entropy of a finitely generated pseudogroup (resp., of a foliation of a compact Riemannian manifold) can be calculated by suitable counting separated pseudo-orbits (resp., pseudoleaves).

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.

Clarifies relation between Pfaffian fibrations and relative algebroids.

In an earlier paper the first author defined a non-commutative A-polynomial for knots in 3-space, using the colored Jones function. The idea is that the colored Jones function of a knot satisfies a non-trivial linear q-difference equation. Said differently, the colored Jones function of a knot is annihilated by a non-z…

We construct a functor from the smooth 4-dimensional manifolds to the hyper-algebraic number fields, i.e. fields with non-commutative multiplication. It is proved that that the simply connected 4-manifolds correspond to the abelian extensions. We recover the Rokhlin and Donaldson's Theorems from the Galois theory of th…

New neural networks for non-commutative data.

A transitive compact foliated space is shown to be a Riemannian foliation if and only if it is locally connected, finite dimensional, strongly equicontinuous and quasi-analytic, and the closure of its holonomy pseudogroup is quasi-analytic.

We discuss Lie-Tresse theorem for the pseudogroup of diffeomorphisms acting on the space of (pseudo-)Riemannian metrics, and relate this to existence of Killing vector fields. Then we discuss the impact of symmetry in the general case.

We prove a global algebraic version of the Lie-Tresse theorem which states that the algebra of differential invariants of an algebraic pseudogroup action on a differential equation is generated by a finite number of rational-polynomial differential invariants and invariant derivations.

The purpose of the paper is two-fold: to introduce a multivariable creative telescoping method, and to apply it in a problem of Quantum Topology: namely the computation of the non-commutative $A$-polynomial of twist knots. Our multivariable creative telescoping method allows us to compute linear recursions for sums of …

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

Study on integrability of geodesic flows on Heisenberg group.