We consider Lie groups equipped with arbitrary distances. We only assume that the distances are left-invariant and induce the manifold topology. For brevity, we call such objects metric Lie groups. Apart from Riemannian Lie groups, distinguished examples are subRiemannian Lie groups, homogeneous groups, and, in particular, Carnot groups equipped with Carnot–Carathéodory distances. We study the regularity of isometries, i.e., distance-preserving homeomorphisms. Our first result is the analyticity of such maps between metric Lie groups. The second result is that if two metric Lie groups are connected and nilpotent then every isometry between the groups is the composition of a left translation and an isomorphism. There are counterexamples if one does not assume the groups to be either connected or nilpotent. The first result is based on a solution of the Hilbert’s fifth problem by Montgomery and Zippin. The second result is proved, via the first result, reducing the problem to the Riemannian case, which was essentially solved by Wolf.
Isometries of nilpotent metric groups
Le Donne, Enrico
2017-01-01
Abstract
We consider Lie groups equipped with arbitrary distances. We only assume that the distances are left-invariant and induce the manifold topology. For brevity, we call such objects metric Lie groups. Apart from Riemannian Lie groups, distinguished examples are subRiemannian Lie groups, homogeneous groups, and, in particular, Carnot groups equipped with Carnot–Carathéodory distances. We study the regularity of isometries, i.e., distance-preserving homeomorphisms. Our first result is the analyticity of such maps between metric Lie groups. The second result is that if two metric Lie groups are connected and nilpotent then every isometry between the groups is the composition of a left translation and an isomorphism. There are counterexamples if one does not assume the groups to be either connected or nilpotent. The first result is based on a solution of the Hilbert’s fifth problem by Montgomery and Zippin. The second result is proved, via the first result, reducing the problem to the Riemannian case, which was essentially solved by Wolf.File | Dimensione | Formato | |
---|---|---|---|
KiviojaLeDonne-iso_nilpotent final.pdf
accesso aperto
Tipologia:
Documento in Post-print
Licenza:
Creative commons
Dimensione
267.8 kB
Formato
Adobe PDF
|
267.8 kB | Adobe PDF | Visualizza/Apri |
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.