Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Trace methods for equivariant algebraic K-theory

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

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

Pith's one-line read Equivariant algebraic K-theory of a G-ring carries a trace map to a new equivariant topological Hochschild homology, recovering known traces at fixed points.

desk verdict Genuinely new equivariant Dennis trace; the fixed-point passage in Theorem 8.12 needs repair before the AGHKK recovery claim is justified. read the letter →

arxiv 2505.11327 v1 pith:A5RKMJHF submitted 2025-05-16 math.AT math.KT

David Chan , Teena Gerhardt , Inbar Klang This is my paper · ORCID
classification math.ATmath.KT MSC 19D5555P91
keywords equivariantalgebraicK-theorytopologicalHochschildhomologytracemapnormstwistedspectralcategoriesfreeloopspaceA-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's aim is to give equivariant algebraic K-theory the same kind of computational tool that transformed ordinary algebraic K-theory: a trace map into a topological invariant. The authors define a new equivariant topological Hochschild homology by viewing the classical cyclic bar construction as a norm from G-ring spectra to spectra with $G\times S^1$-action, and construct a trace map from genuine equivariant algebraic K-theory to this theory. When the group is trivial, the construction recovers the classical trace from algebraic K-theory to topological Hochschild homology. When the group is cyclic, taking fixed points reproduces the previously known trace from fixed-point equivariant K-theory to twisted topological Hochschild homology. The same framework yields trace maps from fixed points of equivariant A-theory to free loop spaces.

What carries the argument

The load-bearing object is the equivariant norm $N^{G\times S^1}_G(R)$, built from the cyclic bar construction after changing universe; it turns a $G$-ring spectrum into a genuine $G\times S^1$-spectrum. The key identity is the geometric-fixed-point formula for the diagonal subgroup: for a cofibrant $C_n$-ring spectrum, the geometric fixed points at the diagonal copy of $C_n$ in $C_n\times S^1$ recover twisted topological Hochschild homology. This identity is what converts the fixed-point-level trace of earlier work into an equivariant map. The trace construction itself uses a chain of module-category adjunctions between the category of perfect modules and the one-object spectral category of the ring, together with an additivity equivalence for cyclic bar constructions.

What would settle it

Check whether the comparison map of Proposition 6.11 induces an equivalence after taking fixed points of the diagonal copy of $C_n$ by computing its effect on homotopy groups of the twisted cyclic bar constructions; any nonzero kernel or cokernel would break the identification with the earlier trace. Alternatively, for a concrete coefficient ring such as the field of four elements with its nontrivial automorphism, compute the $C_2$-fixed point trace explicitly and compare it with the known trace; a mismatch would falsify the central theorem.

Watch

Extended reading notes

Core claim

The central discovery is that the classical trace map from algebraic K-theory to topological Hochschild homology can be refined to an equivariant map of spectra with G-action, rather than existing only on fixed points. Concretely, for a cofibrant $G$-ring spectrum $R$ the paper constructs a map $I^{R^\infty}_V K_G(R) \to eTHH(R)$ in the homotopy category of spectra with $G$-action, where $K_G(R)$ is genuine equivariant algebraic K-theory and $eTHH(R)$ is the cyclic bar construction of $R$ with its combined $G$ and circle action. The paper proves this map is the ordinary trace when $G$ is trivial, and that for cyclic $G$ its fixed points agree with the trace map from previous work, $K_{C_n}(R)^{C_n} \to THH^{C_n}(R)$. It also establishes that the equivariant topological Hochschild homology is invariant under a module-category equivalence, satisfies additivity, and is a multiplicative norm $N^{G\times S^1}_G(R)$.

Load-bearing premise

The argument depends on an unproved assertion that a comparison map between cyclic bar constructions, known to be an equivalence on underlying spectra, remains an equivalence after passing to the fixed points used to recover the cyclic-group trace; if that fixed-point comparison fails, the recovery of the earlier trace map would not follow.

Editorial extensions

If this is right

  • Every cofibrant G-ring spectrum acquires a trace map from its equivariant algebraic K-theory to the new equivariant topological Hochschild homology, recovering the classical trace when G is trivial.
  • For cyclic groups, the fixed points of the new trace map agree with the previously constructed trace from fixed-point equivariant K-theory to twisted topological Hochschild homology.
  • The new equivariant topological Hochschild homology is invariant under passage to equivalent module categories and satisfies additivity, so computations can be carried out after replacing a category by a simpler equivalent one.
  • The norm description makes equivariant topological Hochschild homology accessible through geometric fixed points, giving a route to concrete computations.
  • Fixed points of both forms of equivariant A-theory receive trace maps to the suspension spectrum of the free loop space of the underlying space.

Reading between the lines

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

  • The recovery of the earlier cyclic-group trace inherits a gap: the paper asserts without proof that a certain comparison map remains an equivalence after taking fixed points of the diagonal subgroup; supplying that proof would close the only noted gap in the identification.
  • The geometric-fixed-point formula suggests that fixed points at other subgroups of the circle in the cyclic case should compute other twisted Hochschild-type invariants, though the paper only carries out the diagonal case.
  • Since the equivariant trace does not refine to a map of genuine G-spectra, a natural next step is to seek a refined construction that is genuinely equivariant at the cost of using a smaller or altered notion of equivariant K-theory; the paper provides evidence that the fixed-point-level traces are the natural output of the current definitions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

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

Referee Report

2 major / 4 minor

Summary. The paper introduces an equivariant version of topological Hochschild homology, ETHH, defined for a finite group G as the norm N^{G×S1}_G(R) from genuine G-ring spectra to G×S1-spectra, together with a trivial-universe variant eTHH. It establishes Morita invariance (Theorem 6.6) and additivity (Corollary 7.3, Theorem 7.4), and shows that for G=C_n the geometric fixed points of ETHH recover twisted THH (Theorem 3.8). The main new result is an equivariant Dennis trace map tr: I^{R∞}_V K_G(R) → eTHH(R) (Corollary 8.6), built from the S•-construction, the additivity equivalence, and Morita maps. The paper further claims that for G=C_n the fixed points of this trace recover the trace map of Adamyk–Gerhardt–Hess–Klang–Kong (Theorem 8.12), and derives trace maps from the fixed points of coarse and genuine equivariant A-theory to free loop spaces (Proposition 8.17). The paper is careful to state that the trace map generally does not refine to a map of genuine G-spectra (Example 8.14).

Significance. If the main construction is correct, the paper provides a useful new foundation for equivariant trace methods: it relates equivariant algebraic K-theory to a norm-defined equivariant THH and proves structural properties (Morita invariance, additivity, geometric fixed-point identification with twisted THH). The paper is also commendably honest about the obstruction to refining the trace to genuine G-spectra. However, the proof that the fixed points recover the AGHKK trace (Theorem 8.12) contains two unproved fixed-point passages, and this recovery is an advertised headline result; until those gaps are closed, the claim is not established by the arguments given.

major comments (2)
  1. [§8, Remark 8.5 and zigzag (8.4)] The equivariant Dennis trace is constructed in the homotopy category of spectra with G-action, but Theorem 8.12 passes to ΔC_n-fixed points. For this passage to be valid, the zigzag (8.4) must be a diagram of C_n×S1-spectra, with trivial S1-action on the source term. The right-hand additivity equivalence is ΔC_n-equivariant by Theorem 7.4, but the left-hand map (8.3), the inclusion of the 0-skeleton, is not shown to be S1-equivariant: under the cyclic operator, a 0-simplex unit map is generally carried into higher skeleta. Remark 8.5 asserts that the trace map is ΔC_n-equivariant without addressing this point, so the fixed-point zigzag used in Theorem 8.12 is not justified.
  2. [§8, proof of Theorem 8.12] Proposition 6.11 proves only that the Morita map |Ncyc(QFun(EG,QstPerfR))|→|Ncyc(R)| is an isomorphism on underlying spectra. The proof of Theorem 8.12 asserts without proof that 'the same is true for the twisted cyclic bar constructions', i.e., that the Morita map remains an equivalence after applying ΔC_n-fixed points. Since the twisted cyclic bar construction is exactly what appears on the target side after the fixed-point passage, this missing property is load-bearing for the identification of the fixed-point Dennis trace with the AGHKK trace map. Without a proof of this fixed-point equivalence, Theorem 8.12 is not established.
minor comments (4)
  1. [Definition 4.15] The notation is inconsistent: the definition sets ETHH(C) = I^U_{R∞}|Ncyc(C)|, but the following sentence says 'we denote it by ETHH(C) := |Ncyc(C)|' for the spectrum with G×S1-action, conflicting with Remark 3.4, where the same object is called eTHH. Please use distinct notation for the genuine spectrum and the underlying spectrum with group action.
  2. [Proposition 8.17] The proposition refers to 'Theorem 8.6', but the equivariant Dennis trace is Corollary 8.6; the cross-reference should be corrected.
  3. [Theorem 7.4, proof] The sentence 'which, is an equivalence by the twisted additivity theorem' contains a stray comma; please rephrase.
  4. [Example 8.14] The Mackey functor diagram is difficult to read, and the map labeled '±1' from Z to Z is not explained. Clarifying the sign convention would improve the example.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the construction is definition-driven and benchmarked against external known results.

full rationale

The paper's central construction, ETHH, is defined as a norm (Definition 3.1), and Theorem 3.8 is a computation using the norm diagonal and prior norm technology from [5]; it is not an input fitted to the later trace claim. The equivariant Dennis trace in Theorem 8.2 is built from the S*-construction, additivity, and the standard Dennis trace strategy of [17], and Corollary 8.6 recovers the ordinary Dennis trace when G = e; this is an external benchmark, not a fitted parameter renamed as a prediction. Theorem 8.12's recovery of the Adamyk--Gerhardt--Hess--Klang--Kong trace is a comparison with independent prior work, and the proof's unproved assertion that the Morita map is an equivalence for twisted cyclic bar constructions is a correctness gap, not a circular step: the target map is not defined in terms of that assertion. The only self-citation that is load-bearing for an ancillary application is [15], used to identify coarse equivariant A-theory with equivariant K-theory of a spherical group ring; this is an external theorem input from forthcoming work, not a derivation from the trace map, and it is not central to the main trace construction. No parameter fitting, no definitional identity between premise and conclusion, and no ansatz smuggled in via self-citation were found.

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

The central claims rest on standard equivariant stable homotopy theory, on the theory of spectral Waldhausen categories from [16,17], and on new Morita adjunctions developed in the paper. No free parameters are fitted to data.

assumptions (5)
  • standard math The multiplicative norm functor N^{G×S1}_G exists for finite G and has the properties of the Hill-Hopkins-Ravenel norm, including the identification of the cyclic bar construction with the norm as in [5].
    Used in Definition 3.1 to define ETHH and in the proof of Theorem 3.8; cited to [5] and [30].
  • domain assumption The right-induced genuine model structure on G-spectral categories exists and preserves pointwise cofibrancy of fixed point spectral categories.
    Theorem 4.31 relies on Stephan's Proposition 2.6 [43] and is load-bearing for constructing cofibrant replacements Q Fun(EG,C) used in the trace theorem.
  • standard math Additivity theorems for non-equivariant spectral Waldhausen categories and for twisted THH hold as stated in [17, Theorem 7.6] and [16, Theorem 5.9].
    Used as black boxes in the proofs of Theorem 7.1 and Theorem 7.4, which in turn underlie the equivariant additivity used in the trace construction.
  • standard math The Quillen equivalence between orthogonal spectra and EKMM spectra, and the properties of the functor N♯, allow the construction of the spectral Waldhausen category stPerf_R.
    Needed for Example 5.6, Remark 5.7, and the Morita adjunctions of Proposition 6.8.
  • standard math The comparison between the symmetric-spectrum model KSym_G and the genuine equivariant K-theory spectrum via Guillou-May delooping and change of universe holds as in [34].
    Used in Theorem 8.2 and Theorem 8.12 to identify the source of the trace map with K_G(C0).
invented entities (1)
  • ETHH and its trivial-universe variant eTHH, defined as N^{G×S1}_G(R) and the cyclic bar construction independent evidence
    purpose: Provides a G-equivariant version of topological Hochschild homology that serves as the target of the equivariant Dennis trace.
    It is shown to recover ordinary THH when G is trivial, to recover twisted THH via geometric fixed points for C_n, and to satisfy Morita invariance and additivity; the free loop space equivalences provide external checks.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Trace methods for equivariant algebraic K-theory." pith.science (2026). https://pith.science/paper/A5RKMJHF

@misc{pith2026250511327,
  author       = {Pith},
  title        = {Pith review of: Trace methods for equivariant algebraic K-theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A5RKMJHF}},
  note         = {Machine review of arXiv:2505.11327}
}
abstract

In the past decades, one of the most fruitful approaches to the study of algebraic $K$-theory has been trace methods, which construct and study trace maps from algebraic $K$-theory to topological Hochschild homology and related invariants. In recent years, theories of equivariant algebraic $K$-theory have emerged, but thus far few tools are available for the study and computation of these theories. In this paper, we lay the foundations for a trace methods approach to equivariant algebraic $K$-theory. For $G$ a finite group, we construct a Dennis trace map from equivariant algebraic $K$-theory to a $G$-equivariant version of topological Hochschild homology; for $G$ the trivial group this recovers the ordinary Dennis trace map. We show that upon taking fixed points, this recovers the trace map of Adamyk--Gerhardt--Hess--Klang--Kong, and gives a trace map from the fixed points of coarse equivariant $A$-theory to the free loop space. We also establish important properties of equivariant topological Hochschild homology, such as Morita invariance, and explain why it can be considered as a multiplicative norm.

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. Computations in Equivariant Topological Hochschild Homology

    math.AT 2026-08 accept novelty 8.0 of 10

    This paper computes the Cp-equivariant homotopy groups of ETHH(HF_p) for odd primes and the equivariant homotopy of ETHH(MU_G) and ETHH(MU_R), giving foundational inputs for equivariant trace methods.

Reference graph

Works this paper leans on

46 extracted references · 43 canonical work pages · cited by 1 Pith paper

  1. [1]

    Computational tools for twisted topological Hochschild homology of equivariant spectra

    Katharine Adamyk, Teena Gerhardt, Kathryn Hess, Inbar Klang, and Hana Jia Kong. Computational tools for twisted topological Hochschild homology of equivariant spectra. Topology Appl., 316:Paper No. 108102, 26, 2022

    work page 2022

  2. [2]

    A shadow perspective on equivariant Hochschild homologies

    Katharine Adamyk, Teena Gerhardt, Kathryn Hess, Inbar Klang, and Hana Jia Kong. A shadow perspective on equivariant Hochschild homologies. Int. Math. Res. Not. IMRN , 18:15299–15357, 2023

    work page 2023

  3. [3]

    Real topological Hochschild homology, norms, and Witt vectors

    Gabriel Angelini-Knoll, Teena Gerhardt, and Michael Hill. Real topological Hochschild homology, norms, and Witt vectors. arxiv 2111.06970, 2021

    arXiv 2021

  4. [4]

    Topological ∆G homology of rings with twisted G-action

    Gabriel Angelini-Knoll, Mona Merling, and Maximilien P´ eroux. Topological ∆G homology of rings with twisted G-action. arxiv 2409.18187, 2024

    work page arXiv 2024

  5. [5]

    Blumberg, Teena Gerhardt, Michael A

    Vigleik Angeltveit, Andrew J. Blumberg, Teena Gerhardt, Michael A. Hill, Tyler Lawson, and Michael A. Mandell. Topological cyclic homology via the norm. Doc. Math., 23:2101–2163, 2018

    work page 2018

  6. [6]

    Spectral Mackey functors and equivariant algebraic K-theory (I)

    Clark Barwick. Spectral Mackey functors and equivariant algebraic K-theory (I). Adv. Math., 304:646–727, 2017

    work page 2017

  7. [7]

    Spectral Mackey functors and equivariant algebraic K-theory, II

    Clark Barwick, Saul Glasman, and Jay Shah. Spectral Mackey functors and equivariant algebraic K-theory, II. Tunis. J. Math., 2(1):97–146, 2020

    work page 2020

  8. [8]

    Blumberg, Teena Gerhardt, Michael A

    Andrew J. Blumberg, Teena Gerhardt, Michael A. Hill, and Tyler Lawson. The Witt vectors for Green functors. J. Algebra, 537:197–244, 2019

    work page 2019

Show all 46 references
  1. [9]

    Blumberg, Michael A

    Andrew J. Blumberg, Michael A. Hill, and Michael A. Mandell. Norms for compact Lie groups in equivariant stable homotopy theory. arxiv 2212.11404, 2022

    2022 arXiv

  2. [10]

    Blumberg and Michael A

    Andrew J. Blumberg and Michael A. Mandell. Localization theorems in topological Hochschild homology and topological cyclic homology. Geom. Topol., 16(2):1053–1120, 2012

    2012

  3. [11]

    Blumberg and Michael A

    Andrew J. Blumberg and Michael A. Mandell. The homotopy theory of cyclotomic spectra. Geom. Topol., 19(6):3105–3147, 2015

    2015

  4. [12]

    Blumberg and Michael A

    Andrew J. Blumberg and Michael A. Mandell. Localization for T HH(ku) and the topological Hochschild and cyclic homology of Waldhausen categories. Mem. Amer. Math. Soc. , 265(1286):v+100, 2020

    2020

  5. [13]

    Osorno, Viktoriya Ozornova, Kate Ponto, and Carolyn Yarnall

    Anna Marie Bohmann, Kristen Mazur, Ang´ elica M. Osorno, Viktoriya Ozornova, Kate Ponto, and Carolyn Yarnall. A model structure on GCat. In Women in topology: collaborations in homotopy theory , volume 641 of Contemp. Math., pages 123–134. Amer. Math. Soc., Providence, RI, 2015

    2015

  6. [14]

    B¨ okstedt, W

    M. B¨ okstedt, W. C. Hsiang, and I. Madsen. The cyclotomic trace and algebraic K-theory of spaces. Invent. Math., 111(3):465–539, 1993

    1993

  7. [15]

    Spherical group ring models for the equi- variant algebraic K-theory of spaces

    Maxine Calle, David Chan, Anish Chedalavada, and Andres Mejia. Spherical group ring models for the equi- variant algebraic K-theory of spaces. forthcoming

  8. [16]

    K-theory of endomor- phisms, the T R-trace, and zeta functions

    Jonathan Campbell, John Lind, Cary Malkiewich, Kate Ponto, and Inna Zakharevich. K-theory of endomor- phisms, the T R-trace, and zeta functions. arXiv preprint:2005.04334, 2020

    2005 arXiv

  9. [17]

    Campbell, John A

    Jonathan A. Campbell, John A. Lind, Cary Malkiewich, Kate Ponto, and Inna Zakharevich. Spectral Wald- hausen categories, the S•-construction, and the Dennis trace. Grad. J. Math. , 9(2):27–60, 2024

    2024

  10. [18]

    The Galois-equivariant K-theory of finite fields

    David Chan and Chase Vogeli. The Galois-equivariant K-theory of finite fields. Proc. Lond. Math. Soc. (3) , 130(1):Paper No. e70012, 36, 2025

    2025

  11. [19]

    K-theory and topological cyclic homology of henselian pairs

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

    2021

  12. [20]

    Descent and vanishing in chromatic algebraic K-theory via group actions

    Dustin Clausen, Akhil Mathew, Niko Naumann, and Justin Noel. Descent and vanishing in chromatic algebraic K-theory via group actions. Ann. Sci. ´Ec. Norm. Sup´ er. (4), 57(4):1135–1190, 2024

    2024

  13. [21]

    Comparing cyclotomic structures on different models for topological Hochschild homology

    Emanuele Dotto, Cary Malkiewich, Irakli Patchkoria, Steffen Sagave, and Calvin Woo. Comparing cyclotomic structures on different models for topological Hochschild homology. J. Topol., 12(4):1146–1173, 2019

    2019

  14. [22]

    Real topological Hochschild homology

    Emanuele Dotto, Kristian Moi, Irakli Patchkoria, and Sune Precht Reeh. Real topological Hochschild homology. Journal of the European Mathematical Society , 23(1):63–152, 2020

    2020

  15. [23]

    Goodwillie, and Randy McCarthy

    Bjørn Ian Dundas, Thomas G. Goodwillie, and Randy McCarthy. The local structure of algebraic K-theory , volume 18 of Algebra and Applications. Springer-Verlag London, Ltd., London, 2013

    2013

  16. [24]

    Equivariant algebraic K-theory and Artin L-functions

    Elden Elmanto and Ningchuan Zhang. Equivariant algebraic K-theory and Artin L-functions. arXiv 2405.03578, 2024

    2024 arXiv

  17. [25]

    Rings, modules, and algebras in stable homotopy theory

    Anthony D Elmendorf, I Kriz, MA Mandell, and JP May. Rings, modules, and algebras in stable homotopy theory. In American Mathematical Society Surveys and Monographs, American Mathematical Society. Citeseer, 1995. Trace methods for equivariant algebraic K-theory 48

    1995

  18. [26]

    Bi-relative algebraic K-theory and topological cyclic homology

    Thomas Geisser and Lars Hesselholt. Bi-relative algebraic K-theory and topological cyclic homology. Invent. Math., 166(2):359–395, 2006

    2006

  19. [27]

    On the functoriality of the space of equivariant smooth h-cobordisms, 2023

    Thomas Goodwillie, Kiyoshi Igusa, Cary Malkiewich, and Mona Merling. On the functoriality of the space of equivariant smooth h-cobordisms, 2023

    2023

  20. [28]

    Guillou and J

    Bertrand J. Guillou and J. Peter May. Equivariant iterated loop space theory and permutative G-categories. Algebr. Geom. Topol., 17(6):3259–3339, 2017

    2017

  21. [29]

    Guillou and J

    Bertrand J. Guillou and J. Peter May. Models of G-spectra as presheaves of spectra. Algebr. Geom. Topol. , 24(3):1225–1275, 2024

    2024

  22. [30]

    M. A. Hill, M. J. Hopkins, and D. C. Ravenel. On the nonexistence of elements of Kervaire invariant one. Ann. of Math. (2) , 184(1):1–262, 2016

    2016

  23. [31]

    Hill, Michael J

    Michael A. Hill, Michael J. Hopkins, and Douglas C. Ravenel. Equivariant stable homotopy theory and the Ker- vaire invariant problem, volume 40 of New Mathematical Monographs. Cambridge University Press, Cambridge, 2021

    2021

  24. [32]

    Gaunce Lewis, Jr

    L. Gaunce Lewis, Jr. Splitting theorems for certain equivariant spectra. Mem. Amer. Math. Soc., 144(686):x+89, 2000

    2000

  25. [33]

    Coassembly and the K-theory of finite groups

    Cary Malkiewich. Coassembly and the K-theory of finite groups. Adv. Math., 307:100–146, 2017

    2017

  26. [34]

    Equivariant A-theory

    Cary Malkiewich and Mona Merling. Equivariant A-theory. Doc. Math., 24:815–855, 2019

    2019

  27. [35]

    The equivariant parametrized h-cobordism theorem, the non-manifold part

    Cary Malkiewich and Mona Merling. The equivariant parametrized h-cobordism theorem, the non-manifold part. Adv. Math., 399:Paper No. 108242, 42, 2022

    2022

  28. [36]

    Periodic points and topological restriction homology

    Cary Malkiewich and Kate Ponto. Periodic points and topological restriction homology. Int. Math. Res. Not. IMRN, 4:2401–2459, 2022

    2022

  29. [37]

    M. A. Mandell and J. P. May. Equivariant orthogonal spectra and S-modules. Mem. Amer. Math. Soc. , 159(755):x+108, 2002

    2002

  30. [38]

    J. P. May. The geometry of iterated loop spaces , volume Vol. 271 of Lecture Notes in Mathematics . Springer- Verlag, Berlin-New York, 1972

    1972

  31. [39]

    J. P. May and R. Thomason. The uniqueness of infinite loop space machines. Topology, 17(3):205–224, 1978

    1978

  32. [40]

    Equivariant algebraic K-theory of G-rings

    Mona Merling. Equivariant algebraic K-theory of G-rings. Math. Z., 285(3-4):1205–1248, 2017

    2017

  33. [41]

    On topological cyclic homology

    Thomas Nikolaus and Peter Scholze. On topological cyclic homology. Acta Math., 221(2):203–409, 2018

    2018

  34. [42]

    Equivalences of monoidal model categories

    Stefan Schwede and Brooke Shipley. Equivalences of monoidal model categories. Algebr. Geom. Topol., 3:287– 334, 2003

    2003

  35. [43]

    On equivariant homotopy theory for model categories.Homology Homotopy Appl., 18(2):183–208, 2016

    Marc Stephan. On equivariant homotopy theory for model categories.Homology Homotopy Appl., 18(2):183–208, 2016

    2016

  36. [44]

    Algebraic K-theory of spaces

    Friedhelm Waldhausen. Algebraic K-theory of spaces. In Algebraic and geometric topology (New Brunswick, N.J., 1983), volume 1126 of Lecture Notes in Math. , pages 318–419. Springer, Berlin, 1985

    1983

  37. [45]

    Spaces of PL manifolds and categories of simple maps, volume 186 of Annals of Mathematics Studies

    Friedhelm Waldhausen, Bjø rn Jahren, and John Rognes. Spaces of PL manifolds and categories of simple maps, volume 186 of Annals of Mathematics Studies . Princeton University Press, Princeton, NJ, 2013

    2013

  38. [46]

    Bivariant Riemann Roch theorems

    Bruce Williams. Bivariant Riemann Roch theorems. In Geometry and topology: Aarhus (1998) , volume 258 of Contemp. Math., pages 377–393. Amer. Math. Soc., Providence, RI, 2000. (Chan) Department of Mathematics, Michigan State University, East Lansing, MI 48824 (Gerhardt) Depart...

    1998

Pith tools

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