Search

Suppose $G$ is a finite group. In this paper, we construct an equivalence between the $\infty$-category of algebras over an $N_{\infty}$-operad $\mathcal{O}$ associated to a $G$-indexing system $\mathcal{I}$ and the corresponding $\infty$-category of higher incomplete $\mathcal{I}$-Mackey functors with value in spaces. We use the universal property of the incomplete $(2, 1)$-category of spans of finite $G$-sets $\mathscr{A}_{\mathcal{I}}$ to construct a functor from $\mathscr{A}_{\mathcal{I}}$ to the $2$-category of $\mathcal{I}$-normed symmetric monoidal categories of Rubin. We then show that the left Kan extension of the composition of this functor with the core functor is an equivalence., Comment: 31 pages, comments are welcome!

The notion of a continuous $G$-action on a topological space readily generalizes to that of a continuous $D$-action, where $D$ is any small category. Dror Farjoun and Zabrodsky introduced a generalized notion of orbit, which is key to understanding spaces with continuous $D$-action. We give an overview of the theory of orbits and then prove a generalization of "Elmendorf's Theorem,'' which roughly states that the homotopical data of of a $D$-space is precisely captured by the homotopical data of its orbits., Comment: 26 pages. Comments welcome!

We define $N_\infty$-operads in the globally equivariant setting and completely classify them. These global $N_\infty$-operads model intermediate levels of equivariant commutativity in the global world, i. e. in the setting where objects have compatible actions by all compact Lie groups. We classify global $N_\infty$-operads by giving an equivalence between the homotopy category of global $N_\infty$-operads and the partially ordered set of global transfer systems, which are much simpler, algebraic objects. We also explore the relation between global $N_\infty$-operads and $N_\infty$-operads for a single group, recently introduced by Blumberg and Hill. One interesting consequence of our results is the fact that not all equivariant $N_\infty$-operads can appear as restrictions of global $N_\infty$-operads., Comment: 19 pages, final published version, minor changes, updated bibliography

We introduce and study a genuine equivariant refinement of the Tate construction associated to an extension $\widehat{G}$ of a finite group $G$ by a compact Lie group $K$, which we call the parametrized Tate construction $(-)^{t_G K}$. Our main theorem establishes the coincidence of three conceptually distinct approaches to its construction when $K$ is also finite: one via recollement theory for the $K$-free $\widehat{G}$-family, another via parametrized ambidexterity for $G$-local systems, and the last via parametrized assembly maps. We also show that $(-)^{t_G K}$ uniquely admits the structure of a lax $G$-symmetric monoidal functor, thereby refining a theorem of Nikolaus and Scholze. Along the way, we apply a theorem of the second author to reprove a result of Ayala--Mazel-Gee--Rozenblyum on reconstructing a genuine $G$-spectrum from its geometric fixed points; our method of proof further yields a formula for the geometric fixed points of an $\mathcal{F}$-complete $G$-spectrum for any $G$-family $\mathcal{F}$., Comment: Revision and expansion of sections 3-5 of arXiv:1909.03920. 66 pages. v2: minor edits

We study operads in unstable global homotopy theory, which is the homotopy theory of spaces with compatible actions by all compact Lie groups. We show that the theory of these operads works remarkably well, as for example it is possible to give a model structure for the category of algebras over any such operad. We define global $E_\infty$-operads, a good generalization of $E_\infty$-operads to the global setting, and we give a rectification result for algebras over them., Comment: 33 pages, final published version, minor changes, updated bibliography

Transfer systems are combinatorial objects which classify $N_\infty$ operads up to homotopy. By results of A. Blumberg and M. Hill, every transfer system associated to a linear isometries operad is also saturated (closed under a particular two-out-of-three property). We investigate saturated and linear isometric transfer systems with equivariance group $C_{p^mq^n}$, the cyclic group of order $p^mq^n$ for $p,q$ distinct primes and $m,n\ge 0$. We give a complete enumeration of saturated transfer systems for $C_{p^mq^n}$. We also prove J. Rubin's saturation conjecture for $C_{pq^n}$; this says that every saturated transfer system is realized by a linear isometries operad for $p,q$ sufficiently large (greater than $3$ in this case)., Comment: Comments welcome!

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., Comment: several minor corrections and updates; v+142 pp

We study the indexing systems that correspond to equivariant Steiner and linear isometries operads. When $G$ is a finite abelian group, we prove that a $G$-indexing system is realized by a Steiner operad if and only if it is generated by cyclic $G$-orbits. When $G$ is a finite cyclic group, whose order is either a prime power or a product of two distinct primes greater than $3$, we prove that a $G$-indexing system is realized by a linear isometries operad if and only if it satisfies Blumberg and Hill's horn-filling condition. We also repackage the data in an indexing system as a certain kind of partial order. We call these posets transfer systems, and we develop basic tools for computing with them., Comment: 37 pages and 4 figures, reorganized and refocused. The material on derived (co)induction and restriction has been removed, but many more examples have been added. Comments still very welcome!

We formulate and prove a version of the Segal Conjecture for infinite groups. For finite groups it reduces to the original version. The condition that G is finite is replaced in our setting by the assumption that there exists a finite model for the classifying space underline{E}G for proper actions. This assumption is satisfied for instance for word hyperbolic groups or cocompact discrete subgroups of Lie groups with finitely many path components. As a consequence we get for such groups G that the zero-th stable cohomotopy of the classifying space BG is isomorphic to the I-adic completion of the ring given by the zero-th equivariant stable cohomotopy of underline{E}G for I the augmentation ideal., Comment: Final version: Algebraic & Geometric Topology 20-2 (2020), 965--986. DOI 10.2140/agt.2020.20.965

Constructing and manipulating homotopy types from categorical input data has been an important theme in algebraic topology for decades. Every category gives rise to a `classifying space', the geometric realization of the nerve. Up to weak homotopy equivalence, every space is the classifying space of a small category. More is true: the entire homotopy theory of topological spaces and continuous maps can be modeled by categories and functors. We establish a vast generalization of the equivalence of the homotopy theories of categories and spaces: small categories represent refined homotopy types of orbispaces whose underlying coarse moduli space is the traditional homotopy type hitherto considered. A global equivalence is a functor between small categories that induces weak equivalences of nerves of the categories of $G$-objects, for all finite groups $G$. We show that the global equivalences are part of a model structure on the category of small categories, which is moreover Quillen equivalent to the homotopy theory of orbispaces in the sense of Gepner and Henriques. Every cofibrant category in this global model structure is opposite to a complex of groups in the sense of Haefliger.

This paper identifies the homotopy theories of topological stacks and orbispaces with unstable global homotopy theory. At the same time, we provide a new perspective by interpreting it as the homotopy theory of `spaces with an action of the universal compact Lie group'. The upshot is a novel way to construct and study genuine cohomology theories on stacks, orbifolds, and orbispaces, defined from stable global homotopy types represented by orthogonal spectra. The universal compact Lie group (which is neither compact nor a Lie group) is a well known object, namely the topological monoid $\mathcal L$ of linear isometric self-embeddings of $\mathbb R^\infty$. The underlying space of $\mathcal L$ is contractible, and the homotopy theory of $\mathcal L$-spaces with respect to underlying weak equivalences is just another model for the homotopy theory of spaces. However, the monoid $\mathcal L$ contains copies of all compact Lie groups in a specific way, and we define global equivalences of $\mathcal L$-spaces by testing on corresponding fixed points. We establish a global model structure on the category of $\mathcal L$-spaces and prove it to be Quillen equivalent to the global model category of orthogonal spaces, and to the category of orbispaces, i.e., presheaves of spaces on the global orbit category.

The filtration on the infinite symmetric product of spheres by the number of factors provides a sequence of spectra between the sphere spectrum and the integral Eilenberg-Mac Lane spectrum. This filtration has received a lot of attention and the subquotients are interesting stable homotopy types. While the symmetric product filtration has been a major focus of research since the 1980s, essentially nothing was known when one adds group actions into the picture. We investigate the equivariant stable homotopy types, for compact Lie groups, obtained from this filtration of infinite symmetric products of representation spheres. The situation differs from the non-equivariant case, for example the subquotients of the filtration are no longer rationally trivial and on the zeroth equivariant homotopy groups an interesting filtration of the augmentation ideals of the Burnside rings arises. Our method is by global homotopy theory, i.e., we study the simultaneous behavior for all compact Lie groups at once., Comment: 33 pages

Building on the work of Martin Stolz, we develop the basics of equivariant stable homotopy theory starting from the simple idea that a G- spectrum should just be a spectrum with an action of G on it, in contrast to the usual approach in which the definition of a G-spectrum depends on a choice of universe., Comment: 14 pages

We introduce the theory of strong homotopy types of simplicial complexes. Similarly to classical simple homotopy theory, the strong homotopy types can be described by elementary moves. An elementary move in this setting is called a strong collapse and it is a particular kind of simplicial collapse. The advantage of using strong collapses is the existence and uniqueness of cores and their relationship with the nerves of the complexes. From this theory we derive new results for studying simplicial collapsibility with a different point of view. We analyze vertex-transitive simplicial $G$-actions and prove a particular case of the Evasiveness conjecture for simplicial complexes. Moreover, we reduce the general conjecture to the class of minimal complexes. We also strengthen a result of V. Welker on the barycentric subdivision of collapsible complexes. We obtain this and other results on collapsibility of polyhedra by means of the characterization of the different notions of collapses in terms of finite topological spaces., Comment: 24 pages, 8 figures

We give an algorithm for calculating the RO(S^1)-graded TR-groups of F_p, completing the calculation started by the second author. We also calculate the RO(S^1)-graded TR-groups of Z with mod p coefficients and of the Adams summand \ell of connective complex K-theory with V(1)-coefficients. Some of these calculations are used elsewhere to compute the algebraic K-theory of certain Z-algebras., Comment: Minor revisions. To appear in the Journal of Pure and Applied Algebra

For a finite p-group G and a bounded below G-spectrum X of finite type mod p, the G-equivariant Segal conjecture for X asserts that the canonical map X^G --> X^{hG} is a p-adic equivalence. Let C_{p^n} be the cyclic group of order p^n. We show that if the C_p Segal conjecture holds for a C_{p^n} spectrum X, as well as for each of its C_{p^e} geometric fixed points for 0 < e < n, then then C_{p^n} Segal conjecture holds for X. Similar results hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.

Let M be a Poincare duality space of dimension at least four. In this paper we describe a complete obstruction to realizing the diagonal map M -> M x M by a Poincare embedding. The obstruction group depends only on the fundamental group and the parity of the dimension of M., Comment: Fixed some references, minor typos and improved some formulations

To an inclusion topological groups H->G, we associate a naive G-spectrum. The special case when H=G gives the dualizing spectrum D_G introduced by the author in the first paper of this series. The main application will be to give a purely homotopy theoretic construction of Poincare embeddings in stable codimension., Comment: Fixed an array of typos

We extend the theory of equivariant orthogonal spectra from finite groups to profinite groups, and more generally from compact Lie groups to compact Hausdorff groups. The G-homotopy theory is "pieced together" from the G/U-homotopy theories for suitable quotient groups G/U of G; a motivation is the way continuous group cohomology of a profinite group is built out of the cohomology of its finite quotient groups. In the model category of equivariant spectra Postnikov towers are studied from a general perspective. We introduce pro-G-spectra and construct various model structures on them. A key property of the model structures is that pro-spectra are weakly equivalent to their Postnikov towers. We discuss two versions of a model structure with "underlying weak equivalences". One of the versions only makes sense for pro-spectra. In the end we use the theory to study homotopy fixed points of pro-G-spectra.

For a compact Lie group $G$ with maximal torus $T$, Pittie and Smith showed that the flag variety $G/T$ is always a stably framed boundary. We generalize this to the category of $p$-compact groups, where the geometric argument is replaced by a homotopy theoretic argument showing that the class in the stable homotopy groups of spheres represented by $G/T$ is trivial, even $G$-equivariantly. As an application, we consider an unstable construction of a $G$-space mimicking the adjoint representation sphere of $G$ inspired by work of the second author and Kitchloo. This construction stably and $G$-equivariantly splits off its top cell, which is then shown to be a dualizing spectrum for $G$., Comment: 12 pages

For $\Cc$ a $G$-category, we give a condition on a diagram of simplicial sets indexed on $\Cc$ that allows us to define a natural $G$-action on its homotopy colimit, and in some other simplicial sets and categories defined in terms of the diagram. Well-known theorems on homeomorphisms and homotopy equivalences are generalized to an equivariant version., Comment: 8 pages

We introduce WI-posets as intermediate objects in the study of Z_2-homotopy types of graph complexes. It turns out that (almost) all graph complexes associated to a graph can be viewed as avatars of the same object, as long as their Z_2-homotopy types are concerned. Among the applications are a proof that each finite, free Z_2-complex is a graph complex and an evaluation of Z_2-homotopy types of complexes Ind(C_n) of independence sets in a cycle C_n. The main tools used in the paper are Quillen fiber theorem and Bredon criterion for Z_2-equivalence of Z_2-complexes.

We present an example of a homotopical localization functor which is not a localization with respect to any set of maps. Our example arises from equivariant homotopy theory. The technique of equivariant cellularization is developed and applied to the proof of the main result.

Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions). In this paper we expand the existing framework, so that it will apply to not necessarily cofibrantly generated model categories and, more important, will allow for a localization with respect to a class of maps (satisfying some restrictive conditions). We illustrate our technique by applying it to the equivariant model category of diagrams of spaces. This model category is not cofibrantly generated. We give conditions on a class of maps which ensure the existence of the localization functor; these conditions are satisfied by any set of maps and by the class of maps which induces ordinary localizations on the generalized fixed-points sets.

In general the processes of taking a homotopy inverse limit of a diagram of spectra and smashing spectra with a fixed space do not commute. In this paper we investigate under what additional assumptions these two processes do commute. In fact we deal with an equivariant generalization which involves spectra and smash products over the orbit category of a discrete group. Such a situation naturally occurs if one studies the equivariant homology theory associated to topological cyclic homology. The main theorem of this paper will play a role in the generalization of the results obtained by Boekstedt, Hsiang and Madsen about the algebraic K-theory Novikov Conjecture to the assembly map for the family of virtually cyclic subgroups., Comment: 23 pages