Foundations of Computational Mathematics

, Volume 8, Issue 2, pp 227–257 | Cite as

On the Hopf Algebraic Structure of Lie Group Integrators

  • H.Z. Munthe-Kaas
  • W.M. Wright


A commutative but not cocommutative graded Hopf algebra HN, based on ordered (planar) rooted trees, is studied. This Hopf algebra is a generalization of the Hopf algebraic structure of unordered rooted trees HC, developed by Butcher in his study of Runge-Kutta methods and later rediscovered by Connes and Moscovici in the context of noncommutative geometry and by Kreimer where it is used to describe renormalization in quantum field theory. It is shown that HN is naturally obtained from a universal object in a category of noncommutative derivations and, in particular, it forms a foundation for the study of numerical integrators based on noncommutative Lie group actions on a manifold. Recursive and nonrecursive definitions of the coproduct and the antipode are derived. The relationship between HN and four other Hopf algebras is discussed. The dual of HN is a Hopf algebra of Grossman and Larson based on ordered rooted trees. The Hopf algebra HC of Butcher, Connes, and Kreimer is identified as a proper Hopf subalgebra of HN using the image of a tree symmetrization operator. The Hopf algebraic structure of the shuffle algebra HSh is obtained from HN by a quotient construction. The Hopf algebra HP of ordered trees by Foissy differs from HN in the definition of the product (noncommutative concatenation for HP and shuffle for HN) and the definitions of the coproduct and the antipode, however, these are related through the tree symmetrization operator.


Hopf Algebra Rooted Tree Free Associative Algebra Hopf Subalgebra Hopf Algebra Structure 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Society for Foundations of Computational Mathematics 2007

Authors and Affiliations

  1. 1.Department of Mathematics, University of BergenJohannes Brunsgate 12, N-5008Norway
  2. 2.Department of Mathematics, La Trobe UniversityVictoria 3086Australia

Personalised recommendations