Identities for generalized Bernoulli numbers from a Lie model of the 2-disk
We define generalized Bernoulli numbers as appropriate coefficients of the Baker--Campbell--Hausdorff (BCH) product formula, extending the classical sequence of rational numbers to a 2-dimensional setting. We give an identity involving these numbers and the classical Bernoulli numbers which is equivalent to the existence of a particular complete differential graded Lie algebra modelling a cell decomposition of the 2-disk and based on the Lawrence--Sullivan model of the interval. From this identity we derive explicit quadratic relations. The existence of Lie models for the symmetries of the interval and the disk is related to certain properties of the BCH product and to some notable features of the classical Bernoulli numbers: the two choices for $B_1$, the vanishing of $B_n$ for odd $n\geq 3$, and the equality $B_4=B_8$.