Section 6 Affinity of isometric embeddings
¶Theorem 1.3 about isometric embeddings being affine follows from Corollary 1.2 by an abstraction of the argument of Theorem 4.1 of [6]. The abstract version of their statement is Proposition 6.2. The key link between the metric and algebraic properties is the following simple lemma stating that the distance between two lines grows sublinearly if and only if the lines are parallel.
Lemma 6.1.
Let \((G,d)\) be a stratified group with a homogeneous distance. Then for all points \(g,h\in G\) and all vectors \(X,Y\in V_1\)
Proof.
Consider dilations by \(1/t\text{.}\) Since dilations are homomorphisms, continuity of the distance gives the limit
Proposition 6.2.
Let \((H,d_H)\) and \((G,d_G)\) be stratified groups with homogeneous distances such that all infinite geodesics in \(G\) are affine. Then every isometric embedding \((H,d_H)\hookrightarrow (G,d_G)\) is affine.
Proof.
Let \(\varphi\colon (H,d_H)\hookrightarrow (G,d_G)\) be an isometric embedding. Since left-translations are isometries, it suffices to consider the case when the map \(\varphi\) preserves the identity element, and prove that such an isometric embedding is a homomorphism.
Consider an arbitrary point \(h\in H\) and a horizontal vector \(X\in V_1^H\text{.}\) The horizontal line \(t\mapsto h\exp(tX)\) is an infinite geodesic with speed \(\norm{X}_H\) through the point \(h\in H\text{.}\) The image of the line under the isometric embedding \(\varphi\) is an infinite geodesic in the group \(G\) through the point \(\varphi(h)\) with exactly the same speed. By assumption all infinite geodesics in the group \(G\) are horizontal lines, so there exists some vector \(Y\in V_1^G\) (a priori depending on the point \(h\) and the vector \(X\)) with \(\norm{X}_H=\norm{Y}_G\) such that
Consider then the two parallel infinite geodesics \(t\mapsto \exp(tX)\) and \(t\mapsto h\exp(tX)\) with speed \(\norm{X}_H\text{.}\) Repeating the previous consideration, since the map \(\varphi\) was assumed to preserve the identity, there exists another horizontal direction \(Z\in V_1^G\) such that \(\varphi(\exp(tX))= \exp(tZ)\text{.}\) By Lemma 6.1, the distance between the two lines in the group \(H\) grows sublinearly. Since the map \(\varphi\) is an isometric embedding, also the distance between the image lines in the group \(G\) grows sublinearly. Hence applying Lemma 6.1 in the converse direction implies that \(Y=Z\text{.}\) That is, the vector \(Y\in V_1^G\) does not depend on the point \(h\in H\text{,}\) only on the vector \(X\in V_1^H\text{.}\)
The above shows that there is a well defined map \(\varphi_*\colon V_1^H\to V_1^G\) such that \(\varphi(h\exp(X)) = \varphi(h)\exp(\varphi_* X)\text{.}\) In particular,
Since the group \(H\) is stratified, the subset \(\exp(V_1^H)\) generates the entire group \(H\text{.}\) That is, any element \(h\in H\) can be written as a finite product of elements in \(\exp(V_1^H)\text{.}\) Applying the identity (6.1) repeatedly using such decompositions shows that the map \(\varphi\) is a homomorphism.
Theorem 1.3 follows directly by combining the statements of Corollary 1.2 and Proposition 6.2.