pith. sign in

arxiv: 2506.03952 · v2 · submitted 2025-06-04 · 🧮 math.RT · math.KT· math.RA

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

classification 🧮 math.RT math.KTmath.RA
keywords homotopy Rota-Baxter algebraspre-Calabi-Yau algebrashomotopy double Poisson algebrasinteractive pairscyclic completionhomotopy double Lie algebrasdifferential graded algebras
0
0 comments X

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.

The paper constructs cyclic homotopy Rota-Baxter algebras by adding cyclic symmetry to homotopy Rota-Baxter algebras and realizes them through cyclic completion. It defines interactive pairs of differential graded algebras linked by compatible module structures. When the acting algebra carries a suitable cyclic homotopy Rota-Baxter operator, the base algebra receives a natural pre-Calabi-Yau structure. This structure corresponds, via the Fernandez-Herscovich correspondence, to a homotopy double Poisson structure on the base algebra. The same transfer produces homotopy double Lie algebra structures on modules over ultracyclic or cyclic homotopy Rota-Baxter algebras.

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

These are editorial extensions of the paper, not claims the author makes directly.

  • 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.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 2 minor

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)
  1. [§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.
  2. [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)
  1. [§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.
  2. [§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

2 responses · 0 unresolved

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
  1. 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

  2. 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

0 steps flagged

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

0 free parameters · 2 axioms · 2 invented entities

The paper works entirely within the standard axioms of differential graded algebras, homotopy operads, and module structures; no numerical parameters are fitted and no new physical or geometric entities are postulated.

axioms (2)
  • standard math Differential graded algebras satisfy the graded Leibniz rule and d²=0.
    Invoked throughout the definitions of homotopy Rota-Baxter operators and module actions.
  • standard math Homotopy data satisfy the usual higher coherence relations for A∞-type structures.
    Required for the homotopy Rota-Baxter and double Poisson structures to be well-defined.
invented entities (2)
  • cyclic homotopy Rota-Baxter algebra no independent evidence
    purpose: Homotopy Rota-Baxter algebra equipped with additional cyclic symmetry and cyclic completion construction.
    New definition introduced to enable the inheritance proofs.
  • interactive pair no independent evidence
    purpose: Pair of dg-algebras linked by compatible module structures that allow transfer of algebraic operations.
    New framework created to state the main transfer theorem.

pith-pipeline@v0.9.0 · 5723 in / 1538 out tokens · 36775 ms · 2026-05-19T11:10:41.243605+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

35 extracted references · 35 canonical work pages

  1. [1]

    Aguiar, Pre-Poisson algebras, Lett

    M. Aguiar, Pre-Poisson algebras, Lett. Math. Phys. 54 (2000) 263-277. 3

  2. [2]

    Aguiar, Infinitesimal Hopf algebras, Contemp

    M. Aguiar, Infinitesimal Hopf algebras, Contemp. Math. 267 (2000) 1-29. 3, 7

  3. [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

  4. [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

  5. [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

  6. [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

  7. [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

  8. [8]

    Cattaneo, G

    A. Cattaneo, G. Felder, Relative formality theorem and quantisation of coisotropi c submanifolds , Adv. Math. 208(2) (2007), 521-548. 25

  9. [9]

    Connes and D

    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

  10. [10]

    Das and S

    A. Das and S. K. Misha, The L∞-deformations of associative Rota-Baxter algebras and hom otopy Rota-Baxter operators. J. Math. Phys. 63 (2022), no. 5, Paper No. 051703, 23 pp. 3, 11

  11. [11]

    Fern´ andez and E

    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

  12. [12]

    Fern´ andez and E

    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

  13. [13]

    Goncharov and P

    M. Goncharov and P . Kolesnikov, Simple finite-dimensional double algebras , J. Algebra 500 (2018), 425-438. 3, 6, 7

  14. [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

  15. [15]

    Guo, What is

    L. Guo, What is ...... a Rota-Baxter algebra? , Notices Amer. Math. Soc. 56 (2009), no. 11, 1436-1437. 2

  16. [16]

    Guo, An Introduction to Rota-Baxter Algebra , International Press (US) and Higher Education Press (Chin a),

    L. Guo, An Introduction to Rota-Baxter Algebra , International Press (US) and Higher Education Press (Chin a),

  17. [17]

    Guo and W

    L. Guo and W . Keigher, Baxter algebras and shu ffle products, Adv. Math. 150 (2000), 117-149. 2

  18. [18]

    Guo and W

    L. Guo and W . Keigher, On free Baxter algebras: completions and the internal const ruction, Adv. Math. 151 (2000), 101-127. 2

  19. [19]

    Guo and B

    L. Guo and B. Zhang, Renormalization of multiple zeta values , J. Algebra 319 (2008), 3770-3809. 2

  20. [20]

    Iyudu and M

    N. Iyudu and M. Kontsevich, Pre-Calabi-Y au algebras and noncommutative calculus on hi gher cyclic Hochschild cohomology, arXiv.2011.11888 2

  21. [21]

    Iyudu, M

    N. Iyudu, M. Kontsevich and Y . Vlassopoulos, Pre-Calabi-Y au algebras as noncommutative Poisson structures, J. Algebra 567 (2021), 63-90. 2

  22. [22]

    Kontsevich, A

    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

  23. [23]

    B. A. Kupershmidt, What a classical r-matrix really is , J. Nonlin. Math. Phys. 6 (1999), 448-488. 3

  24. [24]

    Lazarev, Y

    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

  25. [25]

    Leray, Protoperads I: combinatorics and definitions , High

    J. Leray, Protoperads I: combinatorics and definitions , High. Struct. 6 (1) (2022), 256-310. 2

  26. [26]

    Leray, Protoperads II: Koszul duality, J

    J. Leray, Protoperads II: Koszul duality, J. ´Ec. polytech. Math. 7 (2020), 897-941 2

  27. [27]

    Leray and B

    J. Leray and B. V allette, Pre-Calabi–Y au algebras and homotopy double Poisson gebras, arXiv:2203.05062 2

  28. [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

  29. [29]

    Schedler, Poisson algebras and Y ang-Baxter equations , in: Advances in Quantum Computation, in: Con- temp

    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

  30. [30]

    M. A. Semenov-Tian-Shansky, What the Classical r-matrix is , Funct. Ana. Appl. 17 (1983), 259-272. 3

  31. [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

  32. [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

  33. [33]

    Wang and G

    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

  34. [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. [35]

    Zhang, X

    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...