
Journal of Lie Theory 31 (2021), No. 2, 351366 Copyright Heldermann Verlag 2021 Universal Averages in Gauge Actions Ruth Lawrence Einstein Institute of Mathematics, Hebrew University of Jerusalem, Israel ruthel.naimark@mail.huji.ac.il Maor Siboni Racah Institute of Physics, Hebrew University of Jerusalem, Israel maor.siboni@mail.huji.ac.il [Abstractpdf] We give a construction of a universal average of Lie algebra elements whose exponentiation gives (when there is an associated Lie group) a totally symmetric geometric mean of Lie group elements (sufficiently close to the identity) with the property that in an action of the group on a space $X$ for which $n$ elements all take a particular point $a\in{}X$ to a common point $b\in{}X$, also the mean will take $a$ to $b$. The construction holds without the necessity for the existence of a Lie group and the universal average $\mu_n(x_1,\ldots,x_n)$ is a totally symmetric universal expression in the free Lie algebra generated by $x_1,\ldots,x_n$. Its expansion up to three brackets is found explicitly and various properties of iterated averages are given. Although this is a purely algebraic result, it is expected to have applications in diverse fields. One known application is to the construction of explicit differential graded Lie algebra models of three dimensional cells and thereby to discretised differential geometry on cubulated manifolds. This work is based on the second author's minor thesis. Keywords: DGLA, MaurerCartan, BakerCampbellHausdorff formula, Karcher mean. MSC: 17B01, 17B55, 55P62. [ Fulltextpdf (255 KB)] for subscribers only. 