×

Universal averages in gauge actions. (English) Zbl 1482.17016

Summary: 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,\dots,x_n)\) is a totally symmetric universal expression in the free Lie algebra generated by \(x_1,\dots,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.

MSC:

17B01 Identities, free Lie (super)algebras
17B55 Homological methods in Lie (super)algebras
55P62 Rational homotopy theory

References:

[1] T. Ando, C.-K. Li, R. Mathias:Geometric means, Lin. Alg. Appl. 385 (2004) 305-334. · Zbl 1063.47013
[2] U. Buijs, Y. Félix, A. Murillo, D. Tanré:Maurer-Cartan elements in the Lie models of finite simplicial complexes, Canad. Math. Bull. 60 (2017) 470-477. · Zbl 1376.55009
[3] E. Dynkin:Calculation of the coefficients in the Campbell-Hausdorff formula (Russian), Dokl. Akad. Nauk USSR 57 (1947) 323-326. · Zbl 0029.24507
[4] M. Eichler:A new proof of the Baker-Campbell-Hausdorff formula, J. Math. Soc. Japan 20 (1968) 23-25 · Zbl 0157.07601
[5] N. Gadish, I. Griniasty, R. Lawrence:An explicit symmetric DGLA model of a bi-gon, J. Knot Theory Ramif. 28/11 (2019), art. no. 1940008. · Zbl 1471.17036
[6] I. Griniasty, R. Lawrence:An explicit symmetric DGLA model of a triangle, Higher Structures 3/1 (2019) 1-16. · Zbl 1473.17048
[7] I. Griniasty, R. Lawrence:Explicit symmetric DGLA models of 3-cells, Canadian Math. Bull., doi:10.4153/S0008439520000508, to appear. · Zbl 1473.17048
[8] H. Karcher:Riemannian center of mass and mollifier smoothing, Comm. Pure Appl. Math. 30/5 (1977) 509-541 · Zbl 0354.57005
[9] R. Lawrence, N. Ranade, D. Sullivan:Discrete analogues of differential geometry on cubulated manifolds, in preparation.
[10] R. Lawrence, D. Sullivan:A formula for topology/deformations and its significance, Fund. Math. 225 (2014) 229-242. · Zbl 1300.55024
[11] J. Lawson, Y. Lim:Weighted means and Karcher equations of positive operators, Proc. Natl. Acad. Sci. USA 110/39 (2013) 15626-15632. · Zbl 1310.47020
[12] D. Quillen:Rational homotopy theory, Ann. of Math. (2), 90 (1969) 205-295. · Zbl 0191.53702
[13] M. Siboni:Universal Averages in Gauge Actions, Minor Thesis, Hebrew University, Jerusalem (2019).
[14] D. Sullivan:Infinitesimal computations in topology, Inst. Hautes Études Sci. Publ. Math. 47 (1977) 269-331. · Zbl 0374.57002
[15] T. Tradler, M. Zeinalian:Infinity structure of Poincaré duality spaces, Algebr. Geom. Topol. 7 (2007) 233-260. · Zbl 1137.57025
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.