arXiv research

Modernizes Lie pseudogroup theory using Lie groupoids and algebroids.

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

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…

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

Study of Morita equivalences in Lie groupoids and their symmetries.

Describes quotient equation for nonequivalent Einstein-Weyl structures.

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

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…

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…

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…

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

Study constructs transverse metrics using transformations commuting with elliptic operators.

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

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.

We give a complete list of normal forms for the 2-dimensional metrics that admit a transitive Lie pseudogroup of geodesic-preserving transformations and we show that these normal forms are mutually non-isometric. This solves a problem posed by Sophus Lie.

Clarifies relation between Pfaffian fibrations and relative algebroids.

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.

This paper extends classical Galois theory to differential equations, linking it to geometry and mechanics.

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.

Survey on Killing foliations with technical advantages.

A multiplicatively closed, horizontal $n$-plane field $D$ on a Lie groupoid $G$ over $M$ generalizes to intransitive geometry the classical notion of a Cartan connection. The infinitesimalization of the connection $D$ is a Cartan connection $\nabla$ on the Lie algebroid of $G$, a notion already studied elsewhere by th…

Starting from a relativistic phenomenology of anyons in crystals, we discuss the concept of relativistic interaction and the need to unify electromagnetism and gravitation within the Spencer cohomology of Lie equations. Then, from the sophisticated non-linear Spencer complex of the Poincaré and conformal Lie pseudogrou…

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.

Motivated by our attempt to recast Cartan's work on Lie pseudogroups in a more global and modern language, we are brought back to the question of understanding the linearization of multiplicative forms on groupoids and the corresponding integrability problem. From this point of view, the novelty of this paper is that w…

The thesis explores integrable systems and rigidity in PDEs with symmetry.

Paper challenges the notion of a single structure constant in Riemannian geometry.

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…

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…

We refine the cyclic cohomological apparatus for computing the Hopf cyclic cohomology of the Hopf algebras associated to infinite primitive Cartan-Lie pseudogroups, and for the transfer of their characteristic classes to foliations. The main novel feature is the precise identification as a Hopf cyclic complex of the im…

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 …

Revisits gravitational wave equations using differential duality.

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

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).

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 compute the Hilbert polynomial and the Poincare function counting the number of fixed jet-order differential invariants of conformal metric structures modulo local diffeomorphisms, and we describe the field of rational differential invariants separating generic orbits of the diffeomorphism pseudogroup action. This r…

In this paper we construct the Differential calculus on the Hopf Group Coalgebra introduced by Turaev [10]. We proved that the concepts introduced by S.L.Woronowicz in constructing Differential calculus on Hopf Compact Matrix Pseudogroups (Quantum Groups)[7] can be adapted to serve again in our construction.

New approach to Lagrangian field theories using pro-finite structures and L-infinity algebras.

Solves a differential equation problem using Cartan's method.

We classify the affine connections on compact orientable surfaces for which the pseudogroup of local isometries acts transitively. We prove that such a connection is either torsion-free and flat, the Levi-Civita connection of a Riemannian metric of constant curvature or the quotient of a translation-invariant connectio…

In 1896 Tresse gave a complete description of relative differential invariants for the pseudogroup action of point transformations on the 2nd order ODEs. The purpose of this paper is to review, in light of modern geometric approach to PDEs, this classification and also discuss the role of absolute invariants and the eq…

We start recalling with critical eyes the mathematical methods used in gauge theory and prove that they are not coherent with continuum mechanics, in particular the analytical mechanics of rigid bodies or hydrodynamics, though using the same group theoretical methods and despite the well known couplings existing betwee…