I posted on mathoverflow a question, with the purpose of clarifying the feelings I have concerning the formal resemblance between Heisenberg group and cyclically monotone operators from convex analysis. The question got an answer which made me realize something trivial (but sometimes we need somebody else to point to the obvious). However, I still think there is something worthy of further consideration here, that’s why I post it.
Setting: Let be a semigroup (i.e. has an associative operation with neutral element ) and let be a commutative group (with neutral element ).
Let’s say that a semigroup extension of with is any operation on , of the form
where is a function such that with the mentioned operation is a semigroup with neutral element . Obviously, the operation is encoded by the function , which has to satisfy:
(from the neutral element condition).
Here are two examples. Both are written in the setting of bipotentials, namely and are topological, locally convex, real vector spaces of dual variables and , with the duality product .
The spaces have topologies compatible with the duality product, in the sense that for any continuous linear functional on there is an which puts the functional into the form (respectively any continuous linear functional on has the form , for an ).
Example 1: (Heisenberg group) Let with the operation of addition of pairs of vectors and let with addition. We may define a Heisenberg group over the pair as with the operation
Fact: There is no injective morphism from to .
Example 2: (convex analysis) Let this time , the free semigroup generated by , i.e. the collection of all finite words with letters from , together with the empty word , with the operation of concatenation of words.
Let be the set of bi-affine real functions on , i.e. the collection of all functions which are affine and continuous in each argument. is a commutative group with the addition of real valued functions operation.
We define the function by:
– for any and any .
– if are words and , with , then
for any .
This induces a semigroup extension operation on .
Fact: there is an injective morphism , with the expression .
Here, for any the expression is the well known circular sum associated to the “dissipation during the discrete cycle” , namely:
which appears in convex analysis, related to cyclically monotone operators.
The main difference between those two examples is that the example 2. is a direct product of a semigroup with a group. There are many resemblances though.