This post continues the previous one “Quantum physics and the Gromov-Hausdorff distance“.
Let me take an example. We are in the following Heisenberg group (this is really a physicist Heisenberg group): the semidirect product . Elements of the group have the form
(think that with the identification ).
The group operation is given by:
where is the “symplectic form” (or area form)
Remark 1. The pair is a symplectic (linear) space. As we well know, the Hamiltonian mechanics lives in such spaces, therefore we may think about as being a “classical”, or “large scale” (see further the justification, in PART 2) phase space of a mechanical system with one degree of freedom.
The group is generated by the subset , more precisely any element of can be expressed as a product of four elements of (in a non-unique way).
What is the geometry of , seen as generated by ? In order to understand this, we may put an euclidean norm on (identified with ):
, where for example.
Then we define “horizontal strings” and their “length”: a string of elements of is horizontal if for any two successive elements of the string, say we have
, where denotes the inverse of with respect to the group operation. Also, we have to ask that .
The length of the horizontal string is defined as:
. The source of the string is the neutral element and the target of the string is .
OK, then let us define the “group norm” of an element of , which is an extension of the norm defined on . A formula for this would be:
Small technicality: it is not clear to me if this definition is really good as it is, but we may improve it by the following procedure coming from the definition of the Hausdorff measure. Let us introduce the “finesse” of a horizontal string, given by
and then define, for any , the quantity:
The correct definition of the group norm is then
With words, that means: for a given “scale” $\varepsilon > 0$, take discrete paths from to , made by “small” (norm smaller than ) horizontal increments, and then take the infimum of the length of such curves. You get . Go with to and get the norm .
Up to some normalization, the bigger is the norm of an element of , the bigger is the infimal length of a horizontal curve which expresses it, therefore the group norm gives a quantitative estimate concerning how the group element is generated.
In disguise, this norm is nothing but a sub-riemannian distance!