{"id":"cf5f8701-f75c-40c0-bd3e-fda954290612","arxiv_id":"2608.06209","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Continuous K-theory of rigid analytic spaces is a Nisnevich sheaf, and, after A1-localization, it is represented by Z x BGL under a resolution-of-singularities assumption.","lead":"Continuous and analytic K-theory of rigid analytic spaces are shown to satisfy a local-to-global glueing property called Nisnevich descent, and, under a resolution-of-singularities assumption, their homotopy-invariant version is represented by the standard classifying object for algebraic K-theory. The result gives nonarchimedean rigid geometry the same kind of motivic representability that algebraic K-theory has had for schemes.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The representability theorem is conditional on (spade)^an_R, an open resolution-of-singularities assumption; the proof's key BGL identification may not actually require it, so the theorem's true hypothesis needs verification.","rationale":"The reader's weakest_assumption identified (spade)^an_R, and my stress-test agrees: this open desingularisation assumption is the point where the proof of Theorem 5.1 is least secure. I did not find an internal contradiction in the main line, and the conditional formulation of Theorem B matches the reader's CONDITIONAL verdict. The additional concerns raised by the reader (abstract overstatement, Lemma 4.12 finite-product assumption, and non-qcqs handling in Theorem 4.14) are secondary; none changes the verdict. My proposed test targets the single question that would settle whether (spade)^an_R is actually needed for the BGL-identification, because if the identification is unconditional, the central representability result for KH^cont would hold under the milder hypotheses used for Nisnevich descent and A1-localisation. This is a concrete, feasible re-derivation from the cited literature rather than a request to solve the open resolution-of-singularities problem.","tokens_in":39714,"tokens_out":14558,"duration_ms":180002,"concrete_test":"Check the exact hypotheses of [KST19a, Lem. 7.5]: does the equivalence Ω∞τ≥1 K^an(A) ≃ 'lim'_ρ BGL(A⟨Δ⟩_ρ) require A to satisfy (†)_A, or does it hold for arbitrary Tate rings? If it holds for all Tate rings, remove (spade)^an_R from Theorem 5.1 and rerun the proof; the representability of KH^cont becomes unconditional. If it requires (†)_A, construct or exhibit a Tate ring A without (†)_A for which this equivalence fails; that would confirm (spade)^an_R is genuinely load-bearing and the conditional status is intrinsic.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The weakest load-bearing premise is (spade)^an_R from the start of Section 4, used in Proposition 4.15 and in the proof of Theorem 5.1. The paper itself (Remark 4.1) says (spade)^an_R is only known when R admits a quasi-excellent ring of definition of characteristic zero; in general it is an open desingularisation problem. If (spade)^an_R fails, the proof's identification Ω∞τ≥1 K^an(A) ≃ 'lim'_ρ BGL(A⟨Δ⟩_ρ), cited to [KST19a, Lem. 7.5], is unavailable, and the central equivalence Ω∞K^an_{≥0} ≃ L_mot(Z×BGL) is not established. This makes the headline representability claim conditional on a major open problem. Moreover, the abstract's 'continuous K-theory is representable' overstates the theorem: Theorem 5.1 represents the A1-localisation KH^cont ≃ K^an, not K^cont itself; identifying the two on smooth X is exactly Conjecture 4.24, only known under (spade)^an_R. The proof does not justify that (spade)^an_R is necessary for the BGL-identification as opposed to an artifact of the chosen route, since K^an is already an A1-invariant Nisnevich sheaf under the milder hypotheses of Theorem 4.20 and Lemma 4.23.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies continuous K-theory K^cont and analytic K-theory K^an on adic spaces locally of finite type over a base B which is either a nonarchimedean field or a Tate ring with a noetherian finite-dimensional ring of definition. The main unconditional result is Theorem 4.14: K^cont satisfies Nisnevich descent. This is proved by comparing K^cont, via a conservative comparison functor to condensed spectra, with the nuclear K-theory of Andreychev, which is known to satisfy Nisnevich descent. The paper also proves Weibel vanishing (Proposition 4.17), an A1-invariance statement for local Tate pairs without regularity assumptions (Theorem 4.27), and a comparison of the A1-localisation of K^cont with K^an (Proposition 4.21). Under an assumption (♠)^an_R on the existence of regular models locally in the analytic topology, which is an open desingularisation problem, Theorem 5.1 identifies the Ω^∞ of the connective cover of K^an (equivalently of KH^cont) with L_mot(Z×BGL) in the rigid analytic motivic homotopy category, with an enriched consequence for smooth X. The paper also includes an appendix correcting a lemma from Andreychev's thesis.","tokens_in":39921,"tokens_out":15094,"duration_ms":156048,"significance":"If the identified gaps are addressed, the unconditional Nisnevich descent theorem would be a significant contribution, as Nisnevich descent was a missing ingredient for motivic representability. The paper provides detailed foundational work on pro-spectra and condensed spectra, including a proof (credited to Scholze) of conservativity of the comparison functor, and a clarification of localisation sequences in dualisable categories. The conditional representability theorem is a natural analogue of Morel–Voevodsky's K≃Z×BGL and would be a strong result, though its current dependence on an open resolution-of-singularities hypothesis limits its scope. The paper is careful in many places, acknowledges the conditional nature in Remark 4.1, and corrects a false statement in the literature (Appendix A).","major_comments":[{"comment":"The abstract and title claim representability of continuous K-theory, but Theorem 5.1 represents the A1-localisation KH^cont, identified with analytic K-theory K^an via Proposition 4.21. On smooth X, the comparison K^cont(X) → KH^cont(X) is an equivalence only under Conjecture 4.24 (A1-invariance), which is known only under (♠)^an_R (Proposition 4.15). As stated, the abstract's 'continuous K-theory is representable' overstates the proved theorem; the paper should either adjust the title and abstract or explicitly state that representability is proved for the A1-localisation of continuous K-theory.","section":"Abstract and Theorem 5.1"},{"comment":"The interchange of the geometric realisation colimit over n∈Δ^op with the pro-limit over j is justified by 'uniformly bounded below' citing [KST23, Lem. 2.8]. However, the affinoid algebras A⟨Δ^n_{π^j}⟩ have dimension dim(A)+n, so the Weibel-vanishing bound from Proposition 4.17 depends on n; there is no evident uniform bound independent of n. The manuscript should spell out how [KST23, Lem. 2.8] applies in this situation, or restrict the statement to cases where such a uniform bound holds. This is load-bearing for the identification KH^cont≃K^an and for the Nisnevich sheaf property of KH^cont.","section":"Proposition 4.21 and Lemma 4.23"},{"comment":"The identification Ω∞τ≥1 K^an(A) ≃ 'lim'_ρ BGL(A⟨Δ⟩_ρ) is attributed to [KST19a, Lem. 7.5] and said to be available under (♠)^an_R. Since (♠)^an_R is an open desingularisation assumption (Remark 4.1), the representability theorem is conditional on a major open problem. The paper does not state the precise hypotheses of [KST19a, Lem. 7.5] nor discuss whether they can be weakened; indeed, K^an is already an A1-invariant Nisnevich sheaf under the milder hypotheses of Theorem 4.20 and Lemma 4.23. The authors should clarify whether (♠)^an_R is necessary for the BGL-identification or an artifact of the proof route, and at minimum state the exact input needed from [KST19a, Lem. 7.5].","section":"Theorem 5.1, proof of BGL identification"}],"minor_comments":[{"comment":"The codomain of γω is written Condκ(Sp), but since γω = j∗ ◦ γκ with j∗ : Condκ → Condω, the codomain should be Condω(Sp); the subsequent usage in Theorem 4.14 uses the light version.","section":"Theorem 3.24"},{"comment":"In the display and proof, the expression 'colim_i ∏_i F(R)' is ambiguous; it should be 'colim_i ∏_{T_i} F(R)' where T_i is the finite set in the presentation of T.","section":"Lemma 4.12"},{"comment":"The phrase 'as the pushout of the diagram , up to weak equivalence' contains a missing diagram; the intended diagram, similar to (4.8.2), should be displayed.","section":"Definition 4.2"}],"recommendation":"major_revision","confidential_remarks":"The paper's main advertised result is conditional on an open problem; the editor may wish to ensure the title and abstract are revised to avoid overstating. The manuscript relies heavily on works by the same group (DY24, Dah24, Dah25) and on Andreychev's thesis; these are external inputs rather than circularities, but the referee suggests the authors verify the applicability of [KST19a, Lem. 7.5] carefully. The unconditional Nisnevich descent result is likely publishable on its own."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper's real content is Nisnevich descent for continuous K-theory (Thm 4.14) and a representability theorem for analytic K-theory in the rigid motivic category (Thm 5.1). The descent result is genuinely new and the route through Andreychev's nuclear K-theory and the conservative comparison functor is convincing. The A1-invariance for local Tate pairs without regularity (Thm 4.27) is a nice, unexpected result. The paper is also careful: it gives extended proofs for some terse statements in Andreychev's thesis and fixes a false lemma of his. That is real service to the community.\n\nThe soft spots are the following. First, the headline representability is conditional on (spade)^an_R, which is an open resolution-of-singularities assumption in general; the paper says this honestly in Remark 4.1, but the abstract's phrase 'continuous K-theory is representable' overstates the theorem, which actually represents the A1-localization KH^cont (identified with analytic K-theory) under that assumption. The stress-test note suggests the BGL identification might not actually need (spade)^an_R, since K^an is already an A1-invariant Nisnevich sheaf under milder hypotheses; as written the proof uses it, so the theorem's true hypotheses need checking. Second, the proof of Theorem 4.14 only explicitly treats Nisnevich squares of qcqs objects, while the statement is for all lft adic spaces; this is likely fixable by the same quasi-separated patching used in Lemma 4.23, but it should be spelled out. Third, Lemma 4.12 implicitly assumes the functor commutes with finite products; that is true for the K-theory functors in play, so it's a minor presentation issue.\n\nNone of this undermines the main line. The paper is serious, the mathematics looks sound, and the limitations are disclosed. It deserves a real referee round. I'd bring it to reading group if the group works in motivic homotopy or K-theory; I'd cite it for the descent result.","headline":"The paper proves Nisnevich descent for continuous K-theory and a conditional representability theorem for its A1-localization; the descent result is solid and new, but the headline is tied to an open desingularization assumption.","tokens_in":40561,"tokens_out":3642,"would_cite":true,"duration_ms":39526,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["19E99","14F42","14G22"],"pacs":[],"model":"deepseek-v4-flash","headline":"Continuous K-theory of rigid spaces is represented by the motivic object Z × BGL.","keywords":["continuous K-theory","analytic K-theory","rigid analytic spaces","Nisnevich descent","A1-homotopy theory","condensed spectra","pro-spectra","BGL"],"falsifier":"Choose a local Tate pair $(A,A^+)$ with pseudo-uniformiser $\\varpi$ that is not regular, and compare the pro-spectra $K^{\\mathrm{cont}}(A)$ and $\\mathrm{lim}_{t\\mapsto\\varpi^t} K^{\\mathrm{cont}}(A\\langle t\\rangle)$; Theorem 4.27 asserts these are equivalent, so a single prime where $K_0$ or $K_{-1}$ differs would refute that claim. For the representability theorem itself, a sharper test is to find a regular analytic adic space $X$ for which $K^{\\mathrm{cont}}(X)\\to K^{\\mathrm{cont}}(X\\times\\mathbb{A}^1)$ is not an equivalence, which would disprove the paper's Conjecture 4.24.","tokens_in":39417,"feed_emoji":"🧮","tokens_out":13389,"duration_ms":118156,"temperature":0.7,"pith_summary":"Continuous K-theory, the pro-spectrum-valued invariant built from reductions of a rigid space modulo powers of a uniformizer, is shown to satisfy Nisnevich descent, and under a regular-model assumption it is also $\\mathbb{A}^1$-invariant. Because of this, the infinite loop space of connective analytic K-theory is represented in the rigid analytic motivic $\\mathbb{A}^1$-homotopy category by the same motivic object that represents algebraic K-theory for schemes, namely $L_{\\mathrm{mot}}(\\mathbb{Z}\\times\\mathrm{BGL})$. The paper also proves Weibel vanishing, identifies continuous homotopy K-theory with analytic K-theory, and establishes an unconditional $\\mathbb{A}^1$-invariance statement for continuous K-theory on local Tate pairs with no regularity assumption. If these results stand, the motivic package of schemes—Grassmannian models, Bass delooping, enriched Hom-spaces—applies to K-theory of rigid analytic spaces.","feed_headline":"Rigid analytic K-theory is represented by Z × BGL","feed_subtitle":"Nisnevich descent plus affine-line invariance make continuous K-theory a motivic object, with condensed-spectra formulas.","key_machinery":"The central mechanism is the comparison between continuous K-theory and the K-theory of nuclear modules: the underlying spectrum of $K^{\\mathrm{cont}}(A)$ is identified with $K(\\mathrm{Nuc}(A))$, and this is lifted to an enriched equivalence of sheaves $K^{\\mathrm{nuc}} \\simeq \\gamma_\\kappa K^{\\mathrm{cont}}$ with values in condensed spectra. Nuclear K-theory is already known to satisfy Nisnevich descent, and the limit-preserving comparison functor $\\gamma_\\omega \\colon \\mathrm{Pro}^\\omega(\\mathrm{Sp}_+)\\to\\mathrm{Cond}^\\omega(\\mathrm{Sp})$, which is conservative on bounded-below objects, transfers that descent back to pro-spectra. The representing object is then fixed by the classical presentation of connective algebraic K-theory as $L_{\\mathrm{mot}}(\\mathbb{Z}\\times\\mathrm{BGL})$, combined with the equivalence $K^{\\mathrm{an}}(A)\\simeq (L_{\\mathbb{A}^1}K^{\\mathrm{cont}})(A)$.","core_discovery":"Under the assumption $(\\spadesuit)^{\\mathrm{an}}_R$ that every smooth analytic adic space over the base is analytically locally $\\mathrm{Spa}(A,A^+)$ with $A$ admitting a noetherian ring of definition and a proper regular model over it, there is a canonical equivalence $\\Omega^\\infty K^{\\mathrm{an}}_{\\ge 0} \\simeq L_{\\mathrm{mot}}(\\mathbb{Z}\\times\\mathrm{BGL})$ in $\\mathrm{RigH}(B,\\mathrm{Pro}^\\omega(\\mathrm{Spc}))$. For every smooth $X$ over $B$, after passage to light condensed spectra this gives the functorial formula $\\Omega^\\infty\\gamma_\\omega KH^{\\mathrm{cont}}_{\\ge 0}(X) \\simeq \\mathrm{Hom}_{\\mathrm{Cond}^\\omega(\\mathrm{Spc})}(L_{\\mathrm{mot}}X, L_{\\mathrm{mot}}(\\mathbb{Z}\\times\\mathrm{BGL}))$. The route to this identification goes through the equivalence of continuous K-theory with K-theory of nuclear modules, Nisnevich descent for that nuclear K-theory, and the conservative comparison functor from pro-spectra to condensed spectra. Separately, the paper proves Nisnevich descent for $K^{\\mathrm{cont}}$ and $KH^{\\mathrm{cont}}$, generalized Weibel vanishing, and an $\\mathbb{A}^1$-invariance theorem for continuous K-theory on local Tate pairs that needs no regularity hypothesis.","pith_inferences":["If the local Tate pair result can be glued along stalks of the Nisnevich sheaf, the regular-model assumption could be removed from the representability theorem; the paper leaves the necessary stalkwise comparison as an explicit open step.","The condensed-spectra enrichment invites an analytic analogue of motivic cohomology, defined as enriched Hom-groups into $L_{\\mathrm{mot}}(\\mathbb{Z}\\times\\mathrm{BGL})$, which would give a new computational tool for K-theory of rigid spaces.","One could test the dependence on regularity by computing continuous K-theory of a semistable or singular rigid space and comparing with the local Tate pair statement; Theorem 4.27 predicts $\\mathbb{A}^1$-invariance even without regularity."],"forward_implications":["Nisnevich descent makes continuous K-theory a sheaf on rigid spaces, so covers and local-to-global arguments can be used to compute it.","Under the regular-model assumption, connective analytic K-theory is represented by $L_{\\mathrm{mot}}(\\mathbb{Z}\\times\\mathrm{BGL})$, transferring motivic descriptions such as Grassmannian models to the rigid analytic setting.","The enriched condensed statement gives functorial Hom-space formulas for continuous homotopy K-theory on smooth rigid spaces with coefficients in light condensed spectra.","The analytic Bass construction produces a commutative algebra object $\\mathrm{KGL}^{\\mathrm{an}}$ in the rigid analytic motivic stable category representing non-connective analytic K-theory.","Weibel vanishing holds for continuous K-theory of finite-dimensional qcqs rigid spaces, with the explicit bound $N=d$ in the discretely valued or excellent cases."],"supporting_citations":[{"why":"Defines continuous and analytic K-theory for non-archimedean rings and supplies the BGL presentation of connective analytic K-theory under regular-model hypotheses.","marker":"[KST19a]"},{"why":"Establishes analytic K-theory as an $\\mathbb{A}^1$-invariant sheaf for the analytic topology, used to identify continuous homotopy K-theory with analytic K-theory.","marker":"[KST23]"},{"why":"Proves Nisnevich descent for the K-theory of nuclear modules, the key descent input for continuous K-theory.","marker":"[And23]"},{"why":"Introduces the rigid analytic motivic $\\mathbb{A}^1$-homotopy category in which the representability theorem is formulated.","marker":"[DY24]"},{"why":"Identifies algebraic K-theory with $\\mathbb{Z}\\times\\mathrm{BGL}$ in motivic homotopy, the structural model for the representing object.","marker":"[MV99]"},{"why":"Proves the continuity theorem equating K-theory of derived completion with $\\lim_n K(\\Lambda/I^n)$, needed for the nuclear-module comparison.","marker":"[Efi25b]"},{"why":"Supplies generalized pro-cdh descent, used for Weibel vanishing and for removing noetherianness assumptions on rings of definition.","marker":"[KST26]"}],"fun_headline_variants":["Rigid analytic K-theory is motivic: Z×BGL representation","Continuous K-theory equals Z×BGL in rigid motivic homotopy","Nisnevich descent + A1-invariance: K-theory is motivic","Rigid K-theory: Nisnevich descent to Z×BGL in motivic homotopy","Continuous K-theory is Z×BGL in rigid A1-homotopy"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof needs the resolution-of-singularities input that every smooth rigid space over the base is locally covered by rings that admit a proper regular model over a noetherian ring of definition extending the original ring; this is currently known only in certain characteristic-zero cases and remains an open problem in general.","fun_headline_variants_meta":{"raw":{"variants":["Rigid analytic K-theory is motivic: Z×BGL representation","Continuous K-theory equals Z×BGL in rigid motivic homotopy","Nisnevich descent + A1-invariance: K-theory is motivic","Rigid K-theory: Nisnevich descent to Z×BGL in motivic homotopy","Continuous K-theory is Z×BGL in rigid A1-homotopy"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000988,"raw_usage":{"total_tokens":4222,"prompt_tokens":1009,"completion_tokens":3213,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":625,"completion_tokens_details":{"reasoning_tokens":3098}},"tokens_in":625,"tokens_out":3213,"duration_ms":22433,"temperature":1.0,"reasoning_tokens":3098,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T12:30:36.001388+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose a local Tate pair $(A,A^+)$ with pseudo-uniformiser $\\varpi$ that is not regular, and compare the pro-spectra $K^{\\mathrm{cont}}(A)$ and $\\mathrm{lim}_{t\\mapsto\\varpi^t} K^{\\mathrm{cont}}(A\\langle t\\rangle)$; Theorem 4.27 asserts these are equivalent, so a single prime where $K_0$ or $K_{-1}$ differs would refute that claim. For the representability theorem itself, a sharper test is to find a regular analytic adic space $X$ for which $K^{\\mathrm{cont}}(X)\\to K^{\\mathrm{cont}}(X\\times\\mathbb{A}^1)$ is not an equivalence, which would disprove the paper's Conjecture 4.24.","supporting_citations":[],"review_version":1}