Kashiwara-Vergne and the noncommutative BCH

For further reference, it may be that the problem of the noncommutative BCH is related to, or could benefit from the solution of the KW conjecture given by Alekseev and Torossian. So it is a very hard problem, maybe.

Advertisements

Noncommutative Baker-Campbell-Hausdorff formula: the problem

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 G and identify a neighbourhood of its neutral element with a neighbourhood of the 0 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 s > 0 define a deformation of the group operation (which is denoted multiplicatively), by the formula

(1)                s(x *_{s} y) = (sx) (sy)

Then we have x *_{s} y \rightarrow x+y as s \rightarrow 0.

Denote by [x,y] the Lie bracket of the (Lie algebra of the) group G with initial operation and likewise denote by [x,y]_{s} the Lie bracket of the operation *_{s}.

The relation between these brackets is: [x,y]_{s} = s [x,y].

From the Baker-Campbell-Hausdorff formula we get:

-x + (x *_{s} y) - y = \frac{s}{2} [x,y] + o(s),

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

(2)         \frac{1}{s} ( -x + (x *_{s} y) - y ) \rightarrow \frac{1}{2} [x,y]       as        s \rightarrow 0.

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 G 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).

G is a normed group with dilations if

  • it is a normed group, that is there is a norm function defined on G with values in [0,+\infty), denoted by \|x\|, such that

\|x\| = 0 iff x = e (the neutral element)

\| x y \| \leq \|x\| + \|y\|

\| x^{-1} \| = \| x \|

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

  • and a “multiplication by positive scalars” (s,x) \in (0,\infty) \times G \mapsto sx \in G with the properties:

s(px) = (sp)x , 1x = x and sx \rightarrow e as $s \rightarrow 0$; also s(x^{-1}) = (sx)^{-1},

– define x *_{s} y as previously, by the formula (1) (only this time use the multiplication by positive scalars). Then

x *_{s} y \rightarrow x \cdot y      as      s \rightarrow 0

uniformly with respect to x, y in an arbitrarry closed ball.

\frac{1}{s} \| sx \| \rightarrow \|x \|_{0}, uniformly with respect to x in a closed ball, and moreover \|x\|_{0} = 0 implies x = e.

Comments:

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

2. the operation x \cdot y is a (local) group operation and the function \|x\|_{0} is a norm for this operation, which is also “homogeneous”, in the sense

\|sx\|_{0} = s \|x\|_{0}.

Also we have the distributivity property s(x \cdot y) = (sx) \cdot (sy), but generally the dot operation is not commutative.

3. A Lie group with a left invariant Riemannian distance d 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 \|x\| = d(e,x).

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 G = \mathbb{R}^{3} with the operation

(x_{1}, x_{2}, x_{3}) (y_{1}, y_{2}, y_{3}) = (x_{1} + y_{1}, x_{2} + y_{2}, x_{3} + y_{3} + \frac{1}{2} (x_{1}y_{2} - x_{2} y_{1}))

multiplication by positive scalars

s (x_{1},x_{2},x_{3}) = (sx_{1}, sx_{2}, s^{2}x_{3})

and norm given by

\| (x_{1}, x_{2}, x_{3}) \|^{2} = (x_{1})^{2} + (x_{2})^{2} + \mid x_{3} \mid

Then we have X \cdot Y = XY, for any X,Y \in G and \| X\|_{0} = \|X\| for any X \in G.

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 x \cdot y is commutative! (see the references given in this previous post). Indeed, this radial homogeneity is equivalent with the following assertion: for any s \in (0,1) and any x, y \in G

x s( x^{-1} ) = (1-s)x

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, x be any solution of the equation

x s( x^{-1} ) = y

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

x = \sum_{k=0}^{\infty} (s^{k}) y ,

(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 xy as a noncommutative series, by using instead of “+” the operation “\cdot” 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)         [x,y]_{s} = (s^{-1}) ( x^{-1} \cdot (x *_{s} y) \cdot y^{-1} ).

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 G is a Carnot group then

[x,y]_{s} = e (that is like it is equal to o, remember)

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

So this noncommutative Lie bracket is not about commutators!

Topological substratum of the derivative

Until recently, on my home page was a link to the scan of the paper

 The topological substratum of the derivative (I), Math. Reports (Stud. Cerc. Mat.) 45, 6,       (1993), 453-465

which is no longer visible now. But maybe it deserves a post here, because is my oldest attempt to understand differential calculus as an abstract matter and to look to new forms of it.

To me it became clear that differential calculus admits variants, in the same spirit as euclidean geometry admitting non-euclidean variants. At that moment I had no really intersting examples of such a “non-euclidean” differential calculus, so I switched to other research subjects. Nobody pointed to me the huge paper

Métriques de Carnot-Carathéodory et quasiisométries des espaces symétriques de rang unThe Annals of Mathematics Second Series, Vol. 129, No. 1 (Jan., 1989), pp. 1-60

by Pierre Pansu. It was only luck that in 2000, at Lausanne, I met Sergey Vodop’yanov (from Sobolev Institute of Mathematics). He started to explain to me what Carnot groups are and I was thrilled to   learn that examples I needed previously are numerous in sub-riemannian geometry.

With the right frame of mind (at least I think so), that of intrinsic dilations, I  started then to study sub-riemannian geometry.

Planar rooted trees and Baker-Campbell-Hausdorff formula

Today on arXiv was posted the paper

Posetted trees and Baker-Campbell-Hausdorff product, by Donatella Iacono, Marco Manetti

with the abstract

We introduce the combinatorial notion of posetted trees and we use it in order to write an explicit expression of the Baker-Campbell-Hausdorff formula.

The paper may be relevant (check also the bibliography!) for the subject of writing “finitary“, “noncommutative” BCH formulae, from self-similarity arguments using dilations.

Entering “chora”, the infinitesimal place

There is a whole discussion around the key phrases “The map is not the territory” and “The map is the territory”. From the wiki entry on the map-territory relation, we learn that Korzybski‘s dictum “the map is not the territory” means that:

A) A map may have a structure similar or dissimilar to the structure of the territory,

B) A map is not the territory.

Bateson, in “Form, Substance and Difference” has a different take on this: he starts by explaining the pattern-substance dichotomy

Let us go back to the original statement for which Korzybski is most famous—the statement that the map is not the territory. This statement came out of a very wide range of philosophic thinking, going back to Greece, and wriggling through the history of European thought over the last 2000 years. In this history, there has been a sort of rough dichotomy and often deep controversy. There has been violent enmity and bloodshed. It all starts, I suppose, with the Pythagoreans versus their predecessors, and the argument took the shape of “Do you ask what it’s made of—earth, fire, water, etc.?” Or do you ask, “What is its pattern?” Pythagoras stood for inquiry into pattern rather than inquiry into substance.1 That controversy has gone through the ages, and the Pythagorean half of it has, until recently, been on the whole the submerged half.

Then he states his point of view:

We say the map is different from the territory. But what is the territory? […] What is on the paper map is a representation of what was in the retinal representation of the man who made the map–and as you push the question back, what you find is an infinite regress, an infinite series of maps. The territory never gets in at all.

Always the process of representation will filter it out so that the mental world is only maps of maps of maps, ad infinitum.

At this point Bateson puts a very interesting footnote:

Or we may spell the matter out and say that at every step, as a difference is transformed and propagated along its pathways, the embodiment of the difference before the step is a “territory” of which the embodiment after the step is a “map.” The map-territory relation obtains at every step.

Inspired by Bateson, I want to explore from the mathematical side the point of view that there is no difference between the map and the territory, but instead the transformation of one into another can be understood by using tangle diagrams.

Let us imagine that the exploration of the territory provides us with an atlas, a collection of maps, mathematically understood as a family of two operations (an “emergent algebra”). We want to organize this spatial information in a graphical form which complies with Bateson’s footnote: map and territory have only local meaning in the graphical representation, being only the left-hand-side (and r-h-s respectively) of the “making map” relation.

Look at the following figure:

In the figure from the left, the “v” which decorates an arc, represents a point in the “territory”, that is the l-h-s of the relation, the “u” represents a “pixel in the map”, that is the r-h-s of a relation. The relation itself is represented by a crossing decorated by an epsilon, the “scale” of the map.

The opposite crossing, see figure from the right, is the inverse relation.

Imagine now a complex diagram, with lots of crossings, decorated by various
scale parameters, and segments decorated with points from a space X which
is seen both as territory (to explore) and map (of it).

In such a diagram the convention map-territory can be only local, around each crossing.

There is though a diagram which could unambiguously serve as a symbol for
“the place (near) the point x, at scale epsilon” :

In this diagram, all crossings which are not decorated have “epsilon” as a decoration, but this decoration can be unambiguously placed near the decoration “x” of the closed arc. Such a diagram will bear the name “infinitesimal place (or chora) x at scale epsilon”.

“Metric spaces with dilations”, the book draft updated

Here is the updated version.

Many things left to be done and to explain properly, like:

  • the word tangent bundle and more flexible notions of smoothness, described a bit hermetically and by means of examples here, section 6,
  • the relation between curvature and how to perform the Reidemeister 3 move, the story starts here in section 6 (coincidence)
  • why the Baker-Campbell-Hausdorff formula can be deduced from self-similarity arguments (showing in particular that there is another interpretation of the Lie bracket than the usual one which says that the bracket is related to the commutator). This will be posted on arxiv soon. UPDATE:  see this post by Tao on the (commutative, say) BCH formula. It is commutative because of his “radial homogeneity” axiom in Theorem 1, which is equivalent with the “barycentric condition” (Af3) in Theorem 2.2 from “Infinitesimal affine geometry…” article.
  • a gallery of emergent algebras, in particular you shall see what “spirals” are (a kind of generalization of rings, amazingly connecting by way of an example with another field of interests of mine, convex analysis).

Gleason metric and CC distance

In the series of posts on Hilbert’s fifth problem, Terence Tao defines a Gleason metric, definition 4 here, which is a very important ingredient of the proof of the solution to H5 problem.

Here is Remark 1. from the post:

The escape and commutator properties are meant to capture “Euclidean-like” structure of the group. Other metrics, such as Carnot-Carathéodory metrics on Carnot Lie groups such as the Heisenberg group, usually fail one or both of these properties.

I want to explain why this is true. Look at the proof of theorem 7. The problem comes from the commutator estimate (1). I shall reproduce the relevant part of the proof because I don’t yet know how to write good-looking latex posts:

From the commutator estimate (1) and the triangle inequality we also obtain a conjugation estimate

\displaystyle  \| ghg^{-1} \| \sim \|h\|

whenever {\|g\|, \|h\| \leq \epsilon}. Since left-invariance gives

\displaystyle  d(g,h) = \| g^{-1} h \|

we then conclude an approximate right invariance

\displaystyle  d(gk,hk) \sim d(g,h)

whenever {\|g\|, \|h\|, \|k\| \leq \epsilon}.

The conclusion is that the right translations in the group are Lipschitz (with respect to the Gleason metric). Because this distance (I use “distance” instead of “metric”) is also left invariant, it follows that left and right translations are Lipschitz.

Let now G be a connected Lie group with a left-invariant distribution, obtained by left translates of a vector space D included in the Lie algebra of G. The distribution is completely non-integrable if D generates the Lie algebra by using the + and Lie bracket operations. We put an euclidean norm on D and we get a CC distance on the group defined by: the CC distance between two elements of the group equals the infimum of lengths of horizontal (a.e. derivable, with the tangent in the distribution) curves joining the said points.

The remark 1 of Tao is a consequence of the following fact: if the CC distance is right invariant then D equals the Lie algebra of the group, therefore the distance is riemannian.

Here is why: in a sub-riemannian group (that is a group with a distribution and CC distance as explained previously) the left translations are Lipschitz (they are isometries) but not all right translations are Lipschitz, unless D equals the Lie algebra of G. Indeed, let us suppose that all right translations are Lipschitz. Then, by Margulis-Mostow version (see also this) of the Rademacher theorem , the right translation by an element “a” is Pansu derivable almost everywhere. It follows that the Pansu derivative of the right translation by “a” (in almost every point) preserves the distribution. A simple calculus based on invariance (truly, some explanations are needed here) shows that by consequence the adjoint action of “a” preserves D. Because “a” is arbitrary, this implies that D is an ideal of the Lie algebra. But D generates the Lie algebra, therefore D equals the Lie algebra of G.

If you know a shorter proof please let me know.

UPDATE: See the recent post 254A, Notes 4: Bulding metrics on groups, and the Gleason-Yamabe theorem by Terence Tao, for details of the role of the Gleason metric  in the proof of the Hilbert 5th problem.