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

Abstract

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 same rational Poincaré series. We also prove that these series can be calculated algorithmically.