Pith. sign in

REVIEW 3 major objections 5 minor 2 cited by

Localizing invariants of inverse limits

T0 review · 3 major / 5 minor · reviewed 2026-08-08 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read Continuous K-theory of affine formal schemes is computed by a natural category of nuclear modules.

desk verdict A serious, original paper that proves the Clausen-Scholze conjecture on K-theory of nuclear modules; the main new machinery is real, but one essential identification (Prop 7.5) is sketched and should be filled in before publication. read the letter →

arxiv 2502.04123 v2 pith:JHJNWFHV submitted 2025-02-06 math.KT math.AGmath.ATmath.CTmath.NT

Alexander I. Efimov This is my paper · ORCID
classification math.KTmath.AGmath.ATmath.CTmath.NT MSC 18F2519D5514B20
keywords continuousK-theorynuclearmodulesformalschemeslocalizinginvariantsdualizablecategoriesMittag-LefflerinversesequenceslimitsKoszulcomplexes
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

Classical continuous K-theory of an affine formal scheme is defined as an inverse limit $\varprojlim_n K(R/I^n)$, a definition that has long felt ad hoc because no single natural category seemed to have that spectrum as its K-theory. This paper proves that such a category does exist, resolving a conjecture recorded in [CS20]: the dualizable category $\operatorname{Nuc}_{\mathrm{CS}}(R^{\wedge}_I)$ of nuclear solid modules has continuous K-theory isomorphic to $\varprojlim_n K(R/I^n)$ in the noetherian case. The proof introduces a closely related category $\operatorname{Nuc}(R^{\wedge}_I)$ with three equivalent universal descriptions and shows that the two nuclear categories have the same finitary localizing invariants. The payoff is that continuous K-theory becomes the localizing invariant of a canonical dualizable category, so the same machinery computes Hochschild homology and other invariants of formal schemes as inverse limits.

What carries the argument

The central object is the dualizable inverse limit, an inverse limit taken in the category of dualizable stable categories rather than in the larger category of presentable categories. A sequence of dualizable categories is called strongly Mittag-Leffler when the pro-system of composite functors $F_{mn}F^R_{mn}$ is essentially constant and the limiting functors are strongly continuous with left adjoints. For such sequences the paper proves that the map from $\varprojlim_n C^\kappa_n$ to $\varprojlim_n \operatorname{Calk}^{\mathrm{cont}}_\kappa(C_n)$ is a homological epimorphism (Theorem 5.4), where $\operatorname{Calk}^{\mathrm{cont}}_\kappa(C_n)$ is the Calkin category, a quotient that encodes the difference between the original category and its $\kappa$-compact approximation. Theorem 6.1 then expresses any accessible localizing invariant of the dualizable inverse limit as an inverse limit of invariants of the terms. The category $\operatorname{Nuc}(R^{\wedge}_I)$ is exhibited as exactly such a dualizable inverse limit of $\operatorname{Perf}(R_n)$, and the internal projectivity of the proper, $\omega_1$-compact category $D_{I\text{-}\mathrm{tors}}(R)$ (Theorem 3.6) is what makes the internal-Hom description preserve short exact sequences. Dualizable here means the category has a dual and evaluation/coevaluation functors, so it behaves like a finite-dimensional object in the tensor category of stable categories.

What would settle it

Check the homology of the cone of the natural map $\mathbb Z \otimes^{\mathbf L}_{\mathbb Z[x]} \mathbb Z \to \mathbb Z \otimes^{\mathbf L}_{\mathbb Z[x]/x^{n+1}} \mathbb Z$ in $D(\mathbb Z \otimes^{\mathbf L}_{\mathbb Z[x]} \mathbb Z)$ for large $n$; Proposition 5.23 asserts that this map is zero in degrees $\ge 2$ through the explicit vanishing argument around equation (5.14). A nonzero homology class in any such degree would break the pro-equivalence (5.13), so the sequence $(D(R_n))$ would not be strongly Mittag-Leffler and Theorem 6.1 would not apply.

Watch

Extended reading notes

Core claim

The paper's central claim is that for a commutative ring $R$ and a finitely generated ideal $I=(a_1,\ldots,a_m)$, the continuous K-theory of the affine formal scheme $\operatorname{Spf}(R^{\wedge}_I)$ is the continuous K-theory of the dualizable category $\operatorname{Nuc}_{\mathrm{CS}}(R^{\wedge}_I)$ of nuclear solid modules. Theorem 7.9 states this in full generality: for any accessible localizing invariant $\Phi$ and the Koszul DG algebras $R_n=\operatorname{Kos}(R;a_1^n,\ldots,a_m^n)$, there is an isomorphism $\Phi^{\mathrm{cont}}(\operatorname{Nuc}_{\mathrm{CS}}(R^{\wedge}_I)) \simeq \varprojlim_n \Phi(\operatorname{Perf}(R_n))$; in the noetherian case this becomes $\varprojlim_n \Phi(\operatorname{Perf}(R/I^n))$, and for $\Phi=K$ it is the isomorphism conjectured in [CS20]. To reach it, the paper constructs its own category $\operatorname{Nuc}(R^{\wedge}_I)$ and proves three equivalent definitions: as the dualizable internal Hom $\operatorname{Hom}^{\mathrm{dual}}_R(D_{I\text{-}\mathrm{tors}}(R),D(R))$, as the rigidification of the derived $I$-complete category, and as the dualizable inverse limit $\varprojlim_n^{\mathrm{dual}} D(R_n)$. It then proves that $\operatorname{Nuc}_{\mathrm{CS}}(R^{\wedge}_I)$ and $\operatorname{Nuc}(R^{\wedge}_I)$ have the same finitary localizing invariants, which yields the same formulas for all such invariants and gives $\operatorname{HH}(\operatorname{Nuc}(\mathbb Z_p)/\mathbb Z) \simeq \operatorname{HH}(\operatorname{Nuc}_{\mathrm{CS}}(\mathbb Z_p)/\mathbb Z) \simeq \mathbb Z_p$.

Load-bearing premise

The load-bearing premise is that the inverse system $D(\operatorname{Kos}(R;a_1^n,\ldots,a_m^n))$ is stable enough (strongly Mittag-Leffler), which in the model case $R=\mathbb Z[x]$, $I=(x)$ is exactly the pro-equivalence $\mathbb Z[x]/x^k \otimes^{\mathbf L}_{\mathbb Z[x]} \mathbb Z[x]/x^k \simeq \varprojlim_{n\ge k} \mathbb Z[x]/x^k \otimes^{\mathbf L}_{\mathbb Z[x]/x^n} \mathbb Z[x]/x^k$; if that pro-equivalence fails for some $k$, the main limit formula loses its proof.

Editorial extensions

If this is right

  • Continuous K-theory of affine formal schemes is no longer an ad hoc inverse limit: it is $K^{\mathrm{cont}}$ of a natural dualizable category of nuclear modules.
  • Every accessible localizing invariant of the nuclear category is the inverse limit of the same invariant on the Koszul truncations $R_n$, so Hochschild homology, topological Hochschild homology, and similar invariants are computable by the same formula.
  • The two versions of nuclear modules, the original one and the new $\operatorname{Nuc}(R^{\wedge}_I)$, carry identical finitary localizing invariants, so the more tractable three-definition category can be used for computations.
  • In the noetherian case the Koszul DG algebras are pro-equivalent to the ordinary quotients $R/I^n$, which recovers the classical continuous K-theory $\varprojlim_n K(R/I^n)$.
  • The Hochschild homology computation $\operatorname{HH}(\operatorname{Nuc}(\mathbb Z_p)/\mathbb Z) \simeq \mathbb Z_p$ shows that nuclear categories can have finite Hochschild homology even when the cotangent complex of the base algebra is very large.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial: The dualizable-inverse-limit formulation suggests a sheaf-theoretic extension: defining relative invariants of arbitrary schemes by internal Hom over the base, as the paper's Remark 3.24 sketches for future work, would turn continuous K-theory into a Zariski sheaf with quotient functors for open immersions.
  • Editorial: The strongly Mittag-Leffler condition is likely a general principle for categorical limits: any localizing invariant that commutes with countable products should convert a dualizable inverse limit into an inverse limit once the pro-system of endofunctors is essentially constant. Testing this on I-adic completions of noncommutative DG algebras would show whether the mechanism is specific
  • Editorial: Since the paper notes, following [AM24], that the nuclear category is unchanged by the choice of analytic structure on $R^{\wedge}_I$, the localizing-invariant formulas should be independent of that choice; computing Hochschild homology under different analytic structures would make this explicit.
Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 5 minor

Summary. The paper studies the category Nuc(R^I) of nuclear modules on an affine formal scheme Spf(R^I), giving three equivalent descriptions: as a dualizable internal Hom, as a rigidification of the I-complete derived category, and as a dualizable inverse limit. The central results are Theorem 6.1, which computes accessible localizing invariants of dualizable inverse limits under a homological-epimorphism hypothesis, and Theorem 7.9, which identifies the localizing invariants of the Clausen-Scholze category Nuc_CS(R^I) with the inverse limit of the same invariants applied to Perf(R_n), where R_n are Koszul DG algebras. In the noetherian case this yields K^cont(Nuc_CS(R^I)) isomorphic to lim_n K(R/I^n), proving a conjecture of Clausen and Scholze. The paper also derives applications to Hochschild homology and to the comparison of the two versions of nuclear modules.

Significance. If the main theorems are correct, the paper resolves a central conjecture in the K-theory of formal schemes and gives a natural categorical home for continuous K-theory: continuous K-theory becomes the localizing invariant of a dualizable category rather than an inverse limit of ad hoc quotients. The paper also provides a general mechanism for computing localizing invariants of strongly Mittag-Leffler inverse sequences, with applications beyond the formal-scheme setting, including Hochschild homology computations. The exposition is systematic, the main reductions are explicit, and the K-theoretic identification is not assumed but is derived from categorical constructions. However, the full correctness of the non-noetherian and Nuc_CS statements depends on two technical inputs, Propositions 5.20 and 7.5, whose proofs are either deferred or sketched; the significance is therefore contingent on completing those points.

major comments (3)
  1. [§7.2, Proposition 7.5] Proposition 7.5 is the point where the Clausen-Scholze category Nuc_CS(R^I) is identified with the nuclear objects of the algebraic model D(ĆSolid R^I), and this identification is what makes Theorem 7.9 a statement about Nuc_CS rather than about an auxiliary category. The proof is a sketch: it asserts that f_* preserves nuclear objects by checking one object via [AM24, Lemma 2.18], and it constructs an inverse to the unit only for basic nuclear X using trace-class witnesses. No details are given for the coherence of the chosen witnesses, for the independence of the presentations of X, or for the extension to all nuclear objects; in the non-noetherian case the compact generators and trace-class maps are not described explicitly. Since Theorems 0.1 and 7.9 depend on this identification, a complete proof, or a precise reference with the statement, is needed.
  2. [§5.3, Proposition 5.20] Proposition 5.20 is load-bearing for Theorem 5.16: it is used to pass from the abstract ind-approximation of Perf_{I-tors}(R) to the trace-class compatibility that gives the pro-equivalence (5.12) and hence the strongly Mittag-Leffler structure of (D(R_n)). The text explicitly says that a more formal proof will appear in [E]; the explicit proof given here is compressed, especially the Claim that the deformation-algebra filtration quotients are perfect over k after quotienting by Rep_k(C^op ⊗ C, Perf(k)). Because Theorem 0.2 and Corollary 6.3 rely on this, the proof should be completed in this manuscript, or the affected results should be stated as conditional on [E].
  3. [§7.3, Proposition 7.12 and proof of Theorem 7.9] Proposition 7.12 is asserted without proof, with only a reference to an unbounded version of the short exact sequence from [KasWin19]. This proposition supplies the bounded-product short exact sequence 0 → bnd∏ Perf(R_n) → bnd∏ D^b(Proj_{ω1}-R_n) → bnd∏ Calk^b_{ω1}(R_n) → 0 that underlies the cofiber sequence in Theorem 7.9(i). The bounded-amplitude version is not automatic from the unbounded one: one has to check that the three bounded subcategories form a short exact sequence. Moreover, the proof of Theorem 7.9 is described only as a modification of the proof of Theorem 6.1, and the bounded-product analogues of the arguments from Section 6 are not stated. Please provide the missing proof or a precise reference.
minor comments (5)
  1. [§1.5, Proposition 1.30] There is a typo in the statement: 'for an oobject P' should read 'for an object P'.
  2. [§5.2, proof of Proposition 5.23(i)] The reduction to k=1 by the base change x ↦ x^k is sound, but it should explicitly note that the subsystem indexed by multiples of k is cofinal in n ≥ k; otherwise the step may look like a loss of generality.
  3. [§0 and §3.7] Several results are deferred to [E] (Remarks 3.23, 3.24, 6.4, and Section 3.7). A short paragraph at the start of the paper listing which statements are proven here and which are deferred would help the reader assess the scope.
  4. [§0, Theorem 0.2] The identification K^cont(D(R/I^n)) ≅ K(R/I^n) is used without comment; it follows from the setup of [E24], but should be stated explicitly.
  5. [§7.1, Proposition 7.1] The equivalence between uniform bounded projective amplitude and membership in Stab(∏ Proj_{ω1}-S_j) is called 'essentially a tautology', but it uses the explicit description of Stab of a product; a one-line proof or reference would be helpful.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the K-theoretic identifications are proved from independent definitions and prior external results, not assumed by construction.

full rationale

The paper's central claims (Theorem 0.1 and Theorem 7.9) identify K^cont (and other localizing invariants) of the Clausen–Scholze nuclear module category Nuc_CS(R^hat_I) with the inverse limit of K(R/I^n). This is not an input: Nuc_CS is defined independently via solid/nuclear modules following CS20, while the target lim K(R/I^n) is the classical continuous K-theory. The author's own category Nuc(R^hat_I) is introduced via a dualizable internal Hom (Def. 3.28), then shown equivalent to a rigidification and to a dualizable inverse limit of D(R_n) (Props. 4.3, 5.23); each equivalence is proved, not posited. The computation of localizing invariants of dualizable inverse limits (Thm. 6.1) is a general theorem whose proof uses the homological-epimorphism condition (Thm. 5.4) and standard categorical lemmas; for the Koszul sequence this condition is verified by an explicit pro-equivalence computation (Prop. 5.23(i)). The original Nuc_CS category is related to the author's Nuc via a fully faithful inclusion and a short exact sequence (Cor. 7.6, 7.7) proved from the structural results of Section 7.2, which cite external sources (And23, AM24) for the nuclearity of preduals. Reliance on the author's earlier [E24] supplies definitions (K^cont, Calkin categories) and general theorems about dualizable categories; these are prior independent results used as tools, not the target statement, and the paper does not invoke them to forbid alternatives. The proof of Prop. 7.5 may be terse, and Proposition 5.23(i) involves a laborious check, but these are potential correctness/rigor concerns, not circular reductions. No equation in the paper is found that is equivalent by construction to its conclusion.

Assumptions & free parameters 0 free parameters · 7 assumptions · 1 invented entities

No free parameters are fitted to data; the uncountable cardinals kappa are universally quantified and no constants are tuned. The paper relies on standard infinity-category foundations, Gaitsgory-Rozenblyum rigidity, Clausen-Scholze condensed mathematics, and results from the author's prior [E24], none of which are machine-checked. The only newly introduced mathematical object used as a definiendum is the category Nuc(R^hat_I); it is characterized by three equivalent constructions and has independent evidence via the K-theory isomorphisms.

assumptions (7)
  • standard math Foundations of infinity-categories and presentable stable infinity-categories (Lurie, [Lur09, Lur17]).
    Used throughout the paper as the ambient framework.
  • standard math Rigid E1-monoidal categories and dualizable modules as in Gaitsgory-Rozenblyum [GaiRoz17].
    Base framework for Sections 1 and 3.
  • domain assumption Clausen-Scholze condensed mathematics and trace-class or nuclear map definitions [CS20].
    The category Nuc_CS(R^hat_I) is defined using the Clausen-Scholze construction.
  • domain assumption Results of [E24] on Cat_dual_st, Calkin categories, K^cont, the generator Shv^{geq 0}(R;Sp), and localizing invariant extension.
    The author's prior work provides the definition of continuous K-theory and several structural theorems used as black boxes.
  • standard math K-theory commutes with infinite products ([KasWin19, Theorem 1.3]) and finitary localizing invariants on products ([Cor23, Proposition 2.10 and 2.11]).
    Needed to pass from cofiber sequences to inverse-limit isomorphisms.
  • domain assumption Comparison with solid modules from [And23, Satz 3.8] identifying Nuc_CS with nuclear objects of D(SolidR^hat_I).
    Used in Proposition 7.5 and Corollary 7.7.
  • standard math Rigidification machinery: the inclusion CAlg_rig into CAlg(PrL_st,kappa) has a right adjoint ([Ram24b]).
    Used in Sections 1.5 and 4 for the rigidification description.
invented entities (1)
  • The category Nuc(R^hat_I) of nuclear modules in the author's new sense independent evidence
    purpose: Provides a natural categrification of continuous K-theory; shown equivalent to an internal Hom, a rigidification, and a dualizable inverse limit.
    Not a physical postulate; it is a defined construction. Independent evidence is supplied by the explicit equivalences in Proposition 5.23 and by the K-theory isomorphism theorems, which are independently checkable.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Localizing invariants of inverse limits." pith.science (2026). https://pith.science/paper/JHJNWFHV

@misc{pith2026250204123,
  author       = {Pith},
  title        = {Pith review of: Localizing invariants of inverse limits},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/JHJNWFHV}},
  note         = {Machine review of arXiv:2502.04123}
}
abstract

In this paper we study the category of nuclear modules on an affine formal scheme as defined by Clausen and Scholze \cite{CS20}. We also study related constructions in the framework of dualizable and rigid monoidal categories. We prove that the $K$-theory (in the sense of \cite{E24}) of the category of nuclear modules on $\operatorname{Spf}(R^{\wedge}_I)$ is isomorphic to the classical continuous $K$-theory, which in the noetherian case is given by the limit $\varprojlim\limits_{n} K(R/I^n).$ This isomorphism was conjectured previously by Clausen and Scholze. More precisely, we study two versions of the category of nuclear modules: the original one defined in \cite{CS20} and a different version, which contains the original one as a full subcategory. For our category $\operatorname{Nuc}(R^{\wedge}_I)$ we give three equivalent definitions. The first definition is by taking the internal $\operatorname{Hom}$ in the category $\operatorname{Cat}_R^{\operatorname{dual}}$ of $R$-linear dualizable categories. The second definition is by taking the rigidification of the usual $I$-complete derived category of $R.$ The third definition is by taking an inverse limit in $\operatorname{Cat}_R^{\operatorname{dual}}.$ For each of the three approaches we prove that the corresponding construction is well-behaved in a certain sense. Moreover, we prove that the two versions of the category of nuclear modules have the same $K$-theory, and in fact the same finitary localizing invariants.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dualizable Additive Categories

    math.AT 2026-08 conditional novelty 8.0 of 10

    Dualizable additive categories are characterized intrinsically and via almost modules, and a universal finitary localizing invariant (prestable motives) is constructed whose unit corepresents algebraic K-theory.

  2. An axiomatic approach to analytic $1$-affineness

    math.AG 2025-09 conditional novelty 6.0 of 10

    An axiomatic framework proves 1-affineness for analytic Betti stacks, analytic de Rham stacks, and rigid analytic varieties, giving categorical Künneth formulas.

Reference graph

Works this paper leans on

74 extracted references · 63 canonical work pages · cited by 2 Pith papers

  1. [1]

    Ad\'amek, J

    J. Ad\'amek, J. Rosick\'y. ``Locally presentable and accessible categories''. London Math. Society

    work page

  2. [2]

    Andreychev, ``K-theorie adischer R\"aume''

    G. Andreychev, ``K-theorie adischer R\"aume''. arXiv:2311.04394 (preprint)

    arXiv

  3. [3]

    Ansch\"utz, L

    J. Ansch\"utz, L. Mann, ``Descent for solid quasi-coherent sheaves on perfectoid spaces''. arXiv:2403.01951 (preprint)

    arXiv

  4. [4]

    Arinkin, D

    D. Arinkin, D. Gaitsgory, D. Kazhdan, S. Raskin, N. Rozenblyum, and Y. Varshavsky. ``The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support''. arXiv:2010.01906 (preprint)

    arXiv 2010

  5. [5]

    Bhatt, P

    B. Bhatt, P. Scholze, ``Projectivity of the Witt vector affine Grassmannian''. Invent. math. 209, 329-423 (2017)

    work page 2017

  6. [6]

    Banaschewski, R.-E

    B. Banaschewski, R.-E. Hoffmann (eds), ``Continuous Lattices'', Lecture Notes in Mathematics 871, pp. 209-248, Springer, 1981

    work page 1981

  7. [7]

    Barwick, ``On exact -categories and the Theorem of the Heart''

    C. Barwick, ``On exact -categories and the Theorem of the Heart''. Compositio Mathematica. 2015;151(11):2160-2186

    work page 2015

  8. [8]

    Barwick, ``On the algebraic K-theory of higher categories''

    C. Barwick, ``On the algebraic K-theory of higher categories''. J. Topol. 9 (2016), no. 1,

    work page 2016

Show all 74 references
  1. [9]

    Blumberg, D

    A. Blumberg, D. Gepner, and G. Tabuada, ``A universal characterization of higher algebraic K -theory''. Geom. Topol. 17 (2013), no. 2, pp. 733-838

    2013

  2. [10]

    Bondal, M

    A. Bondal, M. Van den Bergh, ``Generators and representability of functors in commutative and

  3. [11]

    M. V. Bondarko, ``Weight structures vs. t -structures; weight filtrations, spectral sequences, and complexes (for motives and in general)''. J. K-Theory, 6(3):387-504, 2010

    2010

  4. [12]

    Burklund, T

    R. Burklund, T. M. Schlank and A. Yuan, ``The Chromatic Nullstellensatz''. arXiv:2207.09929 (preprint)

    arXiv

  5. [13]

    Beilinson, ``Relative continuous K -theory and cyclic homology''

    A. Beilinson, ``Relative continuous K -theory and cyclic homology''. M\"unster J. Math. 7 (2014), no. 1, 51–81

    2014

  6. [14]

    Bloch, H

    S. Bloch, H. Esnault, and M. Kerz, ``Deformation of algebraic cycle classes in characteristic zero''. Algebr. Geom. 1 (2014), no. 3, 290-310

    2014

  7. [15]

    Bloch, H

    S. Bloch, H. Esnault, and M. Kerz, `` p -adic deformation of algebraic cycle classes''. Invent. Math. 195 (2014), no. 3, 673-722

    2014

  8. [16]

    Christ, T

    M. Christ, T. Dyckerhoff and T. Walde ``Complexes of stable -categories''. arXiv:2301.02606 (preprint)

    arXiv

  9. [17]

    Christ, T

    M. Christ, T. Dyckerhoff, T. Walde, ``Lax additivity''. arXiv:2402.12251 (preprint)

  10. [18]

    Clausen, P

    D. Clausen, P. Scholze, ``Lectures on Analytic Geometry''. Available at: https://www.math.uni-bonn.de/people/scholze/Analytic.pdf, 2020

    2020

  11. [19]

    Clausen, P

    D. Clausen, P. Scholze, ``Lectures on Analytic Stacks''. Available at: https://people.mpim-bonn.mpg.de/scholze/AnalyticStacks.html, 2024

    2024

  12. [20]

    C\'ordova Fedeli, ``Topological Hochschild homology of adic rings''

    A. C\'ordova Fedeli, ``Topological Hochschild homology of adic rings''. PhD thesis, University of Copenhagen, 2023

    2023

  13. [21]

    Drinfeld, ``Infinite-dimensional vector bundles in algebraic geometry: an introduction''

    V. Drinfeld, ``Infinite-dimensional vector bundles in algebraic geometry: an introduction''. The unity of mathematics, Progr. Math., vol. 244, Birkh\"auser Boston, Boston, MA, 2006, pp. 263-304

    2006

  14. [22]

    A. I. Efimov, `` K -theory and localizing invariants of large categories'', arXiv:2405.12169 (preprint)

    arXiv

  15. [23]

    A. I. Efimov, ``Rigidity of the category of localizing motives'', in preparation

  16. [24]

    G. F. Faltings, ``Almost étale extensions''. Ast\'erisque 279 (2002) pp. 185-270

    2002

  17. [25]

    Gaitsgory, N

    D. Gaitsgory, N. Rozenblyum. ``A study in derived algebraic geometry. Volume I: Correspondences and duality''. Volume 221 of Math. Surv. Monogr. Providence, RI: American Mathematical Society (AMS), 2017

    2017

  18. [26]

    Gabber, L

    O. Gabber, L. Ramero, ``Almost ring theory''. Lecture Notes in Mathematics, vol. 1800, Springer-Verlag, Berlin, 2003

    2003

  19. [27]

    Garkusha, M

    G. Garkusha, M. Prest, ``Injective objects in triangulated categories''. J. Algebra Appl. 3(4) (2004), 367-389

    2004

  20. [28]

    Gierz, K

    G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. Mislove, and D. S. Scott, ``A

  21. [29]

    D. R. Grayson, ``Algebraic K -theory via binary complexes''. J. Amer. Math. Soc.,

  22. [30]

    Grothendieck, ``Sur quelques points d'alg\`ebre homologique''

    A. Grothendieck, ``Sur quelques points d'alg\`ebre homologique''. Tohoku Math. J. (2) 9 (2), 1957, pp. 119-221

    1957

  23. [31]

    Grothendieck, ``Local cohomology'', notes by R

    A. Grothendieck, ``Local cohomology'', notes by R. Hartshorne, Lecture Notes in Math. 20 (1966)

    1966

  24. [32]

    Hennion, ``Tate objects in stable ( ,1) -categories''

    B. Hennion, ``Tate objects in stable ( ,1) -categories''. Homology, Homotopy and Appl. 19 (2017), no. 2, pp. 373-395

    2017

  25. [33]

    Johnstone, A

    P. Johnstone, A. Joyal,

  26. [34]

    Kaplansky, ``Projective modules''

    I. Kaplansky, ``Projective modules''. Annals of Math., vol. 68 (1958), 372-377

    1958

  27. [35]

    M. Kerz, S. Saito, G. Tamme, ``K-Theory of Non-Archimedean Rings. I''. Doc. Math. 24 (2019), pp. 1365-1411

    2019

  28. [36]

    M. Kerz, S. Saito, G. Tamme, ``K-Theory of Non-Archimedean Rings. II''. Nagoya Mathematical Journal. 2023; 251:669-685

    2023

  29. [37]

    Kashiwara, P

    M. Kashiwara, P. Schapira, ``Sheaves on manifolds''. Grundlehren der Mathematischen Wissenschaften, vol. 292, Springer-Verlag, Berlin, 1990

    1990

  30. [38]

    Kashiwara, P

    M. Kashiwara, P. Schapira, ``Persistent homology and microlocal sheaf theory''. J Appl. and Comput. Topology 2, 83-113 (2018)

    2018

  31. [39]

    Algebraic K -theory of stable -categories via binary complexes

    D. Kasprowski, C. Winges, "Algebraic K -theory of stable -categories via binary complexes". Journal of Topology 12 (2019), no. 2, 442-462

    2019

  32. [40]

    Klemenc, ``Stable hull of an exact -category''

    J. Klemenc, ``Stable hull of an exact -category''. Homology, Homotopy and Applications, vol.24(2), 2022, pp. 195-220

    2022

  33. [41]

    Kontsevich, Y

    M. Kontsevich, Y. Soibelman, ``Notes on A_ -algebras, A_ -categories and non-commutative geometry''. In: Homological Mirror Symmetry, Lecture Notes in Phys. 757, Springer, Berlin, 153-219 (2009)

    2009

  34. [42]

    Krause, T

    A. Krause, T. Nikolaus, and P. P\"utzst\"uck, ``Sheaves on manifolds''. Available at author’s webpage. https://www.uni-muenster.de/IVV5WS/WebHop/user/nikolaus/Papers/sheaves-on-manifolds.pdf

  35. [43]

    Krause, ``Smashing subcategories and the telescope conjecture - an algebraic approach''

    H. Krause, ``Smashing subcategories and the telescope conjecture - an algebraic approach''. Invent. math. 139, 99-133 (2000)

    2000

  36. [44]

    Krause, ``Cohomological Quotients and Smashing Localizations''

    H. Krause, ``Cohomological Quotients and Smashing Localizations''. American Journal of Mathematics, vol. 127, no. 6, 2005, pp. 1191-1246

    2005

  37. [45]

    Krause, ``Localization theory for triangulated categories''

    H. Krause, ``Localization theory for triangulated categories''. In: Holm T, Jørgensen P, Rouquier R, eds. Triangulated Categories. London Mathematical Society Lecture Note Series. Cambridge University Press; 2010:161-235

    2010

  38. [46]

    Lurie, ``Higher Topos Theory''

    J. Lurie, ``Higher Topos Theory''. Annals of Mathematics Studies, vol. 170, Princeton University Press, Princeton, NJ, 2009

    2009

  39. [47]

    F. W. Lawvere, ``The Category of Categories as a Foundation for Mathematics''. In: Eilenberg, S., Harrison, D.K., MacLane, S., Röhrl, H. (eds) Proceedings of the Conference on Categorical Algebra (1966). Springer, Berlin, Heidelberg

    1966

  40. [48]

    Lurie, ``Higher Algebra''

    J. Lurie, ``Higher Algebra''. 2017, www.math.ias.edu/ lurie/papers/HA.pdf

    2017

  41. [49]

    Lurie, ``Spectral Algebraic Geometry''

    J. Lurie, ``Spectral Algebraic Geometry''. 2018, www.math.ias.edu/ lurie/papers/SAG-rootfile.pdf

    2018

  42. [50]

    Mathew, ``The Galois group of a stable homotopy theory''

    A. Mathew, ``The Galois group of a stable homotopy theory''. Advances in Mathematics, Volume 291, 2016, pp. 403-541

    2016

  43. [51]

    Morrow, ``Pro unitality and pro excision in algebraic K -theory and cyclic homology''

    M. Morrow, ``Pro unitality and pro excision in algebraic K -theory and cyclic homology''. Journal f\"ur die reine und angewandte Mathematik (Crelles Journal), vol. 2018, no. 736, 2018, pp. 95-139

    2018

  44. [52]

    Neeman, ``The chromatic tower for D(R) ''

    A. Neeman, ``The chromatic tower for D(R) ''. With an appendix by Marcel B\"okstedt. Topology 31 (1992), no. 3, 519-532

    1992

  45. [53]

    Neeman, ``The Grothendieck duality theorem via Bousfields techniques and Brown representability''

    A. Neeman, ``The Grothendieck duality theorem via Bousfields techniques and Brown representability''. J. Amer. Math. Soc., 9 (1996), 205-236

    1996

  46. [54]

    Neeman, ``On a theorem of Brown and Adams''

    A. Neeman, ``On a theorem of Brown and Adams''. Topology 36 (1997), 619-645

    1997

  47. [55]

    Neeman, ``Triangulated Categories''

    A. Neeman, ``Triangulated Categories''. Annals of Mathematics Studies 148, Princeton University Press, Princeton, NJ, 2001

    2001

  48. [56]

    Neeman, ``On the derived category of sheaves on a manifold''

    A. Neeman, ``On the derived category of sheaves on a manifold''. Doc. Math., 6:483-488, 2001

    2001

  49. [57]

    Neeman, ``Brown Representability follows from Rosick\'y's theorem''

    A. Neeman, ``Brown Representability follows from Rosick\'y's theorem''. J. Topology, Volume 2, Issue 2, 2009, pp. 262-276

    2009

  50. [58]

    Neeman, ``Triangulated categories with a single compact generator and a Brown representability theorem''

    A. Neeman, ``Triangulated categories with a single compact generator and a Brown representability theorem''. arXiv:1804.02240 (preprint)

    arXiv

  51. [59]

    Neeman, ``Strong generators in D^ (X) and D^b_ (X) ''

    A. Neeman, ``Strong generators in D^ (X) and D^b_ (X) ''. Ann. of Math. (2) 193 (3) 689-732, May 2021

    2021

  52. [60]

    Positselski, ``Notes on limits of accessible categories''

    L. Positselski, ``Notes on limits of accessible categories''. arXiv:2310.16773 (preprint)

    arXiv

  53. [61]

    Quillen, ``Higher algebraic K-theory

    D. Quillen, ``Higher algebraic K-theory. I''. Algebraic K-theory, I: Higher K-theories

  54. [62]

    Ramzi, ``The formal theory of dualizable presentable -categories'', in preparation

    M. Ramzi, ``The formal theory of dualizable presentable -categories'', in preparation. Draft available at: https://sites.google.com/view/maxime-ramzi-en/publicationspreprints/prldbl

  55. [63]

    Ramzi, ``Dualizable presentable -categories''

    M. Ramzi, ``Dualizable presentable -categories''. arXiv:2410.21537 (preprint)

    arXiv

  56. [64]

    Ramzi, ``Locally rigid -categories'', arXiv:2410.21524 (preprint)

    M. Ramzi, ``Locally rigid -categories'', arXiv:2410.21524 (preprint)

  57. [65]

    Robalo, P

    M. Robalo, P. Schapira, ``A lemma for microlocal sheaf theory in the -categorical setting''. Publ. Res. Inst. Math. Sci. 54 (2018), no. 2, pp. 379-391

    2018

  58. [66]

    Raynaud, L

    M. Raynaud, L. Gruson, ``Crit\`eres de platitude et de projectivit\'e''. Invent Math 13, 1-89 (1971)

    1971

  59. [67]

    Roos, ``Caract\'erisation des cat\'egories qui sont quotients des cat\'egories de modules

    J.-E. Roos, ``Caract\'erisation des cat\'egories qui sont quotients des cat\'egories de modules

  60. [68]

    http://stacks.math.columbia.edu

    The Stacks Project Authors, ``Stacks Project''. http://stacks.math.columbia.edu

  61. [69]

    Suslin, ``Excision in the integral algebraic K-theory''

    A. Suslin, ``Excision in the integral algebraic K-theory''. Trudy Mat. Inst. Steklov. 208 (1995), no. Teor. Chisel, Algebra i Algebr. Geom., 290-317

    1995

  62. [70]

    Tamme, ``Excision in algebraic K -theory revisited''

    G. Tamme, ``Excision in algebraic K -theory revisited''. Compositio Mathematica 154 (2018), no. 9, 1801-1814

    2018

  63. [71]

    R. W. Thomason, ``The classification of triangulated subcategories''. Compositio Mathematica 105 (1997), 01-27

    1997

  64. [72]

    T\"oen, M

    B. T\"oen, M. Vaqui\'e, ``Moduli of objects in dg-categories''. Annales scientifiques de l'Ecole Normale Superieure 40.3 (2007): 387-444

    2007

  65. [73]

    Waldhausen, ``Algebraic K-theory of spaces''

    F. Waldhausen, ``Algebraic K-theory of spaces''. Algebraic and geometric topology (New Brunswick, N.J., 1983), Lecture Notes in Math., vol. 1126, Springer, Berlin,

    1983

  66. [74]

    J. B. Wagoner, ``Delooping the continuous K-theory of a valuation ring''. Pacific J. Math. 65(2): 533-538 (1976)

    1976

Pith tools

Reviewed August 8, 2026 · model on record in the stance chip above.