Pith. sign in

REVIEW 3 major objections 4 minor 38 references

A new approach to rational stable parametrized homotopy theory

T0 review · 3 major / 4 minor · reviewed 2026-08-04 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read This paper claims that rational stable parametrized homotopy theory over a base simplicial set is equivalent, as a symmetric monoidal category, to the homotopy theory of differential graded modules over the completed universal enveloping al

desk verdict Solid connected-base algebraization, but the headline 'arbitrary base' claim outruns what the proof actually delivers. read the letter →

arxiv 2509.11393 v2 pith:VDZJ3JS7 submitted 2025-09-14 math.AT

Yves Félix , Aniceto Murillo , Alejandro Saiz This is my paper · ORCID
classification math.AT MSC 55P6255P42
keywords rationalhomotopytheoryparametrizedspectracompletedifferentialgradedLiealgebrasQuillenequivalencesmoduleenvelopingalgebrastableretractivesimplicialsets
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper claims that rational parametrized stable homotopy theory over a base simplicial set B reduces to the homotopy theory of differential graded modules over the completed universal enveloping algebra of a Lie model of B. It builds an explicit chain of four model-categorical adjunctions linking spectra over B to spectra of retractive Lie algebras, then to spectra of connected modules, and finally to modules themselves. If correct, every rational B-spectrum is represented up to stable equivalence by one complete differential graded module over the algebra, and fiberwise stable invariants become ordinary module homology and Ext. This would turn questions about parametrized spectra into linear-algebra computations.

What carries the argument

The load-bearing object is the category cdgm_{ÔüL} of complete differential graded modules over the completed universal enveloping algebra of a Lie model L of the base. The argument is carried by a sequence of model-categorical equivalences whose middle steps use retractive complete differential graded Lie algebras over L, the fiber functor K that extracts the kernel of a retractive Lie algebra as a module, and its left adjoint that builds a free Lie algebra on a module. A final D⊣C adjunction identifies spectra of connected modules with modules themselves. The key identity is that stable homology of these spectra equals homology of the associated module, after a suspension shift.

What would settle it

Compute Ho cdgm_{ÔüL} for a disconnected base such as B = S^1 ∐ S^1, with L the Lie model of B, and check whether it is naturally equivalent to the product of the module categories for each component. If the equivalence with Ho Sp_B^Q fails, the arbitrary-base formulation collapses.

Watch

Extended reading notes

Core claim

The central claim is a natural, strong symmetric monoidal equivalence Ho Sp_B^Q ≅ Ho cdgm_{ÔüL} for a simplicial set B with Lie model L. The proof pathway is explicit: rational spectra of retractive simplicial sets over B are model-categorically equivalent to spectra of retractive complete differential graded Lie algebras over L; these are equivalent to spectra of connected modules over the completed enveloping algebra ÔüL; and those spectra are equivalent to the underlying module category. Along the way the fiberwise stable homotopy groups of a B-spectrum are shown to correspond exactly to the homology of its associated module, with suspension becoming degree shift and the internal smash pr

Load-bearing premise

The claim for all base spaces depends on the assumption that every connected base can be replaced by a reduced one and that both the spectra and the module categories split over path components; this splitting is stated without a full proof.

Editorial extensions

If this is right

  • Fiberwise stable homotopy groups of a rational B-spectrum X become ordinary homology groups of the module Ψ(X); suspension and loops on X correspond to degree shifts of the module.
  • Stable homotopy classes of maps between rational B-spectra correspond to Ext groups of their associated modules, and the fiberwise smash product corresponds to complete tensor product.
  • Base change maps between different bases correspond to derived extension and restriction of scalars between complete enveloping algebras.
  • The sphere spectrum over B corresponds to the algebra ÔüL itself, making the unit object apparent on both sides.
  • Every rational B-spectrum has an explicit module-level model built from free Lie generators, so invariants can be computed without passing through spectra of Lie algebras.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • The paper proves the equivalence fully for reduced (connected) bases; the advertised 'arbitrary base' version relies on a stated but unproved claim that both the spectral and module categories split over path components, so one testable extension is to prove or disprove that splitting for a disjoint union base such as S^1 ∐ S^1.
  • If the equivalence holds for non-simply-connected and non-reduced bases, it suggests a general principle: rational parametrized phenomena are governed entirely by the Lie algebra of the base's rational completion, not by its homotopy groups or fundamental group data separately.
  • A practical extension would be to implement the algebraically defined module Ψ(X) as a computational invariant for families of spectra over classifying spaces, where the completed enveloping algebra has an explicit presentation.
  • The monoidality result implies rational parametrized stable homotopy theory is a module-theoretic shadow of the base's Lie model; this could be tested by comparing the Picard groups of the two categories.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 4 minor

Summary. The paper claims a strong symmetric monoidal equivalence Ho Sp_B^Q ≅ Ho cdgm_{ÛL} for an arbitrary simplicial set B with Lie model L, proved through a chain of Quillen equivalences Sp_B ↔ Sp_L ↔ Sp^0_{ÛL} ↔ cdgm_{ÛL}. The body's Theorem 4.1 establishes the final equivalence only for B reduced, with L = L_*^B, and Section 2 restricts to connected L from Example 2.24 onward. The only bridge to arbitrary bases is Remark 1.10, which addresses the decomposition of Sp_B but not the algebraic side. My assessment is that the connected/reduced version is a substantial and plausible result, but the advertised arbitrary-base theorem is currently unsupported.

Significance. If the connected/reduced version holds, the paper gives a significant extension of Braunack-Mayer's simply-connected rational parametrized spectra to non-simply connected bases, with explicit constructions of retractive loops/suspensions in cdgl's, a stable-homology characterization, and a strong monoidal statement. The paper is explicit about the Quillen-equivalence chain and builds on established work rather than assuming the conclusion. However, the central abstract claim for arbitrary bases is not backed by the proof; the disconnected case is precisely where the algebraic model is not shown to decompose, so the significance as stated is conditional.

major comments (3)
  1. [Abstract, Theorem A; §4 Theorem 4.1; §1 Remark 1.10; §2.2] The abstract and Theorem A assert an equivalence for arbitrary simplicial B, but Theorem 4.1 is proved only for B reduced with L = L_*^B, and Section 2 explicitly assumes L connected from Example 2.24 onward (see the sentence 'From this point onward ... we assume that L is connected', and the dependence of Theorem 2.31 and Proposition 2.35 on that assumption). The only bridge to the general case is Remark 1.10, which states Sp_B ≅ ∏ Sp_{B_i} and that every connected simplicial set is weakly equivalent to a reduced one. No algebraic counterpart is proved: for B = B_1 ∐ B_2 the Lie model L is the completed coproduct (free product) of the component models, and modules over the completed free product of ÛL_1 and ÛL_2 are not automatically equivalent to the product of the module categories. A lemma such as Ho cdgm_{ÛL} ≅ Ho cdgm_{ÛL_1} × Ho cdgm_{ÛL_2} is absent. This is load-bearing: without
  2. [§2.2, Example 2.24] Example 2.24 explicitly shows that the unrestricted adjunction bLL ⊣ K is not Quillen even in the case L = 0, and the text immediately restricts to connected L. This confirms that the non-connected case cannot be obtained by the same route and is not a harmless variant. The paper should state precisely where the arbitrary-base claim is established, or amend the claim. This is not a mere presentation issue: the current wording of the abstract overstates the domain of the main theorem.
  3. [§5, Theorem 5.1] The strong monoidal statement is advertised as central, but its proof delegates the verification of associativity and unit coherence to a 'careful yet routine computation'. Since the monoidal structure on the algebraic side is the complete tensor product and the comparison uses a derived smash product, the coherence check is not entirely formal. Please provide the details or a precise reference; as written, the strong-monoidal claim is not fully verified.
minor comments (4)
  1. [Introduction and body numbering] The introduction's Theorem B, Theorem C, and Proposition D correspond in the body to Theorem 1.51, Theorem 2.38, and Proposition 3.4 respectively. The numbering is not aligned, which makes it hard to locate the named results.
  2. [Remark 1.10] If the missing algebraic decomposition is supplied in a revision, Remark 1.10 should explicitly state that the reduction applies to both the space side and the module side. Currently the remark only justifies the space-side product and the reduction to a reduced model.
  3. [Throughout] Typos and small errors: 'ohter hand' near p. 33, 'correspondign' near p. 63, 'revious result' near p. 29, 'isormophism' near p. 61. These should be corrected in a final version.
  4. [§6, opening sentence] The appendix states that 'any statement without a proof or reference may be verified by straightforward inspection'. Several foundational claims in the spectral framework are asserted this way; adding precise pointers to [8], [21], or [35] would improve verifiability.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is a chain of independent Quillen equivalences; the arbitrary-base gap is a proof gap, not a circular reduction.

full rationale

The paper's central equivalence Ho Sp_B^Q ≅ Ho cdgm_{\widehat{UL}} is obtained by composing Quillen equivalences: Sp_B ↔ Sp_L (Theorem 1.53), Sp_L ↔ Sp^0_{\widehat{UL}} (Theorem 2.38), and Sp^0_{\widehat{UL}} ↔ cdgm_{\widehat{UL}} (Proposition 3.4). Each step is proved from prior model-structure machinery ([13], [21], [9], [10]) rather than assumed as the target result. There is no fitted parameter later renamed as a prediction, and no invariant is defined in terms of the claimed output. The only concern one might raise is the jump from the connected/reduced case (Theorem 4.1, Theorem E) to the 'arbitrary base' statement of Theorem A via Remark 1.10; the paper asserts Sp_B ≅ ∏ Sp_{B_i} and that every connected simplicial set is weakly equivalent to a reduced one, but does not prove the corresponding algebraic decomposition for Ho cdgm_{\widehat{UL}} when L is disconnected. That is a genuine scope gap, explicitly flagged by the paper's own restriction after Example 2.24 ('we assume that L is connected'), but it is not circular: the connected theorem does not secretly assume the disconnected conclusion, and the unproved decomposition is a missing justification, not a self-referential reduction. Self-citations to [13] and [16] are load-bearing in the sense that the paper builds on the authors' previous Lie-model framework, but those are established, parameter-free external results with independent proofs; they do not import the present theorem. Accordingly, no circular step satisfying the evidentiary standard of this review can be identified.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The paper's central equivalence rests on three kinds of inputs: (a) established model categorical machinery (Hovey stabilization, transferred model structures, Bousfield localization); (b) prior results specific to complete Lie algebras and their model categories, mostly from the authors' own book [13]; (c) a reduction to connected bases that is asserted but not proven on the algebraic side. No numerical parameters are fitted. No new physical entities are postulated.

assumptions (5)
  • domain assumption cdgl is a proper combinatorial model category with the right-transferred model structure from simplicial sets (weak equivalences detected via gMC and component homology, fibrations surjective in non-negative degrees).
    Used everywhere in Sections 1 and 2 (e.g., Theorem 1.21, Theorem 2.26); sourced from [13, Chapter 8].
  • domain assumption sset_B is a proper combinatorial simplicial model category with all objects cofibrant, and its stabilization Sp_B is a left proper combinatorial stable model category.
    Foundation for Definitions 1.4-1.5 and Theorem 1.51; from [9], [27].
  • domain assumption For connected L, the adjunction bLL ⊣ K0 between cdgm^0_{ÛL} and cdgl_L is a Quillen pair and creates the model structure (Theorem 2.26).
    This is a structural theorem of the paper whose proof uses Theorem 6.13 (transfer) and the connectedness restriction; it is load-bearing for Theorem 2.38.
  • ad hoc to paper The reduction to a reduced/connected base (Remark 1.10) preserves the algebraic model, i.e., the homotopy category of modules over the Lie model of a disjoint union decomposes as the product over components.
    Required to reconcile the abstract's 'arbitrary base' claim with the connected-base proof. No proof is provided that Ho cdgm_{ÛL} for non-connected L decomposes, and Section 2 explicitly assumes L connected.
  • standard math Standard results on Bousfield localization, left/right transferred model structures, and spectra in model categories (Hovey's stabilization).
    Used throughout, especially in the Appendix (Section 6); references [21], [2], [23], [5], [19].

how reviews work

0 comments
Cite this review

Pith. "Pith review of A new approach to rational stable parametrized homotopy theory." pith.science (2026). https://pith.science/paper/VDZJ3JS7

@misc{pith2026250911393,
  author       = {Pith},
  title        = {Pith review of: A new approach to rational stable parametrized homotopy theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/VDZJ3JS7}},
  note         = {Machine review of arXiv:2509.11393}
}
abstract

This work develops a comprehensive algebraic model for rational stable parametrized homotopy theory over arbitrary base spaces. Building on the simplicial analogue of the foundational framework of May-Sigurdsson for parametrized spectra, and the homotopy theory of complete differential graded Lie algebras, we construct an explicit sequence of Quillen equivalences that translate the homotopy theory of rational spectra of retractive simplicial sets into the purely algebraic framework of complete differential graded modules over the completed universal enveloping algebra $\widehat{UL}$ of a Lie model $L$ of the base simplicial set $B$. Explicitly, there is a sequence of Quillen adjunctions $$ \mathbf{Sp}_B \leftrightarrows \mathbf{Sp}_L \leftrightarrows \mathbf{Sp}_{\widehat{UL}}^0 \leftrightarrows \mathbf{cdgm}_{\widehat{UL}} $$ which induces a natural, strong monoidal equivalence of categories $$ {\rm Ho}\,\mathbf{Sp}_B^{\Bbb Q}\cong {\rm Ho}\, \mathbf{cdgm}_{\widehat{UL}}. $$ This equivalence is highly effective in practice as it provides direct computational access to invariants of simplicial spectra by translating them into homotopy invariants of $\widehat{UL}$-modules. Here $\mathbf{Sp}_B$ denotes the stable model category of spectra of retractive simplicial sets over $B$, $\mathbf{Sp}_L$ denotes the stable model category of spectra of retractive complete differential graded Lie algebras over $L$, $\mathbf{Sp}_{\widehat{UL}}^0$ denotes the stable model category of connected $\widehat{UL}$-module spectra, and $\mathbf{cdgm}_{\widehat{UL}}$ denotes the category of complete differential graded $\widehat{UL}$-modules.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

38 extracted references · 2 linked inside Pith

  1. [1]

    Barthel, J.P

    T. Barthel, J.P. May and E. Riehl,Six model structures for DG-modules over DGAs: model category theory in homological action,20(2014), 1077–1159

    2014

  2. [2]

    Barwick,On left and right model categories and left and right Bousfield localizations,1 (2010), 1–76

    C. Barwick,On left and right model categories and left and right Bousfield localizations,1 (2010), 1–76

    2010

  3. [3]

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

    2017

  4. [4]

    Borceux,Handbook of Categorical Algebra 2, Encyclopedia of Mathematics and its Appli- cations, Vol

    F. Borceux,Handbook of Categorical Algebra 2, Encyclopedia of Mathematics and its Appli- cations, Vol. 51, Cambridge University Press, Cambridge, 1994

    1994

  5. [5]

    Berger and I

    C. Berger and I. Moerdijk,Axiomatic homotopy theory for operads, Comment. Math. Helv. 78(2003), 805–831

    2003

  6. [6]

    A. K. Bousfield and A.M. Kan,Homotopy limits, completions and localizations, Lecture Notes in Mathematics, Vol. 304, Springer-Verlag, Berlin-New York, 1972

    1972

  7. [7]

    A. K. Bousfield,The localization of spectra with respect to homology, Trans. Amer. Math. Soc. 148(1979), 473–552

    1979

  8. [8]

    Braunack-Mayer,Rational parametrised stable homotopy theory, PhD thesis, Zurich Uni- versity, 2018

    V. Braunack-Mayer,Rational parametrised stable homotopy theory, PhD thesis, Zurich Uni- versity, 2018

    2018

Show all 38 references
  1. [9]

    Braunack-Mayer,Combinatorial parametrised spectra, Algebr

    V. Braunack-Mayer,Combinatorial parametrised spectra, Algebr. Geom. Topol.21(2021), 801–891

    2021

  2. [10]

    Braunack-Mayer,Strict algebraic models for rational parametrised spectra I, Algebr

    V. Braunack-Mayer,Strict algebraic models for rational parametrised spectra I, Algebr. Geom. Topol.21(2021), 917–1019

    2021

  3. [11]

    Buijs, Y

    U. Buijs, Y. F´ elix, A. Murillo, and D. Tanr´ e,Homotopy theory of complete Lie algebras and Lie models of simplicial sets, J. Topol.11(2018), 799–825

    2018

  4. [12]

    Buijs, Y

    U. Buijs, Y. F´ elix, A. Murillo, and D. Tanr´ e,Lie models of simplicial sets and representability of the Quillen functor, Isr. J. Math.238(2020) 313–358

    2020

  5. [13]

    Buijs, Y

    U. Buijs, Y. F´ elix, A. Murillo, and D. Tanr´ e,Lie Models in Topology, Progress in Mathematics 335, Birkh¨ auser-Springer Nature, 2021

    2021

  6. [14]

    Crabb and I

    M. Crabb and I. James,Fibrewise homotopy theory, Springer Monographs in Mathematics, Springer, 1998

    1998

  7. [15]

    F´ elix, M

    Y. F´ elix, M. Fuentes and A. Murillo,All known realizations of complete Lie algebras coincide, Algebr. Geom. Topol.25(2025), 1155–1167

    2025

  8. [16]

    F´ elix, M

    Y. F´ elix, M. Fuentes and A. Murillo,A Lie characterization of the Bousfield-KanQ-completion andQ-good spaces, arXiv:2407.02812

    arXiv

  9. [17]

    F´ elix, S

    Y. F´ elix, S. Halperin and J.-C. Thomas,Rational Homotopy Theory, Graduate Texts in Math- ematics205, Springer, 2001. 85

    2001

  10. [18]

    F´ elix, A

    Y. F´ elix, A. Murillo, and D. Tanr´ e,Fiberwise stable rational homotopy, J. Topol.3(2010), 743–758

    2010

  11. [19]

    K. Hess, M. Kedziorek, E. Riehl and B. Shipley,A necessary and sufficient condition for induced model structures, J. Topol.10(2017), 324–369

    2017

  12. [20]

    Hovey,Model Categories, Mathematical Surveys and Monographs63, AMS, 1999

    M. Hovey,Model Categories, Mathematical Surveys and Monographs63, AMS, 1999

    1999

  13. [21]

    Hovey,Spectra and symmetric spectra in general model categories, J

    M. Hovey,Spectra and symmetric spectra in general model categories, J. Pure Appl. Algebra 165(2001), 63–127

    2001

  14. [22]

    Hovey, B

    M. Hovey, B. Shipley and J. Smith,Symmetric spectra, J. Amer. Math. Soc.13(1999), 149– 208

    1999

  15. [23]

    P. S. Hirschhorn,Model Categories and Their Localizations, Mathematical Surveys and Mono- graphs99, AMS 2002

    2002

  16. [24]

    P. S. Hirschhorn,Overcategories and undercategories of cofibrantly generated model categories, Journal of Homotopy and Related Structures16(2021), 753–768

    2021

  17. [25]

    Lawrence and D

    R. Lawrence and D. Sullivan,A formula for topology/deformations and its significance, Fund. Math.225(2014), 229–242

    2014

  18. [26]

    Li,A note on the model (co-)slice categories, Chinese Annals of Mathematics, Series B37 (2016), 95–102

    Z. Li,A note on the model (co-)slice categories, Chinese Annals of Mathematics, Series B37 (2016), 95–102

    2016

  19. [27]

    Malkiewich,Parametrized spectra, a low-tech approach, arXiv:1906.04773

    C. Malkiewich,Parametrized spectra, a low-tech approach, arXiv:1906.04773

    1906 arXiv

  20. [28]

    Mandell, P

    M. Mandell, P. May, S. Schwede and B. Shipley,Model categories of diagram spectra, Proc. London Math. Soc.82(2001), 441–512

    2001

  21. [29]

    J. P. May and K. Ponto,More Concise Algebraic Topology, Chicago Lectures in Mathematics, University of Chicago Press, Chicago, 2012

    2012

  22. [30]

    J. P. May and J. Sigurdsson,Parametrized Homotopy Theory, Mathematical Surveys and Monographs, vol. 132, American Mathematical Society, Providence, RI, 2006

    2006

  23. [31]

    Quillen,Rational Homotopy Theory, Ann

    D. Quillen,Rational Homotopy Theory, Ann. of Math.90(1969), 205–295

    1969

  24. [32]

    C. L. Reedy,Homotopy theory of model categories, unpublished manuscript (1974)

    1974

  25. [33]

    Rezk,Every homotopy theory of simplicial algebras admits a proper model, Topol

    C. Rezk,Every homotopy theory of simplicial algebras admits a proper model, Topol. Appl. 119(2002), 65–94

    2002

  26. [34]

    Schreiber,Rational parametrized spectra, MathOverflow,https://mathoverflow.net/ questions/261747(2017)

    U. Schreiber,Rational parametrized spectra, MathOverflow,https://mathoverflow.net/ questions/261747(2017)

    2017

  27. [35]

    Schwede,Spectra in model categories and applications to the algebraic cotangent complex, J

    S. Schwede,Spectra in model categories and applications to the algebraic cotangent complex, J. Pure Appl. Algebra120(1997), 77–104

    1997

  28. [36]

    Schwede and B

    S. Schwede and B. Shipley,Stable model categories are categories of modules, Topology42 (2003), 103–153

    2003

  29. [37]

    Shipley,HZ-Algebra spectra are differential graded algebras, Amer

    B. Shipley,HZ-Algebra spectra are differential graded algebras, Amer. J. Math.129(2007), 351–379

    2007

  30. [38]

    White,Model structures on commutative monoids in general model categories, J

    D. White,Model structures on commutative monoids in general model categories, J. Pure Appl. Algebra221(2017), 3124–3168. Institut de Math´ematiques et Physique, Universit´e Catholique de Lou- vain, Chemin du Cyclotron 2, 1348 Louvain-la-Neuve, Belgique. yves.felix@uclouvain.be...

    2017

Pith tools

Reviewed August 4, 2026 · model on record in the stance chip above.