Pith. sign in

REVIEW 3 minor 79 references

Proper equivariant stable homotopy theory

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

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

Pith's one-line read The paper builds a genuine proper equivariant stable homotopy theory for every Lie group, with equivalences tested on compact subgroups.

desk verdict Proper equivariant stable homotopy theory for all Lie groups: the central model structure is real and new, but one load-bearing assertion about Com-cofibrant spaces needs an explicit proof or citation. read the letter →

arxiv 1908.00779 v2 pith:HYR6VA3M submitted 2019-08-02 math.AT

Dieter Degrijse , Markus Hausmann , Wolfgang Lück , Irakli Patchkoria , Stefan Schwede This is my paper · ORCID
classification math.AT MSC 55P91
keywords LiegroupequivarianthomotopytheoryproperactionorthogonalspectrastablemodelstructureMackeyfunctorsK-theoryRO(G)-grading
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 monograph builds a version of stable homotopy theory for every Lie group G, not just compact ones, in which homotopical information is tested on all compact subgroups of G. Its central claim is that the category of orthogonal G-spectra admits a symmetric monoidal stable model structure whose weak equivalences are the \pi_*-isomorphisms, and whose triangulated homotopy category is compactly generated by the suspension spectra of the orbits G/H for compact subgroups H. If correct, this gives every Lie group the full apparatus of genuine equivariant stable homotopy theory\u2014transfers, Wirthm\u00fcller isomorphisms, and an analogue of an RO(G)-grading\u2014and makes every orthogonal G-spectrum represent an equivariant cohomology theory on proper G-spaces. For infinite discrete groups, the theory connects equivariant stability to finiteness properties of the group and recovers equivariant stable cohomotopy and equivariant K-theory as represented cohomology theories.

What carries the argument

The central object is the category of orthogonal G-spectra: continuous functors from the category \mathcal{O} of finite-dimensional inner product spaces, with morphism spaces the Thom spaces O(V,W), to based G-spaces, with G acting levelwise and diagonally on smash products. The load-bearing mechanism is the stable model structure of Theorem 1.2.22, obtained by localizing a level model structure. Its generating cofibrations are the maps G\ltimes_H F_V\wedge \partial D^k_+ \to G\ltimes_H F_V\wedge D^k_+, with H compact and V an H-representation; its stable fibrations are level fibrations satisfying homotopy cartesian squares that compare fixed-point evaluation X(W)^H with H-equivariant mapping spaces into X(V\oplus W); and its fibrant objects are the G-\$\Omega$-spectra. The set of compact generators is \{\Sigma^\infty_+ G/H \mid H\le G\ \text{compact}\}. Beneath all of this sits the Com-model structure on G-spaces, in which equivalences and fibrations are tested on H-fixed points for compact subgroups and the cells are G/H\times D^k with compact isotropy.

What would settle it

A reader could settle the foundational claim by checking the Com-model structure in the simplest noncompact case, the infinite cyclic group G=\mathbb{Z}, whose only compact subgroup is trivial; there the alleged generating cofibrations reduce to \mathbb{Z}\times\partial D^k\to \mathbb{Z}\times D^k. If that set fails to generate the maps with the left lifting property against maps that are weak equivalences and Serre fibrations on underlying spaces, then Proposition 1.1.3 is false and the stable model structure of Theorem 1.2.22 collapses.

Watch

Extended reading notes

Core claim

On its own terms, the paper proves that for every Lie group G, the category \mathrm{Sp}^G of orthogonal G-spectra carries a cofibrantly generated, proper, stable, topological, symmetric monoidal model structure (Theorem 1.2.22). The weak equivalences are the \pi_*-isomorphisms: maps inducing isomorphisms on H-equivariant stable homotopy groups for every compact subgroup H of G. The fibrant objects are the G-\$\Omega$-spectra, and the triangulated homotopy category \mathrm{Ho}(\mathrm{Sp}^G) is compactly generated by the small generators \Sigma^\infty_+ G/H for compact H (Corollary 1.3.11). The whole structure is functorial in the group: restriction along continuous homomorphisms has a total left derived functor, inner automorphisms act trivially, homotopic homomorphisms induce isomorphic functors, and a weak equivalence of Lie groups induces an equivalence of homotopy categories. For discrete groups the heart of the preferred t-structure is the abelian category of G-Mackey functors, the rational theory is algebraic, and the represented cohomology theories on finite proper G-CW-complexes admit an explicit description in terms of fiberwise equivariant homotopy theory stabilized by G-vector bundles, which identifies equivariant stable cohomotopy and equivariant K-theory as represented theories.

Load-bearing premise

The load-bearing premise is the imported theorem that G-spaces form a cofibrantly generated model structure when equivalences and fibrations are tested on fixed points of compact subgroups, with the maps G/H\times\partial D^k\to G/H\times D^k as generators; if that theorem fails for noncompact Lie groups, the stable model structure on orthogonal G-spectra does not exist as claimed.

Editorial extensions

If this is right

  • Every orthogonal G-spectrum represents an equivariant cohomology theory on proper G-spaces, so transfers, Wirthm\u00fcller isomorphisms, and the other structures of genuine equivariant stable homotopy theory become available for every Lie group.
  • For almost connected Lie groups, restriction to a maximal compact subgroup is a Quillen equivalence, so the theory reduces to the classical compact case in that setting.
  • For discrete groups, the heart of the preferred t-structure is the category of G-Mackey functors; every such Mackey functor has an Eilenberg\u2013Mac Lane spectrum, and rational G-spectra are classified by rational G-Mackey functors.
  • The G-sphere spectrum is a compact object when the universal proper G-space EG has a finite G-CW-model, and compactness can fail otherwise, so finiteness properties of the group are reflected in the equivariant stable category.
  • Equivariant stable cohomotopy and equivariant K-theory for discrete groups are shown to be represented by explicit orthogonal G-spectra, giving them all the structure of the ambient model category.

Reading between the lines

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

  • Editorial inference: because weak equivalences of Lie groups induce equivalences of homotopy categories, stable equivariant computations for a Lie group G should be invariant under replacing G by a weakly equivalent model such as G\times\mathbb{R}, a reduction not developed as a computational device in the paper.
  • Editorial inference: the grading analogue by the Grothendieck group KO_G(EG) of G-vector bundles over EG invites a theory of equivariant orientations and characteristic classes indexed by such bundles, going beyond the paper's construction of Thom-space invertibility.
  • Editorial inference: the short exact sequence for countable locally finite groups reduces morphism groups in \mathrm{Ho}(\mathrm{Sp}^G) to towers of finite-subgroup equivariant spectra, giving a concrete route to computations for groups such as \mathbb{Z} and the infinite dihedral group.
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

0 major / 3 minor

Summary. This monograph develops a genuine proper equivariant stable homotopy theory for arbitrary Lie groups. The authors construct a stable model structure on the category of orthogonal G-spectra whose weak equivalences are the pi_*-isomorphisms detected on all compact subgroups, prove that the homotopy category is compactly generated by the suspension spectra of G/H for compact H, and establish a rich change-of-groups formalism including total left derived restriction functors and homotopy invariance of the theory under multiplicative weak equivalences of Lie groups. For discrete groups, the heart of the preferred t-structure is identified with G-Mackey functors, the rational theory is shown to be algebraic, and the previously defined theories of equivariant stable cohomotopy and equivariant K-theory are proved to be represented by explicit orthogonal G-spectra.

Significance. If correct, this is a substantial foundational contribution: it extends genuine equivariant stable homotopy theory to all Lie groups, with transfers, Wirthmuller isomorphisms, and an RO(G)-grading analog, and it connects the theory to finiteness properties of discrete groups. The paper is commendably detailed: the model structure axioms are verified explicitly in Theorem 1.2.22, the reduction to maximal compact subgroups in Theorem 1.4.4 is proved using Abels' theorem, and the representability results for equivariant stable cohomotopy and K-theory are genuine comparisons of independently defined theories. The authors are also careful to identify which results are imported, such as the Com-model structure from [60, Prop. B.7] and [21, Prop. 2.11].

minor comments (3)
  1. [Section 1.1, paragraph after Proposition 1.1.3] The assertion that every Com-cofibrant G-space is G-equivariantly homotopy equivalent to a proper G-CW-complex is stated without proof or citation. This statement is load-bearing because it is used in the proof of Theorem 1.2.9, in the passage 'A general Com-cofibrant (K x Gamma)-space is (K x Gamma)-homotopy equivalent to a proper (K x Gamma)-CW-complex.' The assertion is true and follows from the explicit generating cofibrations in Proposition 1.1.3(ii) together with standard retract and cellular approximation arguments, so I do not regard this as a mathematical gap; nevertheless, the authors should add a proof sketch or a precise reference to make the dependency explicit.
  2. [Proposition 1.2.28, proof of (i)] The proof refers forward to Theorem 1.4.1(ii) to show that the restriction along the diagonal embedding preserves cofibrancy. The forward reference is harmless because Theorem 1.4.1 is independent of the pushout-product statement, but a brief parenthetical remark would help the reader avoid the impression of circularity.
  3. [Definition 1.2.15] The notation map^H_*(S^V, X(V+W)) is used in the definition of stable fibration before the based mapping space with H-action is formally introduced in the surrounding text. A one-sentence explanation of the diagonal H-action on this mapping space would improve readability.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: all central claims are derived from stated hypotheses with explicit proofs; self-citations are background tools, not the target results.

full rationale

The paper's central claims are theorems proved in the text rather than definitions or fits in disguise. Theorem 1.2.22 constructs the stable model structure by an explicit small-object argument on the generating sets I^lv_G and J^st_G; Proposition 1.2.21 verifies that the generating acyclic cofibrations are pi*-isomorphisms and cofibrations using Corollary 1.2.10, which is itself proved from Theorem 1.2.9 and imported compact-Lie-group facts. The compact generation claim in Corollary 1.3.11 is derived from the evaluation isomorphism in Proposition 1.3.10, which is proved from the stable model structure, not assumed. The comparisons of equivariant stable cohomotopy and K-theory in Example 3.2.9 and Theorem 3.4.22 are comparisons of independently defined theories, not a renaming of the paper's own construction. The many self-citations, especially to [60, Prop. B.7], [21], [48], and [42], are used for background model-category machinery and standard compact-Lie-group results; these cited results do not contain the target theorem being proved, and the paper does not invoke the existence or uniqueness of its own conclusion as a premise. The only point that a reader might question is the assertion after Proposition 1.1.3 that every Com-cofibrant G-space is G-homotopy equivalent to a proper G-CW-complex; this is a potential unstated lemma or correctness gap in the proof of Theorem 1.2.9, but it is not circular: no equation identifies this claim with the theorem being proved, and it is not a fitted parameter renamed as a prediction. Therefore no circular step is exhibited, and the appropriate score is 0.

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

The central claims rest on a set of standard and domain-specific inputs from the literature: the Com-model structure on G-spaces, Illman's triangulation theorem, universal proper G-spaces, maximal compact subgroup theory, and the Mandell-May/Schwede foundations of equivariant stable homotopy theory. None of these are ad hoc to this paper; they are the established toolkit of the field. There are no free parameters and no invented entities; the paper's contributions are theorems proven from these inputs.

assumptions (6)
  • domain assumption The Com-model structure on G-spaces exists and has the stated generating cofibrations (Prop. 1.1.3, from [60, Prop. B.7] and [21, Prop. 2.11]).
    Load-bearing input for every later model structure: the cells G/H x D^k for compact H generate the cofibrations, and pushout-product properties must hold. Not re-proven in full in this paper.
  • domain assumption Illman's equivariant triangulation theorem [27, Thm. 7.1]: smooth G-manifolds admit G-CW-structures.
    Used in Prop. 1.1.3 and Prop. 1.1.5 to show coset spaces G/Gamma for compact H admit H-CW structures, which underlies cofibrancy of the generating cells.
  • domain assumption Every Lie group admits a universal proper G-space EG for compact subgroups [39, Thm. 1.9].
    EG is used throughout (Prop. 1.2.33, Section 3.2) for the RO(G)-grading analog KOG(EG) and for the finiteness-properties results.
  • domain assumption Almost connected Lie groups have maximal compact subgroups with slices (Cartan-Iwasawa-Malcev, Abels [1, Thm. A.5]).
    Theorem 1.4.4 (reduction to maximal compact subgroups) and Theorem 1.4.31 depend on this; a failure would break the reduction to the compact case.
  • domain assumption Classical genuine equivariant stable homotopy theory for compact Lie groups (Mandell-May [48]) and the orthogonal spectra formalism (Schwede [60]).
    The paper imports the compact-group model structures, pi*-isomorphism theory, stabilization maps, and the smash product formalism from these books, extending them levelwise to all Lie groups.
  • standard math Standard model category framework: cofibrantly generated model structures, small object argument, Quillen adjunctions, t-structures.
    Used in Theorem 1.2.22 and Section 1.3; treated as background.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Proper equivariant stable homotopy theory." pith.science (2026). https://pith.science/paper/HYR6VA3M

@misc{pith2026190800779,
  author       = {Pith},
  title        = {Pith review of: Proper equivariant stable homotopy theory},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/HYR6VA3M}},
  note         = {Machine review of arXiv:1908.00779}
}
abstract

This monograph introduces a framework for genuine proper equivariant stable homotopy theory for Lie groups. The adjective `proper' alludes to the feature that equivalences are tested on compact subgroups, and that the objects are built from equivariant cells with compact isotropy groups; the adjective `genuine' indicates that the theory comes with appropriate transfers and Wirthm\"uller isomorphisms, and the resulting equivariant cohomology theories support the analog of an $RO(G)$-grading. Our model for genuine proper $G$-equivariant stable homotopy theory is the category of orthogonal $G$-spectra; the equivalences are those morphisms that induce isomorphisms of equivariant stable homotopy groups for all compact subgroups of $G$. This class of $\pi_*$-isomorphisms is part of a symmetric monoidal stable model structure and the associated tensor triangulated homotopy category is compactly generated. Every orthogonal $G$-spectrum represents an equivariant cohomology theory on the category of $G$-spaces, depending only on the `proper $G$-homotopy type', tested by fixed points under all compact subgroups. An important special case are infinite discrete groups. For these, our genuine equivariant theory is related to finiteness properties, in the sense of geometric group theory; for example, the $G$-sphere spectrum is a compact object in the equivariant homotopy category if the universal space for proper $G$-actions has a finite $G$-CW-model. For discrete groups, the represented equivariant cohomology theories on finite proper $G$-CW-complexes admit a more explicit description in terms of parameterized equivariant homotopy theory, suitably stabilized by $G$-vector bundles. Via this description, we can identify the previously defined $G$-cohomology theories of equivariant stable cohomotopy and equivariant K-theory as cohomology theories represented by specific orthogonal $G$-spectra.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

79 extracted references · 78 canonical work pages

  1. [1]

    H Abels, Parallelizability of proper actions, global K-slices and maximal compact subgroups. Math. Ann. 212, (1974/75), 1–19

    work page 1974

  2. [2]

    Preprint, Hautes ´Etudes Sci., Bures-sur-Yvette, 1982; published version in : Enseign

    P Baum, A Connes, Geometric K-theory for Lie groups and foliations. Preprint, Hautes ´Etudes Sci., Bures-sur-Yvette, 1982; published version in : Enseign. Math. (2) 46 (2000), no. 1-2, 3–42

    work page 2000

  3. [3]

    C∗ -algebras: 1943–1993 (San Antonio, TX, 1993), 240–291, Con temp

    P Baum, A Connes, N Higson, Classifying space for proper actions and K-theory of group C∗ -algebras. C∗ -algebras: 1943–1993 (San Antonio, TX, 1993), 240–291, Con temp. Math., 167, Amer. Math. Soc., Providence, RI, 1994

    work page 1943

  4. [4]

    N B´ arcenas, D Degrijse, I Patchkoria, Stable finiteness properties of infinite discrete groups. J. Topol. 10 (2017), 1169–1196

    work page 2017

  5. [5]

    Analysis and topology on singular spaces, I (Luminy, 1981), 5–171, Ast´ erisque, 100, Soc

    A A Beilinson, J Bernstein, P Deligne, Faisceaux pervers. Analysis and topology on singular spaces, I (Luminy, 1981), 5–171, Ast´ erisque, 100, Soc. Mat h. France, Paris, 1982

    work page 1981

  6. [6]

    A Beligiannis, I Reiten, Homological and homotopical aspects of torsion theories. Mem. Amer. Math. Soc. 188 (2007), no. 883. viii+207 pp

    work page 2007

  7. [7]

    S´ eminaire Bourbaki, Vol

    A Borel, Sous-groupes compacts maximaux des groupes de Lie. S´ eminaire Bourbaki, Vol. 1, Exp. No. 33, 271–279, Soc. Math. France, Paris, 1995

    work page 1995

  8. [8]

    Graduate Texts in Mathe- matics, 98

    T Br¨ ocker, T tom Dieck, Representations of compact Lie groups. Graduate Texts in Mathe- matics, 98. Springer-Verlag, New York, 1985. x+313 pp

    work page 1985

Show all 79 references
  1. [9]

    arXiv:1604.05939

    M Brun, B I Dundas, M Stolz, Equivariant structure on smash powers. arXiv:1604.05939

    arXiv

  2. [10]

    Thompson ’s group? Notices Amer

    J W Cannon, W J Floyd, What is . . . Thompson ’s group? Notices Amer. Math. Soc. 58 (2011), no. 8, 1112–1113

    2011

  3. [11]

    J D Christensen, M Hovey, Quillen model structures for relative homological algebra . Math. Proc. Cambridge Philos. Soc. 133 (2002), no. 2, 261–293

    2002

  4. [12]

    Ergebnisse der Mathematik und ihrer Grenzgebiete, N

    P E Conner, E E Floyd, Differentiable periodic maps. Ergebnisse der Mathematik und ihrer Grenzgebiete, N. F., Band 33 Academic Press Inc., Publisher s, New York; Springer-Verlag, Berlin-G¨ ottingen-Heidelberg 1964. vii+148 pp

    1964

  5. [13]

    K-Theory 15 (1998), no

    J Davis, W L¨ uck, Spaces over a category and assembly maps in isomorphism conj ectures in K- and L-theory. K-Theory 15 (1998), no. 3, 201–252

    1998

  6. [14]

    Reports of the Midwest Category Seminar, IV pp

    B Day, On closed categories of functors. Reports of the Midwest Category Seminar, IV pp. 1–38. Lecture Notes in Mathematics, Vol. 137. Springer-Ver lag, Berlin, 1970

    1970

  7. [15]

    M J Dunwoody, Accessibility and groups of cohomological dimension one. Proc. London Math. Soc. (3) 38 (1979), no. 2, 193–215

    1979

  8. [16]

    In: Handbook of algebraic topology, ed

    W G Dwyer, J Spalinski, Homotopy theories and model categories. In: Handbook of algebraic topology, ed. I M James, Elsevier (1995), 73–126

    1995

  9. [17]

    Mathematical Surveys and Monographs, 113

    W G Dwyer, P S Hirschhorn, D M Kan, J H Smith, Homotopy limit functors on model categories and homotopical categories. Mathematical Surveys and Monographs, 113. Amer. Math. Soc., 2004. viii+181 pp

    2004

  10. [18]

    S Echterhoff, W L¨ uck, N C Phillips, S W alters, The structure of crossed products of irrational rotation algebras by finite subgroups of SL2(Z). J. Reine Angew. Math. 639 (2010), 173–221

    2010

  11. [19]

    A D Elmendorf, Systems of fixed point sets. Trans. Amer. Math. Soc. 277 (1983), no. 1, 275–284

    1983

  12. [20]

    F T Farrell, L E Jones, Isomorphism conjectures in algebraic K-theory. J. Amer. Math. Soc. 6 (1993), no. 2, 249–297

    1993

  13. [21]

    H Fausk, Equivariant homotopy theory for pro-spectra . Geom. Topol. 12 (2008), 103–176

    2008

  14. [22]

    J P C Greenlees, J P May, Generalized Tate cohomology. Mem. Amer. Math. Soc. 113 (1995), no. 543, viii+178 pp. 137 138 BIBLIOGRAPHY

    1995

  15. [23]

    J P C Greenlees, J P May, Localization and completion theorems for M U-module spectra. Ann. of Math. (2) 146 (1997), 509–544

    1997

  16. [24]

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

    2016

  17. [25]

    Mathematical Surveys and Monographs, 63

    M Hovey, Model categories. Mathematical Surveys and Monographs, 63. Amer. Math. Soc., Providence, RI, 1999. xii+209 pp

    1999

  18. [26]

    M Hovey, B Shipley, J Smith, Symmetric spectra. J. Amer. Math. Soc. 13 (2000), 149–208

    2000

  19. [27]

    S Illman, The equivariant triangulation theorem for actions of compa ct Lie groups. Math. Ann. 262 (1983), 487–501

    1983

  20. [28]

    , Existence and uniqueness of equivariant triangulations of smooth proper G-manifolds with some applications to equivariant Whitehead torsion. J. Reine Angew. Math. 524 (2000), 129–183

    2000

  21. [29]

    K Iwasawa, On some types of topological groups. Ann. of Math. (2) 50, (1949), 507–558

    1949

  22. [30]

    Structured ring spectra, 87–114, London Math

    M Joachim, Higher coherences for equivariant K-theory. Structured ring spectra, 87–114, London Math. Soc. Lecture Note Ser., 315, Cambridge Univers ity Press, Cambridge, 2004

    2004

  23. [31]

    Reprint of the 1982 original

    G M Kelly, Basic concepts of enriched category theory. Reprint of the 1982 original. Repr. Theory Appl. Categ. No. 10 (2005). vi+137 pp

    2005

  24. [32]

    Topology 41 (2002), no

    H Krause, A Brown representability theorem via coherent functors. Topology 41 (2002), no. 4, 853–861

    2002

  25. [33]

    M Langer, W L¨ uck, On the group cohomology of the semi-direct product Zn ⋊ρ Z/m and a conjecture of Adem-Ge-Pan-Petrosyan. J. Pure Appl. Algebra 216 (2012), no. 6, 1318–1339

    2012

  26. [34]

    L G Lewis, Jr, The stable category and generalized Thom spectra. Ph.D. thesis, University of Chicago, 1978

    1978

  27. [35]

    Lecture Notes in Mathematics, Vol

    L G Lewis, Jr, J P May, M Steinberger, Equivariant stable homotopy theory. Lecture Notes in Mathematics, Vol. 1213, Springer-Verlag, 1986. x+538 pp

    1986

  28. [36]

    Lecture Notes in Mathematics, Vol

    W L¨ uck,Transformation groups and algebraic K-theory. Lecture Notes in Mathematics, Vol

  29. [37]

    Internat

    , Equivariant cohomological Chern characters. Internat. J. Algebra Comput. 15 (2005), no. 5-6, 1025–1052

    2005

  30. [38]

    Pure Appl

    , The Burnside ring and equivariant stable cohomotopy for infi nite groups. Pure Appl. Math. Q. 1 (2005), 479–541

    2005

  31. [39]

    In: Infinite groups: geometric, combinatorial and dynamical aspects , 269–322

    , Survey on classifying spaces for families of subgroups. In: Infinite groups: geometric, combinatorial and dynamical aspects , 269–322. Progr. Math. 248, Birkh¨ auser, Basel, 2005

    2005

  32. [40]

    , Rational computations of the topological K-theory of classifying spaces of discrete groups. J. Reine Angew. Math. 611 (2007), 163–187

    2007

  33. [41]

    , The Segal conjecture for infinite groups. Algebr. Geom. Topol. 20 (2020), no. 2, 965–986

    2020

  34. [42]

    Topology 40 (2001), 585–616

    W L¨ uck, B Oliver,The completion theorem in K-theory for proper actions of a di screte group. Topology 40 (2001), 585–616

    2001

  35. [43]

    Handbook of K-theory

    W L¨ uck, H Reich, The Baum-Connes and the Farrell-Jones conjectures in K- and L-theory. Handbook of K-theory. Vol. 1, 2, 703–842, Springer, Berlin, 2005

    2005

  36. [44]

    W L¨ uck, B Uribe, Equivariant principal bundles and their classifying space s. Algebr. Geom. Topol. 14 (2014), no. 4, 1925–1995

    2014

  37. [45]

    A Malcev, On the theory of the Lie groups in the large. Rec. Math. [Mat. Sbornik] N. S. 16(58), (1945), 163–190

    1945

  38. [46]

    G Maltsiniotis, Le th´ eor` eme de Quillen, d’adjonction des foncteurs d´ eriv´ es, revisit´ e.C. R. Math. Acad. Sci. Paris 344 (2007), no. 9, 549–552

    2007

  39. [47]

    M A Mandell, J P May, S Schwede, B Shipley, Model categories of diagram spectra. Proc. London Math. Soc. (3) 82 (2001), no. 2, 441–512

    2001

  40. [48]

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

    2002

  41. [49]

    C Martinez-P´ erez, B E A Nucinkis, Cohomological dimension of Mackey functors for infinite groups. J. London Math. Soc. (2) 74 (2006), 379–396

    2006

  42. [50]

    Second edition

    J McCleary, A user’s guide to spectral sequences. Second edition. Cambridge Studies in Advanced Mathematics, 58. Cambridge University Press, Cam bridge, 2001. xvi+561 pp

    2001

  43. [51]

    M C McCord, Classifying spaces and infinite symmetric products. Trans. Amer. Math. Soc. 146 (1969), 273–298. BIBLIOGRAPHY 139

    1969

  44. [52]

    D Montgomery, L Zippin, A theorem on Lie groups. Bull. Amer. Math. Soc. 48, (1942), 448–452

    1942

  45. [53]

    A Neeman, The Grothendieck duality theorem via Bousfield’s technique s and Brown repre- sentability. J. Amer. Math. Soc. 9 (1996), 205–236

    1996

  46. [54]

    Annals of Mathematics Studies, 148

    , Triangulated categories. Annals of Mathematics Studies, 148. Princeton University Press, Princeton, NJ, 2001. viii+449 pp

    2001

  47. [55]

    Acta Math

    T Nikolaus, P Scholze, On topological cyclic homology. Acta Math. 221 (2018), no. 2, 203– 409

    2018

  48. [56]

    Pitman Research Notes in Mathemat- ics Series, 178

    N C Phillips, Equivariant K-theory for proper actions. Pitman Research Notes in Mathemat- ics Series, 178. Longman Scientific & Technical, Harlow; cop ublished in the United States with John Wiley & Sons, Inc., New York, 1989. viii+182 pp

    1989

  49. [57]

    Lecture Notes in Mathematics, Vol

    D Quillen, Homotopical algebra . Lecture Notes in Mathematics, Vol. 43, Springer-Verlag,

  50. [58]

    S Schwede, The p-order of topological triangulated categories. J. Topol. 6 (2013), no. 4, 868– 914

    2013

  51. [59]

    , Equivariant properties of symmetric products. J. Amer. Math. Soc. 30 (2017), 673– 711

    2017

  52. [60]

    New Mathematical Monographs 34, Cambridge University Press, 2018

    , Global homotopy theory. New Mathematical Monographs 34, Cambridge University Press, 2018. xviii+828 pp

    2018

  53. [61]

    , Orbispaces, orthogonal spaces, and the universal compact L ie group. Math. Z. 294 (2020), 71–107

    2020

  54. [62]

    S Schwede, B E Shipley, Algebras and modules in monoidal model categories. Proc. London Math. Soc. (3) 80 (2000), 491–511

    2000

  55. [63]

    , A uniqueness theorem for stable homotopy theory. Math. Z. 239 (2002), 803–828

    2002

  56. [64]

    Topology 42 (2003), 103–153

    , Stable model categories are categories of modules . Topology 42 (2003), 103–153

    2003

  57. [65]

    G Segal, Equivariant K-theory. Inst. Hautes ´Etudes Sci. Publ. Math. No. 34 (1968), 129–151

    1968

  58. [66]

    Segal, Equivariant stable homotopy theory

    G. Segal, Equivariant stable homotopy theory. Actes du Congr` es International des Math´ ematiciens (Nice, 1970), Tome 2, pp. 59–63, 1971

    1970

  59. [67]

    Segal, Some results in equivariant homotopy theory

    G. Segal, Some results in equivariant homotopy theory . Preprint, 1978

    1978

  60. [68]

    K-theory and operator algebras (Proc

    , K-homology theory and algebraic K-theory. K-theory and operator algebras (Proc. Conf., Univ. Georgia, Athens, Ga., 1975), pp. 113–127. Lect ure Notes in Mathematics, Vol. 575, Springer-Verlag, Berlin, 1977

    1975

  61. [69]

    K Shimakawa, Infinite loop G-spaces associated to monoidal G-graded categories. Publ. Res. Inst. Math. Sci. 25 (1989), 239–262

    1989

  62. [70]

    PhD thesis, University of Bergen, 2011

    M Stolz, Equivariant structure on smash powers of commutative ring s pectra. PhD thesis, University of Bergen, 2011

    2011

  63. [71]

    Preprint, available from the author’s home- page

    N P Strickland, The category of CGWH spaces . Preprint, available from the author’s home- page

  64. [72]

    Topology 9 (1970), 345–358

    T tom Dieck, Bordism of G-manifolds and integrality theorems. Topology 9 (1970), 345–358

    1970

  65. [73]

    T tom Dieck, Orbittypen und ¨ aquivariante Homologie. I. Arch. Math. (Basel) 23 (1972), no. 1, 307–317

    1972

  66. [74]

    T tom Dieck, Orbittypen und ¨ aquivariante Homologie. II.Arch. Math. (Basel) 26 (1975), no. 6, 650–662

    1975

  67. [75]

    De Gruyter Studies in Mathematics, 8

    T tom Dieck, Transformation Groups. De Gruyter Studies in Mathematics, 8. W alter de Gruyter & Co., Berlin, 1987. x+312 pp

    1987

  68. [76]

    EMS Textbooks in Mathematics

    T tom Dieck, Algebraic topology. EMS Textbooks in Mathematics. European Mathematical Society (EMS), Z¨ urich, 2008. xii+567 pp

    2008

  69. [77]

    From notes taken by Indira Chat- terji

    A Valette, Introduction to the Baum-Connes conjecture. From notes taken by Indira Chat- terji. With an appendix by Guido Mislin. Lectures in Mathema tics ETH Z¨ urich. Birkh¨ auser Verlag, Basel, 2002. x+104 pp

    2002

  70. [78]

    Manuscripta Math

    K Wirthm¨ uller, Equivariant homology and duality. Manuscripta Math. 11 (1974), 373–390. Index Atiyah-Hirzebruch spectral sequence, 62, 110–112 bimorphism of orthogonal spectra, 27 Borel cohomology, 118–121 Bredon cohomology, 110–113 Brown representability for the equivariant ...

    1974

  71. [1408]

    Springer-Verlag, 1989

    Mathematica Gottingensis. Springer-Verlag, 1989. x ii+443 pp

    1989

Pith tools

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