Abstract:We study a certain discrete differentiation of piecewise-constant functions on the adjoint of the braid hyperplane arrangement, defined by taking finite-differences across hyperplanes. In terms of Aguiar-Mahajan's Lie theory of hyperplane arrangements, we show that this structure is equivalent to the action of Lie elements on faces. We use layered binary trees to encode flags of adjoint arrangement faces, allowing for the representation of certain Lie elements by antisymmetrized layered binary forests. This is dual to the well-known use of (delayered) binary trees to represent Lie elements of the braid arrangement. The discrete derivative then induces an action of layered binary forests on piecewise-constant functions, which we call the forest derivative. Our main result states that forest derivatives of functions factorize as external products of functions precisely if one restricts to functions which satisfy the Steinmann relations, which are certain four-term linear relations appearing in the foundations of axiomatic quantum field theory. We also show that the forest derivative satisfies the Lie properties of antisymmetry the Jacobi identity. It follows from these Lie properties, and also crucially factorization, that functions which satisfy the Steinmann relations form a left comodule of the Lie cooperad, with the coaction given by the forest derivative. Dually, this endows the adjoint braid arrangement modulo the Steinmann relations with the structure of a Lie algebra internal to the category of vector species. This work is a first step towards describing new connections between Hopf theory in species and quantum field theory.

Weighted Infinitesimal Unitary Bialgebras of Rooted Forests, Symmetric Cocycles and Pre-Lie Algebras

Hopf algebras of rooted forests, cocyles, and free Rota-Baxter algebras

The infinitesimal Hopf algebra and the poset of planar forests

The Adjoint Braid Arrangement As a Combinatorial Lie Algebra Via the Steinmann Relations

Hopf algebra structure on free Rota-Baxter algebras by angularly decorated rooted trees

Algebraic structures on typed decorated rooted trees

Bialgebras, and Lie monoid actions in Morse and Floer theory, I

Braided dendriform and tridendriform algebras and braided Hopf algebras of planar trees

Weighted rooted trees and deformations of operads

Infinitesimal (BiHom-)bialgebras of any weight (II): Representations

A Family of Invariants of Rooted Forests

Noncommutative differential geometry on crossed product algebras

Structure algebras, Hopf algebroids and oriented cohomology of a group

Infinitesimal braidings and pre-Cartier bialgebras

A Survey on the Munthe-Kaas-Wright Hopf Algebra

Rooted trees with level structures, $Ω$-classes and double ramification cycles

Cofree Com-PreLie algebras

Graph complexes and Deformation theories of the (wheeled) properads of quasi- and pseudo-Lie bialgebras

Hopf-algebraic structures on mixed graphs

Free Novikov algebras and the Hopf algebra of decorated multi-indices

Pre-weight structures, pseudo-identities and canonical derived equivalences