{"id":"b71994ad-64e2-44fc-85f7-88a6bccc0384","arxiv_id":"2412.15928","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The paper constructs new model structures that make geometric fixed points homotopically well behaved on commutative ring spectra, and proves a multiplicative tom Dieck splitting.","lead":"This paper builds new foundations for geometric fixed points in equivariant stable homotopy theory, the branch of topology that studies spaces with group actions. It gives mathematicians new tools to compute topological cyclic homology, an invariant at the heart of modern algebraic K-theory.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central theorems rest on unproved V-constrained model structure theorems, especially II.1.13, whose hypotheses are not verified by an independent proof or reference.","rationale":"The reader's weakest-assumption analysis identifies exactly the load-bearing gap: the unproved V-constrained model structure theorems in Chapter II.1. My reading of the paper confirms that these theorems are not peripheral. Theorem E's model structure on commutative ring G-spectra is obtained by applying Theorem II.1.13, and Theorems C and D use the same machinery in the circle-group case. The authors' own statement at the start of Chapter II.1—that they regard the techniques as well-known enough to omit all proofs—is an explicit admission of missing support, and the paper gives no theorem number or external reference where these exact statements are proved. I did not find an internal inconsistency in the main geometric fixed point arguments; the proofs in Chapters V and VI are detailed and appear coherent. However, the absence of a proof or precise citation for II.1.13 means the central claims are conditional on an unverified foundation. The recommended concrete test is to supply that proof in the specific instance needed for Theorem E, or to provide a reference that contains it verbatim. This does not change the reader's conditional verdict: the paper should be accepted only once the omitted model-categorical theorems are filled in or properly cited.","tokens_in":64403,"tokens_out":15527,"duration_ms":142831,"concrete_test":"Specialize Theorem II.1.13 to the data used for Theorem E: take G a compact Lie group, F the family of all closed subgroups, V(H) the H-representations underlying some G-representation containing the fixed W, and A = A^(∧)_W. Write out a complete proof that the forgetful functor from commutative ring G-spectra to G-spectra creates a model structure, verifying explicitly that each step follows from the stated hypotheses. Pay particular attention to the step where n-th symmetric powers of cofibrant replacements are required to be F-equivalences for every A in A^(∧)_W; Theorem 2.3 defers this to Theorem V.2.8, so the proof must confirm that cofibrant approximations in the V-constrained model structure are compatible with the positive complete approximations used there.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's main results, including Theorems C, D, and E, depend on the V-constrained model structure theorems stated in Chapter II.1, particularly Theorems II.1.9, II.1.11, and II.1.13. The authors explicitly write that they 'claim no novelty on these results and in fact we regard the techniques as well-known enough to omit all proofs,' and no precise reference with proofs is supplied. This is load-bearing because Theorem II.1.13 is the mechanism that turns the flatness and symmetric-power hypotheses on the cell set A into the existence of the commutative ring model structure whose cofibrant objects appear in Theorem E. The standard route to such a result requires, beyond the monoid and pushout-product axioms, an additional control over symmetric powers of cofibrant replacements—essentially a commutative monoid axiom. Theorem II.1.13 packages this as hypotheses (i) and (ii), but their sufficiency is asserted without proof. Moreover, Theorem 2.3 verifies those hypotheses using results about generalized orbit desuspension spectra, so a hidden gap in II.1.13 would propagate directly into the construction of the derived geometric fixed point functor on commutative ring G-spectra. The later chapters contain substantial original proofs, but they all presuppose these unproved model-categorical foundations.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops new foundations for multiplicative equivariant stable homotopy theory. It introduces generalized orbit desuspension spectra J_η and studies their behavior under geometric fixed points, smash products, and symmetric powers. On this basis it constructs new model structures on equivariant commutative ring spectra, proves the existence and comparison of a derived geometric fixed point functor on commutative ring G-spectra (Theorem E), constructs model structures for commutative ring (pre-)cyclotomic spectra and derives mapping-space formulas (Theorems B, C, D), and proves a multiplicative tom Dieck splitting for the left derived pushforward of a non-equivariant commutative ring spectrum (Theorem A). The technical core is a series of 'V-constrained' model structure theorems stated in Chapter II.1, especially Theorems II.1.9, II.1.11, and II.1.13.","tokens_in":64644,"tokens_out":3423,"duration_ms":35084,"significance":"If the central results hold, the paper closes a recognized gap in the foundations of geometric fixed points for commutative ring equivariant spectra and provides tools needed for current work on relative topological cyclic homology. The paper's positive contributions are substantial: the new class of generalized orbit desuspension spectra is well motivated, the statements of Theorems A and E are precise and useful, and Chapters V--VI contain detailed, nontrivial proofs of the point-set and homotopical properties of these spectra. The multiplicative tom Dieck splitting is an original and striking structural result. However, the paper's central edifice rests on a set of model-categorical theorems in Chapter II.1 for which no proofs are supplied, and this weakness is load-bearing rather than cosmetic.","major_comments":[{"comment":"These theorems are stated without proof, with the authors explicitly writing that they 'claim no novelty on these results and in fact we regard the techniques as well-known enough to omit all proofs.' The omission is load-bearing: Theorem 1.13 is what converts the flatness and symmetric-power hypotheses on A into the existence of the commutative ring model structure, and both Theorem E (via Theorem 2.3 and the 'Model structures for Theorem E' passage) and Theorem C (via Theorem III.1.2) rely directly on it. In particular, Theorem 1.13 asserts that hypotheses (i) and (ii) suffice to create a model structure on commutative ring G-spectra, but no argument or precise reference is given for this sufficiency. The standard route to such a result normally requires a commutative monoid axiom or an equivalent control of symmetric powers of cofibrant replacements, and Theorem 1.13 packages that control in a way that is asserted rather than proved. Because Theorem 2.3 then verifies these hypotheses using Chapter V, an error or missing hypothesis in II.1.13 would propagate directly into the derived geometric fixed point functor on commutative ring spectra. I request that full proofs of Theorems II.1.9, II.1.10, II.1.11, and II.1.13 be supplied, or that the authors give a complete and precise citation to proofs of exactly these statements in the stated generality.","section":"Chapter II.1, Theorems 1.9, 1.10, 1.11, and 1.13"},{"comment":"Theorem 2.3 is the main existence result used to instantiate the hypotheses of Corollary 2.2 and hence to prove Theorem E. Its proof is very compressed: it asserts that every A in the closure A can be expressed as a generalized orbit desuspension spectrum J_η for a bundle of the stated form, and then invokes several results from Chapter V to verify flatness, symmetric power, and geometric fixed point properties. While the induction pattern is plausible and is supported by Lemma III.1.4 in the circle-group case, the general compact Lie group case needs a more explicit verification. In particular, the reader must check that the faithfulness hypotheses of Propositions V.3.2 and V.3.6 hold for all bundles obtained by the iterative closure under smash products and symmetric powers, not only for the initial cells A♯(F,V). I recommend that the proof be expanded to spell out the induction and the precise families of subgroups F_WH for which the Φ_H equivalences are asserted.","section":"Chapter II.2, Theorem 2.3 and Corollary 2.4"},{"comment":"Theorem 1.2, which is the technical heart of Theorem C, depends on the black-box sets A_cyc and A_cyc^p and on Lemma 1.4. The lemma is proved in Chapter III.3, but the proof of Theorem 1.2 also uses Proposition II.1.14 and Theorem II.1.13 without proof. In particular, the assertion that the model structures are enriched over the standard model structure on non-equivariant spectra uses Lemma 1.4(vi) and the unproved Proposition II.1.14. Since Theorem C(ii) and the mapping-space theorems B and D depend on the enrichment statement, the missing proof of Proposition II.1.14 is part of the same foundational gap. This should be addressed together with the Chapter II.1 theorems.","section":"Chapter III.1, Theorem 1.2 and Lemma 1.4"}],"minor_comments":[{"comment":"The text refers to 'Section II.II' in the paragraph after Definition 4.1; this should be 'Section II.1'.","section":"Chapter III.4, Definition 4.1"},{"comment":"The sentence referring to the statement of Theorem 2.3 as 'peripatetic in this regard' is informal and unclear; the authors should state directly which properties of the closure A_W^{(∧)} are being invoked.","section":"Chapter II.2, 'Model structures for Theorem E'"},{"comment":"The statement of Theorem B in the introduction differs slightly in wording from Theorem 2.7, and the introduction does not define the notation hoEq before using it. Please align the two statements and define hoEq in the introduction.","section":"Chapter I, Theorem B and Chapter III.2, Theorem 2.7"},{"comment":"The definition of a regular I_A-cofibration is clear, but the phrase 'pushout along a map in I_α' in the sentence after the display appears to contain a typo: it should read 'I_A'.","section":"Chapter II.1, Definition 1.6"}],"recommendation":"major_revision","confidential_remarks":"The main issue is whether the unproved model-categorical theorems of Chapter II.1 are acceptable in the form stated. Since these theorems are used essentially in the proofs of Theorems C, D, and E, I would ask the authors to supply complete proofs or a reference that proves exactly the statements needed. If the authors can provide those proofs, the paper would make a strong contribution. The current version is not ready for acceptance as is, but the gap appears fixable within the manuscript's scope rather than fatal to the overall approach."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The genuine contributions are real. The multiplicative tom Dieck splitting for commutative ring spectra promoted from non-equivariant rings (Theorem A) is new and structurally striking. The construction of a left derived functor for geometric fixed points on commutative ring G-spectra and its comparison to the underlying derived functor (Theorem E) resolves a question that HHR and the authors' earlier cyclotomic work sidestepped. The generalized orbit desuspension spectra are a new class, and the detailed analysis of their behavior under smash products, symmetric powers, and geometric fixed points (Chapters V–VI) is a solid piece of work. Theorem B's mapping space formula for commutative ring cyclotomic spectra is also a genuine payoff.\n\nThe soft spot is exactly where the reader and the stress-test put it: Chapter II.1. Theorems II.1.9, II.1.11, and especially II.1.13 are load-bearing, and they are stated without proof. The authors explicitly say they claim no novelty and regard the techniques as well-known enough to omit all proofs. That is a real problem, not because the statements are likely false, but because II.1.13 is the mechanism that turns flatness and symmetric-power hypotheses on the cell set into the existence of the commutative ring model structure. Theorems C, D, and E all rest on it, and Theorem 2.3 verifies its hypotheses using the new generalized orbit desuspension spectra. A gap there would propagate directly into the main conclusions.\n\nThat said, this is a missing foundation, not a detected error. The rest of the paper is full of detailed, checkable proofs. The citations to prior work, including the authors' own, are appropriate. The central claims look well supported if the omitted theorems are correct, and those theorems are plausibly standard to an expert in equivariant model categories.\n\nI would send this to a serious referee. The referee should be asked specifically to verify the statements of II.1.9–II.1.13 against the literature, or to demand that the authors supply proofs or precise references with proofs for these theorems before final acceptance. The paper is important enough to deserve that referee time.","headline":"A serious, mostly detailed foundational paper whose main results hang on a set of unproved model-structure theorems the authors wave at as 'well-known'.","tokens_in":609,"tokens_out":727,"would_cite":true,"duration_ms":23243,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["55P91","19D55"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that geometric fixed points admit a left derived functor on equivariant commutative ring spectra, that the derived functor agrees with the one on the underlying spectra, and that a multiplicative tom Dieck splitting…","keywords":["geometric fixed points","equivariant commutative ring spectra","model categories","pre-cyclotomic spectra","topological cyclic homology","tom Dieck splitting","orthogonal spectra","Loday constructions"],"falsifier":"Find a compact Lie group $G$, a finite set $\\mathcal H$ of closed subgroups, and a cell $A\\in A_W^{(\\wedge)}$ from Chapter II for which $A^{(n)}/\\Sigma_n$ is not flat, or for which symmetric powers do not send $F$-equivalences from cofibrant approximations to $F$-equivalences; any such $A$ violates the hypotheses of the unproved Theorem II.1.13 and would invalidate the model structure on which Theorem E depends.","tokens_in":64154,"feed_emoji":"🌀","tokens_out":10714,"duration_ms":94148,"temperature":0.7,"pith_summary":"This paper aims to close a foundational gap in equivariant stable homotopy theory: geometric fixed points were understood homotopically on spectra, but not on equivariant commutative ring spectra, where the multiplicative structure matters for invariants such as topological cyclic homology. The paper's central claim is that, for a compact Lie group $G$ and a finite set of closed subgroups, there is a model structure on commutative ring $G$-spectra in which the point-set geometric fixed point functor preserves weak equivalences between cofibrant objects and agrees with the derived functor on the underlying spectra. For the circle group, the same machinery produces model structures on commutative ring pre-cyclotomic spectra and a formula for their derived mapping spaces as homotopy equalizers. The paper also proves a multiplicative tom Dieck splitting: geometric fixed points of a non-equivariant commutative ring spectrum made $G$-equivariant decompose as a tensor product of factors $R \\otimes BW_H$ indexed by conjugacy classes of subgroups. The engine behind these results is a new class of spectra, generalized orbit desuspension spectra, built from equivariant vector bundles with finite quotient group actions.","feed_headline":"Geometric fixed points get a derived functor on ring spectra","feed_subtitle":"New model structures make fixed points homotopically correct and prove a multiplicative tom Dieck splitting.","key_machinery":"The load-bearing construction is the generalized orbit desuspension spectrum $J_\\eta$: given a $(\\Gamma,Q)$ vector bundle $\\eta$ (an equivariant real vector bundle with a finite group $Q$ acting on it) and a $\\Gamma$-representation $W$, its $W$th level is the Thom space of the bundle of isometric embeddings of the fiber of $\\eta$ into $W$, quotiented by $Q$. These spectra generalize the orbit desuspension spectra $\\Gamma/H_+\\wedge F_V S^0$ and the norm-style complete cells, and they are flat for the smash product. The paper combines them with $V$-constrained $F$-model structures, whose cells are restricted to chosen families of subgroups and representation constraints, and with variant model structures built from a set $A$ of such cells. The theorems hold under faithfulness hypotheses: $\\eta$ is $Q$-faithful when each point stabilizer acts faithfully on the fiber, and the paper isolates further inherited faithfulness conditions that make $\\Phi_H$ commute with smash products and symmetric powers up to isomorphism or weak equivalence.","core_discovery":"The paper establishes that the point-set geometric fixed point functor $\\Phi_H$ has a left derived functor on commutative ring $G$-spectra, and that this derived functor agrees with the derived geometric fixed point functor on the underlying $G$-spectra. Concretely, Theorem E constructs, for a compact Lie group $G$ and a finite set $\\mathcal{H}$ of closed subgroups, a model structure on commutative ring $G$-spectra such that if $R$ is cofibrant in it and $X\\to R$ is a cofibrant approximation in the standard model structure, then $\\Phi_H X\\to \\Phi_H R$ is a weak equivalence for every $H\\in\\mathcal{H}$. In the circle group case, Theorems B, C, and D produce model structures on commutative ring pre-cyclotomic spectra and show the derived mapping space from $A$ to $B$ is the homotopy equalizer of $\\mathrm{Com}^T(A,B)\\rightrightarrows \\mathrm{Com}^T(\\Phi A,B)$. Theorem A, the multiplicative tom Dieck splitting, gives a natural weak equivalence $\\Phi_G(\\epsilon^\\ast R)\\simeq R\\otimes (\\coprod_{[H]} BW_H)$ for finite $G$, where $\\epsilon^\\ast$ is the left derived pushforward from non-equivariant commutative ring spectra.","pith_inferences":["Beyond the paper's claims, the A-variant model-structure template should apply to any point-set functor known to be homotopically correct on a set of cells closed under smash products and symmetric powers; the generalized orbit desuspension spectra provide a systematic source of such cell sets.","A testable next step is to compute the factors $R\\otimes BW_H$ for specific graded rings $R$ and small groups $G$; the paper reports that these Loday constructions are largely uncalculated, so any explicit computation would either confirm the splitting's utility or expose a missing hypothesis.","One might also expect the mapping-space formula of Theorem B to translate into a spectral-sequence or homotopy-limit comparison for topological cyclic homology of rings, giving a computational route that the paper does not pursue."],"forward_implications":["The derived geometric $H$-fixed point functor exists on commutative ring $G$-spectra for any finite prescribed set of subgroups $H$, and it agrees with the derived functor on the underlying spectra.","Geometric fixed points preserve weak equivalences between cofibrant objects in the new model structures, so point-set level computations on cofibrant replacements are homotopically correct.","For the circle group, commutative ring pre-cyclotomic and p-pre-cyclotomic spectra carry topological model structures, with compatible module and algebra model structures; the derived mapping space of commutative ring ppc spectra is the homotopy equalizer of $\\mathrm{Com}^T(A,B)\\rightrightarrows\\mathrm{Com}^T(\\Phi A,B)$.","The multiplicative tom Dieck splitting identifies $\\Phi_G(\\epsilon^\\ast R)$ with the tensor product over conjugacy classes $[H]$ of $R\\otimes BW_H$, making the multiplicative transfers on geometric fixed points visible and computable.","The cells used for the circle group are closed under smash product, symmetric powers, and the geometric fixed point endofunctors, so the model structures are self-contained and cofibrant objects have flatness and monoidal control."],"supporting_citations":[{"why":"Defines pre-cyclotomic and p-pre-cyclotomic spectra and contains the mapping-space results that this paper generalizes to the multiplicative setting.","marker":"[4]"},{"why":"The relative-cyclotomic-spectra project that motivates Theorems B and D and needs the derived mapping-space formula.","marker":"[5]"},{"why":"Supplies the multiplicative norm and the diagonal maps used in the proof of the multiplicative tom Dieck splitting and in checking that the geometric fixed point functor preserves cofibrations.","marker":"[15]"},{"why":"Establishes the categories of equivariant orthogonal spectra, the standard and positive model structures, and the point-set geometric fixed point functors that all new model structures refine.","marker":"[22]"},{"why":"Gives detection of equivariant weak equivalences by geometric homotopy groups, used to prove that point-set geometric fixed points model the derived functor.","marker":"[24]"},{"why":"Supplies the monoid, unit, and pushout-product axioms used to lift model structures to rings, modules, and algebras.","marker":"[25]"},{"why":"Source of the positive convenient Sigma-model structure for spectra, the non-equivariant model structure that Theorem C compares with the circle-group model structures.","marker":"[26]"},{"why":"Provides the S-model structure variant that the positive convenient Sigma-model structure adapts to orthogonal spectra.","marker":"[27]"}],"fun_headline_variants":["Derived functor for geometric fixed points on ring spectra","Multiplicative tom Dieck splitting for equivariant ring spectra","New model structures make fixed points homotopically correct","Derived geometric fixed points on commutative ring spectra","Geometric fixed points get derived functors on ring spectra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The results rest on four cell-restricted model-structure theorems that the paper states without proof, calling them well-known; if those model structures do not exist in the stated generality, the derived functor construction and the multiplicative splittings lose their foundation.","fun_headline_variants_meta":{"raw":{"variants":["Derived functor for geometric fixed points on ring spectra","Multiplicative tom Dieck splitting for equivariant ring spectra","New model structures make fixed points homotopically correct","Derived geometric fixed points on commutative ring spectra","Geometric fixed points get derived functors on ring spectra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000418,"raw_usage":{"total_tokens":2171,"prompt_tokens":980,"completion_tokens":1191,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":596,"completion_tokens_details":{"reasoning_tokens":1112}},"tokens_in":596,"tokens_out":1191,"duration_ms":10036,"temperature":1.0,"reasoning_tokens":1112,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T10:56:26.695678+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Find a compact Lie group $G$, a finite set $\\mathcal H$ of closed subgroups, and a cell $A\\in A_W^{(\\wedge)}$ from Chapter II for which $A^{(n)}/\\Sigma_n$ is not flat, or for which symmetric powers do not send $F$-equivalences from cofibrant approximations to $F$-equivalences; any such $A$ violates the hypotheses of the unproved Theorem II.1.13 and would invalidate the model structure on which Theorem E depends.","supporting_citations":[{"cited_title":"Blumberg and Michael A","cited_arxiv_id":null,"evidence_quote":"Defines pre-cyclotomic and p-pre-cyclotomic spectra and contains the mapping-space results that this paper generalizes to the multiplicative setting."},{"cited_title":"Blumberg, Michael A","cited_arxiv_id":null,"evidence_quote":"The relative-cyclotomic-spectra project that motivates Theorems B and D and needs the derived mapping-space formula."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the multiplicative norm and the diagonal maps used in the proof of the multiplicative tom Dieck splitting and in checking that the geometric fixed point functor preserves cofibrations."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the categories of equivariant orthogonal spectra, the standard and positive model structures, and the point-set geometric fixed point functors that all new model structures refine."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives detection of equivariant weak equivalences by geometric homotopy groups, used to prove that point-set geometric fixed points model the derived functor."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the monoid, unit, and pushout-product axioms used to lift model structures to rings, modules, and algebras."},{"cited_title":"A convenient model category for commut ative ring spectra","cited_arxiv_id":null,"evidence_quote":"Source of the positive convenient Sigma-model structure for spectra, the non-equivariant model structure that Theorem C compares with the circle-group model structures."},{"cited_title":"Equivariant structure on smash powers of commutative ring spectra","cited_arxiv_id":null,"evidence_quote":"Provides the S-model structure variant that the positive convenient Sigma-model structure adapts to orthogonal spectra."}],"review_version":1}