On joint continuity in semigroups on compact manifolds with boundary.
We study analogues of the notions from Lie theory of Levi subgroup and Levi decomposition, in the case of groups G definable in an o-minimal expansion of a real closed field. With a rather strong definition of ind-definable semisimple subgroup, we prove that G has a unique maximal ind-definable semisimple subgroup S, up to conjugacy, and that G = R· S where R is the solvable radical of G. We also prove that any semisimple subalgebra of the Lie algebra of G corresponds to a unique ind-definable semisimple...
We introduce the notion of a Lie semiheap as a smooth manifold equipped with a para-associative ternary product. For a particular class of Lie semiheaps we establish the existence of left-invariant vector fields. Furthermore, we show how such manifolds are related to Lie groups and establish the analogue of principal bundles in this ternary setting. In particular, we generalise the well-known ‘heapification’ functor to the ambience of Lie groups and principal bundles.