Dualizable Additive Categories

Ishan Levy; Jiacheng Liang; Vladimir Sosnilo

REVIEW 4 major objections 5 minor 27 references

Dualizable Additive Categories

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

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

Pith's one-line read Dualizable additive categories are exactly the separated Grothendieck prestable categories satisfying $\mathrm{AB4}^*$ and $\mathrm{AB6}$—equivalently, categories of connective almost modules over connective $\mathbb{E}_1$-rings.

desk verdict Big, ambitious paper with likely-true main theorems; the written proofs have gaps that a serious referee can close. read the letter →

arxiv 2608.04898 v1 pith:KQIWPLM3 submitted 2026-08-05 math.AT math.AGmath.CTmath.KTmath.NT

Ishan Levy , Jiacheng Liang , Vladimir Sosnilo This is my paper

classification math.ATmath.AGmath.CTmath.KTmath.NT MSC 18N6018F25

keywords dualizableadditivecategoriespresentableGrothendieckprestablealmostmathematicsidempotentidealsflatobjectslocalizinginvariantsalgebraicK-theory

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

The paper tries to establish that 'dualizable additive' is a robust and recognizable condition, not a formal curiosity: a presentable additive category is dualizable additive if and only if it is a separated Grothendieck prestable category satisfying $\mathrm{AB4}^*$ and $\mathrm{AB6}$, and if and only if it is a category of connective almost modules over a connective $\mathbb{E}_1$-ring. If this is right, the class has a concrete algebraic normal form, is controlled by flat objects, and includes the connective nuclear modules used in analytic geometry as additive rigidifications of complete modules. The payoff is a universal localizing invariant whose unit corepresents nonconnective algebraic $K$-theory, so dualizable additive categories inherit the full invariant-theoretic machinery previously built for small stable categories.

What carries the argument

The central machinery is the pair of identifications that run through the whole paper. A dualizable additive category is a dualizable object in the symmetric monoidal category $\mathrm{Pr}^{\mathrm{L}}_{\mathrm{ad}}$ of presentable additive categories; the paper shows it is equivalently a category of the form $\mathrm{aMod}_{(R,I)}(\mathrm{Sp}_{\ge 0})$, the kernel of the connective internal localization $\mathrm{Mod}_R(\mathrm{Sp}_{\ge 0}) \to \mathrm{Mod}_{R/I^\infty}(\mathrm{Sp}_{\ge 0})$ arising from a $\pi_0$-surjective homological epimorphism $R \to S$. Connective internal localizations are localizations whose right adjoint is fully faithful and colimit-preserving and whose unit is a $\pi_0$-epimorphism; the classification of such localizations by idempotent ideals $I \subset \pi_0 R$ is what links dualizability to almost mathematics. The remaining structural results run on flat objects and continuous prestabilization $\mathrm{P}^{\mathrm{small}}_{\sqcup,\mathrm{fil}}$, and on the universal invariant $\mathcal{M}\mathrm{ot}_{\mathrm{pst}}$ built from short exact sequences in the style of algebraic $K$-theory.

What would settle it

Exhibit a dualizable additive category that is not equivalent to $\mathrm{aMod}_{(R,I)}(\mathrm{Sp}_{\ge 0})$ for any connective $\mathbb{E}_1$-ring $R$ and idempotent ideal $I \subset \pi_0 R$; Theorem 3.26 predicts this is impossible.

Watch

Extended reading notes

Core claim

The paper's central discovery is that additive dualizability is a purely structural condition: a presentable additive category $\mathcal{C}$ is dualizable additive precisely when it is a separated Grothendieck prestable category satisfying $\mathrm{AB4}^*$ and $\mathrm{AB6}$, and precisely when it is the category $\mathrm{aMod}_{(R,I)}(\mathrm{Sp}_{\ge 0})$ of connective almost modules over a connective $\mathbb{E}_1$-ring $R$ with an idempotent ideal $I \subset \pi_0 R$. The authors prove that every such category is generated by flat objects, that the flat objects form a compactly assembled additive category, and that passing to flat objects is inverse to continuous prestabilization. They then show that the connective nuclear modules $\mathrm{Nuc}(R)_{\ge 0}$ over an adic $\mathbb{E}_\infty$-ring are the additive rigidification of connective complete $R$-modules. Finally, they build a universal finitary stable localizing invariant $\mathcal{M}\mathrm{ot}_{\mathrm{pst}}$ on dualizable additive categories whose unit corepresents nonconnective algebraic $K$-theory, and they prove that localizing invariants coincide with spherical sheaves in the FF-topology.

Load-bearing premise

The load-bearing premise is the external classification theorem that $\pi_0$-surjective homological epimorphisms out of a connective $\mathbb{E}_1$-ring are exactly classified by idempotent ideals of $\pi_0 R$; if that classification carried extra hypotheses or failed, the almost-module characterization would not follow.

Editorial extensions

If this is right

Every dualizable additive category can be written as $\mathrm{aMod}_{(R,I)}(\mathrm{Sp}_{\ge 0})$, so idempotent ideals in $\pi_0 R$ give a complete label for such categories.
The categories of dualizable additive categories and compactly assembled additive categories are equivalent, with flat objects and continuous prestabilization as inverse passages.
For any adic $\mathbb{E}_\infty$-ring $R$, $\mathrm{Nuc}(R)_{\ge 0}$ is additively rigid and is the additive rigidification of connective complete $R$-modules.
Localizing invariants on dualizable additive categories are exactly spherical sheaves in the FF-topology, and the motives of small additive and dualizable additive categories generate the same presentable stable subcategory.
The unit of $\mathcal{M}\mathrm{ot}_{\mathrm{pst}}$ corepresents nonconnective algebraic $K$-theory, giving $\mathrm{Map}_{\mathcal{M}\mathrm{ot}_{\mathrm{pst}}}(U^{\mathrm{cont}}(\mathrm{Sp}_{\ge 0}), U^{\mathrm{cont}}(\mathcal{A})) \simeq K^{\mathrm{cont}}(\mathrm{Sp}(\mathcal{A}))$.

Reading between the lines

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

Beyond the paper: because every dualizable additive category is presented by an idempotent ideal, computations of continuous $K$-theory on analytic categories might be reduced to algebraic data attached to $\pi_0 R$ and $I$.
Beyond the paper: the flat-object equivalence suggests a reconstruction formalism in which a dualizable additive category is recovered from its flat objects, potentially giving a Tannakian-style description of analytic categories such as nuclear modules.
Beyond the paper: the authors' suspicion that $\mathcal{M}\mathrm{ot}_{\mathrm{pst}} \to \mathcal{M}_{\mathrm{loc}}$ is not fully faithful implies prestable motives may retain strictly more information than stable motives; testing their planned dualizable c-category variant would settle how much extra information.

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.

Desk Editor's Note

read the letter

First the bottom line: I think the main theorems are probably correct, but the text as written is not yet a proof of them. The paper would deserve a serious referee, and I'd accept it for review, but I'd send it back for major revision.

What's genuinely new: Theorem A's characterization of dualizable additive categories via AB4* and AB6 and almost modules, Theorem B's flat generation and equivalence with compactly assembled categories, Theorem C on nuclear modules as additive rigidification, and the prestable motives section with K-theory corepresented by the unit. These are real advances and go well beyond applying known methods. The paper also repairs some cited results in the appendices (Efimov's formula), which is a service to the community.

Now the soft spots, in proportion. The stress-test note about Lemma 3.24 is correct. Barr–Beck–Lurie identifies the localization with algebras over a monad; it does not by itself produce a connective E1-ring map R→S with p = f_!. The authors need either a proof that the monad is tensoring with a ring (using, say, the colimit-preserving fully faithful right adjoint and the classification of smashing localizations), or a citation to a theorem that does exactly that. As written, Lemma 3.24 is a bridge that Theorem 3.26 and the almost-module classification sit on, so this is a load-bearing gap. I don't think it's fatal — I believe the statement is true — but it has to be filled.

Theorem 7.4 is similarly under-proved. "It is not hard to show that it satisfies the desired universal property, using the same philosophy as [BGT13]" is not enough for the construction of the universal stable category of prestable motives, especially since the universal property is the main point. The proof of Theorem G is also cut off in the version I saw; I cannot verify it.

The reliance on [HS24, Theorem B] is fine if that theorem holds; it's an external classification and the authors use it as a premise. That's acceptable. The self-citations to [Lia26] and [LS25] don't bother me; those are presumably available and the cited lemmas are auxiliary.

Who is this for? People working in higher algebra, derived analytic geometry, and K-theory. The paper is long and technical, but the big ideas are clear. With the gaps filled, it would be a major contribution. As it stands, I'd still assign it to a referee, because the stakes are high and the gaps are fixable.

My recommendation: send to peer review, with instructions to focus on Lemma 3.24 and the proofs in Section 7. Require a complete proof of the ring-map claim or an explicit reference, and a real proof of Theorem 7.4.

Referee Report

4 major / 5 minor

Summary. The paper develops a theory of dualizable additive categories (dualizable objects in the symmetric monoidal category of presentable additive categories). Its central results are several characterizations: dualizability is equivalent to being a separated Grothendieck prestable category satisfying AB4* and AB6 (Theorem 2.22), and to being a category of connective almost modules over a connective E1-ring with an idempotent ideal (Theorem 3.26). The paper also proves flat generation and an equivalence between dualizable additive categories and compactly assembled additive categories (Section 4), identifies connective nuclear modules over adic E∞-rings as additive rigidifications (Section 5), relates localizing invariants to spherical sheaves in the FF-topology (Section 6), and constructs a category of prestable motives whose unit corepresents nonconnective algebraic K-theory (Section 7). The proof strategy is largely structural, with many auxiliary results postponed to appendices, including a complete proof of a formula of Efimov in Appendix D.

Significance. If the main results hold, the paper would represent a substantial advance: it provides a satisfying intrinsic characterization of dualizable additive categories, a bridge to almost mathematics, a flat-object reconstruction theorem, and a new localizing-invariant framework with concrete analytic applications. The paper is also valuable for its detailed appendices and for explicitly repairing or supplying proofs of results used from the literature. However, two load-bearing arguments are currently not established at the required level of rigor: the passage from connective internal localizations to extension-of-scalars along π0-surjective ring maps in Lemma 3.24, and the universal property of the prestable motives category in Theorem 7.4. These gaps affect the almost-module classification and the motivic corepresentability theorem, respectively.

major comments (4)

[§3.3, Lemma 3.24] The proof of Lemma 3.24 asserts that a connective internal localization p: Mod_R(Sp≥0) → D 'satisfies Barr–Beck–Lurie conditions' and 'therefore there exists a connective E1-ring map f: R → S such that p = f_!'. This is not a consequence of Barr–Beck–Lurie alone: that theorem identifies D with modules over the monad p^R p on Mod_R(Sp≥0), but it does not identify this monad with extension of scalars along an E1-ring map, nor does it produce the ring S. The additional hypotheses—that p^R is fully faithful, colimit-preserving, and that the unit is π0-epimorphic—may well force a smashing localization and hence such an S, but this is a nontrivial theorem about localizations of module categories and no proof or citation is supplied. Since Corollary 3.25 and Theorem 3.26 depend on this step, the announced almost-module classification is not established by the written argument. In particular, the external theorem [HS24, Theorem B] classifies the poset LQ_R of π0-surjective homological epimorphisms out of R; it does not by itself prove that every connective internal localization of Mod_R(Sp≥0) is of the form f_! for f in LQ_R.
[§7, Theorem 7.4] The proof of Theorem 7.4 consists of the single sentence 'It is not hard to show that it satisfies the desired universal property, using the same philosophy as [BGT13].' This is insufficient for a theorem on which Theorems E and G rest. The construction of Motpst as a localization of Funcofil,×(Prdbl,op_ad, Sp) requires verifying at least: presentability and stability of the localization, that the localization is finitary, that the universal property holds for arbitrary cocomplete stable categories E, and that the comparison with the category Mot'pst built from small additive categories in Remark 7.6 is actually an equivalence. These are not formalities: the adaptation from the small stable setting to the large dualizable additive setting involves the κ-compactness approximations of Proposition 7.3 and the identification of localizing invariants in Theorem 6.39, and each step needs to be spelled out.
[§3.3, Theorem 3.30] Theorem 3.30, which computes dualizable kernels of maps between connective module categories in terms of almost modules, inherits the gap in Lemma 3.24. Its proof invokes Corollary 3.25 and the identification of closed subcategories with categories of almost modules, so the resulting claim that kerd(Mod_R(Sp≥0) → Mod_S(Sp≥0)) ≃ aMod_(R,I0)(Sp≥0) is only as solid as the unproved Lemma 3.24.
[§2, Remark 2.24 and Theorem 3.26] The proof of Theorem 3.26 uses Remark 2.24 to embed an arbitrary dualizable additive category as a closed subcategory of a connective module category. That remark depends on the argument of Theorem 2.22, and in particular on the assertion that the localization supplied by Gabriel–Popescu preserves products. While the main line of that argument is plausible, the proof of Theorem 2.22 contains a nontrivial step—'By [Efi24, Remark 1.54], C is compactly assembled'—that is imported without proof; if that external statement is not available in the intended generality, the embedding theorem and hence Theorem 3.26 would need a different proof.

minor comments (5)

[Abstract and Introduction] There are several formatting and spacing errors, e.g. 'AB4∗ and AB6axioms' and 'connectiveE1-rings' in the abstract; these should be corrected.
[Definition 1.10(3)] The statement of AB6 says that a certain map 'is an isomorphism' in an ∞-category; it should say 'is an equivalence'.
[Proposition 1.8] The proof says that the embedding ρ_* is 'closed under small colimits'; it should specify that the essential image is closed under small colimits, and clarify why this verifies the prestable condition from [SAG, Corollary C.1.2.3].
[§7, Theorem 7.4] The notation Funcofil,× is used without definition; the intended category of functors preserving cofiltered limits and finite products should be defined explicitly.
[§7, Remark 7.6] Remark 7.6 asserts an equivalence Motpst ≃ Mot'pst; this is not immediate and should reference the precise statements from Theorem 6.39 that justify it.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity; the main classification theorems are derived from external results and internal arguments, with only auxiliary self-citations.

full rationale

The derivation chain for the central characterizations is not circular. Theorem 2.22 is proved from Ramzi's Theorem 2.9, Efimov's compactly-assembled remark, Lurie's Gabriel-Popescu theorem, and explicit product-preservation arguments; the converse does not invoke the almost-module statement. The almost-module classification (Theorem 3.26) is obtained by combining the external classification [HS24, Theorem B] with Lemma 3.24 and the kernel-quotient correspondence of Proposition 3.20; Theorem 3.26 is not fed back into Lemma 3.24. The same holds for flat generation (Theorem 4.13): it uses Theorem 3.26 as an input, but the almost-module identification is not derived from flat generation. Theorem C uses additive rigidification criteria and Efimov's nuclear-object formulas; the identification of Nuc(R)_{\ge0} as a rigidification is not assumed in the definition of Nuc(R). The universal property of Mot_{pst} (Theorem 7.4) is a standard quotient presentation by the exact relations inverted by localizing invariants, hence is constructively universal rather than circular. Self-citations to [Lia26], [LS25], and [LZ26] are used for auxiliary lemmas and negative examples, but no central claim is justified solely by a self-citation; the self-cited statements (e.g., Proposition 1.32 and Lemma 2.12) are auxiliary and are not the announced classification. The weakest point is Lemma 3.24, whose proof asserts that a connective internal localization satisfies Barr-Beck-Lurie and 'therefore' is extension of scalars along a ring map; this is an unsupported inference and a genuine correctness risk, but it is not circular because the conclusion is not an input, a definition, or a self-cited theorem of the paper. Thus the circularity score is 0.

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

The paper relies on standard machinery of presentable infinity-categories, Lurie's SAG, and several recent theorems by Ramzi, Efimov, Hebestreit-Scholze, and Clausen-Scholze. No numerical parameters are fitted. The new object Motpst is a construction proven to exist, not an unproved postulate.

assumptions (5)

domain assumption Hebestreit-Scholze classification [HS24, Theorem B]: π0-surjective homological epimorphisms out of a connective E_k-ring are classified by idempotent ideals of π0A.
Invoked in Lemma 3.24, Corollary 3.25, and Theorem 3.26 to identify closed subcategories of connective module categories with almost module categories.
domain assumption Ramzi characterization [Ram24, Theorem 1.49] of dualizable additive categories as retracts of compact projectively generated presentable additive categories, among other equivalences.
Basis for several steps in Theorem 2.22 and later sections on flat objects and compactly assembled categories.
standard math Lurie's SAG results on Grothendieck prestable categories, the Gabriel-Popescu theorem (Theorem C.2.1.6), and the theory of presentable t-categories.
Used throughout, especially in Theorem 2.17, Proposition 1.9, and the proof of Theorem 2.22.
domain assumption Efimov's results on dualizable stable categories and compactly assembled categories, including [Efi24, Remark 1.54] and [Efi25a, Proposition 1.30].
Used in Theorem 2.22 to know separated AB4*/AB6 categories are compactly assembled, and in Section 5 for the nuclear module criterion.
domain assumption Existence of rigidification [Ram26, Corollary 4.73] and the BGT universal localizing invariant philosophy [BGT13].
Used in Section 5.1 for additive rigidification and in Theorem 7.4 for the construction of prestable motives.

invented entities (1)

Motpst, the stable category of prestable motives
purpose: Universal finitary localizing invariant for dualizable additive categories, with unit corepresenting nonconnective algebraic K-theory.
Introduced and constructed in Theorem 7.4. Existence is asserted by a localization of a functor category, but the proof is sketched and no independent verification outside the paper is given.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Dualizable Additive Categories." pith.science (2026). https://pith.science/paper/KQIWPLM3

@misc{pith2026260804898,
  author       = {Pith},
  title        = {Pith review of: Dualizable Additive Categories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KQIWPLM3}},
  note         = {Machine review of arXiv:2608.04898}
}

abstract

We develop a comprehensive theory of dualizable additive categories. We provide several equivalent characterizations, notably identifying them as separated Grothendieck prestable categories satisfying the $\mathrm{AB4}^*$ and $\mathrm{AB6}$ axioms. We establish a connection to almost mathematics by demonstrating that they arise precisely as the categories of connective almost modules over connective $\mathbb{E}_1$-rings. Furthermore, we prove that dualizable additive categories are generated by flat objects, and that the passage to flat objects yields an equivalence between dualizable additive categories and compactly assembled additive categories. As a primary application within analytic geometry, we characterize the category $\mathrm{Nuc}(R)_{\geq 0}$ of connective nuclear modules (in the sense of Clausen--Scholze) over an adic $\mathbb{E}_\infty$-ring $R$ via a universal property, identifying it as the additive rigidification of the category of connective complete $R$-modules. Finally, we construct the universal finitary stable localizing invariant for dualizable additive categories, the presentable stable category $\mathcal{M}\mathrm{ot}_{\mathrm{pst}}$ of prestable motives, and demonstrate that its unit corepresents nonconnective algebraic $K$-theory. We prove that the motives of small additive categories and those of dualizable additive categories generate the same presentable stable subcategory.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

27 extracted references · 15 canonical work pages

[1]

K-Theorie adischer Räume

[And23] Grigory Andreychev. K-Theorie adischer Räume. arXiv:2311.04394

arXiv
[7]

[Efi25b] Alexander I. Efimov. Rigidity of the category of localizing motives. arXiv:2510.17010

arXiv
[8]

Protein logic: a statistical mechanical study of signal integration at the single-molecule level

[ES12] Sergio Estrada and Manuel Saorín.Locally finitely presented categories with no flat objects. arXiv:1209.1912

work page Pith review arXiv 1912
[10]

Moduli stack of oriented formal groups and the chromatic filtration

[FJ93] F. T. Farrell and L. E. Jones. “Isomorphism conjectures in algebraicK-theory”. In:J. Amer. Math. Soc.6.2 (1993), pp. 249–297.doi: 10.2307/2152801. [GGN15] David Gepner, Moritz Groth, and Thomas Nikolaus. “Universality of multiplicative infinite loop space machines”. In:Algebr. Geom. Topol.15.6 (2015), pp. 3107–3153.issn: 1472-2747. doi: 10.2140/agt...

work page Pith review arXiv 1993
[13]

Module-theoretic approach to dualizable Grothendieck categories

arXiv: 2405.16468 [math.CT]. url: https://arxiv.org/abs/2405.16468. [Ker] Jacob Lurie. Kerodon. Online monograph available athttps://kerodon.net

work page Pith review arXiv
[14]

Higher algebra in $t$-structured tensor triangulated $\infty$-categories

[KNP24] Achim Krause, Thomas Nikolaus, and Phil Pützstück. “Sheaves on manifolds”. In:Available at author’s webpage(2024). [KTS19] Moritz Kerz, Georg Tamme, and Shuji Saito. “K-Theory of Non-Archimedean Rings. I”. In: Documenta Mathematica24 (2019), pp. 1365–1411.issn: 1431-0643. doi: 10.4171/dm/707. url: http://dx.doi.org/10.4171/dm/707. [Lia] Jiacheng L...

work page Pith review arXiv 2024
[15]

arXiv:2509.14774

[LS25] Ishan Levy and Vladimir Sosnilo.c-structures and trace methods beyond connective rings. arXiv:2509.14774

work page arXiv
[16]

Smashing, Balmer, Zariski spectra: an ideal approach

[LZ26] Jiacheng Liang and Changhan Zou.Smashing, Balmer, Zariski spectra: an ideal approach. arXiv:2607.13329

work page Pith review arXiv

Show all 27 references

[17]

Parra, Manuel Saorín, and Simone Virili.Locally finitely presented Grothendieck categories with a flat generator

[Mar+25] Lorenzo Martini, Carlos E. Parra, Manuel Saorín, and Simone Virili.Locally finitely presented Grothendieck categories with a flat generator. arXiv:2508.00670
[18]

arXiv:1612.00418

[Mor16] Matthew Morrow.A historical overview of pro cdh descent in algebraicK-theory and its relation to rigid analytic varieties. arXiv:1612.00418

arXiv
[20]

Synthetic spectra and the cellular motivic category

[Pst23] Piotr Pstrągowski. “Synthetic spectra and the cellular motivic category”. In:Invent. Math. 232.2 (2023), pp. 553–681. [Qui97] Daniel Quillen.Module theory over nonunital rings. Unpublished notes, pages 1445–1459

2023
[22]

Locally rigid ∞-categories

[Ram26] Maxime Ramzi. Locally rigid ∞-categories. arXiv:2410.21524v2
[24]

Spectral Algebraic Geometry

[SAG] Jacob Lurie. “Spectral Algebraic Geometry”. Feb. 2018.url: http://www.math.harvard. edu/~lurie/papers/SAG-rootfile.pdf. [Sch26] Peter Scholze. Lectures on Analytic Geometry. arXiv:2605.03655

2018 arXiv
[25]

Theorem of the Heart in Negative K-Theory for Weight Structures

[Sos19] Vladimir Sosnilo. “Theorem of the Heart in Negative K-Theory for Weight Structures”. In: Documenta Mathematica24 (2019), pp. 2137–2158.issn: 1431-0643. doi: 10.4171/dm/722. url: http://dx.doi.org/10.4171/dm/722. [Ste23] Germán Stefanich. Derived ∞-categories as exact c...

2019 arXiv
[26]

arXiv:2307.16337v2

REFERENCES 97 [Ste25] Germán Stefanich.Classification of fully dualizable linear categories. arXiv:2307.16337v2

arXiv
[27]

Delooping the continuousK-theory of a valuation ring

[Wag76] John Wagoner. “Delooping the continuousK-theory of a valuation ring”. In:Pacific J. Math. 65.2 (1976), pp. 533–538.doi: 10.2140/pjm.1976.65.533. [Win24] Christoph Winges.Localisation and devissage in algebraic K-Theory. Lecture notes, Uni- versität Regensburg, Winter t...

1976 doi
[1997]

Dualizable presentable ∞-categories

[Ram24] Maxime Ramzi. Dualizable presentable ∞-categories. arXiv:2410.21537

arXiv
[2012]

On nilpotent extensions of∞-categories and the cyclotomic trace

[ES21] Elden Elmanto and Vladimir Sosnilo. “On nilpotent extensions of∞-categories and the cyclotomic trace”. In:International Mathematics Research Notices(July 2021), pp. 16569– 16633. issn: 1073-7928. doi: 10.1093/imrn/rnab179. eprint: https://academic.oup.com/ imrn/advance-...

2021 doi
[2016]

Separable commutative algebras and Galois theory in stable homotopy theories

[NP24] Niko Naumann and Luca Pol. “Separable commutative algebras and Galois theory in stable homotopy theories”. In:Adv. Math.449 (2024), p. 109736. [NP26] Thomas Nikolaus and Phil Pützstück.Unbounded Weight Structures: (Re)construction and Completion. arXiv:2605.00783

2024 arXiv
[2017]

A quadratic refinement of the Grothendieck–Lefschetz–Verdier trace formula

[Hoy15] Marc Hoyois. “A quadratic refinement of the Grothendieck–Lefschetz–Verdier trace formula”. In: Algebr. Geom. Topol.14.6 (2015), pp. 3603–3658. REFERENCES 96 [Hoy18] Marc Hoyois. “K-theory of dualizable categories”. available athttp://www.mathematik.ur. de/hoyois/papers...

2015
[2018]

arXiv:2409.01940

[HS24] Fabian Hebestreit and Peter Scholze.A note on higher almost ring theory. arXiv:2409.01940
[2020]

p-adic deformation of algebraic cycle classes

[BEK13] Spencer Bloch, Hélène Esnault, and Moritz Kerz. “p-adic deformation of algebraic cycle classes”. In:Invent. Math.195.3 (2013), pp. 673–722.doi: 10.1007/s00222-013-0461-4. [BGT13] Andrew J Blumberg, David Gepner, and Gonçalo Tabuada. “A universal characterization of hig...

2013
[2021]

Caractérisation des catégories qui sont quotients de catégories de modules par des sous-catégories bilocalisantes

[Roo65] Jan-Erik Roos. “Caractérisation des catégories qui sont quotients de catégories de modules par des sous-catégories bilocalisantes”. French. In:C. R. Acad. Sci. Paris261 (1965). MR0190207, Zbl 0135.02202, pp. 4954–4957. [RSW25] Maxime Ramzi, Vladimir Sosnilo, and Christ...

1965
[2023]

Left-exact localizations of ∞-topoi I: Higher sheaves

[Ane+22] Mathieu Anel, Georg Biedermann, Eric Finster, and André Joyal. “Left-exact localizations of ∞-topoi I: Higher sheaves”. In:Adv. Math.400 (2022), p. 108268. [Aok25] Ko Aoki. Very Schwartz coidempotents and continuous spectrum. arXiv:2505.04817

2022 arXiv
[2024]

[Efi25a] Alexander I. Efimov. Localizing invariants of inverse limits. arXiv:2502.04123

arXiv
[2025]

arXiv:2010.01906

[Ari+20] Dima Arinkin, Dennis Gaitsgory, David Kazhdan, Sam Raskin, Nick Rozenblyum, and Yasha Varshavsky.The stack of local systems with restricted variation and geometric Langlands theory with nilpotent singular support. arXiv:2010.01906

2010 arXiv
[2026]

Ambidexterity and height

[CSY21] Shachar Carmeli, Tomer M. Schlank, and Lior Yanovski. “Ambidexterity and height”. In: Adv. Math.385 (2021), p. 107763. [Efi24] Alexander I. Efimov.K-theory and localizing invariants of large categories. arXiv:2405.12169

2021 arXiv

Pith tools

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

[1] [1]

K-Theorie adischer Räume

[And23] Grigory Andreychev. K-Theorie adischer Räume. arXiv:2311.04394

arXiv

[2] [7]

[Efi25b] Alexander I. Efimov. Rigidity of the category of localizing motives. arXiv:2510.17010

arXiv

[3] [8]

Protein logic: a statistical mechanical study of signal integration at the single-molecule level

[ES12] Sergio Estrada and Manuel Saorín.Locally finitely presented categories with no flat objects. arXiv:1209.1912

work page Pith review arXiv 1912

[4] [10]

Moduli stack of oriented formal groups and the chromatic filtration

[FJ93] F. T. Farrell and L. E. Jones. “Isomorphism conjectures in algebraicK-theory”. In:J. Amer. Math. Soc.6.2 (1993), pp. 249–297.doi: 10.2307/2152801. [GGN15] David Gepner, Moritz Groth, and Thomas Nikolaus. “Universality of multiplicative infinite loop space machines”. In:Algebr. Geom. Topol.15.6 (2015), pp. 3107–3153.issn: 1472-2747. doi: 10.2140/agt...

work page Pith review arXiv 1993

[5] [13]

Module-theoretic approach to dualizable Grothendieck categories

arXiv: 2405.16468 [math.CT]. url: https://arxiv.org/abs/2405.16468. [Ker] Jacob Lurie. Kerodon. Online monograph available athttps://kerodon.net

work page Pith review arXiv

[6] [14]

Higher algebra in $t$-structured tensor triangulated $\infty$-categories

[KNP24] Achim Krause, Thomas Nikolaus, and Phil Pützstück. “Sheaves on manifolds”. In:Available at author’s webpage(2024). [KTS19] Moritz Kerz, Georg Tamme, and Shuji Saito. “K-Theory of Non-Archimedean Rings. I”. In: Documenta Mathematica24 (2019), pp. 1365–1411.issn: 1431-0643. doi: 10.4171/dm/707. url: http://dx.doi.org/10.4171/dm/707. [Lia] Jiacheng L...

work page Pith review arXiv 2024

[7] [15]

arXiv:2509.14774

[LS25] Ishan Levy and Vladimir Sosnilo.c-structures and trace methods beyond connective rings. arXiv:2509.14774

work page arXiv

[8] [16]

Smashing, Balmer, Zariski spectra: an ideal approach

[LZ26] Jiacheng Liang and Changhan Zou.Smashing, Balmer, Zariski spectra: an ideal approach. arXiv:2607.13329

work page Pith review arXiv