From homotopy Rota-Baxter algebras to Pre-Calabi-Yau and homotopy double Poisson algebras
Pith reviewed 2026-05-19 11:10 UTC · model grok-4.3
The pith
Cyclic homotopy Rota-Baxter structures on an acting algebra induce pre-Calabi-Yau structures on the base algebra in an interactive pair.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
If the acting algebra carries a suitable cyclic homotopy Rota-Baxter structure, then the base algebra inherits a natural pre-Calabi-Yau structure. Using the correspondence established by Fernandez and Herscovich between pre-Calabi-Yau algebras and homotopy double Poisson algebras, the resulting homotopy Poisson structure on the base algebra is described in terms of the homotopy Rota-Baxter algebra structure. In particular, a module over an ultracyclic (resp. cyclic) homotopy Rota-Baxter algebra admits a (resp. cyclic) homotopy double Lie algebra structure.
What carries the argument
Interactive pairs of differential graded algebras, in which compatible module structures transfer a cyclic homotopy Rota-Baxter operator on the acting algebra into a pre-Calabi-Yau structure on the base algebra.
If this is right
- The base algebra acquires a pre-Calabi-Yau structure directly from the acting algebra's cyclic homotopy Rota-Baxter data.
- The pre-Calabi-Yau structure on the base algebra corresponds to a homotopy double Poisson structure via the Fernandez-Herscovich correspondence.
- Modules over ultracyclic homotopy Rota-Baxter algebras inherit homotopy double Lie algebra structures.
- Modules over cyclic homotopy Rota-Baxter algebras inherit cyclic homotopy double Lie algebra structures.
Where Pith is reading between the lines
- The transfer mechanism may supply new families of pre-Calabi-Yau algebras starting from known Rota-Baxter examples in representation theory.
- The construction could extend to higher homotopy or L-infinity settings by replacing differential graded algebras with more general operadic algebras.
- Homotopy double Poisson structures obtained this way might deform classical Poisson structures on representation varieties.
Load-bearing premise
The module structures between the acting and base algebras must remain compatible with the differential graded operations and with the cyclic homotopy Rota-Baxter operator while preserving all required homotopies.
What would settle it
An explicit interactive pair in which the acting algebra satisfies the cyclic homotopy Rota-Baxter axioms but the induced operations on the base algebra fail to satisfy the pre-Calabi-Yau relations.
read the original abstract
In this paper, we investigate pre-Calabi-Yau algebras and homotopy double Poisson algebras arising from homotopy Rota-Baxter structures. We introduce the notion of cyclic homotopy Rota-Baxter algebras, a class of homotopy Rota-Baxter algebras endowed with additional cyclic symmetry, and present a construction of such structures via a process called cyclic completion. We further introduce the concept of interactive pairs, consisting of two differential graded algebras-designated as the acting algebra and the base algebra-interacting through compatible module structures. We prove that if the acting algebra carries a suitable cyclic homotopy Rota-Baxter structure, then the base algebra inherits a natural pre-Calabi-Yau structure. Using the correspondence established by Fernandez and Herscovich between pre-Calabi-Yau algebras and homotopy double Poisson algebras, we describe the resulting homotopy Poisson structure on the base algebra in terms of homotopy Rota-Baxter algebra structure. In particular, we show that a module over an ultracyclic (resp. cyclic) homotopy Rota-Baxter algebra admits a (resp. cyclic) homotopy double Lie algebra structure.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces cyclic homotopy Rota-Baxter algebras (via a cyclic completion construction) and interactive pairs of differential graded algebras (an acting algebra A and base algebra B with compatible module structures). It proves that a suitable cyclic homotopy Rota-Baxter structure on A induces a pre-Calabi-Yau structure on B. Using the Fernandez-Herscovich correspondence, this is translated to a homotopy double Poisson structure on B; in particular, modules over ultracyclic (resp. cyclic) homotopy Rota-Baxter algebras are shown to carry (resp. cyclic) homotopy double Lie algebra structures.
Significance. If the inheritance result holds with full higher-homotopy coherence, the work supplies a new, systematic source of pre-Calabi-Yau and homotopy double Poisson algebras from homotopy Rota-Baxter data. The notions of cyclic completion and interactive pairs are original and may apply more broadly in homotopy algebra. The explicit link to homotopy double Lie structures on modules is a concrete, usable output. No machine-checked proofs or parameter-free derivations are present, but the constructions are explicit and the use of the external correspondence is limited to translation.
major comments (2)
- [§4] §4 (interactive pairs) and the proof of the inheritance theorem: the module-action compatibility is defined to commute with the binary Rota-Baxter product and the differential, yet the argument that this compatibility automatically extends to all higher homotopy operators and the cyclic symmetry data (required for the full pre-Calabi-Yau axioms on B) is not supplied with explicit coherence diagrams or inductive verification. This compatibility is load-bearing for the central claim that B inherits a complete pre-Calabi-Yau structure rather than one that holds only up to lower-order terms.
- [Theorem 5.3] Theorem 5.3 (or the corresponding statement on modules over ultracyclic/cyclic homotopy Rota-Baxter algebras): the passage from the induced pre-Calabi-Yau structure to the homotopy double Lie algebra structure via Fernandez-Herscovich is invoked, but the verification that the transferred operations satisfy the full homotopy double Poisson relations (including all higher homotopies) is not checked explicitly after the inheritance step; only the binary case appears detailed.
minor comments (2)
- [§2] Notation for the higher-arity operations in the definition of cyclic homotopy Rota-Baxter algebra is introduced without a consolidated table or diagram summarizing the arity and symmetry conditions; this makes cross-referencing with the interactive-pair axioms cumbersome.
- [§3] The cyclic completion construction is presented in §3 but lacks a small explicit example (e.g., on a free algebra of low rank) that would illustrate how the higher homotopies are generated.
Simulated Author's Rebuttal
We thank the referee for the careful reading and constructive comments on our manuscript. We address the two major comments point by point below, indicating the revisions we will make to strengthen the presentation of the proofs.
read point-by-point responses
-
Referee: [§4] §4 (interactive pairs) and the proof of the inheritance theorem: the module-action compatibility is defined to commute with the binary Rota-Baxter product and the differential, yet the argument that this compatibility automatically extends to all higher homotopy operators and the cyclic symmetry data (required for the full pre-Calabi-Yau axioms on B) is not supplied with explicit coherence diagrams or inductive verification. This compatibility is load-bearing for the central claim that B inherits a complete pre-Calabi-Yau structure rather than one that holds only up to lower-order terms.
Authors: We agree that the extension of the compatibility conditions from the binary Rota-Baxter operator and differential to the full higher homotopy data and cyclic symmetry requires more explicit verification. In the revised manuscript we will insert a new subsection in §4 that supplies the missing coherence diagrams for the higher operations together with an inductive argument establishing that the module-action compatibility propagates through all orders of the cyclic homotopy Rota-Baxter structure. This will confirm that the induced structure on the base algebra B satisfies the complete set of pre-Calabi-Yau axioms. revision: yes
-
Referee: [Theorem 5.3] Theorem 5.3 (or the corresponding statement on modules over ultracyclic/cyclic homotopy Rota-Baxter algebras): the passage from the induced pre-Calabi-Yau structure to the homotopy double Lie algebra structure via Fernandez-Herscovich is invoked, but the verification that the transferred operations satisfy the full homotopy double Poisson relations (including all higher homotopies) is not checked explicitly after the inheritance step; only the binary case appears detailed.
Authors: The Fernandez-Herscovich correspondence is an equivalence of homotopy algebras that transfers the full higher-homotopy data by construction. To address the request for explicit verification, we will add a short appendix or subsection following Theorem 5.3 that spells out how the higher homotopy double Poisson relations on B are obtained from the pre-Calabi-Yau axioms already established in the inheritance theorem. This will include the necessary checks for the higher-order terms beyond the binary case. revision: yes
Circularity Check
No significant circularity; derivation self-contained
full rationale
The paper defines cyclic homotopy Rota-Baxter algebras via cyclic completion, introduces interactive pairs of dg-algebras with compatible module structures, and proves that a cyclic homotopy Rota-Baxter structure on the acting algebra induces a pre-Calabi-Yau structure on the base algebra. It then invokes the external Fernandez-Herscovich correspondence (non-overlapping authors) solely to translate the resulting structure into a homotopy double Poisson algebra, and separately shows that modules over ultracyclic or cyclic homotopy Rota-Baxter algebras carry homotopy double Lie structures. None of these steps reduces by definition or construction to its own inputs; the inheritance proof and translations rest on explicit compatibility conditions and an independent cited result rather than self-citation chains or renamed fits.
Axiom & Free-Parameter Ledger
axioms (2)
- standard math Differential graded algebras satisfy the graded Leibniz rule and d²=0.
- standard math Homotopy data satisfy the usual higher coherence relations for A∞-type structures.
invented entities (2)
-
cyclic homotopy Rota-Baxter algebra
no independent evidence
-
interactive pair
no independent evidence
Reference graph
Works this paper leans on
-
[1]
Aguiar, Pre-Poisson algebras, Lett
M. Aguiar, Pre-Poisson algebras, Lett. Math. Phys. 54 (2000) 263-277. 3
work page 2000
-
[2]
Aguiar, Infinitesimal Hopf algebras, Contemp
M. Aguiar, Infinitesimal Hopf algebras, Contemp. Math. 267 (2000) 1-29. 3, 7
work page 2000
-
[3]
Aguiar, On the associative analog of Lie bialgebras
M. Aguiar, On the associative analog of Lie bialgebras . J. Algebra 244 (2001), 492-532. 2
work page 2001
-
[4]
C. Bai, O. Bellier, L. Guo and X. Ni, Spliting of operations, Manin products and Rota-Baxter ope rators, Int. Math. Res. Not. 2013(3), 485-524. 2
work page 2013
-
[5]
Bai, A unified algebraic approach to classical Y ang-Baxter equat ion, J
C. Bai, A unified algebraic approach to classical Y ang-Baxter equat ion, J. Phys. A Math. Theor. 40(2007), 11073-11082. 2
work page 2007
-
[6]
Baxter, An analytic problem whose solution follows from a simple alg ebraic identity
G. Baxter, An analytic problem whose solution follows from a simple alg ebraic identity. Pacific J. Math. 10 (1960), 731-742. 2
work page 1960
-
[7]
Cartier, On the structure of free Baxter algebras , Adv
P . Cartier, On the structure of free Baxter algebras , Adv. Math. 9 (1972) 253-265. 2
work page 1972
-
[8]
A. Cattaneo, G. Felder, Relative formality theorem and quantisation of coisotropi c submanifolds , Adv. Math. 208(2) (2007), 521-548. 25
work page 2007
-
[9]
A. Connes and D. Kreimer, Renormalization in quantum field theory and the Riemann-Hil bert problem I. The Hopf algebra structure of graphs and the main theorem , Comm. Math. Phys. 210 (2000) 249-273. 2
work page 2000
- [10]
-
[11]
D. Fern´ andez and E. Herscovich, Cyclic A∞-algebras and double Poisson algebras, J. Noncommut. Geom. 15 (2021), no. 1, 241-278. 2, 3, 8, 9, 20, 21
work page 2021
-
[12]
D. Fern´ andez and E. Herscovich, quasi-Poisson algebras are pre-Calabi-Y au , Int. Math. Res. Not. IMRN (2022), no. 23, 18291-18345. 2
work page 2022
-
[13]
M. Goncharov and P . Kolesnikov, Simple finite-dimensional double algebras , J. Algebra 500 (2018), 425-438. 3, 6, 7
work page 2018
-
[14]
Gubarev, Rota-Baxter operators on unital algebras , Moscow Math
V . Gubarev, Rota-Baxter operators on unital algebras , Moscow Math. Journal. 21 (2021), 325-364. 3
work page 2021
-
[15]
L. Guo, What is ...... a Rota-Baxter algebra? , Notices Amer. Math. Soc. 56 (2009), no. 11, 1436-1437. 2
work page 2009
-
[16]
L. Guo, An Introduction to Rota-Baxter Algebra , International Press (US) and Higher Education Press (Chin a),
- [17]
- [18]
- [19]
-
[20]
N. Iyudu and M. Kontsevich, Pre-Calabi-Y au algebras and noncommutative calculus on hi gher cyclic Hochschild cohomology, arXiv.2011.11888 2
- [21]
-
[22]
M. Kontsevich, A. Takeda and Y . Vlassopoulos, Pre-Calabi-Y au algebras and topological quantum field theo- ries , Eur. J. Math. 11 (2025), 15. 2, 9
work page 2025
-
[23]
B. A. Kupershmidt, What a classical r-matrix really is , J. Nonlin. Math. Phys. 6 (1999), 448-488. 3
work page 1999
-
[24]
A. Lazarev, Y . Sheng and R. Tang, Deformations and Homotopy Theory of Relative Rota-Baxter L ie Algebras, Comm. Math. Phys. 383 (2021), no. 1, 595-631. 3
work page 2021
-
[25]
Leray, Protoperads I: combinatorics and definitions , High
J. Leray, Protoperads I: combinatorics and definitions , High. Struct. 6 (1) (2022), 256-310. 2
work page 2022
-
[26]
Leray, Protoperads II: Koszul duality, J
J. Leray, Protoperads II: Koszul duality, J. ´Ec. polytech. Math. 7 (2020), 897-941 2
work page 2020
-
[27]
J. Leray and B. V allette, Pre-Calabi–Y au algebras and homotopy double Poisson gebras, arXiv:2203.05062 2
-
[28]
G. C. Rota, Baxter algebras and combinatorial identities I, II . Bull. Amer. Math. Soc. 75 (1969) 325-329, pp. 330-334. 2 34 YUFEI QIN AND KAI W ANG
work page 1969
-
[29]
T. Schedler, Poisson algebras and Y ang-Baxter equations , in: Advances in Quantum Computation, in: Con- temp. Math., vol. 482, AMS, Providence, RI, 2009, pp. 91-106. 2, 6, 7, 20, 24
work page 2009
-
[30]
M. A. Semenov-Tian-Shansky, What the Classical r-matrix is , Funct. Ana. Appl. 17 (1983), 259-272. 3
work page 1983
-
[31]
R. Tang, C. Bai, L. Guo and Y . Sheng,Deformations and their controlling cohomologies of O-operators, Comm. Math. Phys. 368 (2019), no. 2, 665-700. 3
work page 2019
-
[32]
V an den Bergh, Double Poisson algebras, Trans
M. V an den Bergh, Double Poisson algebras, Trans. Amer. Math. Soc. 360 (2008), no. 11, 5711-5769. 2, 6
work page 2008
-
[33]
K. Wang and G. Zhou, The minimal model of Rota-Baxter operad with arbitrary weig ht, Selecta Math. (N.S.) 30 (2024), no. 5, Paper No. 99. 3, 10
work page 2024
-
[34]
Y eung,Pre-Calabi-Y au structures and moduli of representations, arXiv:1802.05398v4
W . Y eung,Pre-Calabi-Y au structures and moduli of representations, arXiv:1802.05398v4. 2
-
[35]
Y . Zhang, X. Gao and J. Zheng, W eighted infinitesimal unitary bialgebras on matrix algebr as and weighted associative Y ang-Baxter equations, arXiv:1811.00842. 3 Department of Mathematics andDataScience, Vrije Universiteit Brussel, Pleinlaan 2, 1050 Brussels, Belgium School of Mathematical Sciences, K ey Laboratory of Mathematics and Engineering Applicat...
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.