On the Hopf Algebraic Structure of Lie Group Integrators

TL;DR

This paper introduces a new graded Hopf algebra based on ordered rooted trees, generalizing existing structures, and explores its algebraic properties and applications to Lie group integrators.

Contribution

It develops a new non-commutative Hopf algebra structure that extends known algebras and provides a foundation for numerical methods involving Lie group actions.

Findings

Hn is derived from a universal object in non-commutative derivations.

Hn contains Hc and Hf as special cases.

Recursive and non-recursive coproduct and antipode formulas are provided.

Abstract

A commutative but not cocommutative graded Hopf algebra $\Hn$, based on ordered rooted trees, is studied. This Hopf algebra generalizes 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 non-commutative 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 non-commutative derivations, and in particular, it forms a foundation for the study of numerical integrators based on non-commutative Lie group actions on a manifold. Recursive and non-recursive definitions of the coproduct and the antipode are derived. It is also shown that the dual of $\Hn$ is a Hopf algebra of Grossman and Larson. $\Hn$ contains two well-known Hopf algebras as special cases: The Hopf algebra $\Hc$ of Butcher--Connes--Kreimer is identified as a proper subalgebra of $\Hn$ using the image of a tree symmetrization operator. The Hopf algebra $\Hf$ of the Free Associative Algebra is obtained from $\Hn$ by a quotient construction.