On Post-Lie Algebras, Lie–Butcher Series and Moving Frames
- 321 Downloads
Pre-Lie (or Vinberg) algebras arise from flat and torsion-free connections on differential manifolds. These algebras have been extensively studied in recent years, both from algebraic operadic points of view and through numerous applications in numerical analysis, control theory, stochastic differential equations and renormalization. Butcher series are formal power series founded on pre-Lie algebras, used in numerical analysis to study geometric properties of flows on Euclidean spaces. Motivated by the analysis of flows on manifolds and homogeneous spaces, we investigate algebras arising from flat connections with constant torsion, leading to the definition of post-Lie algebras, a generalization of pre-Lie algebras. Whereas pre-Lie algebras are intimately associated with Euclidean geometry, post-Lie algebras occur naturally in the differential geometry of homogeneous spaces, and are also closely related to Cartan’s method of moving frames. Lie–Butcher series combine Butcher series with Lie series and are used to analyze flows on manifolds. In this paper we show that Lie–Butcher series are founded on post-Lie algebras. The functorial relations between post-Lie algebras and their enveloping algebras, called D-algebras, are explored. Furthermore, we develop new formulas for computations in free post-Lie algebras and D-algebras, based on recursions in a magma, and we show that Lie–Butcher series are related to invariants of curves described by moving frames.
KeywordsB-series Combinatorial Hopf algebras Connections Homogeneous spaces Lie group integrators Lie–Butcher series Moving frames Post-Lie algebras Post-Lie algebroids Pre-Lie algebras Rooted trees
Mathematics Subject Classification65L 53C 16T
We would like to thank Kurusch Ebrahimi-Fard, Dominique Manchon and Olivier Verdier for valuable discussions regarding the topics of this paper, and thanks to Jon Eivind Vatne for explaining operads and for pointing us to the work of Bruno Vallette. Finally, many thanks to Matthias Kawski and the anonymous referees for their careful reading, and for their many suggested improvements of the original manuscript.
- 2.H. Berland, Isotropy in geometric integration. PhD thesis, Master’s thesis, Norwegian University of Science and Technology (2002). Google Scholar
- 3.H. Berland, B. Owren, Algebraic structures on ordered rooted trees and their significance to Lie group integrators, in Group Theory and Numerical Analysis. CRM Proceedings & Lecture Notes, vol. 39 (AMS, Providence, 2005), pp. 49–63. Google Scholar
- 7.É.E. Cartan, J.A. Schouten, On the geometry of the group-manifold of simple and semi-simple groups. Koninklijke Akademie van Wetenschappen te Amsterdam (1926). Google Scholar
- 8.A. Cayley, On the theory of the analytical forms called trees, Philos. Mag. Ser. 4 13(85) (1857). Google Scholar
- 13.M. Degeratu, M. Ivan, Linear connections on lie algebroids, in Proceedings of the 5th Conference of Balkan Society of Geometers (BSG, Bucharest, 2006), pp. 44–53. Google Scholar
- 14.K. Ebrahimi-Fard, D. Manchon, The Magnus expansion, trees and Knuth’s rotation correspondence. arXiv:1203.2878 (2012).
- 23.N. Jacobson, Lie Algebras (Dover, New York, 1979). Google Scholar
- 27.J.L. Loday, M.O. Ronco, Combinatorial Hopf algebras, in Quanta of Maths. Clay Mathematics Proceedings, vol. 11 (2010). Google Scholar
- 28.O. Loos, Symmetric Spaces: General Theory, vol. 1 (WA Benjamin, 1969). Google Scholar
- 29.A. Lundervold, H.Z. Munthe-Kaas, Backward error analysis and the substitution law for Lie group integrators, Found. Comput. Math. 1–26 (2011). Google Scholar
- 31.A. Lundervold, H.Z. Munthe-Kaas, On algebraic structures of numerical integration on vector spaces and manifolds, in IRMA Lectures in Mathematics and Theoretical Physics (2013). Google Scholar
- 40.H. Munthe-Kaas, A. Zanna, Numerical integration of differential equations on homogeneous manifolds, in Foundations of Computational Mathematics, ed. by F. Cucker, M. Shub (1997). Google Scholar
- 43.P.J. Olver, A survey of moving frames, Comput. Algebra Geom. Algebra Appl. 105–138 (2005). Google Scholar
- 47.N.J.A. Sloane, The On-line Encyclopedia of Integer Sequences. http://oeis.org/A022553.
- 48.M. Spivak, A Comprehensive Introduction to Differential Geometry, vol. 2, 3rd edn. Publish or Perish (2005). Google Scholar