pith. sign in

arxiv: 2606.28466 · v1 · pith:2FYHR6ECnew · submitted 2026-06-26 · 🧮 math.AT · math.QA

Homotopy Frobenius structures on the cohomology of a manifold

Florian Naef , Thomas Willwacher This is my paper

Pith reviewed 2026-06-30 01:08 UTC · model grok-4.3

classification 🧮 math.AT math.QA
keywords homotopy Frobenius algebraPoisson cooperadmanifold cohomologyrational homotopy typeQuillen equivalenceinvolutive structuresalgebraic topologyparallelized manifold
0
0 comments X

The pith

The cohomology of a parallelized n-manifold carries a natural homotopy involutive n-Frobenius structure extending its rational homotopy type.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper proves a Quillen equivalence between the category of lax involutive n-Frobenius algebras and the category of right comodules over the n-Poisson cooperad. This algebraic equivalence allows the transfer of homotopy structures to geometric objects when additional data is present. For any parallelized n-manifold, the cohomology therefore inherits a homotopy involutive n-Frobenius structure that is compatible with and extends the manifold's rational homotopy type. The result resolves a question about the existence of such higher algebraic operations on manifold cohomology.

Core claim

We show that the category of lax involutive n-Frobenius algebras is Quillen equivalent to the category of right comodules of the n-Poisson cooperad. It follows in particular that the cohomology of a parallelized n-manifold is naturally endowed with a homotopy involutive n-Frobenius structure extending the rational homotopy type of M.

What carries the argument

The Quillen equivalence between lax involutive n-Frobenius algebras and right comodules of the n-Poisson cooperad, which transfers the algebraic structure to the cohomology via the parallelization.

If this is right

  • Cohomology of any parallelized n-manifold gains higher homotopy operations obeying involutive Frobenius relations.
  • The structure is functorial with respect to maps preserving the parallelization and respects rational homotopy equivalences.
  • The n-Poisson cooperad governs the operations, linking the structure to Poisson geometry in the homotopy setting.
  • This provides a natural enhancement of the cohomology ring beyond its usual cup product.

Where Pith is reading between the lines

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

  • The result suggests that similar transfers might apply to other geometric categories once a suitable framing or reduction of structure group is available.
  • One could test whether the homotopy Frobenius operations interact with existing string topology operations on the same manifold.
  • The equivalence may allow explicit models for the operations on cohomology via graph complexes or configuration spaces.

Load-bearing premise

The manifold must admit a parallelization, that is, a framing of its tangent bundle, so that the algebraic equivalence applies directly to its cohomology.

What would settle it

A computation on a specific parallelized manifold, such as the 3-sphere, showing that its cohomology cannot carry operations satisfying the homotopy involutive n-Frobenius relations while matching the rational homotopy type would contradict the claim.

read the original abstract

We show that the category of lax involutive $n$-Frobenius algebras is Quillen equivalent to the category of right comodules of the $n$-Poisson cooperad. It follows in particular, that the cohomology of a parallelized $n$-manifold is naturally endowed with a homotopy involutive $n$-Frobenius structure extending the rational homotopy type of $M$, solving a long-standing question.

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 / 1 minor

Summary. The paper claims to show that the category of lax involutive n-Frobenius algebras is Quillen equivalent to the category of right comodules of the n-Poisson cooperad. It follows that the cohomology of a parallelized n-manifold is naturally endowed with a homotopy involutive n-Frobenius structure extending the rational homotopy type of M, solving a long-standing question.

Significance. If the algebraic Quillen equivalence holds and the geometric transfer is made explicit, the result would endow the cohomology of framed manifolds with a natural homotopy Frobenius structure compatible with rational homotopy type, addressing an open question in algebraic topology. The purely algebraic part, if verified with explicit model-category data, would contribute to the theory of operads and comodule categories.

major comments (2)
  1. [Abstract] Abstract: the assertion that the geometric consequence 'follows' from the algebraic equivalence is unsupported; no construction is given showing that a parallelization of the tangent bundle induces a right coaction of the n-Poisson cooperad on a chain-level model of H^*(M) that is compatible with the rational homotopy type.
  2. [Full text] Full text: the manuscript supplies no proof steps, model-category constructions, Quillen equivalence data, or verification that the lax involutive n-Frobenius structure transfers to manifold cohomology; the soundness of both the equivalence and the geometric application cannot be assessed from the given text.
minor comments (1)
  1. The paper would benefit from explicit definitions or references for 'lax involutive n-Frobenius algebra' and the 'n-Poisson cooperad' to make the statement self-contained.

Simulated Author's Rebuttal

2 responses · 0 unresolved

Thank you for the opportunity to respond to the referee's report. We appreciate the referee's assessment of the significance and the identification of key gaps in the presentation. We will revise the manuscript to provide the missing details.

read point-by-point responses

  1. Referee: [Abstract] Abstract: the assertion that the geometric consequence 'follows' from the algebraic equivalence is unsupported; no construction is given showing that a parallelization of the tangent bundle induces a right coaction of the n-Poisson cooperad on a chain-level model of H^*(M) that is compatible with the rational homotopy type.

    Authors: We agree with this observation. The current abstract overstates the direct implication without providing the necessary bridge. In the revised manuscript, we will add an explicit construction showing how a parallelization of the tangent bundle induces the required right coaction on a suitable chain-level model of the cohomology, and verify its compatibility with the rational homotopy type. This will substantiate the geometric consequence. revision: yes

  2. Referee: [Full text] Full text: the manuscript supplies no proof steps, model-category constructions, Quillen equivalence data, or verification that the lax involutive n-Frobenius structure transfers to manifold cohomology; the soundness of both the equivalence and the geometric application cannot be assessed from the given text.

    Authors: The referee is correct that the provided text lacks the detailed proofs, model category data, and verifications. The manuscript in its current form is insufficient to allow assessment of the claims. We will substantially revise the paper to include all necessary model-category constructions, the explicit Quillen equivalence (including the relevant adjunctions, fibrations, and weak equivalences), and the transfer to manifold cohomology. This will enable a full evaluation of the results. revision: yes

Circularity Check

0 steps flagged

No circularity: algebraic equivalence and geometric transfer rely on independent operadic and model-categorical constructions

full rationale

The paper establishes a Quillen equivalence between the category of lax involutive n-Frobenius algebras and right comodules over the n-Poisson cooperad using standard operad and model-category machinery. The geometric claim then applies this equivalence to the cohomology of a parallelized manifold, where the parallelization supplies an external coaction making the cohomology a comodule. Neither step reduces to a self-definition, a fitted parameter renamed as prediction, or a load-bearing self-citation; the inputs (operad definitions, parallelization) are independent of the output structures. The derivation is self-contained against external benchmarks in algebraic topology.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract supplies no explicit free parameters, background axioms, or newly postulated entities; the result is framed as a theorem derived from existing category-theoretic and operadic constructions.

pith-pipeline@v0.9.1-grok · 5584 in / 1214 out tokens · 32918 ms · 2026-06-30T01:08:20.536830+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

55 extracted references · 6 canonical work pages · 2 internal anchors

  1. [1]

    Mapping spaces of right Poisson modules

    Semyon Abramyan. Mapping spaces of right Poisson modules. In preparation, 2025

    2025

  2. [2]

    Hairy graphs to ribbon graphs via a fixed source graph complex

    Assar Andersson, Marko ˇZivkovi´c. Hairy graphs to ribbon graphs via a fixed source graph complex. preprint arXiv:1912.09438, 2019

    arXiv 1912

  3. [3]

    Arone and V

    G. Arone and V . Turchin. Graph-complexes computing the rational homotopy of high dimensional analogues of spaces of long knots.Ann. Inst. Fourier65(1):1–62, 2015

    2015

  4. [4]

    A.; Berger, C

    Batanin, M. A.; Berger, C. Homotopy theory for algebras over polynomial monads.Theory Appl. Categ.32 (2017), Paper No. 6, 148–253

    2017

  5. [5]

    Bayeh et al

    M. Bayeh et al. Left-induced model structures and diagram categories. InWomen in topology: collaborations in homotopy theory, 49–81, Contemp. Math., 641, Amer. Math. Soc., Providence, RI, 2015

    2015

  6. [6]

    A model for framed configuration spaces of points

    Ricardo Campos, Julien Ducoulombier, Najib Idrissi, Thomas Willwacher. A model for framed configuration spaces of points. Preprint, arXiv:1807.08319, 2018

    arXiv 2018

  7. [7]

    Homological epimorphisms, homotopy epimorphisms and acyclic maps.Forum Mathematicum32 (2020), no

    Joe Chuang and Andrey Lazarev. Homological epimorphisms, homotopy epimorphisms and acyclic maps.Forum Mathematicum32 (2020), no. 6, 1395–1406. doi:10.1515/forum-2019-0249. arXiv:1908.11283

    work page doi:10.1515/forum-2019-0249 2020

  8. [8]

    Operadic Torsors

    Ricardo Campos and Thomas Willwacher. Operadic torsors.Journal of Algebra458 (2016), 71–86. arXiv:1412.3614. doi:10.1016/j.jalgebra.2016.03.017

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.jalgebra.2016.03.017 2016

  9. [9]

    Tropical curves, graph homology, and top weight cohomology ofM g, arxiv:1805.10186, 2018

    Melody Chan, Soren Galatius and Sam Payne. Tropical curves, graph homology, and top weight cohomology ofM g, arxiv:1805.10186, 2018

    arXiv 2018

  10. [10]

    Topology of moduli spaces of tropical curves with marked points arxiv:1903.07187, 2019

    Melody Chan, Soren Galatius and Sam Payne. Topology of moduli spaces of tropical curves with marked points arxiv:1903.07187, 2019

    arXiv 1903

  11. [11]

    B. J. Day and R. H. Street. Kan extensions along promonoidal functors.Theory Appl. Categ.1(1995), No. 4, 72–77

    1995

  12. [12]

    A model structure via orbit spaces for equivariant homotopy.Journal of Homotopy and Related Structures, volume 14, pages 1131–1141 (2019)

    Mehmet Akif Erdal, Asli G ¨uc ¸l¨ukan ˙Ilhan. A model structure via orbit spaces for equivariant homotopy.Journal of Homotopy and Related Structures, volume 14, pages 1131–1141 (2019)

    2019

  13. [13]

    Mapping Spaces for DG Hopf Cooperads and Homotopy Automorphisms of the Rationalization of En-operads

    Benoit Fresse and Thomas Willwacher. Mapping Spaces for DG Hopf Cooperads and Homotopy Automorphisms of the Rationalization of En-operads. Preprint arXiv:2003.02939, 2020

    arXiv 2003

  14. [14]

    The rational homotopy of mapping spaces ofE n operads Preprint, arXiv:1703.06123, 2017

    Benoit Fresse, Victor Turchin and Thomas Willwacher. The rational homotopy of mapping spaces ofE n operads Preprint, arXiv:1703.06123, 2017

    Pith/arXiv arXiv 2017

  15. [15]

    Getzler and M

    E. Getzler and M. Kapranov. Modular operads. Compositio Math. 110 (1998), no. 1, 65–126

    1998

  16. [16]

    Guill ´en Santos, V

    F. Guill ´en Santos, V . Navarro, P. Pascual, and A. Roig. Moduli spaces and formal operads. Duke Math. J. 129 (2005), no. 2, 291–335

    2005

  17. [17]

    Heuts and I

    G. Heuts and I. Moerdijk. Simplicial and dendroidal homotopy theory.Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge. A Series of Modern Surveys in Mathematics, 75, Springer, Cham, [2022]©2022

    2022

  18. [18]

    Hirsh and J

    J. Hirsh and J. Bellier-Mill `es. Curved Koszul duality theory.Math. Ann.354(2012), no. 4, 1465–1520

    2012

  19. [19]

    Boavida de Brito, J

    P. Boavida de Brito, J. Cirici, and G. Horel. Equivariant formality of the little disks operad.Forum of Mathematics, Pi14(2026), e12. doi:10.1017/fmp.2026.10029. arXiv:2501.03726

    work page doi:10.1017/fmp.2026.10029 2026

  20. [20]

    Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure

    Theo Johnson-Freyd. Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure. Preprint, arXiv:1308.3423, 2013

    Pith/arXiv arXiv 2013

  21. [21]

    Properadic Homotopical Calculus.International Mathematics Research Notices, V olume 2021, Issue 5, March 2021, Pages 3866–3926

    Eric Hoffbeck, Johan Leray, Bruno Vallette. Properadic Homotopical Calculus.International Mathematics Research Notices, V olume 2021, Issue 5, March 2021, Pages 3866–3926. 34

    2021

  22. [22]

    Simplicial properadic homotopy

    Eric Hoffbeck, Johan Leray, Bruno Vallette. Simplicial properadic homotopy. Preprint arXiv:2505.22004, 2025

    arXiv 2025

  23. [23]

    The Lambrechts–Stanley model of configuration spaces.Invent

    Najib Idrissi. The Lambrechts–Stanley model of configuration spaces.Invent. math.216, 1–68 (2019)

    2019

  24. [24]

    B. Keller. On differential graded categories. InInternational Congress of Mathematicians. Vol. II, 151–190, Eur. Math. Soc., Z ¨urich, 2006

    2006

  25. [25]

    Khoroshkin, T

    A. Khoroshkin, T. Willwacher, Real models for the framed littlen-disks operads. arXiv preprint arXiv:1705.08108 (2017). To appear in J. Top

    arXiv 2017

  26. [26]

    Differentials on graph complexes.Adv

    Anton Khoroshkin, Thomas Willwacher and Marko ˇZivkovi´c. Differentials on graph complexes.Adv. Math.307 (2017), 1184–1214

    2017

  27. [27]

    Differentials on graph complexes II: hairy graphs.Lett

    Anton Khoroshkin, Thomas Willwacher and Marko ˇZivkovi´c. Differentials on graph complexes II: hairy graphs.Lett. Math. Phys.107 (2017), no. 10, 1781–1797

    2017

  28. [28]

    Formal (non)commutative symplectic geometry

    Maxim Kontsevich. Formal (non)commutative symplectic geometry. The Gelfand Mathematical Seminars, 1990–1992, 173–187, Birkh¨auser Boston, Boston, MA, 1993

    1990

  29. [29]

    Lambrechts and D

    P. Lambrechts and D. Stanley. Poincar ´e duality and commutative differential graded algebras.Ann. Sci. ´Ec. Norm. Sup´ er.(4)41(2008), no. 4, 495–509

    2008

  30. [30]

    Lambrechts and D

    P. Lambrechts and D. Stanley. A remarkable DGmodule model for configuration spaces.Algebr. Geom. Topol.8(2008), no. 2, 1191–1222

    2008

  31. [31]

    Homotopy graph-complex for configuration and knot spaces.Trans

    Pascal Lambrechts and Victor Turchin. Homotopy graph-complex for configuration and knot spaces.Trans. Amer. Math. Soc., 361(1):207–222, 2009

    2009

  32. [32]

    Loday and B

    J.-L. Loday and B. Vallette. Algebraic operads.Grundlehren Math. Wiss., 346, Springer, Heidelberg, 2012

    2012

  33. [33]

    Merkulov and B

    S. Merkulov and B. Vallette, Deformation theory of representations of prop(erad)s, J. Reine Angew. Math.634(2009), 51–106. and J. Reine Angew. Math.636(2009), 123–174, arXiv:0707.0889

    Pith/arXiv arXiv 2009

  34. [34]

    Props of ribbon graphs, involutive Lie bialgebras and moduli spaces of curves

    Sergei Merkulov and Thomas Willwacher. Props of ribbon graphs, involutive Lie bialgebras and moduli spaces of curves. arxiv:1511.07808, 2015

    Pith/arXiv arXiv 2015

  35. [35]

    The Variational Bayesian EM Algorithm for Incomplete Data: With Application to Scoring Graphical Model Structures

    Sergei Merkulov and Thomas Willwacher. Deformation Theory of Lie Bialgebra Properads. inGeometry and Physics: Volume I: A Festschrift in honour of Nigel Hitchin, 2018, DOI: DOI:10.1093/oso/9780198802013.003.0010

    work page doi:10.1093/oso/9780198802013.003.0010 2018

  36. [36]

    Pavlov and J

    D. Pavlov and J. Scholbach. Admissibility and rectification of colored symmetric operads.J. Topol.11(2018), no. 3, 559–601

    2018

  37. [37]

    Weight 2 compactly supported cohomology of moduli spaces of curves.Duke Math

    Sam Payne, Thomas Willwacher. Weight 2 compactly supported cohomology of moduli spaces of curves.Duke Math. J.173(16): 3107– 3178 (2024). DOI: 10.1215/00127094-2024-0003

    work page doi:10.1215/00127094-2024-0003 2024

  38. [38]

    R. C. Penner. Perturbative series and the moduli space of Riemann surfaces. J. Differential Geom. 27 (1988), no. 1, 35–53

    1988

  39. [39]

    E. Riehl. Algebraic model structures.New York J. Math.17(2011), 173–231. Preprint arXiv:0910.2733

    Pith/arXiv arXiv 2011

  40. [40]

    The integration theory of curved absoluteL ∞-algebras.Advances in Mathematics, V olume 448, 2024, 109718, ISSN 0001-8708

    Victor Roca i Lucio. The integration theory of curved absoluteL ∞-algebras.Advances in Mathematics, V olume 448, 2024, 109718, ISSN 0001-8708

    2024

  41. [41]

    arXiv:1504.00896 (2015)

    Paul Arnaud Songhafouo Tsopm ´en´e and Victor Turchin Hodge decomposition in the rational homology and homotopy of high dimen- sional string links. arXiv:1504.00896 (2015)

    Pith/arXiv arXiv 2015

  42. [42]

    arXiv:1609.00778 (2016)

    Paul Arnaud Songhafouo Tsopm ´en´e and Victor Turchin Euler characteristics for the Hodge splitting in the rational homology and homo- topy of high dimensional string links. arXiv:1609.00778 (2016)

    Pith/arXiv arXiv 2016

  43. [43]

    The homotopy theory of dg-categories and derived Morita theory.Invent

    Bertrand To ¨en. The homotopy theory of dg-categories and derived Morita theory.Invent. Math.167 (2007), no. 3, 615–667

    2007

  44. [44]

    Hodge-type decomposition in the homology of long knots.J

    Victor Turchin. Hodge-type decomposition in the homology of long knots.J. Topol., 3(3):487–534, 2010

    2010

  45. [45]

    Relative (non-)formality of the little cubes operads and the algebraic Cerf lemma

    Victor Turchin and Thomas Willwacher. Relative (non-)formality of the little cubes operads and the algebraic Cerf lemma. arXiv:1409.0163, 2014

    Pith/arXiv arXiv 2014

  46. [46]

    Commutative hairy graphs and representations ofOut(F r)

    Victor Turchin and Thomas Willwacher. Commutative hairy graphs and representations ofOut(F r). arxiv:1603.08855, to appear in J. Top

    Pith/arXiv arXiv

  47. [47]

    Model structures on commutative monoids in general model categories.Journal of Pure and Applied AlgebraV olume 221, Issue 12, 2017, Pages 3124–3168

    David White. Model structures on commutative monoids in general model categories.Journal of Pure and Applied AlgebraV olume 221, Issue 12, 2017, Pages 3124–3168

    2017

  48. [48]

    Thomas Willwacher. M. Kontsevich’s graph complex and the Grothendieck-Teichm ¨uller Lie algebra.Invent. Math., 200(3): 671–760 (2015)

    2015

  49. [49]

    Communications in Mathematical Physics volume 334, pages 1649–1666(2015)

    Thomas Willwacher The Oriented Graph Complexes. Communications in Mathematical Physics volume 334, pages 1649–1666(2015)

    2015

  50. [50]

    Models for configuration spaces of points via obstruction theory I

    Thomas Willwacher. Models for configuration spaces of points via obstruction theory I. Preprint, arXiv:2302.07369, 2023

    arXiv 2023

  51. [51]

    Graph complexes and their cohomology.Doctoral Thesis, University of Zurich, 2016

    Marko ˇZivkovi´c. Graph complexes and their cohomology.Doctoral Thesis, University of Zurich, 2016

    2016

  52. [52]

    Differentials on Graph Complexes III - Deleting a Vertex

    Marko ˇZivkovi´c. Differentials on Graph Complexes III - Deleting a Vertex. Lett. Math. Phys. 109 (2019), no. 4, 975–1054

    2019

  53. [53]

    Multi-directed graph complexes and quasi-isomorphisms between them I: oriented graphs

    ˇZivkovi´c, M. Multi-directed graph complexes and quasi-isomorphisms between them I: oriented graphs. High. Struct. 4(1):266–283, 2020

    2020

  54. [54]

    Multi-directed Graph Complexes and Quasi-isomorphisms Between Them II: Sourced Graphs

    ˇZivkovi´c, M. Multi-directed Graph Complexes and Quasi-isomorphisms Between Them II: Sourced Graphs. Int. Math. Res. Not. IMRN (2019), rnz212

    2019

  55. [55]

    A Koszul duality for props

    Bruno Vallette. A Koszul duality for props.Transactions of the American Mathematical Society359 (2007), no. 10, 4865–4943. arXiv:math/0411542. doi:10.1090/S0002-9947-07-04182-7. School ofMathematics, TrinityCollege, Dublin2, Ireland, D02 PN40 Email address:naeff@tcd.ie Department ofMathematics, ETH Zurich, R¨amistrasse101, 8092 Zurich, Switzerland Email a...

    work page internal anchor Pith review Pith/arXiv arXiv doi:10.1090/s0002-9947-07-04182-7 2007