I come back to a problem alluded in a previous post, where the proof of the Baker-Campbell-Hausdorff formula from this post by Tao is characterized as “commutative”, because of the “radial homogeneity” condition in his Theorem 1 , which forces commutativity.

Now I am going to try to explain this, as well as what the problem of a “noncommutative” BCH formula would be.

Take a Lie group and identify a neighbourhood of its neutral element with a neighbourhood of the element of its Lie algebra. This is standard for Carnot groups (connected, simply connected nilpotent groups which admit a one parameter family of contracting automorphisms), where the exponential is bijective, so the identification is global. The advantage of this identification is that we get rid of log’s and exp’s in formulae.

For every define a deformation of the group operation (which is denoted multiplicatively), by the formula

(1)

Then we have as .

Denote by the Lie bracket of the (Lie algebra of the) group with initial operation and likewise denote by the Lie bracket of the operation .

The relation between these brackets is: .

From the Baker-Campbell-Hausdorff formula we get:

,

(for reasons which will be clear later, I am not using the commutativity of addition), therefore

(2) as .

Remark that (2) looks like a valid definition of the Lie bracket which is not related to the group commutator. Moreover, it is a formula where we differentiate only once, so to say. In the usual derivation of the Lie bracket from the group commutator we have to differentiate twice!

Let us now pass to a slightly different context: suppose is a normed group with dilations (the norm is for simplicity, we can do without; in the case of “usual” Lie groups, taking a norm corresponds to taking a left invariant Riemannian distance on the group).

is a normed group with dilations if

- it is a normed group, that is there is a norm function defined on with values in , denoted by , such that

– iff (the neutral element)

–

–

– “balls” are compact in the topology induced by the distance $d(x,y) = \|x^{-1} y\|$,

- and a “multiplication by positive scalars” with the properties:

– , and as $s \rightarrow 0$; also ,

– define as previously, by the formula (1) (only this time use the multiplication by positive scalars). Then

as

uniformly with respect to in an arbitrarry closed ball.

– , uniformly with respect to in a closed ball, and moreover implies .

**Comments:**

**1.** In truth, everything is defined in a neighbourhood of the neutral element, also has only to be a local group.

**2.** the operation is a (local) group operation and the function is a norm for this operation, which is also “homogeneous”, in the sense

.

Also we have the distributivity property , but generally the dot operation is not commutative.

**3.** A Lie group with a left invariant Riemannian distance and with the usual multiplication by scalars (after making the identification of a neighbourhood of the neutral element with a neighbourhood in the Lie algebra) is an example of a normed group with dilations, with the norm .

**4.** Any Carnot group can be endowed with a structure of a group with dilations, by defining the multiplication by positive scalars with the help of its intrinsic dilations. Indeed, take for example a Heisenberg group with the operation

multiplication by positive scalars

and norm given by

Then we have , for any and for any .

Carnot groups are therefore just a noncommutative generalization of vector spaces, with the addition operation $+$ replaced by a noncommutative operation!

**5.** There are many groups with dilations which are not Carnot groups. For example endow any Lie group with a left invariant sub-riemannian structure and hop, this gives a norm group with dilations structure.

In such a group with dilations the “radial homogeneity” condition of Tao implies that the operation is commutative! (see the references given in this previous post). Indeed, this radial homogeneity is equivalent with the following assertion: for any and any

which is called elsewhere “barycentric condition”. This condition is false in any noncommutative Carnot group! What it is true is the following: let, in a Carnot group, be any solution of the equation

for given and $s \in (0,1)$. Then

,

(so the solution is unique) **where the sum is taken with respect to the group operation (noncommutative series)**.

**Problem of the noncommutative BCH formula:** In a normed group with dilations, express the group operation as a noncommutative series, by using instead of “” the operation “” and by using a definition of the “noncommutative Lie bracket” in the same spirit as (2), that is something related to the asymptotic behaviour of the “approximate bracket”

(3) .

Notice that there is NO CHANCE to have a limit like the one in (2), so the problem seems hard also from this point of view.

Also notice that if is a Carnot group then

(that is like it is equal to , remember)

which is normal, if we think about as being a kind of noncommutative vector space, even of may be not commutative.

So this noncommutative Lie bracket is not about commutators!