# Global Lie–Tresse theorem

@article{Kruglikov2011GlobalLT, title={Global Lie–Tresse theorem}, author={Boris Kruglikov and Valentin V. Lychagin}, journal={Selecta Mathematica}, year={2011}, volume={22}, pages={1357-1411} }

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.

## 76 Citations

Algebraic and rational differential invariants

- Mathematics
- 2012

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

- MathematicsMoscow Mathematical Journal
- 2019

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…

Invariants of algebraic group actions from differential point of view

- MathematicsJournal of Geometry and Physics
- 2019

Differential Invariants of Linear Symplectic Actions

- MathematicsSymmetry
- 2020

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

- Mathematics
- 2021

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

- MathematicsClassical and Quantum Gravity
- 2021

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

- Mathematics
- 2015

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

- MathematicsClassical and Quantum Gravity
- 2019

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…

## References

SHOWING 1-10 OF 65 REFERENCES

Rationality of the Poincaré series in Arnold's local problems of analysis

- Mathematics
- 2010

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

- Mathematics
- 2006

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

- Mathematics
- 2010

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

ON CLASSICAL INVARIANT THEORY

- Mathematics
- 2010

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

- Mathematics
- 2008

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

- MathematicsAlgorithms 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

- Mathematics
- 2007

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…