arXiv research

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.

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

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…

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.

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 …

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…

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

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.

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.

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

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.

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.

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…

The classical Galois theory deals with certain finite algebraic extensions and establishes a bijective order reversing correspondence between the intermediate fields and the subgroups of a group of permutations called the Galois group of the extension. It has been the dream of many mathematicians at the end of the nine…

This thesis is divided into two parts. In the first part we study completely integrable systems, and their underlying structures, in detail. We study their deformation theory and the different equivalence relations surrounding it. We motivate the definition of weak equivalence (found in the literature) by studying diff…

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…

The topological Molino's description of equicontinuous foliated spaces, studied by the first author and Moreira Galicia, gives conditions to reduce their study to the particular case where the holonomy pseudogroup can be represented by a pseudogroup on some local group $G$ generated by some of its local left translatio…

In this paper, we investigate the action of pseudogroup of all point transformations on the natural bundle of equations $y''=a^3(x,y)(y')^3+a^2(x,y)(y')^2+a^1(x,y)y'+a^0(x,y)$. We construct differential invariants of this action and solve the equivalence problem for some classes of these equations in particular for gen…

The Poincare function is a compact form of counting moduli in local geometric problems. We discuss its property in relation to V.Arnold's conjecture, and derive this conjecture in the case when the pseudogroup acts algebraically and transitively on the base. Then we survey the known counting results for differential in…

We extend the notion of the geometric entropy of foliation to foliated manifolds equipped with leafwise Finsler structure. We study the relation between the geometric entropy and the topological entropy of the holonomy pseudogroup. The case of foliated manifold with leafwise Randers structure. In this case the estimate…

We compute the quotient of the self-duality equation for conformal metrics by the action of the diffeomorphism group. We also determine Hilbert polynomial, counting the number of independent scalar differential invariants depending on the jet-order, and the corresponding Poincaré function. We describe the field of rati…

In the present paper we establish the necessary and sufficient conditions for two ordinary differential equations of the form $y"{}^2+A(x,y,y') y"+B(x,y,y')=0$ to be equivalent under the action of the pseudogroup of contact transformations. These conditions are formulated in terms of integrals of some one-dimensional d…

The natural bundle $π:E\to M$ of almost-complex structures is considered. The action of the pseudogroup of all diffeomorphisms of $M$ on the total space $E$ is investigated. A nontrivial 1-st order differential invariant of this action is constructed. It is proved that the Nijenhuise tensor of an almost-complex structu…

Survey on Killing foliations with technical advantages.

We consider a smooth groupoid of the form Σ\rtimesΓwhere Σis a Riemann surface and Γa discrete pseudogroup acting on Σby local conformal diffeomorphisms. After defining a K-cycle on the crossed product C_0(Σ)\rtimesΓgeneralising the classical Dolbeault complex, we compute its Chern character in cyclic cohomology, using…