Global Lie–Tresse theorem

  title={Global Lie–Tresse theorem},
  author={Boris Kruglikov and Valentin V. Lychagin},
  journal={Selecta Mathematica},
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. 
Algebraic and rational differential invariants
These notes start with an introduction to differential invariants. They continue with an algebraic treatment of the theory. The algebraic, differential algebraic and differential geometric tools that
Poincaré Function for Moduli of Differential-Geometric Structures
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
Differential Invariants of Linear Symplectic Actions
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 in Algebra
In these lectures, we discuss two approaches to studying orbit spaces of algebraic Lie groups. Due to algebraic approach orbit space, or quotient, is an algebraic manifold, while from the
Differential invariants of Kundt spacetimes
We find generators for the algebra of rational differential invariants for general and degenerate Kundt spacetimes and relate this to other approaches to the equivalence problem for Lorentzian
Differential invariants and symmetry: Riemannian metrics and beyond
We discuss the 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
Differential invariants of Kundt waves
Kundt waves belong to the class of spacetimes which are not distinguished by their scalar curvature invariants. We address the equivalence problem for the metrics in this class via scalar


Rationality of the Poincaré series in Arnold's local problems of analysis
For any smooth action of a Lie pseudo-group we construct a domain (in the corresponding infinite jet space) consisting of finitely many open sets (atoms) such that all points in each atom have the
Invariants of pseudogroup actions: Homological methods and Finiteness 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
A Practical Guide to the Invariant Calculus
Preface Introduction to invariant and equivariant problems 1. Actions galore 2. Calculus on Lie groups 3. From Lie group to Lie algebra 4. Moving frames 5. On syzygies and curvature matrices 6.
A uniform formulation, applying to all classical groups simultaneously, of the First Fundamental Theory of Classical Invariant Theory is given in terms of the Weyl algebra. The formulation also
Regularity and Tresse's theorem for geometric structures
For any non-special bundle of geometric structures we prove that the -jet space  of this bundle with an appropriate  contains an open dense domain  on which Tresse's theorem holds. For every we prove
Involution - The Formal Theory of Differential Equations and its Applications in Computer Algebra
  • W. Seiler
  • Mathematics
    Algorithms and computation in mathematics
  • 2010
The book provides a self-contained account of the formal theory of general, i.e. also under- and overdetermined, systems of differential equations which in its central notion of involution combines
Spencer δ-cohomology, Restrictions, Characteristics and Involutive Symbolic PDEs
We generalize the notion of involutivity to systems of differential equations of different orders and show that the classical results relating involutivity, restrictions, characteristics and