This post continues the previous one “Gromov-Hausdorff distances and the Heisenberg group, PART 2“.
We have seen that small enough balls in physicist’ Heisenberg group are like balls in the mathematician’ Heisenberg group and big balls in become more and more alike (asymptotically the same) as balls in the euclidean vector space .
What is causing this?
Could it be the choice of an euclidean norm on the generating set ? I don’t think so, here is why. Let us take any (vector space) norm on , instead of an euclidean one. We may repeat all the construction and the final outcome would be: same for small balls, big balls become asymptotically alike to balls in with the chosen norm. The algebraic structure of the limits in the infinitesimally small or infinitely big is the same.
Remember that the group norm is introduced only to estimate quantitatively how the set generates the group , so the initial choice of the norm is a kind of a gauge.
Could it be then the algebraic structure (the group operation and choice of the generating set)? Yes, but there is much flexibility here.
Instead of with the given group operation, we may take any contact manifold structure over the set (technically we may take any symplectic structure over and then contactify it (with the fiber ). Sounds familiar? Yes, indeed, this is a step in the recipe of geometric quantization. (If you really want to understand what is happening, then you should go and read Souriau).
Briefly said, put a norm on the kernel of the contact form and declare all directions in this kernel as horizontal, then repeat the construction of the sub-riemannian distance and metric profiles. What you get is this: small balls become asymptotically like balls in the mathematician’ Heisenberg group, big balls are alike balls in a normed vector space.
Therefore, it is not the algebraic structure per se which creates the phenomenon, but the “infinitesimal structure”. This will be treated in a later posting, but before this let me mention an amazing phenomenon.
We are again in the group and we want to make a map of the small (i.e. of a small enough ball in ) into the big (that is into a ball in the vector space , which is the asymptotically big model of balls from ). Our macroscopic lab is in the asymptotically big, while the phenomenon happens in the small.
A good map is a bi-lipschitz one (it respects the “gauges”, the group norm) from a ball in the vector space to a ball in the Heisenberg group . Surprise: there is no such map! The reason is subtle, basically the same reason as the one which leads to the algebraic structure of the infinitesimally small or infinitely large balls.
However, there are plenty of bi-lipschitz maps from a curve in the ball from the lab (one dimensional submanifold of the symplectic , this are the lagrangian submanifolds in this case) to the small ball where the phenomenon happens. This is like: you can measure the position, or the momentum, but not both…
If there are not good bi-lipschitz maps, then there are surely quasi-isometric maps . Their accuracy is bounded by the Gromov-Hausdorff distance between big balls and small balls, as explained in this pedagogical Maps of metric spaces.