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 Gequivariant stable homotopy theory is the category of orthogonal Gspectra; the equivalences are those morphisms that induce isomorphisms of equivariant stable homotopy groups for all compact subgroups of G. This class of π∗isomorphisms is part of a symmetric monoidal stable model structure, and the associated tensor triangulated homotopy category is compactly generated. Consequently, every orthogonal Gspectrum represents an equivariant cohomology theory on the category of Gspaces. These represented cohomology theories are designed to only depend on the ‘proper Ghomotopy type’, tested by fixed points under all compact subgroups. An important special case of our theory 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 Gsphere spectrum is a compact object in our triangulated equivariant homotopy category if the universal space for proper Gactions has a finite GCWmodel. For discrete groups, the represented equivariant cohomology theories on finite proper GCWcomplexes admit a more explicit description in terms of parameterized equivariant homotopy theory, suitably stabilized by Gvector bundles. Via this description, we can identify the previously defined Gcohomology theories of equivariant stable cohomotopy and equivariant Ktheory as cohomology theories represented by specific orthogonal Gspectra.
Our model for genuine proper Gequivariant stable homotopy theory is the category of orthogonal Gspectra; the equivalences are those morphisms that induce isomorphisms of equivariant stable homotopy groups for all compact subgroups of G. This class of π∗isomorphisms is part of a symmetric monoidal stable model structure, and the associated tensor triangulated homotopy category is compactly generated. Consequently, every orthogonal Gspectrum represents an equivariant cohomology theory on the category of Gspaces. These represented cohomology theories are designed to only depend on the ‘proper Ghomotopy type’, tested by fixed points under all compact subgroups. An important special case of our theory 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 Gsphere spectrum is a compact object in our triangulated equivariant homotopy category if the universal space for proper Gactions has a finite GCWmodel. For discrete groups, the represented equivariant cohomology theories on finite proper GCWcomplexes admit a more explicit description in terms of parameterized equivariant homotopy theory, suitably stabilized by Gvector bundles. Via this description, we can identify the previously defined Gcohomology theories of equivariant stable cohomotopy and equivariant Ktheory as cohomology theories represented by specific orthogonal Gspectra.
Original language  English 

Journal  Memoirs of the American Mathematical Society 
Publication status  Accepted/In press  13 Oct 2020 
Keywords
 Lie group
 equivariant homotopy theory
 proper action
Fingerprint Dive into the research topics of 'Proper Equivariant Stable Homotopy Theory'. Together they form a unique fingerprint.
Profiles

Irakli Patchkoria
 School of Natural & Computing Sciences, Mathematical Science  Lecturer
 Mathematical Sciences (Research Theme)
Person: Academic