In studying the integrability problem for Lie algebra representations, I have been led to wonder whether generalizing the notion of group by dropping associativity, while keeping the Hall-Witt identity, might be useful. Of course, I am assuming that associativity is stronger than Hall-Witt... So, let me ask first: is this the case? If yes, has such a notion of generalized group, or a similar one, been considered in the literature? Is there a reason I am missing why this might not be a good idea, either in itself or to study non-integrable Lie algebra representations?
Since the question is somewhat vague, let me try to explain myself better. Let us think of a representation of a Lie algebra by means of vector fields over a manifold. This representation can fail to integrate, i.e. give rise to an action of the corresponding Lie group, even if the vector fields are individually integrable. Nelson, in the paper where he introduces analytic vectors, gives a nice example with two commuting vector fields $X$, $Y$ on a manifold $M$, with the following property: let us start at a point $x_0\in M$, and move along the vector field $X$ for an amount of time, say $t=1$, to end up at $x_1$ (i.e. solve the equation $\dot x_t = X(x_t)$). Then, from $x_1$ let us move along the vector field $Y$ for a time $t=1$ to end up at $x_2$. Well, it is possible that, if one reverses the order of the displacements, i.e. if one moves first along $Y$ and then along $X$, one ends up at a point which is different from $x_2$. Thus, the representation of the Lie algebra $\mathbb R^2$ given by $X$ and $Y$ acting on, say, $C_0^\infty(M)$, cannot exponentiate to give an action of the Lie group $\mathbb R^2$ on $M$. Now, the idea is that these vector fields might still give rise to a an action of some other kind of structure---perhaps a nonassociative one. Since Hall-Witt has a geometric meaning (see http://lamington.wordpress.com/2011/11/20/the-hall-witt-identity/), it seems plausible to me that it might still make sense for the looked-for nonassociative object. Given that we are talking about actions on manifolds, one should perhaps define Hall-Witt in such a context associating from the left, i.e. defining $g_1g_2\cdots g_n = g_1(g_2(\cdots g_n))$. If one does so, then my questions can be rephrased as follows: let $G$ be the not necessarily associative algebraic object generated by taking products of a finite set of symbols together with their inverses, and quotienting away Hall-Witt.
- Is $G$ a group? I'm guessing the answer is no, so:
- Have things like $G$ been considered in the literature?
- Is there any reason I'm failing to see why $G$ might not be an interesting object, either in itself or to study the integrability of Lie algebra representations?