Equivariant Homotopy Theory via Simplicial Coalgebras
Abstract
Given a commutative ring R, a π1-R-equivalence is a continuous map of spaces inducing an isomorphism on fundamental groups and an R-homology equivalence between universal covers. When R is an algebraically closed field, Raptis and Rivera described a full and faithful model for the homotopy theory of spaces up to π1-R-equivalence by means of simplicial coalgebras considered up to a notion of weak equivalence created by a localized version of the Cobar functor. In this article, we prove a G-equivariant analog of this statement using a generalization of a celebrated theorem of Elmendorf. We also prove a more general result about modeling G-simplicial sets considered under a linearized version of quasi-categorical equivalence in terms of simplicial coalgebras.
Turn this paper into a full lesson
ArcXiv compiles a staged curriculum from this paper: 8-12 lessons across beginner → advanced, synthesised section guides, visuals, flashcards, a quiz, exercises, and on-demand deep dives per section. Grounded in the abstract, never invented.