Pith. sign in

REVIEW 3 major objections 5 minor 1 cited by

Cyclotomic synthetic spectra

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

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

Pith's one-line read Cyclotomic synthetic spectra upgrade the motivic filtration on topological Hochschild homology to a full cyclotomic object.

desk verdict Genuine advance: CycSyn and the cyclotomic lift of the motivic filtration on THH, but the proof leans on a private connectivity bound that should be public. read the letter →

arxiv 2411.19929 v1 pith:APFPN5QD submitted 2024-11-29 math.KT math.AGmath.AT

Benjamin Antieau , Noah Riggenbach This is my paper · ORCID
classification math.KTmath.AGmath.AT MSC 19D5555P42
keywords cyclotomicsyntheticspectramotivicfiltrationtopologicalHochschildhomologyevencyclicsyntomiccohomologyCartiermodules
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

This paper defines an infinity-category $\mathrm{CycSyn}$ of $p$-typical cyclotomic synthetic spectra and proves that the motivic filtration on $\mathrm{THH}(R;\mathbf{Z}_p)$, previously known only as a filtered spectrum with circle action, is naturally an $E_\infty$-algebra in this category. The lift matters because it explains what the motivic filtration actually is and because the synthetic analogue of topological cyclic homology recovers the motivic filtrations on $\mathrm{TC}$, $\mathrm{TC}^-$, and $\mathrm{TP}$. The paper also constructs a t-structure on $\mathrm{CycSyn}$ whose heart is a category of $\eta$-deformed Cartier complexes, and uses this to obtain new degree bounds on syntomic cohomology of connective chromatically $p$-quasisyntomic ring spectra.

What carries the argument

The load-bearing object is the synthetic circle $T_{\mathrm{ev}}=F^\star_{\mathrm{ev}}(\mathbf{Z}[S^1])$, a lift of the filtered circle $T_{\mathrm{fil}}$ of [35] to synthetic spectra, equipped with a bicommutative bialgebra structure. From it the paper builds synthetic analogues of $C_n$-orbits, fixed points, and Tate constructions, and defines $\mathrm{CycSyn}$ as the lax equalizer of the identity and the $T_{\mathrm{ev}}$-equivariant $C_{p,\mathrm{ev}}$-Tate functor. The t-structure analysis passes through synthetic Cartier modules, and the identification of the heart with derived $V$-complete $\eta$-deformed Cartier complexes transfers the computation to graded objects with operators $d,F,V$.

What would settle it

Compute $\mathrm{gr}^i_{\mathrm{ev}}\mathrm{THH}(R;\mathbf{Z}_p)$ for a chromatically $p$-quasisyntomic $R$ and find some $i$ where it is not $i$-connective; such an example would break the Postnikov t-structure and the construction of $T_{\mathrm{ev}}$, and with them Theorem A.

Watch

Extended reading notes

Core claim

The paper's central claim is Theorem A: when $R$ is $p$-quasisyntomic, or chromatically $p$-quasisyntomic, the motivic filtration $F^\star_\mathrm{mot}\mathrm{THH}(R;\mathbf{Z}_p)$ naturally carries the structure of an $E_\infty$-algebra in $\mathrm{CycSyn}$. Here $\mathrm{CycSyn}$ is the category of pairs $(M,\phi_p)$ where $M$ is a synthetic spectrum with an action of the synthetic circle $T_{\mathrm{ev}}$ and $\phi_p\colon M\to M^{tC_{p,\mathrm{ev}}}$ is a $T_{\mathrm{ev}}$-equivariant Frobenius map. The paper shows that applying its synthetic $\mathrm{TC}$ functor recovers the motivic filtration on $\mathrm{TC}(R;\mathbf{Z}_p)$, with analogous results for $\mathrm{TC}^-$ and $\mathrm{TP}$, and identifies the heart of the Postnikov t-structure on $\mathrm{CycSyn}$ with derived $V$-complete $\eta$-deformed Cartier complexes.

Load-bearing premise

Everything rests on the even-filtration bound that for a connective $E_\infty$-ring $A$, the graded piece $\mathrm{gr}^i_{\mathrm{ev}}A$ lies in $D(\mathbf{S})^{[i,2i]}$, a result the paper cites as a private communication in Remark 2.13; if that bound fails for the relevant rings or for $\mathbf{Z}[S^1]$, the synthetic circle and Theorem A fail with it.

Editorial extensions

If this is right

  • For every connective chromatically $p$-quasisyntomic $E_\infty$-ring spectrum $R$, the $i$-th motivic graded piece $\mathrm{gr}^i_\mathrm{mot}\mathrm{TC}(R;\mathbf{Z}_p)$ lies in $D(\mathbf{Z}_p)[i-1,2i]$, extending the discrete-ring bound of [2].
  • The filtered Beilinson fiber square of Section 5 gives pullback squares relating $\mathrm{TC}$, $\mathrm{TC}^-$, and $\mathrm{TP}$ in synthetic spectra, refining the classical Beilinson fiber square.
  • For a smooth $\mathbf{F}_p$-algebra $A$, the heart computation yields $\pi^{\mathrm{cyc},P}_0(F^\star_{\mathrm{ev}}\mathrm{THH}(A))\simeq W\Omega^\bullet_A$, the de Rham-Witt complex, as objects of the synthetic cyclotomic category.
  • Formal $p$-divisible groups over smooth algebras over perfect $\mathbf{F}_p$-algebras embed fully faithfully into cyclotomic synthetic $F^\star_{\mathrm{ev}}\mathrm{THH}$-modules.

Reading between the lines

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

  • A testable extension the paper leaves implicit is the non-$p$-typical variant of $\mathrm{CycSyn}$, using Frobenii for all primes; the paper says the relevant definitions carry over directly.
  • The synthetic circle $T_{\mathrm{ev}}$ is the image of $\mathbf{G}_m$ under the known equivalence between synthetic spectra and cellular motivic spectra over $\mathbf{C}$, so Theorem A can be read as a motivic statement about normed motivic algebras with a $\mathbf{G}_m$-action.
  • The paper's open deformation question for the embedding of formal $p$-divisible groups could be approached through the prismatic $F$-gauge connection it cites, turning the fully faithful embedding of Theorem E into a statement about flat modules.
  • If the communicated synthetic Segal conjecture holds, the unit of $\mathrm{CycSyn}$ becomes $p$-adically self-dual, which would simplify the equalizer formula defining synthetic $\mathrm{TC}$.
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 introduces an ∞-category CycSyn of p-typical cyclotomic synthetic spectra, built from synthetic spectra with an action of a synthetic circle Tev defined via the even filtration. The central result (Theorem A) asserts that the motivic filtration on THH(R;Z_p), constructed by Bhatt–Morrow–Scholze for p-quasisyntomic rings and by Hahn–Raksit–Wilson for chromatically p-quasisyntomic ring spectra, naturally refines to an E∞-algebra object in CycSyn. The paper also develops a theory of synthetic orbits, fixed points, and Tate constructions; proves a synthetic Tate orbit lemma; constructs a cyclotomic t-structure whose heart is identified with derived V-complete η-deformed Cartier complexes (Theorem B); embeds formal p-divisible groups into module categories over synthetic THH (Theorem E); and proves a filtered Beilinson fiber square yielding new bounds on syntomic cohomology (Theorem F).

Significance. If the main theorems hold, the paper provides a conceptually satisfying home for the motivic filtration on topological Hochschild homology, explaining the compatibility of the cyclotomic Frobenius with the filtration. The synthetic Tate orbit lemma, the identification of the heart via Cartier modules, and the filtered Beilinson fiber square are likely to be reusable tools. The paper is ambitious and inventive, and the main results would be a substantial contribution to the field. However, several load-bearing inputs are attributed to private communications, and the connective hypotheses in the comparison theorems are not fully matched with the stated domains, so the current version is not yet fully verifiable.

major comments (3)
  1. [Remark 2.13; Lemma 2.37; Lemma 2.68] The connectivity bound gr^i_ev A ∈ D(S)^{[i,2i]} for connective E∞-ring spectra is attributed to a private communication from Burklund–Krause, with [33, Thm. 1.7] available only if the even filtration coincides with Pstrągowski's. This bound is load-bearing: it is used to prove Lemma 2.37 (F_ev(Z[S^1]) ≃ T_fil), Lemma 2.68 (Tev is Postnikov connective), Construction 2.15 (Sev is connective), and, through Lemma 2.75, the comparison results in Section 3. Without a public proof or a verified coincidence with Pstrągowski's filtration for the objects used in Theorem A, the construction of the synthetic circle and the main theorem are not fully verified. The authors should provide a proof in the paper or explicitly state the results as conditional on this bound.
  2. [Lemma 3.22; Theorem 3.27; Theorem 3.29] Lemma 3.22 assumes that R is a connective E∞-ring with S1-action admitting an S1-equivariant eff cover by an even E∞-ring. However, Theorem A and Theorems 3.27(b) and 3.29(b) are stated for all chromatically p-quasisyntomic E∞-ring spectra as defined in Definition 3.24, where no connective hypothesis appears. Since the comparison F_ev THH(R;Z_p) ≃ F_mot THH(R;Z_p) and the synthetic cyclotomic structure are proved via Lemma 3.22, the stated domain is broader than the proof supports. Please either add the missing connective hypothesis to the statements (and to the definition of chromatically p-quasisyntomic, if intended) or extend Lemma 3.22 and the underlying connectivity bound to the non-connective case.
  3. [Lemma 5.8] Lemma 5.8 relies on 'work of Sanath Devalapurkar and Arpon Raksit (private communications)' for the identification τ≥0 jtCp ≃ THH(Zp). This identification is used in Lemma 5.20 and Corollary 5.21 to establish the filtered Beilinson fiber square and the K(1)-local TC fiber sequence. Like the connectivity bound, this is a load-bearing unpublished input. The authors should either prove this statement, give a precise public reference, or flag the theorem as conditional on forthcoming work.
minor comments (5)
  1. [Section 4.7] In the proof of Theorem E, 'Deiudonné' should be 'Dieudonné'.
  2. [Section 2.4, Lemma 2.69] The phrase 'by counting ranks' in the proof that Z[η,d]/(2η, d^2−ηd) → π_0^P(T_ev) is injective is terse; a short argument using the known rank of the homology of S[S^1] would be clearer.
  3. [Section 2.3, Lemma 2.49] The footnote apologizing for using B for both the E∞-ring and the classifying space is understandable, but the proof would be easier to follow if the ring were renamed (e.g., A or C).
  4. [Section 3.3, Theorems 3.27 and 3.29] The filtrations F^⋆_HRW and F^⋆_BMS are not defined in the manuscript; please cite the precise definitions in [18] and [7] and clarify the p-completion conventions used in the comparisons.
  5. [Section 2.2, Proposition 2.54] Proposition 2.54 depends on Lemma 2.37, and therefore on the privately communicated connectivity bound; this dependency should be noted explicitly at the statement.

Circularity Check

0 steps flagged · score 2.0 of 10

No significant circularity: the cyclotomic synthetic structure on the motivic filtration is new content checked against the published BMS and HRW filtrations; self-citations supply background or independent computations, and the main caveats are unverified inputs, not circular reasoning.

full rationale

The central claim, Theorem A, is that the motivic filtration F_mot^≥* THH(R;Z_p) lifts to an E∞-algebra in CycSyn, where CycSyn is defined abstractly as the equalizer of id and (-)^{tC_p,ev} on SynSp^{T_ev}. This is not engineered from its own conclusion: the paper constructs the Tev-action and the cyclotomic Frobenius on F_ev THH(R;Z_p) in Theorems 3.27 and 3.29, and then proves equivalences with the previously published filtrations of Hahn–Raksit–Wilson and Bhatt–Morrow–Scholze. Those comparisons use external results ([18, Sec. 4.2], [36], [7]) rather than assuming the target. The equalities F_ev THH(R;Z_p) ≃ Fil_HRW THH(R;Z_p) are comparisons to benchmarks, not definitions of the cyclotomic synthetic structure. Self-citations appear, but they are not circular in a load-bearing way: [2] provides the Beilinson fiber square that Theorem F recovers as a special case, [3] supplies Cartier-module background, [10] computes TR of quasiregular semiperfect rings for Corollary C, and [36] proves Tate-evenness used in the BMS comparison; none of these results is equivalent to the cyclotomic-synthetic lift asserted in Theorem A. The genuine caveats are not circularity: Remark 2.13 relies on a Burklund–Krause private communication for the connectivity bound gr^i_ev A ∈ D(S)^{[i,2i]} used in Lemmas 2.37, 2.68, and 3.22, and Remark 3.6 records the synthetic Segal conjecture as a communication from Burklund. Moreover, Theorem 3.27 appears to omit the 'connective' hypothesis stated in Lemma 3.22. These are verifiability or correctness risks, not cases where a prediction reduces by construction to its input; the derivation chain has independent content. Score 2 reflects the minor self-citations and unpublished inputs, not actual circularity.

Assumptions & free parameters 0 free parameters · 6 assumptions · 2 invented entities

The central claim rests on a large amount of standard higher algebra and on domain-specific results from BMS/HRW and Nikolaus-Scholze. No numerical parameters are fitted. The only non-public ingredients are the Burklund-Krause connectivity bound and Devalapurkar-Raksit's identification of the image of j, both flagged in the paper as private communications.

assumptions (6)
  • domain assumption Even filtration connectivity bound: for connective E-infinity ring spectra A, gr^i_ev A is i-connective and 2i-coconnective.
    Quoted from Burklund-Krause private communication in Remark 2.13; used in Lemma 2.37, Lemma 2.68, and Lemma 2.75.
  • standard math Standard theory of synthetic spectra as filtered spectra (Gheorghe-Isaksen-Krause-Ricka, Pstragowski) and cyclotomic spectra (Nikolaus-Scholze).
    Framework assumptions used throughout Sections 2 and 3.
  • domain assumption Definitions and properties of quasisyntomic and chromatically quasisyntomic rings from BMS [7] and HRW [18].
    Definition 3.24 sets the scope of Theorem A and Theorem F.
  • domain assumption THH(R;Z_p) is p-completely Tate-even for quasiregular semiperfectoid R, with C_{p^n} variants.
    Used in Theorem 3.29(b), quoted from [36, Sec. 3].
  • domain assumption TR of quasiregular semiperfect rings is even, so TR(F^star_ev THH(A;Z_p)) is equivalent to tau^star TR(A) for smooth F_p-algebras A.
    Used in Corollary C and Lemma 4.25, cited to [10, Cor. 1.2].
  • domain assumption Tau_{>=0} j^{tCp} is equivalent to THH(Z_p;Z_p) as cyclotomic spectra.
    Used in Lemma 5.8 and Corollary 5.21; cited to private communication with Devalapurkar and Raksit, written form forthcoming [12].
invented entities (2)
  • Tev (synthetic circle) independent evidence
    purpose: A filtered lift of the circle group ring to synthetic spectra, enabling definitions of synthetic orbits, fixed points, and Tate constructions.
    Defined as F^star_ev S[S^1] in Definition 2.31; base-change to Z recovers Raksit's filtered circle T_fil (Proposition 2.54), and it is independently studied by Hedenlund-Moulinos [19].
  • CycSyn independent evidence
    purpose: The infinity-category of p-typical cyclotomic synthetic spectra, the home for the motivic filtration on THH.
    A new mathematical structure justified by Theorem A comparisons to BMS/HRW filtrations and by the heart identification in Theorem B.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cyclotomic synthetic spectra." pith.science (2026). https://pith.science/paper/APFPN5QD

@misc{pith2026241119929,
  author       = {Pith},
  title        = {Pith review of: Cyclotomic synthetic spectra},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/APFPN5QD}},
  note         = {Machine review of arXiv:2411.19929}
}
abstract

We define an $\infty$-category $\mathrm{CycSyn}$ of $p$-typical cyclotomic synthetic spectra and prove that the motivic filtration on $\mathrm{THH}(R;\mathbf{Z}_p)$, defined by Bhatt, Morrow, and Scholze when $R$ is quasisyntomic and by Hahn, Raksit, and Wilson in the chromatically quasisyntomic case, naturally admits the structure of a $p$-typical cyclotomic synthetic spectrum. As a consequence, we obtain new bounds on the syntomic cohomology of connective chromatically quasisyntomic $\mathbf{E}_\infty$-ring spectra.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

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

  1. Notes on Tate cohomology

    math.AT 2026-01 conditional novelty 6.0 of 10

    Tate cohomology is defined and studied in any three-functor formalism, unifying local-system and quasicoherent-sheaf examples with the same norm map and universal property.

Reference graph

Works this paper leans on

36 extracted references · 31 canonical work pages · cited by 1 Pith paper

  1. [2]

    Benjamin Antieau, Akhil Mathew, Matthew Morrow, and Tho mas Nikolaus, On the Beilinson fiber square , Duke Math. J. 171 (2022), no. 18, 3707–3806. MR 4516307 1, 1, 5, 5.1, 5.2, 5.3, 5.18

    work page 2022

  2. [1]

    Pi 11 (2023), Paper No

    Johannes Anschütz and Arthur-César Le Bras, Prismatic Dieudonné theory , Forum Math. Pi 11 (2023), Paper No. e2, 92. MR 4530092 4.26

    work page 2023

  3. [3]

    Benjamin Antieau and Thomas Nikolaus, Cartier modules and cyclotomic spectra , J. Amer. Math. Soc. 34 (2021), no. 1, 1–78. MR 4188814 1, 1, 4, 4.2, 4.3, 4.4, 4.5, 4.5, 4.6

    work page 2021

  4. [4]

    425, ix+207

    Tom Bachmann and Marc Hoyois, Norms in motivic homotopy theory , Astérisque (2021), no. 425, ix+207. MR 4288071 1

    work page 2021

  5. [5]

    Bhargav Bhatt, Prismatic F-gauges, available at https://www.math.ias.edu/~bhatt/teaching/mat549f22/lectures.pdf (version accessed 10 April 2023). 1

    work page 2023

  6. [6]

    1, 3.3, 3.3, 3.3

    Bhargav Bhatt and Jacob Lurie, Absolute prismatic cohomology , arXiv preprint arXiv:2201.06120 (2022). 1, 3.3, 3.3, 3.3

    arXiv 2022

  7. [7]

    Bhargav Bhatt, Matthew Morrow, and Peter Scholze, Topological Hochschild homology and integral p-adic Hodge theory, Publ. Math. Inst. Hautes Études Sci. 129 (2019), 199–310. MR 3949030 2.1, 3.24, 3.3, 3.3, 3.3

    work page 2019

  8. [8]

    Spencer Bloch, Crystals and de Rham-Witt connections , J. Inst. Math. Jussieu 3 (2004), no. 3, 315–326. MR 2074428 1, 4.7 53 REFERENCES

    work page 2004

Show all 36 references
  1. [9]

    Dustin Clausen, Akhil Mathew, and Matthew Morrow, K-theory and topological cyclic homology of henselian pairs, J. Amer. Math. Soc. 34 (2021), no. 2, 411–473. MR 4280864 5.1, 5.1, 5.1

    2021

  2. [10]

    4.22, 4.7

    Micah Darrell and Noah Riggenbach, TR of quasiregular semiperfect rings is even , arXiv preprint arXiv:2308.13008 (2023). 4.22, 4.7

    2023 arXiv

  3. [11]

    2, 333–348 (en)

    Aise Johan de Jong and William Messing, Crystalline Dieudonné theory over excellent schemes , Bulletin de la Société Mathématique de France 127 (1999), no. 2, 333–348 (en). MR 2001b:14075 4.7

    1999

  4. [12]

    Sanath Devalapurkar and Arpon Raksit, T HH (Zp) and the image of J, forthcoming (2024). 1, 5.3

    2024

  5. [13]

    Devinatz, Morava’s change of rings theorem , The Čech centennial (Boston, MA, 1993), Contemp

    Ethan S. Devinatz, Morava’s change of rings theorem , The Čech centennial (Boston, MA, 1993), Contemp. Math., vol. 181, Amer. Math. Soc., Providence, RI, 1995, pp. 83–118. MR 1320989 5.2

    1993

  6. [14]

    Vladimir Drinfeld, Prismatization, arXiv preprint arXiv:2005.04746 (2020). 1

    2020 arXiv

  7. [15]

    Isaksen, Achim Krause, and N icolas Ricka, C-motivic modular forms , J

    Bogdan Gheorghe, Daniel C. Isaksen, Achim Krause, and N icolas Ricka, C-motivic modular forms , J. Eur. Math. Soc. (JEMS) 24 (2022), no. 10, 3597–3628. MR 4432907 2, 2.1, 2.14

    2022

  8. [16]

    Rok Gregoric, Moduli stack of oriented formal groups and cellular motivic spectra over C, arXiv preprint arXiv:2111.15212 (2021). 2.14

    2021 arXiv

  9. [17]

    Pure Appl

    Owen Gwilliam and Dmitri Pavlov, Enhancing the filtered derived category , J. Pure Appl. Algebra 222 (2018), no. 11, 3621–3674. MR 3806745 2.1

    2018

  10. [18]

    1, 2, 2.9, 2.13, 2.1, 2.1, 2.1, 2.28, 2.2, 2.2, 3.2, 3.2, 3.24, 3.3, 3.3, 3.28

    Jeremy Hahn, Arpon Raksit, and Dylan Wilson, A motivic filtration on the topological cyclic homology of commutative ring spectra, arXiv preprint arXiv:2206.11208 (2022). 1, 2, 2.9, 2.13, 2.1, 2.1, 2.1, 2.28, 2.2, 2.2, 3.2, 3.2, 3.24, 3.3, 3.3, 3.28

    2022

  11. [19]

    Alice Hedenlund and Tasos Moulinos, The synthetic Hilbert additive group scheme , arXiv preprint arXiv:2411.17441 (2024). 1, 2

    2024 arXiv

  12. [20]

    Lars Hesselholt and Thomas Nikolaus, Topological cyclic homology , Handbook of homotopy theory, CRC Press/Chapman Hall Handb. Math. Ser., CRC Press, Boca Raton , FL, 2020, pp. 619–656. MR 4197995 2.30

    2020

  13. [21]

    2.1, 2.14

    Michael Hopkins and Jacob Lurie, On Brauer groups of Lubin–Tate spectra I , available at https://www.math.ias.edu/~lurie/papers/Brauer.pdf (version dated 29 May 2020). 2.1, 2.14

    2020

  14. [22]

    Luc Illusie, Complexe de de Rham-Witt et cohomologie cristalline , Ann. Sci. École Norm. Sup. (4) 12 (1979), no. 4, 501–661. MR 565469 4.24

    1979

  15. [23]

    Dan Isaksen, Guozhen Wang, and Zhouli Xu, Adams–Novikov charts , available at https://bpb-us-e1.wpmucdn.com/s.wayne.edu/dist/0/60/files/2020/01/ANSScharts.pdf (version dated 3 January 2020). 2.15

    2020

  16. [24]

    Achim Krause and Thomas Nikolaus, Bökstedt periodicity and quotients of DVRs , Compos. Math. 158 (2022), no. 8, 1683–1712. MR 4490929 4.4

    2022

  17. [25]

    170, Princeton Univer sity Press, Princeton, NJ, 2009

    Jacob Lurie, Higher topos theory, Annals of Mathematics Studies, vol. 170, Princeton Univer sity Press, Princeton, NJ, 2009. MR 2522659 3.3

    2009

  18. [26]

    2.1, 4.1

    , Higher algebra , available at https://www.math.ias.edu/~lurie/papers/HA.pdf, version dated 18 September 2017. 2.1, 4.1

    2017

  19. [27]

    Akhil Mathew, The Galois group of a stable homotopy theory , Adv. Math. 291, 403–541. 2.2

  20. [28]

    Akhil Mathew, Niko Naumann, and Justin Noel, Nilpotence and descent in equivariant stable homotopy theo ry, Adv. Math. 305 (2017), 994–1084. 3.2, 3.2

    2017

  21. [29]

    Baptiste Morin, Topological Hochschild homology and zeta values , Duke Math. J. 173 (2024), no. 13, 2619–2685. MR 4809332 1, 3.3, 3.3, 3.3

    2024

  22. [30]

    Tasos Moulinos, The geometry of filtrations , Bull. Lond. Math. Soc. 53 (2021), no. 5, 1486–1499. MR 4335221 2.1

    2021

  23. [31]

    Tasos Moulinos, Marco Robalo, and Bertrand Toën, A universal Hochschild-Kostant-Rosenberg theorem , Geom. Topol. 26 (2022), no. 2, 777–874. MR 4444269 1, 2, 2.2 REFERENCES 54

    2022

  24. [32]

    221 (2018), no

    Thomas Nikolaus and Peter Scholze, On topological cyclic homology , Acta Math. 221 (2018), no. 2, 203–409. MR 3904731 1, 2.3, 2.3, 2.5, 2.5, 2.5, 3, 3.1, 3.5, 3.1, 3.1, 3.3, 3.3, 3.3, 3.3, 4.1, 4.6, 5.2

    2018

  25. [33]

    2, 2.9, 2.13, 2.2, 2.4

    Piotr Pstrągowski, Perfect even modules and the even filtration , arXiv preprint arXiv:2304.04685 (2023). 2, 2.9, 2.13, 2.2, 2.4

    2023 arXiv

  26. [34]

    , Synthetic spectra and the cellular motivic category , Invent. Math. 232 (2023), no. 2, 553–681. MR 4574661 2, 2.1, 2.14

    2023

  27. [35]

    1, 1, 2, 2.1, 2.2, 2.2, 2.3, 2.59, 2.3, 2.62, 2.3, 2.65, 2.3, 3.2

    Arpon Raksit, Hochschild homology and the derived de Rham complex revisit ed, arXiv preprint arXiv:2007.02576 (2020). 1, 1, 2, 2.1, 2.2, 2.2, 2.3, 2.59, 2.3, 2.62, 2.3, 2.65, 2.3, 3.2

    2020

  28. [36]

    Noah Riggenbach, K-theory of truncated polynomials , arXiv preprint arXiv:2211.11110 (2022). 3.3 Depar tment of Ma thema tics, Nor thwestern University Max-Planck-Institut für Ma thema tik Bonn antieau@northwestern.edu Depar tment of Ma thema tics, Nor thwestern University noa...

    2022 arXiv

Pith tools

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