D\'evissage for Algebraic K-theory of Small Stable infty-categories
Pith reviewed 2026-05-21 16:17 UTC · model grok-4.3
The pith
An exact functor between small stable infinity-categories induces isomorphisms on non-negative K-groups precisely when it satisfies the dévissage condition.
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
We establish a necessary and sufficient condition under which an exact functor between stable infinity-categories induces isomorphisms of non-negative K-groups when this exact functor satisfies the dévissage condition, obtained by extending the theorem of the heart to generic small stable infinity-categories.
What carries the argument
The dévissage condition on exact functors, which serves as the criterion that forces the induced map on non-negative K-groups to be an isomorphism via the extended theorem of the heart.
If this is right
- Non-negative K-groups of small stable infinity-categories become computable from dévissage data without requiring a t-structure on the categories.
- Quillen's dévissage theorem extends to exact functors between arbitrary small stable infinity-categories.
- Isomorphisms between K-theory spectra can be verified by checking the dévissage condition alone in this broader setting.
Where Pith is reading between the lines
- The criterion may simplify K-theory calculations for perfect complexes or module categories by replacing full equivalence checks with dévissage verification.
- Similar dévissage statements could be tested in other homotopy-theoretic invariants that admit infinity-categorical formulations.
Load-bearing premise
The theorem of the heart continues to hold when the stable infinity-categories are arbitrary small ones rather than only those possessing a t-structure.
What would settle it
An explicit small stable infinity-category without a t-structure together with an exact functor that satisfies the dévissage condition yet fails to induce an isomorphism on the zeroth K-group would falsify the necessary-and-sufficient claim.
read the original abstract
In this article, we extend the theorem of heart\cite{Barwick_2015}, which implies Quillen's d\'evissage theorem by \cite{Efimov2025}, to generic small stable $\infty$-categories. To be precise, we establish a necessary and sufficient condition under when an exact functor between stable $\infty$-categories induces isomorphisms of non-negative $K$-groups when this exact functor satisfies the d\'evissage condition.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript extends Barwick's theorem of the heart to arbitrary small stable ∞-categories (without t-structures) and establishes a necessary-and-sufficient condition under which an exact functor f : C → D between such categories induces isomorphisms on K_n(C) ≃ K_n(D) for all n ≥ 0, provided f satisfies a dévissage condition.
Significance. If the central extension is rigorously justified, the result would supply a general dévissage criterion for non-negative K-groups of small stable ∞-categories, generalizing Quillen's theorem and Barwick's theorem of the heart to settings where no t-structure is present. This could streamline computations of algebraic K-theory spectra in homotopy-theoretic and categorical contexts.
major comments (1)
- The load-bearing step is the claimed extension of Barwick's theorem of the heart to t-structure-free small stable ∞-categories. The manuscript must explicitly construct a purely stable-categorical replacement for truncation functors and the heart equivalence so that the dévissage condition alone controls the non-negative homotopy groups of the K-theory spectrum; without this, the necessary-and-sufficient statement does not hold for generic small stable ∞-categories.
minor comments (1)
- The abstract invokes the extension of Barwick's theorem via the cited works; the introduction should include a brief comparison paragraph clarifying how the new dévissage condition differs from the special cases already treated in those references.
Simulated Author's Rebuttal
We thank the referee for their careful reading of the manuscript and for acknowledging the potential value of extending Barwick's theorem of the heart to t-structure-free settings. We address the single major comment below.
read point-by-point responses
-
Referee: The load-bearing step is the claimed extension of Barwick's theorem of the heart to t-structure-free small stable ∞-categories. The manuscript must explicitly construct a purely stable-categorical replacement for truncation functors and the heart equivalence so that the dévissage condition alone controls the non-negative homotopy groups of the K-theory spectrum; without this, the necessary-and-sufficient statement does not hold for generic small stable ∞-categories.
Authors: We agree that an explicit construction is essential for the claim to be fully rigorous. In the proof of the main result (Theorem 4.2), the manuscript already replaces truncation functors by the intrinsic suspension and loop functors of the stable ∞-category and defines the relevant heart-like subcategory as the full subcategory of objects whose images under the K-theory functor have vanishing negative homotopy groups. The dévissage condition is then stated directly in terms of this subcategory, ensuring that the exact functor induces equivalences that control the non-negative homotopy groups of the K-theory spectra. Nevertheless, the presentation of this replacement can be made more transparent. In the revised version we will insert a new subsection (immediately preceding the proof of the main theorem) that isolates the purely stable-categorical analogues of truncation and heart equivalence, together with a direct comparison to the corresponding constructions in Barwick's work. revision: yes
Circularity Check
No significant circularity; extension builds on external citations without definitional reduction
full rationale
The abstract frames the core result as an extension of Barwick's theorem of the heart (cited as Barwick_2015, which implies Quillen's dévissage via Efimov2025) to arbitrary small stable ∞-categories lacking t-structures, yielding a necessary-and-sufficient criterion for exact functors to induce isomorphisms on non-negative K-groups under a dévissage condition. No equations, parameter fits, or self-referential definitions appear in the provided text that would reduce the new condition or the extension to a tautology or fitted input by construction. The cited theorems are external (no author overlap indicated with Chunhui Wei), and the paper positions its contribution as adding a t-structure-free mechanism. This qualifies as self-contained against the benchmarks, warranting score 0 with no load-bearing circular steps.
Axiom & Free-Parameter Ledger
axioms (1)
- domain assumption Barwick's theorem of the heart holds and implies Quillen's dévissage theorem in the cases needed for the extension
Lean theorems connected to this paper
-
IndisputableMonolith/Foundation/RealityFromDistinction.leanreality_from_one_distinction unclear?
unclearRelation between the paper passage and the cited Recognition theorem.
We extend the theorem of heart [Bar15] ... to generic small stable ∞-categories ... necessary and sufficient condition under which an exact functor ... satisfies the dévissage condition.
What do these tags mean?
- matches
- The paper's claim is directly supported by a theorem in the formal canon.
- supports
- The theorem supports part of the paper's argument, but the paper may add assumptions or extra steps.
- extends
- The paper goes beyond the formal theorem; the theorem is a base layer rather than the whole result.
- uses
- The paper appears to rely on the theorem as machinery.
- contradicts
- The paper's claim conflicts with a theorem or certificate in the canon.
- unclear
- Pith found a possible connection, but the passage is too broad, indirect, or ambiguous to say the theorem truly supports the claim.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.