🔢 mathematics

From homotopy Rota-Baxter algebras to Pre-Calabi-Yau and homotopy double Poisson algebras

This paper establishes that cyclic homotopy Rota-Baxter algebras, constructed via cyclic completion and defined on interactive pairs of differential graded algebras, induce natural pre-Calabi-Yau structures on base algebras, which correspond to specific homotopy double Poisson (and homotopy double Lie) structures.

Original authors: Yufei Qin, Kai Wang

Published 2026-04-23

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Yufei Qin, Kai Wang

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are a master architect trying to build a new kind of city. In this city, the buildings (mathematical structures) don't just sit next to each other; they interact, shift, and influence one another in complex, flexible ways. This paper is about discovering a secret blueprint that connects three very different-looking districts of this mathematical city: Rota-Baxter Algebras, Pre-Calabi-Yau Algebras, and Double Poisson Algebras.

Here is the story of how the authors, YuFei Qin and Kai Wang, found the bridge between them.

1. The Three Districts of the City

To understand the paper, let's first meet the three main characters, using simple metaphors:

Rota-Baxter Algebras (The "Filter" or "Processor"):
Imagine a machine that takes a stream of data, processes it, and outputs a result. But this machine has a special rule: if you feed it two things separately and then combine them, it gives the same result as if you combined them first and then processed them, plus a little extra "interaction" term. It's like a coffee filter that doesn't just strain coffee but also adds a specific flavor based on how the beans were ground. In math, these are used to solve equations and model things like quantum physics.
- The Twist: The authors look at the "Homotopy" version. Think of "Homotopy" as allowing the machine to be slightly wobbly or flexible. It doesn't have to follow the rules perfectly every single time; it just has to follow them "up to a deformation." It's like a dance where the steps are slightly improvised but still keep the rhythm.
Pre-Calabi-Yau Algebras (The "Flexible Web"):
Imagine a spiderweb where the threads can stretch, twist, and reconnect in infinite ways. This structure is incredibly flexible and is used to describe the geometry of spaces that don't behave like normal 3D space (non-commutative geometry). It's a framework for understanding how things interact when the order of operations matters (e.g., doing A then B is different from B then A).
Double Poisson Algebras (The "Double-Action Engine"):
Think of a machine with two gears that turn together. In normal physics, a "Poisson bracket" describes how two things change each other (like position and momentum). A "Double" Poisson algebra is like having two sets of gears that interact with each other in a very specific, symmetrical way. It's a powerful tool for describing non-commutative systems, like the behavior of particles in high-energy physics.

2. The Big Discovery: The "Interactive Pair"

The authors realized that these three districts aren't actually separate. They are connected by a specific setup they call an "Interactive Pair."

Imagine you have two people:

The Actor (Algebra A): A powerful entity that can do things.
The Stage (Algebra B): The place where the action happens.

The Actor can act on the Stage (pushing it, moving it). The Stage can also influence the Actor. The paper asks: What happens if the Actor is equipped with this special "wobbly" Rota-Baxter machine?

The Answer: If the Actor has this specific "cyclic" or "ultracyclic" Rota-Baxter structure (meaning the machine has a special kind of symmetry, like a wheel that looks the same when rotated), then the Stage automatically transforms into a Pre-Calabi-Yau structure.

It's like saying: "If you put a specific type of engine in a car, the car's suspension system automatically becomes a high-performance racing suspension, even if you didn't build it that way."

3. The "Cyclic Completion" Trick

How do you get this special engine? The authors introduce a process called "Cyclic Completion."

Imagine you have a standard Rota-Baxter machine. It works, but it's missing that special "cyclic" symmetry. The authors show you how to take that machine, wrap it in a special casing (adding its "dual" or mirror image), and suddenly, it becomes a "Cyclic Homotopy Rota-Baxter Algebra." It's like taking a regular bicycle and adding a gyroscopic stabilizer system that makes it balance perfectly on its own.

4. The Grand Translation: From One Language to Another

The paper's most exciting part is the translation.

Step 1: You start with a Homotopy Rota-Baxter Algebra (the flexible processor).
Step 2: You use the "Interactive Pair" setup to turn it into a Pre-Calabi-Yau Algebra (the flexible web).
Step 3: Using a known "dictionary" (created by other mathematicians named Fernández and Herscovich), you translate that Pre-Calabi-Yau structure into a Homotopy Double Poisson Algebra (the double-action engine).

The Result: The authors provide a direct recipe. If you have a specific kind of Rota-Baxter operator (a set of rules for processing data), you can write down a formula that instantly generates the rules for a Double Poisson structure.

5. Why Does This Matter? (The "So What?")

In the real world, mathematicians and physicists often deal with systems that are too complex to solve exactly. They use "homotopy" (flexible approximations) to make sense of them.

For Physicists: This connects the Yang-Baxter Equation (a famous equation in statistical mechanics and quantum field theory that describes how particles scatter) to Poisson Geometry (the math of how systems evolve over time).
The "Skew-Symmetric" Connection: The paper shows that if you have a solution to the "Associative Yang-Baxter-infinity equation" (a very complex, flexible version of the particle scattering equation), it is mathematically identical to having a "Double Lie Algebra" structure.

The Analogy:
Imagine you have a secret code (the Yang-Baxter equation) that describes how magnets interact. This paper says, "Hey, if you decode this message using our new translator, you'll find it's actually describing the shape of a flexible, multi-dimensional web (Pre-Calabi-Yau), which in turn tells you exactly how to build a double-gear engine (Double Poisson) that drives the whole system."

Summary in One Sentence

This paper proves that if you have a flexible, symmetric "data processor" (Homotopy Rota-Baxter Algebra), you can automatically generate a complex, flexible "interaction web" (Pre-Calabi-Yau) and a "double-action engine" (Homotopy Double Poisson), revealing that these three seemingly different mathematical worlds are actually just different views of the same underlying structure.

1. Problem Statement

The paper addresses the structural relationships between three major algebraic frameworks in noncommutative geometry and mathematical physics:

Rota-Baxter Algebras: Originally arising in probability theory and renormalization, these algebras are deeply connected to the Yang-Baxter equation and integrable systems.
Pre-Calabi-Yau (Pre-CY) Algebras: Introduced by Kontsevich, Takeda, and Vlassopoulos, these provide a framework for noncommutative Poisson geometry and are related to the derived moduli stacks of algebras.
Double Poisson Algebras: Introduced by Van den Bergh, these generalize Poisson structures to noncommutative settings, where the representation schemes inherit classical Poisson structures.

While bijections between Pre-CY algebras and Double Poisson algebras (specifically in the homotopy setting) have been established by Fern´andez and Herscovich, and connections between Rota-Baxter operators and Double Lie algebras exist (via Goncharov and Kolesnikov), a unified homotopical framework linking homotopy Rota-Baxter structures directly to homotopy Pre-CY and homotopy Double Poisson structures was lacking. The authors aim to construct these structures explicitly from representations of homotopy Rota-Baxter algebras.

2. Methodology

The authors employ a combination of operadic theory, homotopical algebra, and representation theory. The methodology proceeds through the following steps:

Definitions and Generalizations:
- They define Homotopy Relative Rota-Baxter Algebras (generalizing the classical relative Rota-Baxter operators to the $A_\infty$ setting).
- They introduce Cyclic and Ultracyclic conditions for these homotopy operators. A cyclic operator satisfies a trace-like invariance condition, while an ultracyclic operator is both cyclic and skew-symmetric.
- They introduce the concept of Interactive Pairs: A pair of differential graded (dg) algebras $(A, B)$ where $A$ acts on $B$ and $B$ acts on $A$ in a compatible manner (satisfying a specific Leibniz-like identity).
Construction of Pre-Calabi-Yau Structures:
- The core construction involves taking an interactive pair $(A, B)$ where $A$ is a dg homotopy relative Rota-Baxter algebra.
- They define a family of operations $\{m_n\}$ on the space $\partial_{-1}B = B \oplus s^{-1}B^\vee$ (the trivial extension of $B$ by its dual).
- The operations $m_n$ are constructed using the homotopy Rota-Baxter operators $\{T_n\}$ of $A$ and the module actions of $A$ on $B$ . Specifically, higher operations $m_{2n+1}$ are defined via the composition of the Rota-Baxter operator with the module action.
Verification of A-infinity and Cyclic Properties:
- The authors prove that if the operators $\{T_n\}$ satisfy the homotopy Rota-Baxter identities and the "derivation" conditions relative to $B$ , the resulting structure on $\partial_{-1}B$ satisfies the Stasheff identities, making it an $A_\infty$ -algebra.
- They further prove that if $\{T_n\}$ are cyclic, the resulting $A_\infty$ -algebra is a Pre-Calabi-Yau algebra. If $\{T_n\}$ are ultracyclic, the structure is a Special Pre-Calabi-Yau algebra.
Translation to Double Poisson Structures:
- Leveraging the bijection established by Fern´andez and Herscovich between Pre-CY algebras and Homotopy Double Poisson algebras, the authors translate their constructed Pre-CY structures on $B$ into explicit Homotopy Double Poisson structures.
- They provide an explicit formula (Theorem 0.2) for the resulting double brackets $\{\{\cdot, \dots, \cdot\}\}_n$ on $B$ in terms of the Rota-Baxter operators $T_n$ and the action of $A$ on $B$ .

3. Key Contributions

Introduction of Cyclic/Ultracyclic Homotopy Rota-Baxter Algebras:
The paper formalizes the notions of cyclic and ultracyclic homotopy relative Rota-Baxter algebras. These generalize skew-symmetric Rota-Baxter operators (studied by Goncharov and Kolesnikov) to the homotopy setting.
The "Interactive Pair" Framework:
The authors introduce "interactive pairs" as the necessary setting to link Rota-Baxter structures on an algebra $A$ to geometric structures on a module $B$ . This allows for the transfer of algebraic structures from the acting algebra to the base algebra.
Explicit Construction of Pre-CY Structures:
Theorem 4.9 establishes that the base algebra $B$ of a cyclic (resp. ultracyclic) homotopy Rota-Baxter interactive pair naturally inherits a good manageable (resp. special) Pre-Calabi-Yau algebra structure. This is achieved via a "cyclic completion" process on the trivial extension $\partial_{-1}B$ .
Explicit Construction of Homotopy Double Poisson Structures:
Theorem 5.7 provides a direct, streamlined formula for constructing Homotopy Double Poisson algebras (and cyclic variants) on $B$ directly from the homotopy Rota-Baxter operators on $A$ . This bypasses the intermediate step of defining the full Pre-CY structure, offering a more direct computational tool.
Equivalence of Structures:
The paper establishes a chain of equivalences (Proposition 5.13) for finite-dimensional graded spaces:
- Fine special Pre-Calabi-Yau algebras $\iff$ Homotopy Double Lie algebras $\iff$ Ultracyclic homotopy relative Rota-Baxter operators $\iff$ Skew-symmetric solutions to the Associative Yang-Baxter-infinity equation.

4. Key Results

Theorem 0.1 (Pre-CY Construction): If $(A, B)$ is a homotopy Rota-Baxter interactive pair with cyclic (resp. ultracyclic) operators $\{T_n\}$ , then $B$ admits a good manageable (resp. special) Pre-Calabi-Yau structure.
Theorem 0.2 (Double Poisson Construction): Under the same conditions, the collection of maps $\{\{\cdot, \dots, \cdot\}\}_n$ defined by the composition of the identity on $A$ , the Rota-Baxter operator $T_n$ , and the action on $B$ defines a cyclic (resp. standard) Homotopy Double Poisson algebra structure on $B$ .
Corollary 5.8: A dg module over an ultracyclic homotopy relative Rota-Baxter algebra naturally carries a Homotopy Double Lie algebra structure.
Proposition 5.15: The symmetric algebra $S(B)$ of a module $B$ carrying a Homotopy Double Lie structure naturally inherits a Homotopy Poisson algebra structure. This connects the noncommutative double structures to commutative homotopy Poisson geometry.
Proposition 5.13: A unification result showing that skew-symmetric solutions to the Associative Yang-Baxter-infinity equation are equivalent to ultracyclic homotopy Rota-Baxter structures and fine special Pre-CY algebras.

5. Significance

Unification of Noncommutative Geometries: The paper bridges the gap between Rota-Baxter theory (often associated with integrable systems and renormalization) and noncommutative Poisson geometry (Pre-CY and Double Poisson). It demonstrates that Rota-Baxter structures are a fundamental source of Pre-CY and Double Poisson geometries in the homotopy setting.
Generalization of Classical Results: It extends the classical results of Goncharov and Kolesnikov (linking skew-symmetric Rota-Baxter operators to Double Lie algebras) to the full homotopy ( $A_\infty$ and $L_\infty$ ) context.
New Construction Methods: The "Interactive Pair" and "Cyclic Completion" methods provide new, constructive tools for generating Pre-CY and Double Poisson algebras, which are crucial for studying derived moduli spaces and noncommutative deformation theory.
Connection to Yang-Baxter Equations: By linking ultracyclic Rota-Baxter structures to solutions of the Associative Yang-Baxter-infinity equation, the paper deepens the understanding of the algebraic underpinnings of integrable systems in a homotopical context.

In summary, this paper provides a comprehensive homotopical machinery that transforms representations of Rota-Baxter algebras into rich geometric structures (Pre-CY and Double Poisson), thereby unifying several distinct areas of modern algebraic geometry and mathematical physics.