{"id":"6ed06ee5-026e-4172-996f-cc6df8282b42","arxiv_id":"2506.16238","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A simplicial, cofibrantly generated, stable model structure on ν-complete locally multiplicative convex G-C*-algebras is constructed whose homotopy category recovers Kasparov's equivariant KK-theory.","lead":"The paper constructs a stable model category from a broad class of equivariant topological star-algebras and proves its homotopy category is equivariant KK-theory for separable algebras. This gives a concrete bridge between operator algebra invariants and modern homotopy theory, including a direct comparison with an infinity-category version of KK-theory.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The transferred model structure depends on Proposition 7.12, an unproved equivariant seminorm-extension assertion; if it fails, cofibrant generation collapses.","rationale":"The reader's weakest assumption identifies exactly the same load-bearing concern: Proposition 7.12 is asserted without proof and is essential to the small object argument. My review of the manuscript confirms this. The proof of Lemma 8.5 explicitly relies on Proposition 7.12, and Lemma 8.6 relies on Lemma 8.5 to obtain smallness for the generating cofibrations. Since Proposition 8.1 requires smallness of the domains of ˜I and ˜J, the cofibrantly generated model structure of Proposition 8.4 is unsupported without Proposition 7.12. The concern is internal to the argument, not a disagreement with the broader research programme; the paper may well be correct, but the proof as written is incomplete at a load-bearing point. I do not see a more fundamental issue that would change the reader's CONDITIONAL verdict: the overall strategy is coherent, the paper contains substantial independent constructions (universal equivariant algebras, the adjoint −⊠K(H), the simplicial enrichment), and the remaining unproved assertions are localized enough that a conditional acceptance with a request for a detailed proof is appropriate. The concrete test I propose would settle the concern by forcing the missing proof or exposing a counterexample.","tokens_in":37363,"tokens_out":3590,"duration_ms":46107,"concrete_test":"Write out a full proof of Proposition 7.12, adapting [JJ06, Proposition 7.12] to G-invariant seminorms, and check each step for qA ⊠ cKG. As a minimal test, take G trivial, A = C, and X = point; explicitly construct an extension of every C*-seminorm on qC ⊠ cK along i1: qC ⊠ cK → (qC ⊠ cK) ? I. If the extension exists, repeat for A = C0(G) with a nontrivial compact subgroup to test equivariance. If a counterexample is found, Lemma 8.5 or 8.6 fails, and Proposition 8.4 cannot be applied.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central construction rests on Proposition 7.12: for every separable G-C*-algebra A, qA ⊠ cKG has the stable cone seminorm extension property. The proof is one sentence — 'a direct equivariant analogue of [JJ06, Proposition 7.12]' — with no equivariant details supplied. This is not a peripheral technicality. Lemma 8.5 uses Proposition 7.12 to prove that every generating cofibration in the set ˜I has the seminorm extension property: it produces a lift in the square with i1: A⊗|Λ_i^n| → (A⊗|Λ_i^n|)?I and then applies Lemma 7.9. Lemma 8.6 then uses Lemma 8.5 to show that every ˜I-cell has the seminorm extension property, and hence that the domains of ˜I are κ-small via Proposition 7.8. Without Proposition 7.12, the small object argument cannot be applied, and the cofibrantly generated model structure of Proposition 8.4 — and therefore Theorem 8.11, points 1, 3, and 5 — is not established. The equivariant analogue is not formal: it requires extending G-invariant C*-seminorms along the cone inclusion for algebras built from qA and cKG, and it invokes Proposition 6.19 for the left KK^G-contractibility of C(X, B(H_G)^c). None of the analytic work needed for this extension is present in the manuscript. This is a genuine gap rather than a mere omission of routine detail, because the whole transfer argument is routed through it.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a simplicial model structure on the category G-Aν of ν-complete locally multiplicative convex G-C*-algebras for a locally compact second countable group G. The generating (acyclic) cofibrations are indexed by separable G-C*-algebras via the functors qA⊠cKG and tensoring with simplicial sets. The main theorem asserts that the mapping anima in the localized ∞-category recover equivariant Kasparov groups KK^G(A,B)_• for separable A, that weak equivalences between separable algebras are exactly KK^G-equivalences, that the structure is cofibrantly generated and stable, and that the stable ∞-category KK^G_sep of Bunke, Engel and Land embeds fully faithfully. The strategy is to transfer the model structure on simplicial sets along adjunctions, using the left adjoint −⊠K(H) to tensoring with compact operators and a seminorm extension property to verify smallness.","tokens_in":37755,"tokens_out":10325,"duration_ms":110620,"significance":"If the main theorem is correct, the paper provides a concrete, cofibrantly generated, stable model category presenting equivariant KK-theory, thereby realizing a goal that the authors argue was not achieved by Joachim-Johnson. The paper contains substantial new infrastructure: universal equivariant G-C*-algebras for non-discrete groups, tensoring and cotensoring of G-Aν over simplicial sets, an adjoint to tensoring with compact operators, and detailed categorical foundations for ν-complete lmc algebras. It also explicitly checks compatibility with the classical Cuntz-Meyer picture and with the Bunke-Engel-Land construction. These are real strengths. However, the main theorem currently rests on an explicitly unproved equivariant seminorm-extension assertion and on several other delegated proofs, so the result is not yet established in the form presented.","major_comments":[{"comment":"Proposition 7.12 is asserted without proof: the proof is a single sentence declaring it to be a direct equivariant analogue of [JJ06, Proposition 7.12] and mentioning Proposition 6.19. This statement is load-bearing for the main theorem. Lemma 8.5 uses it to show that every generating cofibration in the set tilde I has the seminorm extension property; Lemma 8.6 then uses Lemma 8.5 together with Proposition 7.8 to obtain the smallness of the domains of tilde I and tilde J needed to apply Proposition 8.1; Proposition 8.4 and Theorem 8.11(1,3,5) depend on this. The equivariant extension is not formal: one must extend G-invariant C*-seminorms along the cone inclusion for algebras built from qA and cKG, and the use of Proposition 6.19 involves the left KK^G-contractibility of C(X, B(H_G)^c). None of this analytic argument is supplied. Please provide a complete proof of Proposition 7.12 or a precise reference containing the equivariant statement.","section":"§7, Proposition 7.12"},{"comment":"Both lemmas are stated as direct equivariant analogues and their proofs are omitted. They are used in the small-object argument: Lemma 7.9 appears in the proof of Lemma 8.5, and Lemma 7.10 is used in Lemma 8.6 to conclude that pushouts of maps with the seminorm extension property again have the property. Lemma 7.10 is not purely formal: the pushout of an extension of seminorms in G-Aν requires an argument that the seminorm extends over the pushout, and the cited [Ped99, Theorem 4.2] is a non-equivariant C*-algebra statement; the equivariant colimit description of Corollary 2.16 still needs a seminorm-level verification. Please include the proofs or give explicit equivariant references.","section":"§7, Lemmas 7.9 and 7.10"},{"comment":"The proof of full faithfulness of KK^G_sep → M[w^{-1}] is a ladder diagram in which several vertical maps are asserted to be equivalences or π0-equivalences. The steps marked (!) and (!!) are only sketched: (!) invokes [BEL23, Proposition 2.18] and asserts that a certain map [qA,B⊗KG] → KK^G_class(qA,B⊗KG) is an isomorphism from the results in Section 6, without a detailed argument; (!!) is reduced to a diagram chase whose final equivalence (††) cites [Bun24, Remark 9.9] without verifying the colocalness hypothesis. In addition, Lemma 8.13.3 appeals to a variant of Assertion 2 for M that is not stated or proved. Since the full faithful embedding is a headline comparison result, these gaps need to be filled.","section":"§8.1, Proposition 8.14"},{"comment":"The proof of stability is a single sentence: 'The first assertion of Point 5 follows from Lemma 8.9 and Corollary 6.18.' Lemma 8.9 identifies C(I,B) as a path object and C0(R,B) as a based loop object, and Corollary 6.18 gives a left KK^G-equivalence between C0(R^2,A) and A. To conclude that the model category is stable, one must show that the suspension functor is an equivalence on the homotopy category, equivalently that loop and suspension are inverse equivalences. The manuscript does not state what the suspension functor is, nor why Ω^2 ≃ id implies the required equivalence for the model structure. Please spell out the suspension-loop adjunction in G-Aν and the resulting equivalence.","section":"§8, Theorem 8.11(5)"}],"minor_comments":[{"comment":"The claim that the paper corrects critical errors in [JJ06] is not accompanied by precise locations of those errors; please identify the specific statements in [JJ06] that are wrong and indicate how the present treatment repairs them.","section":"Introduction"},{"comment":"There are several typos and formatting issues: 'Apriori' in the proof of Proposition 7.8, 'sqaures' in Lemma 8.13, 'Maph' in the diagram in Proposition 8.14, and 'conjecure' in the reference [Ech17].","section":"Throughout"},{"comment":"The symbol qA is used both for q(A) and for q(A⊗KG)⊗KG; this double use is potentially confusing and should be flagged explicitly at the first occurrence of the second meaning.","section":"Definition 6.1 and Definition 6.5"},{"comment":"The term 'anima' is used without definition; since the intended audience includes operator algebraists, a brief explanation or a reference would be helpful.","section":"Definition 3.7 and elsewhere"}],"recommendation":"major_revision","confidential_remarks":"This is a serious technical paper with a potentially important result, but the main theorem in its current form depends on an explicitly omitted proof of Proposition 7.12 and on several other delegated verifications. I would not recommend acceptance before those are supplied. The paper's fit with the journal is appropriate, and the construction is likely to be of interest to the community if the analytic gaps can be closed."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper is a serious attempt to give equivariant KK-theory a concrete stable model category. The setup with ν-complete locally multiplicative convex G-C*-algebras is well thought out, and Section 4's universal equivariant algebras for non-discrete groups fill a genuine gap in the literature. The left adjoint to tensoring with compacts is a neat trick, and the paper's point that Joachim-Johnson's ν-completion description was flawed is convincing. The comparison with Bunke-Engel-Land's stable ∞-category is nicely laid out, assuming the model actually exists.\n\nThat last assumption is where the paper wobbles. The transferred model structure in Section 8 rests on Proposition 7.12, which says qA ⊠ cKG has the stable cone seminorm extension property. The proof is one sentence: 'a direct equivariant analogue of [JJ06, Proposition 7.12].' The stress-test note is right: this is not a routine extension. Showing the seminorm extension property for these specific algebras along the cone inclusion involves real analytic work, and the paper provides none of it. Lemma 8.5 uses Proposition 7.12 to prove that every generating cofibration has the seminorm extension property; Lemma 8.6 then uses that to get smallness. If Proposition 7.12 fails, the small object argument can't be applied, and points 1, 3, and 5 of Theorem 8.11 are not established. The paper also omits proofs of Lemmas 7.9 and 7.10, again as 'direct analogues.' These are the technical load-bearing walls of the transfer, and they are unenforced.\n\nThe rest of the scaffolding looks genuine. The use of ν-completeness to avoid the cosmallness problem is well motivated, the proof of stability via C0(R²)-equivalences is plausible, and the fully faithfull embedding into KK^G_sep is a meaningful payoff. Proposition 6.19 gets a real proof sketch, which is more than I can say for Proposition 7.12.\n\nNet: the architectural idea is good and the theorem is worth having if true, but the preprint as written does not prove it. This is not a case of harmless omitted details; it's a gap that a referee would need to fill. I would send it to peer review, but with a strong request that the authors supply full proofs of Proposition 7.12 and Lemmas 7.9–7.10 before acceptance. As it stands, I would not rely on it in my own work.","headline":"A promising framework paper whose load-bearing analytic lemma is delegated to an unproved 'direct analogue'; the model structure is conditional on real work, but the architecture deserves a referee.","tokens_in":38202,"tokens_out":2397,"would_cite":false,"duration_ms":30543,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19K35","55U35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper claims that equivariant KK-theory can be presented as the homotopy category of an explicit simplicial model category of topological G-algebras, with mapping spaces and weak equivalences that reproduce the usual KK-groups.","keywords":["equivariant KK-theory","model categories","locally multiplicative convex algebras","q-construction","stable ∞-categories","simplicial model structure","small object argument"],"falsifier":"Check Proposition 7.12 on a concrete example: take a separable $G$-$C^*$-algebra $A$, form the algebra $qA \\boxtimes cK_G \\otimes X$ for a pointed compact space $X$ (for instance a point or an interval), and test whether every $G$-invariant $C^*$-seminorm on that algebra extends to its cone $(qA \\boxtimes cK_G \\otimes X)\\,?\\,I$. A single failure would invalidate Lemmas 8.5 and 8.6 and, with them, the cofibrant generation of the model structure.","tokens_in":37173,"feed_emoji":"♾️","tokens_out":18382,"duration_ms":175983,"temperature":0.7,"pith_summary":"The paper tries to establish that equivariant $KK$-theory — the bivariant K-theory of locally compact group actions on $C^*$-algebras — can be presented by an explicit stable simplicial model category, not merely by a formal localization of a category of algebras. The objects are $\\nu$-complete locally multiplicative convex $G$-$C^*$-algebras, a mild enlargement of the category of $G$-$C^*$-algebras that admits adjoints, such as a left adjoint to tensoring with compact operators, which $C^*$-algebras themselves lack. In the resulting model structure the weak equivalences between separable algebras are exactly the $KK^G$-equivalences, the mapping spaces between separable algebras recover the equivariant $KK$-spectrum, and for separable algebras the homotopy category is $KK^G_0$. The construction also repairs what the authors identify as critical errors in the earlier non-equivariant model-categorical treatment of $KK$-theory, and realizes the stable $\\infty$-category $KK^G_{\\mathrm{sep}}$ as a full subcategory of the $\\infty$-category the model category presents.","feed_headline":"A stable model category now computes equivariant KK-theory","feed_subtitle":"Equivariant bivariant K-theory for group actions becomes the homotopy category of concrete topological G-algebras.","key_machinery":"The mechanism is the enlargement of the category of $G$-$C^*$-algebras to $\\nu$-complete locally multiplicative convex $G$-$C^*$-algebras, whose topology is generated by $G$-invariant $C^*$-seminorms and whose completeness is required only along Cauchy nets indexed by ordinals below a sufficiently large cardinal $\\nu$. In this category, and unlike in $C^*$-algebras, the functor $- \\otimes K(H)$ of tensoring with the compact operators on a separable $G$-Hilbert space has a left adjoint $- \\boxtimes K(H)$, because limits interact well enough with the tensor product; this adjoint supplies the cofibrant objects. The paper also constructs universal equivariant algebras on $G$-sets of generators and relations, which makes the category tensored over simplicial sets, and defines mapping spaces as Kan complexes by $\\mathrm{Hom}(A,B)_\\bullet = \\mathrm{Hom}(A, C(|\\Delta^n|,B))$. The small object argument is made to work by the $\\nu$-completeness hypothesis: every object is small relative to morphisms having the seminorm extension property, a fact established through a transfinite analysis of $\\nu$-sequential colimits.","core_discovery":"The central claim is Theorem 8.11: the category of $\\nu$-complete locally multiplicative convex $G$-$C^*$-algebras carries a cofibrantly generated simplicial model structure in which every object is fibrant, the structure is stable, and for separable $G$-$C^*$-algebras $A$ and $B$ the mapping anima (homotopy types) satisfy $\\mathrm{Map}(A,B) \\simeq KK^G(A,B)_\\bullet$, with $\\mathrm{Ho}(A,B) \\cong KK^G_0(A,B)$. A $*$-homomorphism between separable algebras is a weak equivalence precisely when it is a $KK^G$-equivalence. The cofibrant replacement of a separable algebra $A$ is the algebra $qA \\boxtimes cK_G$ obtained from the q-construction applied to $A \\otimes K_G$ and then tensored with the algebra $cK_G$ of compact operators on $(L^2G \\otimes \\ell^2\\mathbb{N}) \\oplus \\ell^2\\mathbb{N}$, and the model structure is transferred from simplicial sets along the resulting adjunctions. The stable $\\infty$-category $KK^G_{\\mathrm{sep}}$ embeds fully faithfully into the $\\infty$-category underlying the model structure, so the model category is a concrete representative for that $\\infty$-category and, in particular, for equivariant $KK$-theory.","pith_inferences":["An extension the paper leaves implicit: the same construction should adapt to other bivariant theories, such as equivariant $E$-theory, since the q-construction, the left adjoint to tensoring with compacts, and the $\\nu$-completeness smallness argument are not specific to $KK$.","The unproved Proposition 7.12 is the natural place to test the result: a direct proof of the equivariant stable cone seminorm extension property, or a counterexample, would settle whether the cofibrantly generated model structure exists as claimed.","The model structure makes the Kasparov product into composition of maps in a stable homotopy category, so permanence properties of equivariant $KK$-theory, such as Bott periodicity, could be re-derived as formal consequences of stability and of the loop object $C_0(\\mathbb{R},B)$.","Because the construction works for arbitrary locally compact second countable groups, the explicit cofibrant replacements and mapping spaces may provide a new way to formulate assembly and descent maps in equivariant $K$-theory, where homotopy limits of $G$-algebras appear."],"forward_implications":["Equivariant $KK$-theory becomes the homotopy category of a cofibrantly generated simplicial model category, so homotopy limits, homotopy colimits, derived adjunctions, and mapping anima can be computed inside a concrete category of topological $*$-algebras.","Each separable $G$-$C^*$-algebra $A$ has an explicit cofibrant replacement $qA \\boxtimes cK_G$, and $KK^G(A,B)$ is recovered as homotopy classes of maps out of this cofibrant object, giving a model-categorical proof of the q-picture description of equivariant $KK$-theory.","The stable $\\infty$-category $KK^G_{\\mathrm{sep}}$ embeds fully faithfully into the $\\infty$-category underlying the model structure, so this is a concrete representative of that $\\infty$-category rather than a formal localization of presheaf categories.","Weak equivalences and fibrations between separable algebras admit $KK^G$-level characterizations: weak equivalences are exactly the $KK^G$-equivalences, and fibrations are detected by the Kan fibration condition applied to the q-construction."],"supporting_citations":[{"why":"supplies the non-equivariant model-categorical framework and the seminorm-extension smallness technology being generalized and repaired.","marker":"[JJ06]"},{"why":"establishes the q-picture of equivariant $KK$-theory, $KK^G(A,B) \\cong [q(A\\otimes K_G)\\otimes K_G, B\\otimes K_G]$, which is what connects mapping anima to Kasparov groups.","marker":"[Mey00]"},{"why":"defines the stable $\\infty$-category $KK^G_{\\mathrm{sep}}$ that the paper proves embeds fully faithfully into the $\\infty$-category presented by its model category.","marker":"[BEL23]"},{"why":"introduces the q-construction and the quasihomomorphism perspective that underlie the cofibrant objects and the description of $KK$.","marker":"[Cun87]"},{"why":"supplies the generalized-homomorphism framework and the Kasparov product in the q-picture, used to make $KK^G_{\\mathrm{class}}$ and the stabilised theory explicit.","marker":"[CG24]"},{"why":"is the source of the small object argument, the notion of $\\kappa$-smallness, and the transferred model structure criterion applied in Proposition 8.1.","marker":"[Hov99]"},{"why":"gives the original definition of equivariant $KK$-theory to which the homotopy category of the model structure is compared.","marker":"[Kas88]"},{"why":"supplies the homotopy-theoretic treatment of $KK$- and $E$-theory, including Bousfield localization and monoidal refinement facts used in Sections 3 and 8.","marker":"[Bun24]"},{"why":"provides the theory of universal algebras and inverse limits of $C^*$-algebras on which the tensoring of $G$-$A_\\nu$ over simplicial sets rests.","marker":"[Phi88b]"}],"fun_headline_variants":["Model category structure captures equivariant KK","Equivariant KK as stable homotopy category","Stable model for equivariant KK-theory","Concrete model for equivariant KK-theory","Model category realizes equivariant KK"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The entire model structure depends on an unproved assertion, Proposition 7.12, that the cone-inclusion maps for the specific algebras $qA \\boxtimes cK_G$ extend every $G$-invariant $C^*$-seminorm just as they do in the non-equivariant case; if that assertion fails, the small-object argument, and with it the cofibrantly generated model structure, collapses.","fun_headline_variants_meta":{"raw":{"variants":["Model category structure captures equivariant KK","Equivariant KK as stable homotopy category","Stable model for equivariant KK-theory","Concrete model for equivariant KK-theory","Model category realizes equivariant KK"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000323,"raw_usage":{"total_tokens":1809,"prompt_tokens":932,"completion_tokens":877,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":548,"completion_tokens_details":{"reasoning_tokens":810}},"tokens_in":548,"tokens_out":877,"duration_ms":9153,"temperature":1.0,"reasoning_tokens":810,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T23:44:34.810007+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Check Proposition 7.12 on a concrete example: take a separable $G$-$C^*$-algebra $A$, form the algebra $qA \\boxtimes cK_G \\otimes X$ for a pointed compact space $X$ (for instance a point or an interval), and test whether every $G$-invariant $C^*$-seminorm on that algebra extends to its cone $(qA \\boxtimes cK_G \\otimes X)\\,?\\,I$. A single failure would invalidate Lemmas 8.5 and 8.6 and, with them, the cofibrant generation of the model structure.","supporting_citations":[],"review_version":1}