← Back to arXiv
arXivAlgebraic GeometryarXiv:2609.19341

The Drinfeld associator and $A_\infty$ functors

The paper studies a special kind of mathematical object called a "variation of mixed Hodge-Tate structures" defined on the complex plane with three points removed (zero, one, and infinity). Hodge structures are a way of organizing the topology of geometric spaces using extra algebraic data, and "mixed" versions allow for spaces that are not perfectly smooth or compact. The paper focuses on comparing two different ways of extracting algebraic information from such an object near the missing points, specifically by looking at what happens when you extend the data toward zero and infinity in two different technical ways, versus examining what happens near the point one using a tool called "vanishing cycles."

The central finding is that while these two constructions agree on their basic rational and weight-filtered structure, they can differ in a subtler piece of data called the Hodge filtration. The gap between them, called the "Hodge defect," is computed explicitly. Remarkably, this defect is controlled by the Drinfeld associator, a famous and deeply studied object in mathematics that originally appeared in the theory of quantum groups and knot invariants. Specifically, a particular component of the inverse Drinfeld associator, multiplied by a factor coming from local monodromy around one of the punctures, encodes all the Hodge-theoretic discrepancy in a precise way.

The paper closes by reinterpreting these coefficients using a framework called "A-infinity functors," which are a flexible generalization of ordinary functors in category theory that allow composition rules to hold only up to controlled higher-order corrections. In this language, the coefficients of the Hodge defect correspond to specific algebraic extension classes, called weight-framed Tate extensions, organized by an A-infinity structure. This provides a clean categorical explanation for why the Drinfeld associator appears in Hodge theory and connects several previously separate areas of mathematics.

Read original →