Prolonged analytic connected group actions are generically free
type: Item
instance of: scholarly article
title: Prolonged analytic connected group actions are generically free
zbMATH Open document ID: 1432.22025
author: Y. Aharonov
published in: Transformation Groups
publication date: 2018-12-10T00:00:00Z
review text: In the article under review, the authors prove that an effective, analytic action of a connected Lie group \(G\) on an analytic manifold \(M\) becomes free on a comeager subset of an open subset of \(M\) when prolonged to a frame bundle of sufficiently high order. Next, they show that the action of \(G\) becomes free on a comeager subset of an open subset of a submanifold jet bundle over \(M\) of sufficiently high order, thereby establishing a general result that underlies Lie's theory of symmetry groups of differential equations and the equivariant method of moving frames. In Section 1 the topics are introduced and their relevance in Lie's theory of symmetry groups of differential equations and differential invariants, in Cartan's method of moving frames and its equivariant generalization is pointed out. An important question in the moving frame construction is whether the prolonged transformation group action is free on submanifold jet bundles of sufficiently high order. In Section 2 the authors present the basic terminology and constructions for Lie group actions and their prolongations to submanifold jet bundles. Section 3 contains lemmas concerning abelian Lie groups. Section 4 is devoted to the study of meager subsets of topological spaces and their behavior under maps. In Section 5 the first main result, Theorem 20, is stated and proved. Section 6 contains a key technical lemma which states that if a local diffeomorphism fixes the \(n\) jets of all submanifolds passing through a point \(z \in M\), then it has the same \(k\) jet as the identity map for some smaller \(k\) upon which \(n\) depends. In the last Section, the authors prove, in Theorem 26, a similar freeness result for prolonged connected, analytic, effective group actions on submanifold jet bundles, except here the freeness is established on a comeager subset of an open subset of a sufficiently high order jet bundle.
reviewed by: Adela-Gabriela Mihai
Mathematics Subject Classification ID: 22F05
Mathematics Subject Classification ID: 22E15
zbMATH DE Number: 6991402
zbMATH Keywords: Lie group
zbMATH Keywords: moving frames
zbMATH Keywords: jet bundle
zbMATH Keywords: generically free
MaRDI profile type: Publication
full work available at URL: s00031-017-9463-4
OpenAlex ID: W2769528076
cites work: Q5535091
cites work: Q4760223
cites work: Moving coframes. II: Regularization and theoretical foundations
cites work: Q5725219
cites work: On some types of topological groups
cites work: Q4323294
cites work: Q4064160
cites work: Q5658761
cites work: Q3558412
cites work: Generic representations of abelian groups and extreme amenability
cites work: Q4849745
cites work: Moving frames and singularities of prolonged group actions
cites work: Q3172277
cites work: Q3945260
cites work: Q3874454
cites work: Can you take Solovay's inaccessible away?
cites work: A model of set-theory in which every set of reals is Lebesgue measurable
DOI: 10.1007/S00031-017-9463-4
description: scientific article; zbMATH DE number 6991402