The Grothendieck-Teichmüller Lie algebra is the Lie algebra of infinitesimal symmetries of associativity and braiding, expressed
by antisymmetry, a three-term relation, and a pentagon relation in free Lie
algebras. In the graded convention, its elements are Lie polynomials satisfying
|
(1)
|
|
(2)
|
and the pentagon identity
|
(3)
|
The last identity is imposed in the infinitesimal pure braid Lie algebra on four labels. Its generators satisfy
for distinct indices and
for distinct
,
, and
.
For a Lie polynomial , let
be the derivation with
and
. The Ihara bracket in this convention is
|
(4)
|
Completion by total degree gives the completed version. The Deligne-Drinfeld conjecture predicts its free odd-weight generators.