Imagine you have a rubber surface, like a donut or a pretzel shape, and you draw a simple closed loop on it that divides it into two separate pieces. Topologists study surfaces by looking at all the ways loops can wind around them, and there is a rich algebraic structure, called the Goldman-Turaev Lie bialgebra, that encodes how these loops intersect and interact with each other. The central question this paper addresses is: if you cut a surface along such a dividing curve, how does this algebraic structure on the whole surface relate to the algebraic structures on the two resulting pieces?
To answer this, the authors invent a new algebraic object called a "double Lie bimodule." Think of a Lie bialgebra as a package of rules governing how loops on a surface can be combined and split. A bimodule is then a secondary object that "feels the action" of the Lie bialgebra from both sides simultaneously. The authors show that when you cut a surface along a dividing curve, each of the two resulting surfaces with boundary carries not only its own Lie bialgebra structure for closed loops, but also a structure tracking open paths that start and end on the boundary. These open-path structures form double Lie bimodules. Crucially, the authors prove a precise theorem showing how to reassemble these pieces, using a gluing construction, to recover the full Goldman-Turaev Lie bialgebra of the original surface.
This matters because decomposing complicated mathematical objects into simpler pieces is a fundamental strategy in topology and algebra, and Goldman-Turaev structures are connected to deep areas like string topology, quantum groups, and the study of moduli spaces of surfaces. By providing a clean splitting theorem, the paper gives researchers a new tool for computing and understanding these structures by working one piece at a time. It also suggests a broader algebraic framework, the theory of double Lie bimodules, that could be useful well beyond this specific geometric setting.