REVIEW 2 major objections 5 minor 17 references
$\mathrm{Mot}^{\mathrm{loc}}$ is not compactly generated
T0 review · 2 major / 5 minor · reviewed 2026-08-12 · deepseek-v4-flash
Pith's one-line read Localizing motives are not compactly generated over any connective E2-ring with nonzero rationalization, including the sphere.
desk verdict Proves Mot^loc is not compactly generated for any connective E2 ring with R_Q≠0, by a short argument from Mathew; the key generalization to dualizable motives needs a filled-in proof. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
This proof rests on three load-bearing pieces: (1) the rigidity theorem of [Efi25b], which identifies compact objects in $\mathrm{Mot}^{\mathrm{loc}}_R$ with dualizable objects and gives a self-duality; (2) the triviality theorem of [Mat20], which says that over a connective rational $E_\infty$-ring every dualizable motive has a trivial $S^1$-action on its Hochschild homology, with the extension to all dualizable motives supplied by the filtered-colimit preservation of Corollary 1.3; and (3) the computation in [Hes94] that the square-zero extension $S = R \oplus \Sigma R$ has Hochschild homology containing $R[S^1]$ as a summand. The mechanism is to combine (1) and (2) to show every compact object has trivial $S^1$-Hochschild homology, then use (3) to create a single motive whose Hochschild homology has a nontrivial $S^1$-summand, forcing the contradiction that no compact generation can exist.
What would settle it
Exhibit a connective rational $E_\infty$-ring $A$ and a dualizable $A$-linear motive $M$ whose Hochschild homology has a non-trivial $S^1$-action, for example containing $A[S^1]$ as a retract. Such an example would directly contradict the key input from [Mat20] and, with it, the proof that $\mathrm{Mot}^{\mathrm{loc}}_A$ is not compactly generated.
Extended reading notes
Core claim
The central claim is that for any connective $E_2$-ring spectrum $R$ with $R_{\mathbb{Q}} \neq 0$, the $\infty$-category $\mathrm{Mot}^{\mathrm{loc}}_R$ of $R$-linear localizing motives is not compactly generated. The argument assumes, for contradiction, that $\mathrm{Mot}^{\mathrm{loc}}_R$ is compactly generated, meaning every object is a filtered colimit of compact objects. By the rigidity theorem of [Efi25b], compact objects in $\mathrm{Mot}^{\mathrm{loc}}_R$ are exactly the dualizable objects. By a theorem of [Mat20] — extended from smooth and proper categories to all dualizable motives via Corollary 1.3 — every dualizable motive over a connective rational $E_\infty$-ring has a trivial $S^1$-action on its Hochschild homology. The paper then constructs a specific motive, the $R$-linear motive of the square-zero extension $S = R \oplus \Sigma R$, whose Hochschild homology contains $R[S^1]$ as a retract (a fact supplied by [Hes94]). Because $R[S^1]$ is compact, that retract would have to factor through one of the compact pieces in any colimit decomposition, yielding a retraction of a trivial $S^1$-action onto a nontrivial one. That contradiction establishes the theorem.
Load-bearing premise
The load-bearing premise is that the triviality theorem of [Mat20], originally proved for smooth and proper categories, really does extend to all dualizable $A$-linear motives, with Corollary 1.3 supplying the only step that needed smooth-and-properness; if that extension fails, the contradiction argument collapses.
Editorial extensions
If this is right
- As a direct consequence, $\mathrm{Mot}^{\mathrm{loc}}_S$ over the sphere spectrum is not compactly generated, so it cannot be described as the ind-category of a small subcategory of compact objects.
- For every connective $E_2$-ring with nonzero rationalization, relative localizing motive categories fail to be compactly generated, making this the generic behavior rather than a pathology.
- The proof gives a concrete criterion: any motive whose Hochschild homology contains a nontrivial $S^1$-summand such as $R[S^1]$ is not in $\mathrm{Ind}((\mathrm{Mot}^{\mathrm{loc}}_R)^\omega)$, hence cannot be a filtered colimit of compact objects.
- The argument shows that compact objects in $\mathrm{Mot}^{\mathrm{loc}}_R$ are extremely special (they all have trivial $S^1$-action on Hochschild homology over rational bases), which is a structural constraint on any future description of the category.
Reading between the lines
- The paper's closing remark suggests a stronger statement: $\mathrm{Mot}^{\mathrm{loc}}_R$ may be non-compactly generated for every nonzero $E_2$-ring spectrum, not just those with nonzero rationalization. A natural next step is to test whether the method can be adapted to nonconnective rings or to rings supported at a single prime $p$, where the rational triviality theorem no longer applies.
- If non-compact generation is as universal as suggested, then attempts to develop a 'derived Morita theory' or a presentation of localizing motives via generators and relations will need a different notion of finiteness, perhaps one based on dualizability rather than compactness.
- A concrete experimental check of the paper's mechanism: compute the object $A \otimes_R S$ in $\mathrm{Mot}^{\mathrm{loc}}_A$ for a concrete base such as $R = \mathbb{Q}$. The theorem predicts this object is not compact; verifying this in an explicit model would test the delicate extension of the triviality theorem to all dualizable motives.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper claims that for every connective E2-ring spectrum R with nonzero rationalization R_Q, the infinity-category Mot^loc_R of localizing motives is not compactly generated; in particular, this holds for R = S. The proof combines Efimov's rigidity theorem (compact = dualizable for Mot^loc), a theorem of Mathew on triviality of S^1-actions on Hochschild homology over connective rational E-infinity rings, and a square-zero extension construction producing a motive whose Hochschild homology contains A[S^1] as a summand. A colimit-of-compacts argument then yields a contradiction.
Significance. If the proof is completed, the result is significant: it resolves a natural open question about the absolute localizing motive category and extends Efimov's non-compact-generation result from a relative case to a broad class of bases including the sphere spectrum. The proof is concise and builds on very recent heavy machinery (Efimov's rigidity, RSW25, Stefanich), and it explicitly notes its limitations (nonconnective and p-local bases are not covered). The square-zero-extension trick is elegant, and the paper gives a clear structural reason why compact generation fails. The main weakness is that the load-bearing extension of Mathew's theorem to all dualizable motives is asserted rather than demonstrated.
major comments (2)
- [Section 2, Theorem 2.1] The theorem is load-bearing, and its proof is not self-contained. The author asserts in a single sentence that Mathew's argument for smooth and proper A-linear categories extends to all dualizable A-linear motives because the only use of smooth/properness is to lift to a smooth and proper R-linear category, and that Corollary 1.3 supplies such a lift. But Corollary 1.3 only produces a dualizable motive over a compact connective base; it does not imply that this dualizable motive lies in the image of the motive functor from smooth and proper R-linear categories. The paper itself concedes that not all dualizable motives are expected to be of this form. The proof must therefore either (i) show that the dualizable R-linear motive obtained from Corollary 1.3 is represented by a smooth and proper R-linear category, or (ii) give a step-by-step check that Mathew's proof never uses smoothness or properness except in the lifting step, e.g., for finiteness of HH, for the existence of a duality trace, or for Kaledin's degeneration argument. Without one of these, the contradiction in Corollary 2.3 has no foundation.
- [Section 2, proof of the Theorem (last paragraph)] The statement that the internal left adjoint Mot^loc_R -> Mot^loc_A preserves Ind((Mot^loc_-)^omega) requires that the functor preserves compact objects. The paper states rigidity, and hence compact = dualizable, for commutative ring spectra, while R is only an E2-ring. Please clarify how this preservation step is justified for E2 R; if it follows from Efimov's rigidity for arbitrary rigid bases, cite the precise statement, and otherwise prove the preservation of compactness directly.
minor comments (5)
- [Section 1, Proposition 1.2] The phrase 'This is clear' in the proof of Proposition 1.2 hides a nontrivial point: every C-motivic equivalence should be exhibited as a filtered colimit of base changes of C_i-motivic equivalences. Please give a few more details here, since this proposition feeds directly into Corollary 1.3.
- [Section 2, Corollary 2.3] The notation A[S^1] is used without definition. Please specify that it denotes the free A-module on S^1_+ with the free S^1-action, and note explicitly that a retract of a trivial S^1-module is trivial, which is the contradiction.
- [Section 2, Theorem 2.1] The sentence 'This "is" [Mat20, Corollary 4.8] and the second paragraph of Section 3 in loc. cit..' is grammatically awkward and should be rephrased.
- [Section 2, Warning 2.2] The standalone 'Warning 2.2' could be integrated into the proof of Corollary 2.3, where the distinction between 'trivial' and 'unipotent' actions is actually used.
- [References] Reference [Ram24b] is dated 2026 while [Ram24a] is dated 2024; please check that the years are consistent with the arXiv postings.
Circularity Check
No significant circularity: the proof is a new contradiction argument built on external theorems; the disputed step is an unverified generalization of Mathew's proof, not a circular reduction.
full rationale
The derivation chain is not circular. The main theorem is proven by: (1) invoking Efimov's rigidity theorem (external) to identify compact and dualizable motives; (2) proving a filtered-colimit preservation statement (Corollary 1.3) from Proposition 1.2 and Ramzi's prior work on dualizable categories; (3) extending Mathew's Theorem 2.1 to dualizable motives; (4) deriving a contradiction in Corollary 2.3 from the presence of an A[S^1] summand; and (5) reducing the E2-ring case to the rational E∞-ring case using Hesselholt's/Raskin's computation of HH for a square-zero extension. None of these steps defines the conclusion into its own hypotheses, fits a parameter and then calls it a prediction, or renames a known result. The load-bearing step is Theorem 2.1, which relies on Mathew's external result plus a single-sentence assertion that Mathew's proof for smooth proper categories extends verbatim to all dualizable motives. That assertion is not demonstrated and may be false if Mathew's argument uses smooth-properness in any other essential way, so it is a genuine correctness risk. However, it is not circularity: the paper does not reduce Theorem 2.1 to itself or to an equivalent input by construction. The self-citations to [Ram24a], [RSW25], and [Ram25a] are used as auxiliary structural lemmas, not as an unverified uniqueness theorem that forces the main claim. They concern general dualizable presentable categories and motives, not the target statement that Mot^loc_R fails to be compactly generated. Thus the paper is self-contained in its reliance on external theorems, and the central derivation has independent content. No specific circular step can be exhibited, so the circularity score is 0.
Assumptions & free parameters
assumptions (6)
- standard math Theory of ∞-categories as developed in [Lur09, Lur12].
- domain assumption Existence and universal property of Mot^loc_R (BGT13).
- domain assumption Efimov's rigidity theorem [Efi25b, Theorem 0.3]: Mot^loc_R is rigid, dualizable, self-dual, and compact objects coincide with dualizable objects.
- domain assumption Mathew's theorem [Mat20, Corollary 4.8] extends to all dualizable A-linear motives over a connective rational E∞-ring A, giving trivial S^1-action on HH(M/A).
- domain assumption Hesselholt/Raskin: HH(R⊕ΣR / R) contains R[S^1] as a summand (Hes94, Ras18, Proposition 4.5.1).
- domain assumption The base-change functor Mot^loc_R→Mot^loc_A is an internal left adjoint and preserves Ind((Mot^loc_-)^ω).
Cite this review
Pith. "Pith review of $\mathrm{Mot}^{\mathrm{loc}}$ is not compactly generated." pith.science (2026). https://pith.science/paper/XRBLFSF7
@misc{pith2026260810681,
author = {Pith},
title = {Pith review of: $\mathrmMot^\mathrmloc$ is not compactly generated},
year = {2026},
howpublished = {\url{https://pith.science/paper/XRBLFSF7}},
note = {Machine review of arXiv:2608.10681}
}
abstract
We prove that the $\infty$-category of localizing motives in the sense of Blumberg--Gepner--Tabuada is not compactly generated, extending a result of Efimov.
Reference graph
Works this paper leans on
-
[1]
On the Blumberg--Mandell K\"unneth theorem for TP
Antieau, B., Mathew, A., and Nikolaus, T. On the Blumberg--Mandell K\"unneth theorem for TP . Selecta Mathematica, 24(5):4555--4576, 2018
work page 2018
-
[2]
J., Gepner, D., and Tabuada, G
Blumberg, A. J., Gepner, D., and Tabuada, G. A universal characterization of higher algebraic K -theory. Geometry & Topology, 17(2):733--838, 2013
work page 2013
-
[3]
Efimov, A. I. K-theory and localizing invariants of large categories. arXiv:2405.12169 https://arxiv.org/abs/2405.12169, 2025
arXiv 2025
-
[4]
Efimov, A. I. Rigidity of the category of localizing motives. arXiv:2510.17010 https://arxiv.org/abs/2510.17010, 2025
arXiv 2025
-
[5]
Gaitsgory, D. and Rozenblyum, N. A study in derived algebraic geometry: Volume I : correspondences and duality , volume 221. American Mathematical Society, 2019
work page 2019
-
[6]
Stable topological cyclic homology is topological Hochschild homology
Hesselholt, L. Stable topological cyclic homology is topological Hochschild homology. Asterisque, 226:175--192, 1994
work page 1994
-
[7]
Non-commutative Hodge-to-de Rham degeneration via the method of Deligne-Illusie
Kaledin, D. Non-commutative Hodge-to-de Rham degeneration via the method of Deligne-Illusie . Pure and Applied Mathematics Quarterly, 4(3):785--876, 2008
work page 2008
-
[8]
Spectral sequences for cyclic homology
Kaledin, D. Spectral sequences for cyclic homology. arXiv:1601.00637 https://arxiv.org/abs/1601.00637, 2016
work page Pith review arXiv 2016
Show all 17 references
-
[9]
Higher topos theory
Lurie, J. Higher topos theory. Princeton University Press, 2009
2009
-
[10]
Higher algebra
Lurie, J. Higher algebra. 2017. Available at author's webpage
2017
-
[11]
Kaledin’s degeneration theorem and topological Hochschild homology
Mathew, A. Kaledin’s degeneration theorem and topological Hochschild homology. Geometry & Topology, 24(6):2675--2708, 2020
2020
-
[12]
Dualizable presentable -categories
Ramzi, M. Dualizable presentable -categories. arXiv:2410.21537 https://arxiv.org/abs/2410.21537, 2024
2024 arXiv
-
[13]
Locally rigid -categories
Ramzi, M. Locally rigid -categories. arXiv:2410.21524 https://arxiv.org/abs/2410.21524, 2026
2026
-
[14]
On endomorphisms of topological Hochschild homology
Ramzi, M. On endomorphisms of topological Hochschild homology. arXiv:2503.04438 https://arxiv.org/abs/2503.04438, 2025
2025 arXiv
-
[15]
Every motive is the motive of a stable -category
Ramzi, M., Sosnilo, V., and Winges, C. Every motive is the motive of a stable -category. arXiv:2503.11338 https://arxiv.org/abs/2503.11338, 2025
2025 arXiv
-
[16]
On the Dundas-Goodwillie-McCarthy theorem
Raskin, S. On the Dundas-Goodwillie-McCarthy theorem. arXiv:1807.06709 https://arxiv.org/abs/1807.06709, 2018
2018 arXiv
-
[17]
Classification of fully dualizable linear categories
Stefanich, G. Classification of fully dualizable linear categories. arXiv:2307.16337 https://arxiv.org/abs/2307.16337, 2025
2025 arXiv
Reviewed August 12, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.