Related papers: Global Lie-Tresse theorem
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…
Differential invariants of a (pseudo)group action can vary when restricted to invariant submanifolds (differential equations). The algebra is still governed by the Lie-Tresse theorem, but may change a lot. We describe in details the case of…
We consider the equivalence problem for symplectic and conformal symplectic group actions on submanifolds and functions of symplectic and contact linear spaces. This is solved by computing differential invariants via the Lie-Tresse theorem.
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 continues the project, begun in \cite{IMF}, of harmonizing Cartan's classical equivalence method and the modern equivariant moving frame in a framework dubbed \emph{involutive moving frames}. As an attestation of the fruitfulness…
The coefficient algebra of a finite-dimensional Lie algebra on a finite-dimensional representation is defined as the subalgebra generated by all coefficients of the corresponding characteristic polynomial. We explore connections between…
We propose the method for obtaining invariants of arbitrary representations of Lie groups that reduces this problem to known problems of linear algebra. The basis of this method is the idea of a special extension of the representation…
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…
Motivated by the ubiquitous sampled-data setup in applied control, we examine the stability of a class of difference equations that arises by sampling a right- or left-invariant flow on a matrix Lie group. The map defining such a difference…
In this paper, we study invariants of linear differential operators with respect to algebraic Lie pseudogroups. Then we use these invariants and the principle of n-invariants to get normal forms (or models) of the differential operators and…
Complete sets of bases of differential invariants, operators of invariant differentiation and Lie determinants of continuous transformation groups acting on the real plane are constructed. As a necessary preliminary, realizations of…
Let C be an algebraically closed field and X a projective curve over C. Consider an ordinary linear differential equation, or a linear differ- ence equation, with coefficients in the field of rational functions of X, and assume that its…
Chevalley's theorem states that for any simple finite dimensional Lie algebra G (1) the restriction homomorphism of the algebra of polynomials on G onto the Cartan subalgebra H induces an isomorphism between the algebra of G-invariant…
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…
We present a generalization of Lie's method for finding the group invariant solutions to a system of partial differential equations. Our generalization relaxes the standard transversality assumption and encompasses the common situation…
We explain that general differential calculus and Lie theory have a common foundation: Lie Calculus is differential calculus, seen from the point of view of Lie theory, by making use of the groupoid concept as link between them. Higher…
A bicovariant calculus of differential operators on a quantum group is constructed in a natural way, using invariant maps from \fun\ to \uqg\ , given by elements of the pure braid group. These operators --- the `reflection matrix' $Y \equiv…
A class of representations of a Lie superalgebra (over a commutative superring) in its symmetric algebra is studied. As an application we get a direct and natural proof of a strong form of the Poincare'-Birkhoff-Witt theorem, extending this…
A variety of three-dimensional left-covariant differential calculi on the quantum group $SU_q(2)$ is considered using an approach based on global $ U(1) $ -covariance. Explicit representations of possible $q $-Lie algebras are constructed…
A full Lie point symmetry analysis of rational difference equations is performed. Non-trivial symmetries are derived and exact solutions using these symmetries are obtained.