{"id":"114e6589-db38-4b72-bfec-d48244200f70","arxiv_id":"2509.11393","paper_version":2,"verdict":"CONDITIONAL","confidence":"LOW","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Rational parametrized spectra over a (connected) base are claimed equivalent, as a monoidal category, to differential graded modules over the completed enveloping algebra of a Lie model of the base.","lead":"This paper constructs an algebraic dictionary for rational stable parametrized homotopy theory, translating families of spectra over a base space into modules over the completed enveloping algebra of a Lie model of the base. The detailed proof covers connected bases, while the abstract claims arbitrary bases, so the headline claim needs adjustment.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Arbitrary-base claim in Theorem A is unsupported: proof only covers reduced/connected B, and no algebraic decomposition for disconnected bases is supplied.","rationale":"Reader's verdict CONDITIONAL is appropriate. I agree with the weakest assumption: the connected-to-disconnected reduction is load-bearing. The proof constructs Quillen equivalences only in the connected setting; the final Theorem 4.1 explicitly assumes reduced/connected. Remark 1.10 reduces the topological side but says nothing about the algebraic side. This is not merely a missing detail: the algebraic category for a nonconnected L is not shown to decompose, and the enveloping algebra of a coproduct of Lie algebras is a free product, whose module category is not the product category. The S^0 case is the minimal test and could produce an actual counterexample. I therefore keep the reader's CONDITIONAL/UNCHANGED verdict; no adjustment is needed beyond the one the reader already made.","tokens_in":50670,"tokens_out":11170,"duration_ms":142861,"concrete_test":"Take B = * ∐ * (or S^0) with a basepoint. Compute Ho Sp_B^Q: it is Ho Sp^Q × Ho Sp^Q, equivalently Ho(chain complexes) × Ho(chain complexes). Now take L = L_*^B (the model used in Theorem 4.1) or L_B, form \\hat U L, and compute Ho cdgm_{\\hat U L}. If this derived category is not equivalent to Ho(chain complexes) × Ho(chain complexes) — in particular, if \\hat U L is a nontrivial completed free product with no idempotent decomposition — then Theorem A fails for B=S^0. Even without a counterexample, proving the missing lemma (Ho cdgm_{\\hat U L_{B_1∐B_2}} ≅ Ho cdgm_{\\hat U L_{B_1}} × Ho cdgm_{\\hat U L_{B_2}}) would settle whether Remark 1.10 can be repaired.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Abstract/Theorem A assert an equivalence for arbitrary simplicial base B, but the proof chain ends at Theorem 4.1, stated only for a reduced B (hence connected) with L=L_*^B. The only bridge to the general case is Remark 1.10: Sp_B ≅ ∏_{B_i∈π0(B)} Sp_{B_i}, and every connected simplicial set is weakly equivalent to a reduced one. The first statement is reasonable, but the algebraic side of the reduction is never proved. Section 2 explicitly restricts to connected L: after Example 2.24 the text says 'we assume that L is connected', and the Quillen equivalence Theorem 2.31, the category Sp^0_{\\hat U L}, and Proposition 2.35 all depend on that assumption. For B=B_1∐B_2, the Lie model L_B is the coproduct (completed free product) of the component models, and \\hat U L is the completed free product of the component enveloping algebras; modules over a free product are not products of modules over the factors. No lemma shows Ho cdgm_{\\hat U L} ≅ Ho cdgm_{\\hat U L_1} × Ho cdgm_{\\hat U L_2}. Thus the disconnected case is not a harmless corollary of the connected theorem; it is an unverified structural hypothesis. If it fails (as the S^0 test may show), the central claim of the paper is false as stated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":51035,"tokens_out":7267,"duration_ms":93209,"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":[{"comment":"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","section":"Abstract, Theorem A; §4 Theorem 4.1; §1 Remark 1.10; §2.2"},{"comment":"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.","section":"§2.2, Example 2.24"},{"comment":"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.","section":"§5, Theorem 5.1"}],"minor_comments":[{"comment":"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.","section":"Introduction and body numbering"},{"comment":"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.","section":"Remark 1.10"},{"comment":"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.","section":"Throughout"},{"comment":"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.","section":"§6, opening sentence"}],"recommendation":"major_revision","confidential_remarks":"The connected/reduced version of the theorem seems substantial and well-motivated, and I found no circularity. The main problem is that the abstract and Theorem A overclaim: the proof does not cover disconnected bases. If the authors cannot prove the missing algebraic decomposition for non-connected L, the paper should be revised to state the main theorem for connected/reduced bases, which would still be a significant contribution. This is a load-bearing correction rather than a local edit."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick read of arXiv:2509.11393. The real content is the connected-base version: Theorem 4.1 gives a chain of Quillen equivalences Sp_B^Q ≅ Ho cdgm_{ÛL} for B reduced, L = L^B_*, and that is a genuine extension of Braunack-Mayer's simply connected result. The intermediate category of retractive cdgl spectra, the explicit retractive suspension and loop constructions, and the computational translations (fiberwise stable homotopy groups to module homology, Theorems 4.2–4.7) are useful and mostly well motivated. The monoidal section is a real attempt at coherence, even if a few coherence checks are only asserted as 'routine'.\n\nThe soft spot is the mismatch between claim and proof. The abstract and Theorem A say arbitrary simplicial base; the body proves only reduced/connected. Remark 1.10 tries to reduce to that, but it only covers the space side: Sp_B ≅ ∏ Sp_{B_i}. It never shows the algebraic side Ho cdgm_{ÛL} decomposes as a product over components. Section 2 explicitly assumes L connected after Example 2.24 and throughout Section 2.3; modules over a completed free product of enveloping algebras are not the product of the component module categories. So the 'arbitrary base' theorem is unproved as stated, and the stress-test note's S^0 example suggests it may even be false. That is not a minor gap; it is the headline claim.\n\nThere are also smaller hygiene issues: the introduction references 'Theorem 1.7' for strong monoidality but the actual theorem is 5.1, and a few other theorem numbers shift around. Several steps are deferred to 'straightforward' verification; some are genuinely routine, but others, like the decomposition for non-connected L and part of the coherence isomorphism in Theorem 5.1, are load-bearing.\n\nMy take: read as 'rational parametrized spectra over connected bases', this is a substantial, plausible contribution that deserves serious referee time. The authors should be asked to either restrict the main theorem to connected/reduced bases or supply a real proof of the disconnected case. I would not cite the arbitrary-base statement until that is fixed; the connected theorem I would cite if it checks out. Send it out, but the referee should be told to look hard at Remark 1.10 and the connectedness assumptions in Section 2.","headline":"Solid connected-base algebraization, but the headline 'arbitrary base' claim outruns what the proof actually delivers.","tokens_in":51484,"tokens_out":2748,"would_cite":false,"duration_ms":34777,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P62","55P42"],"pacs":[],"model":"deepseek-v4-flash","headline":"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","keywords":["rational homotopy theory","parametrized spectra","complete differential graded Lie algebras","Quillen equivalences","module spectra","enveloping algebra","stable homotopy","retractive simplicial sets"],"falsifier":"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.","tokens_in":50549,"feed_emoji":"🧮","tokens_out":6423,"duration_ms":69863,"temperature":0.7,"pith_summary":"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.","feed_headline":"Rational parametrized spectra are just modules over a Lie algebra","feed_subtitle":"A four-step chain of model-categorical equivalences turns fiberwise stable homotopy groups into module homology.","key_machinery":"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.","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"fun_headline_variants":["Rational parametrized spectra: now purely algebraic","Lie algebra modules capture all rational fiberwise stable homotopy","Rational stable homotopy over any base is just module theory","From base spaces to Lie algebras: a full algebraic equivalence","Quillen equivalences turn rational spectra into Lie modules"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Rational parametrized spectra: now purely algebraic","Lie algebra modules capture all rational fiberwise stable homotopy","Rational stable homotopy over any base is just module theory","From base spaces to Lie algebras: a full algebraic equivalence","Quillen equivalences turn rational spectra into Lie modules"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000675,"raw_usage":{"total_tokens":2976,"prompt_tokens":879,"completion_tokens":2097,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":623,"completion_tokens_details":{"reasoning_tokens":2016}},"tokens_in":623,"tokens_out":2097,"duration_ms":19281,"temperature":1.0,"reasoning_tokens":2016,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T16:48:04.149447+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}