A rational model for the fiberwise THH transfer II: A_infty-algebras

Florian Naef, Robin Stoll

Pith reviewed 2026-05-07 17:35 UTC · model grok-4.3

classification 🧮 math.AT math.GTmath.KTmath.RA

keywords A-infinity algebrasHochschild homology transferfiberwise THH transferBecker-Gottlieb transferrational characteristic classesfiber bundlesmanifold topologyTHH-simple structures

0 comments

The pith

An explicit A∞-algebra description of the Hochschild homology transfer provides a rational model for the Becker-Gottlieb transfer.

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

The paper establishes an explicit description of the Hochschild homology transfer using A∞-algebras, generalizing previous work of Bouc. This builds on their Part I result that the rational fiberwise THH transfer corresponds to this Hochschild homology transfer of a cdga model. From there, the authors deduce a rational model for the Becker-Gottlieb transfer using Lind-Malkiewich's result. They further apply the framework to prove vanishing of certain rational characteristic classes associated to non-trivalent graphs with one loop for fiber bundles with compact simply connected manifold fibers, and to construct a rational model for the space of fiberwise THH-simple structures as a step toward models for diffeomorphism classifying spaces.

Core claim

In this paper, we provide an explicit description of the Hochschild homology transfer in terms of A∞-algebras, generalizing work of Bouc. Using a result of Lind-Malkiewich, we deduce a rational model for the Becker-Gottlieb transfer. We apply these results to show that Berglund's rational characteristic classes for non-trivalent graphs with exactly one loop vanish when evaluated on fiber bundles with fiber a compact simply connected topological manifold, and we provide a rational model for the space of fiberwise THH-simple structures.

What carries the argument

The A∞-algebra structure on Hochschild homology that encodes the transfer map for a fibration, generalizing Bouc's algebraic transfer construction.

Load-bearing premise

The rational fiberwise THH transfer is identified with the Hochschild homology transfer of a cdga model of the map, as established in Part I, and Lind-Malkiewich's theorem applies to relate it to the Becker-Gottlieb transfer.

What would settle it

A concrete fibration example where the computed A∞-algebra transfer map differs from the geometric rational fiberwise THH transfer, or a known manifold bundle where a non-trivalent one-loop graph class fails to vanish.

read the original abstract

In Part I, we proved that a rational model for the fiberwise THH transfer of a map $f$ of fibrations over a base space is given by the Hochschild homology transfer of a cdga model of $f$. In this paper, we provide an explicit description of this Hochschild homology transfer in terms of $A_\infty$-algebras, generalizing work of Bouc. Using a result of Lind-Malkiewich, we deduce a rational model for the Becker-Gottlieb transfer. We furthermore use our results for the following applications to manifold topology. Firstly, we consider the rational characteristic classes constructed by Berglund for fibrations with fiber a Poincar\'e complex (which generalize classes found by Berglund-Madsen); they are defined via the Lie graph complex, and we prove that the classes corresponding to non-trivalent graphs with exactly one loop vanish when evaluated on fiber bundles with fiber a compact simply connected topological manifold. Secondly, we provide a rational model for the space of fiberwise THH-simple structures, which is a step towards obtaining rational models for the classifying spaces of diffeomorphisms and homeomorphisms of a compact simply connected manifold in the rational concordance stable range.

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.

Desk Editor's Note private letter to a colleague

This paper gives an explicit A∞-algebra description of the Hochschild homology transfer that generalizes Bouc and produces two direct applications in rational manifold topology.

read the letter

The main takeaway is that this paper supplies an explicit A∞-algebra description of the Hochschild homology transfer, generalizing Bouc, and then applies it to get a rational model for the Becker-Gottlieb transfer plus two concrete results in manifold topology. They start from the cdga model established in Part I and lift it to A∞-algebras, probably via a bar construction. This lets them compose with the Lind-Malkiewich equivalence. The two applications are a vanishing theorem for certain non-trivalent one-loop classes in Berglund's graph complex when the fiber is a simply connected manifold, and a rational model for the space of fiberwise THH-simple structures. Both are presented as direct consequences. The work does well at making the transfer usable for calculations. The vanishing result and the model for simple structures are the kind of output that geometric topologists can actually use. The stress-test found no hidden assumptions on finiteness or connectivity that would break the argument, and no internal inconsistencies. The soft spots are the dependence on Part I and on Lind-Malkiewich. Those are external, so the new contribution is the explicit description and the deductions. If the lifting to A∞ works as claimed, the rest follows cleanly. There are no free parameters or invented entities, which is good. This is for readers already familiar with THH, rational models, and graph complexes in the context of fibrations. A person working on rational homotopy invariants of diffeomorphisms or homeomorphisms would get value from the applications. It is specialized but the claims are sharp enough to merit referee time. I recommend sending it to peer review. The paper has clear new content and verifiable applications, even if the full strength depends on the prior parts.

Referee Report

0 major / 3 minor

Summary. The paper extends Part I by giving an explicit description of the Hochschild homology transfer map in the language of A_∞-algebras for the rational fiberwise THH transfer of a fibration map f. This generalizes Bouc's earlier description. The authors invoke the Lind-Malkiewich theorem to obtain a rational model for the Becker-Gottlieb transfer and then apply the construction to two manifold-topology questions: the vanishing of non-trivalent one-loop classes in Berglund's Lie-graph-complex characteristic classes when the fiber is a compact simply-connected topological manifold, and a rational model for the space of fiberwise THH-simple structures.

Significance. If the central identification holds, the work supplies a concrete algebraic tool that links THH transfers, Hochschild homology, and A_∞-structures, thereby facilitating computations in rational homotopy theory. The two applications furnish new vanishing results for characteristic classes and a step toward rational models of diffeomorphism classifying spaces in the concordance stable range. The manuscript builds directly on Part I and the Lind-Malkiewich equivalence without introducing hidden finiteness assumptions or circular definitions.

minor comments (3)

§2.3: the bar-construction functor used to lift the cdga-level transfer to the A_∞ setting is defined only up to homotopy; a short remark on the choice of cofibrant replacement would clarify independence of the final transfer map.
§4.1, Theorem 4.2: the statement that the one-loop classes vanish is proved by showing that the corresponding graph complex element lies in the image of a certain differential; an explicit low-degree example (e.g., the simplest non-trivalent graph) would make the argument easier to follow.
The introduction refers to 'the two applications' without numbering them; adding a short enumerated list would improve readability for readers interested only in the manifold-topology consequences.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript, accurate description of its contributions, and recommendation for minor revision. The referee correctly notes the explicit A_∞ description of the Hochschild homology transfer (generalizing Bouc), the use of the Lind-Malkiewich theorem to obtain a rational model for the Becker-Gottlieb transfer, and the two applications to vanishing results for Berglund's Lie-graph-complex classes and a rational model for fiberwise THH-simple structures. No specific major comments appear in the report.

Circularity Check

0 steps flagged

No significant circularity; new explicit construction on prior model

full rationale

The paper's chain begins with the cdga-level identification established in Part I (self-citation to prior work by the same authors) and invokes the external Lind-Malkiewich theorem to reach the Becker-Gottlieb transfer. The central new content is an explicit A_∞-algebra description of the Hochschild homology transfer that generalizes Bouc's earlier result via a bar construction or operadic lift; this step introduces independent algebraic content rather than reducing to a fitted parameter, self-definition, or unverified self-citation. The two manifold-topology applications are stated as direct consequences of the identification. No equation or claim in the provided abstract and context reduces the new results to their inputs by construction, satisfying the criteria for at most minor self-citation that is not load-bearing.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

No free parameters, axioms, or invented entities are identifiable from the abstract; the work relies on prior results from Part I, Bouc, Lind-Malkiewich, and Berglund.

pith-pipeline@v0.9.0 · 5525 in / 1244 out tokens · 104251 ms · 2026-05-07T17:35:04.904376+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

24 extracted references · 21 canonical work pages · 1 internal anchor

[1]

A rational model for the fiberwise THH transfer I: Sullivan algebras

This series [Part I] Florian Naef and Robin Stoll.A rational model for the fiberwise THH transfer I: Sullivan algebras. Preprint. arXiv:2604.02516v2. Other [AKKN18a] Anton Alekseev, Nariya Kawazumi, Yusuke Kuno, and Florian Naef. “The Goldman–Turaev Lie bialgebra in genus zero and the Kashiwara–Vergne prob- lem”. In:Advances in Mathematics326 (2018), pp. ...

work page internal anchor Pith review Pith/arXiv arXiv doi:10.1016/j.aim 2018
[2]

The Kashiwara–Vergne conjecture and Drinfeld’s associators

arXiv:1804.09566v3. [AT12] Anton Alekseev and Charles Torossian. “The Kashiwara–Vergne conjecture and Drinfeld’s associators”. In:Annals of Mathematics175.2 (2012), pp. 415–463. doi:10.4007/annals.2012.175.2.1. [BS] Shaul Barkan and Jan Steinebrunner. “Cyclic ∞-operads and integral Berglund– Madsen classes”. In preparation. [BMR14] Tobias Barthel, J. P. M...

work page doi:10.4007/annals.2012.175.2.1 2012
[3]

Higher Structures in Rational Homotopy Theory

arXiv: 2501.01865v1. [BS25b] Alexander Berglund and Robin Stoll. “Higher Structures in Rational Homotopy Theory”. In:Higher Structures and Operadic Calculus. Ed. by Bruno Vallette. Advanced Courses in Mathematics – CRM Barcelona. Birkh¨ auser, 2025, pp. 1–58. doi:10.1007/978-3-031-77779-0_1. 69 [BZ25] Alexander Berglund and Tom´ aˇ s Zeman. “Algebraic mod...

work page doi:10.1007/978-3-031-77779-0_1 2025
[4]

[Bia25] Andrea Bianchi.String topology and graph cobordisms

2140/gt.2025.29.3567. [Bia25] Andrea Bianchi.String topology and graph cobordisms. Preprint

2025
[5]

A universal charac- terization of higher algebraic K-theory

arXiv: 2511.14978v2. [BGT13] Andrew J Blumberg, David Gepner, and Gon¸ calo Tabuada. “A universal charac- terization of higher algebraic K-theory”. In:Geometry & Topology17.2 (2013), pp. 733–838.doi:10.2140/gt.2013.17.733. [BV23] Michael Borinsky and Karen Vogtmann. “The Euler characteristic of the moduli space of graphs”. In:Advances in Mathematics432, 1...

work page doi:10.2140/gt.2013.17.733 2013
[6]

On PL De Rham theory and rational homotopy type

1016/j.aim.2023.109290. [Bou97] Serge Bouc.Bimodules, trace g´ en´ eralis´ ee, et transferts en homologie de Hochschild. Unpublished manuscript. 1997.url: https://www.lamfa.u- picardie.fr/ bouc/transfer.pdf. [BG76b] A. K. Bousfield and V. K. A. M. Gugenheim. “On PL De Rham theory and rational homotopy type”. In:Memoirs of the American Mathematical Society...

work page arXiv 2023
[7]

Hairer, S

Springer, 1972.doi: 10.1007/978-3-540- 38117-4. [Bra20] Vincent Braunack-Mayer.Strict algebraic models for rational parametrised spec- tra II. Preprint

work page doi:10.1007/978-3-540- 1972
[8]

Rational and real homotopy theory with arbitrary fundamental groups

arXiv:2011.06307v1. [BS93] Edgar H. Brown Jr. and Robert H. Szczarba. “Rational and real homotopy theory with arbitrary fundamental groups”. In:Duke Mathematical Journal71.1 (1993), pp. 299–316.doi:10.1215/s0012-7094-93-07111-6. [BW24] Simon Brun and Thomas Willwacher. “Graph homology computations”. In:New York Journal of Mathematics30 (2024), pp. 58–92.u...

work page doi:10.1215/s0012-7094-93-07111-6 2011
[9]

Confidence in Assurance 2.0 Cases

Springer, 2012.doi: 10.1007/978- 1-4613-0105-9. [FMT10] Yves F´ elix, Aniceto Murillo, and Daniel Tanr´ e. “Fibrewise stable rational homo- topy”. In:Journal of Topology3.4 (2010), pp. 743–758.doi: 10.1112/jtopol/ jtq023. [GR14] Søren Galatius and Oscar Randal-Williams. “Stable moduli spaces of high- dimensional manifolds”. In:Acta Mathematica212.2 (2014)...

work page doi:10.1007/978- 2012
[10]

Higher traces, noncommuta- tive motives, and the categorified Chern character

arXiv:2411.04743v2. 71 [HSS17] Marc Hoyois, Sarah Scherotzke, and Nicol` o Sibilla. “Higher traces, noncommuta- tive motives, and the categorified Chern character”. In:Advances in Mathematics 309 (2017), pp. 97–154.doi:10.1016/j.aim.2017.01.008. [Kad88] T. Kadeishvili. “Structure of the A(∞)-algebra and the Hochschild and Harrison cohomologies”. Russian w...

work page doi:10.1016/j.aim.2017.01.008 2017
[11]

Invariance and localization for cyclic homology of DG algebras

Institute of Mathematics, Polish Academy of Sciences, 2009, pp. 225–240. [Kel98] Bernhard Keller. “Invariance and localization for cyclic homology of DG algebras”. In:Journal of Pure and Applied Algebra123 (1998), pp. 223–273.doi: 10.1016/ s0022-4049(96)00085-0. [Kel06] Bernhard Keller. “A-infinity algebras, modules and functor categories”. In:Trends in r...

2009
[12]

Hochschild (Co)homology and Derived Categories

American Mathemati- cal Society, 2006, pp. 67–93.doi:10.1090/conm/406/07654. [Kel21] Bernhard Keller. “Hochschild (Co)homology and Derived Categories”. In:Bulletin of the Iranian Mathematical Society47.1 supplement (2021), pp. 57–83.doi: 10.1007/s41980-021-00556-0. [KW07] John R Klein and E Bruce Williams. “Homotopical intersection theory I”. In: Geometry...

work page doi:10.1090/conm/406/07654 2006
[13]

Some finiteness results for groups of automorphisms of manifolds

Birkh¨ auser, 1994, pp. 97–121.doi:10.1007/978-3-0348-9112-7_5. [Kup19] Alexander Kupers. “Some finiteness results for groups of automorphisms of manifolds”. In:Geometry & Topology23.5 (2019), pp. 2277–2333.doi: 10.2140/ gt.2019.23.2277. [Lef03] Kenji Lef` evre-Hasegawa. “Sur lesA∞-cat´ egories”. PhD thesis. Universit´ e Paris 7,

work page doi:10.1007/978-3-0348-9112-7_5 1994
[14]

The transfer map of free loop spaces

arXiv:math/0310337v1. [LM18] John A. Lind and Cary Malkiewich. “The transfer map of free loop spaces”. In: Transactions of the American Mathematical Society371.4 (2018), pp. 2503–2552. doi:10.1090/tran/7497. [Lod98] Jean-Louis Loday.Cyclic Homology. 2nd ed. Grundlehren der mathematischen Wissenschaften

work page doi:10.1090/tran/7497 2018
[15]

[LV12] Jean-Louis Loday and Bruno Vallette.Algebraic Operads

Springer, 1998.doi:10.1007/978-3-662-11389-9. [LV12] Jean-Louis Loday and Bruno Vallette.Algebraic Operads. Grundlehren der mathe- matischen Wissenschaften

work page doi:10.1007/978-3-662-11389-9 1998
[16]

Springer, 2012.doi: 10.1007/978-3-642-30362-

work page doi:10.1007/978-3-642-30362- 2012
[17]

72 [Lur14] Jacob Lurie.Algebraic K-Theory and Manifold Topology

arXiv:math/0608040. 72 [Lur14] Jacob Lurie.Algebraic K-Theory and Manifold Topology. Math

work page arXiv
[18]

2014.url:https://www.math.ias.edu/ ~lurie/281.html

Lecture notes. 2014.url:https://www.math.ias.edu/ ~lurie/281.html. [Lur17] Jacob Lurie.Higher Algebra. Unpublished manuscript. Sept. 18, 2017.url: http://www.math.harvard.edu/~lurie/papers/HA.pdf. [LurK] Jacob Lurie.Kerodon.url:https://kerodon.net. [Mac78] Saunders Mac Lane.Categories for the Working Mathematician. 2nd ed. Graduate Texts in Mathematics

2014
[19]

1998 , publisher =

Springer, 1978.doi:10.1007/978-1-4757-4721-8. [Mac95] I. G. Macdonald.Symmetric Functions and Hall Polynomials. 2nd ed. Oxford Mathematical Monographs. Oxford University Press, 1995.doi: 10.1093/oso/ 9780198534891.001.0001. [MMS09] M. Markl, S. Merkulov, and S. Shadrin. “Wheeled PROPs, graph complexes and the master equation”. In:Journal of Pure and Appli...

work page doi:10.1007/978-1-4757-4721-8 1978
[20]

[NS24] Florian Naef and Pavel Safronov.Simple homotopy invariance of the loop coprod- uct

arXiv:1601.03963v1. [NS24] Florian Naef and Pavel Safronov.Simple homotopy invariance of the loop coprod- uct. Preprint

work page arXiv
[21]

[NW19] Florian Naef and Thomas Willwacher.String topology and configuration spaces of two points

arXiv:2406.19326v1. [NW19] Florian Naef and Thomas Willwacher.String topology and configuration spaces of two points. Preprint

work page arXiv
[22]

Fixed Point Theory and Trace for Bicategories

arXiv:1911.06202v1. [Pon18] Kate Ponto. “Fixed Point Theory and Trace for Bicategories”. In:Ast´ erisque333 (2018).doi:10.24033/ast.815. [PS14] Kate Ponto and Michael Shulman. “Traces in symmetric monoidal categories”. In: Expositiones Mathematicae32.3 (2014), pp. 248–273.doi: 10.1016/j.exmath. 2013.12.003. [RVW] Maxime Ramzi, Marco Volpe, and Sebastian W...

work page doi:10.24033/ast.815 1911
[23]

Automorphisms of Manifolds and Algebraic K-Theory: Part III

Princeton University Press, 2013.doi:10.23943/princeton/9780691157757.001.0001. [WW14] Michael S. Weiss and Bruce E. Williams. “Automorphisms of Manifolds and Algebraic K-Theory: Part III”. In:Memoirs of the American Mathematical Society 231.1084 (2014).doi:10.1090/memo/1084. [Wil23] Thomas Willwacher.Models for configuration spaces of points via obstruct...

work page doi:10.23943/princeton/9780691157757.001.0001 2013
[24]

arXiv:2302.07369v1. 74

work page arXiv