Showing 1–22 of 22 results for author: May, J P

Group completions and the homotopical monadicity theorem

Authors: Hana Jia Kong, J. Peter May, Foling Zou

Abstract: We abstract and generalize homotopical monadicity statements, placing in a single conceptual framework a range of old and recent recognition and characterization principles in iterated loop space theory in classical, equivariant, and multiplicative frameworks. Some of the examples are new and some are old, but all are illuminated by the coherent framework, which we feel certain will encompass exam… ▽ More We abstract and generalize homotopical monadicity statements, placing in a single conceptual framework a range of old and recent recognition and characterization principles in iterated loop space theory in classical, equivariant, and multiplicative frameworks. Some of the examples are new and some are old, but all are illuminated by the coherent framework, which we feel certain will encompass examples not yet thought of. The work is currently divided into three independently readable papers. This first paper is itself divided into three parts. In the first, we give the general abstract theory and treat the classical examples with structured spaces or $G$-spaces as input. In the second, we develop a general context of composite adjunctions that feeds into the first. It specializes, quite differently, to give infinite loop space machines that take either orbital presheaves or categories of operators as input. In the brief third part, we show how the multiplicative theory fits directly into the frameworks of the first and second parts. The second paper will focus on new constructions and applications when the starting category is that of orbital presheaves. The third will feed in new multiplicative constructions of the second author. Both papers fit into the general context established here, but the new constructions are of considerable independent interest. △ Less

Submitted 5 February, 2024; originally announced February 2024.

Comments: 88 pages

MSC Class: 55P48; 55P91; 18M60; 18C15

Multiplicative equivariant $K$-theory and the Barratt-Priddy-Quillen theorem

Authors: Bertrand J. Guillou, J. Peter May, Mona Merling, Angélica M. Osorno

Abstract: We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space machine that manufactures orthogonal $G$-spectra from symmetric monoidal $G$-categories. The new machine produces highly structured associative ring and module… ▽ More We prove a multiplicative version of the equivariant Barratt-Priddy-Quillen theorem, starting from the additive version proven in arXiv:1207.3459. The proof uses a multiplicative elaboration of an additive equivariant infinite loop space machine that manufactures orthogonal $G$-spectra from symmetric monoidal $G$-categories. The new machine produces highly structured associative ring and module $G$-spectra from appropriate multiplicative input. It relies on new operadic multicategories that are of considerable independent interest and are defined in a general, not necessarily equivariant or topological, context. Most of our work is focused on constructing and comparing them. We construct a multifunctor from the multicategory of symmetric monoidal $G$-categories to the multicategory of orthogonal $G$-spectra. With this machinery in place, we prove that the equivariant BPQ theorem can be lifted to a multiplicative equivalence. That is the heart of what is needed for the presheaf reconstruction of the category of $G$-spectra in arXiv:1110.3571. △ Less

Submitted 25 February, 2021; originally announced February 2021.

MSC Class: Primary 19D23; 19L47; 55P48; Secondary 18D20; 18D40; 18M65; 55P91; 55U40

Operads, monoids, monads, and bar constructions

Authors: J. P. May, Ruoqi Zhang, Foling Zou

Abstract: We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $Λ$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of symmetric sequences. The monads associated to unital operads are the ones of interest in iterated loop space theory and factorization homology, among many other applicat… ▽ More We give a description of unital operads in a symmetric monoidal category as monoids in a monoidal category of unital $Λ$-sequences. This is a new variant of Kelly's old description of operads as monoids in the monoidal category of symmetric sequences. The monads associated to unital operads are the ones of interest in iterated loop space theory and factorization homology, among many other applications. Our new description of unital operads allows an illuminating comparison between the two-sided monadic bar constructions used in such applications and ``classical'' monoidal two-sided bar constructions. △ Less

Submitted 24 March, 2020; originally announced March 2020.

Symmetric monoidal G-categories and their strictification

Authors: Bertrand Guillou, J. Peter May, Mona Merling, Angélica M. Osorno

Abstract: We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power, and Lack, to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetr… ▽ More We give an operadic definition of a genuine symmetric monoidal G-category, and we prove that its classifying space is a genuine E_\infty G-space. We do this by developing some very general categorical coherence theory. We combine results of Corner and Gurski, Power, and Lack, to develop a strictification theory for pseudoalgebras over operads and monads. It specializes to strictify genuine symmetric monoidal G-categories to genuine permutative G-categories. All of our work takes place in a general internal categorical framework that has many quite different specializations. When G is a finite group, the theory here combines with previous work to generalize equivariant infinite loop space theory from strict space level input to considerably more general category level input. It takes genuine symmetric monoidal G-categories as input to an equivariant infinite loop space machine that gives genuine G-spectra as output. △ Less

Submitted 23 July, 2019; v1 submitted 9 September, 2018; originally announced September 2018.

Comments: Final version. To appear in Quarterly Journal of Mathematics

MSC Class: 18D10; 18C15; 55P48; 55P91; 55U40

A symmetric monoidal and equivariant Segal infinite loop space machine

Authors: Bertrand Guillou, J. Peter May, Mona Merling, Angélica M. Osorno

Abstract: In [MMO] (arXiv:1704.03413), we reworked and generalized equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. In this paper, we construct a new variant of the equivariant Segal machine that starts from the category $\scr{F}$ of finite sets rather than from the category ${\scr{F}}_G$ of finite $G$-sets and which is equivalent to t… ▽ More In [MMO] (arXiv:1704.03413), we reworked and generalized equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. In this paper, we construct a new variant of the equivariant Segal machine that starts from the category $\scr{F}$ of finite sets rather than from the category ${\scr{F}}_G$ of finite $G$-sets and which is equivalent to the machine studied by Shimakawa and in [MMO]. In contrast to the machine in [MMO], the new machine gives a lax symmetric monoidal functor from the symmetric monoidal category of $\scr{F}$-$G$-spaces to the symmetric monoidal category of orthogonal $G$-spectra. We relate it multiplicatively to suspension $G$-spectra and to Eilenberg-MacLane $G$-spectra via lax symmetric monoidal functors from based $G$-spaces and from abelian groups to $\scr{F}$-$G$-spaces. Even non-equivariantly, this gives an appealing new variant of the Segal machine. This new variant makes the equivariant generalization of the theory essentially formal, hence is likely to be applicable in other contexts. △ Less

Submitted 5 September, 2018; v1 submitted 24 November, 2017; originally announced November 2017.

Comments: Title changed from "Equivariant infinite loop space II. The multiplicative Segal machine." Final version to appear in JPAA

MSC Class: 55P42; 55P43; 55P91 (Primary) 18A25; 18E30; 55P48; 55U35 (Secondary)

Equivariant infinite loop space theory, the space level story

Authors: J. Peter May, Mona Merling, Angélica M. Osorno

Abstract: We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $Ω$-$G$-spectra for any topological group $G$, but our focus is on the construction of genuine $Ω$-$G$-spectra when $G$ is finite. We also show what is and is not true when $G$ is a compact Lie group.… ▽ More We rework and generalize equivariant infinite loop space theory, which shows how to construct $G$-spectra from $G$-spaces with suitable structure. There is a classical version which gives classical $Ω$-$G$-spectra for any topological group $G$, but our focus is on the construction of genuine $Ω$-$G$-spectra when $G$ is finite. We also show what is and is not true when $G$ is a compact Lie group. We give new information about the Segal and operadic equivariant infinite loop space machines, supplying many details that are missing from the literature, and we prove by direct comparison that the two machines give equivalent output when fed equivalent input. The proof of the corresponding nonequivariant uniqueness theorem, due to May and Thomason, works for classical $G$-spectra for general $G$ but fails for genuine $G$-spectra. Even in the nonequivariant case, our comparison theorem is considerably more precise, giving an illuminating direct point-set level comparison. We have taken the opportunity to update this general area, equivariant and nonequivariant, giving many new proofs, filling in some gaps, and giving a number of corrections to results and proofs in the literature. △ Less

Submitted 15 September, 2022; v1 submitted 11 April, 2017; originally announced April 2017.

Comments: Minor edits. Final version, to appear in Memoirs of the AMS. 121 pages

MSC Class: 55P42; 55P43; 55P91 (Primary) 18A25; 18E30; 55P48; 55U35 (Secondary)

The homotopy theory of equivariant posets

Authors: J. P. May, Marc Stephan, Inna Zakharevich

Abstract: Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining the model structure are not well understood calculationally. To illustrate, we exhibit some examples of cofibrant and fibrant posets and an example of a non-co… ▽ More Let $G$ be a discrete group. We prove that the category of $G$-posets admits a model structure that is Quillen equivalent to the standard model structure on $G$-spaces. As is already true nonequivariantly, the three classes of maps defining the model structure are not well understood calculationally. To illustrate, we exhibit some examples of cofibrant and fibrant posets and an example of a non-cofibrant finite poset. △ Less

Submitted 2 March, 2017; v1 submitted 11 January, 2016; originally announced January 2016.

Comments: 22 pages; minor improvements suggested by the referee, final version, to appear in Cahiers de Topologie et Géométrie Différentielle Catégoriques

MSC Class: 55P91; 18G55; 18B35; 05E18

Journal ref: Cah. Topol. Géom. Différ. Catég. 58(2) (2017) 82-114

Six model structures for DG-modules over DGAs: Model category theory in homological action

Authors: Tobias Barthel, J. P. May, Emily Riehl

Abstract: In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at least to folklore, but in the general case the new relative and mixed model structures offer interesting alternatives to the model structures in common use. The… ▽ More In Part 1, we describe six projective-type model structures on the category of differential graded modules over a differential graded algebra A over a commutative ring R. When R is a field, the six collapse to three and are well-known, at least to folklore, but in the general case the new relative and mixed model structures offer interesting alternatives to the model structures in common use. The construction of some of these model structures requires two new variants of the small object argument, an enriched and an algebraic one, and we describe these more generally. In Part 2, we present a variety of theoretical and calculational cofibrant approximations in these model categories. The classical bar construction gives cofibrant approximations in the relative model structure, but generally not in the usual one. In the usual model structure, there are two quite different ways to lift cofibrant approximations from the level of homology modules over homology algebras, where they are classical projective resolutions, to the level of DG-modules over DG-algebras. The new theory makes model theoretic sense of earlier explicit calculations based on one of these constructions. A novel phenomenon we encounter is isomorphic cofibrant approximations with different combinatorial structure such that things proven in one avatar are not readily proven in the other. △ Less

Submitted 3 August, 2014; v1 submitted 3 October, 2013; originally announced October 2013.

Comments: 68 pages; v2: various expositional improvements suggested by an anonymous referee

MSC Class: 16E45; 18G25; 18G55; 55S30; 55T20; 55U35

Journal ref: New York J. Math. 20 (2014) 1077-1159

Enriched model categories in equivariant contexts

Authors: Bertrand Guillou, J. P. May, Jonathan Rubin

Abstract: We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group, denoted I[G]. When V is cartesian monoidal, the Hopf groups are just the group objects in V. When V is the category of modules over a commutative ring R, I[G] is th… ▽ More We give a general framework of equivariant model category theory. Our groups G, called Hopf groups, are suitably defined group objects in any well-behaved symmetric monoidal category V. For any V, a discrete group G gives a Hopf group, denoted I[G]. When V is cartesian monoidal, the Hopf groups are just the group objects in V. When V is the category of modules over a commutative ring R, I[G] is the group ring R[G] and the general Hopf groups are the cocommutative Hopf algebras over R. We show how all of the usual constructs of equivariant homotopy theory, both categorical and model theoretic, generalize to Hopf groups for any V. This opens up some quite elementary unexplored mathematical territory, while systematizing more familiar terrain. △ Less

Submitted 31 August, 2017; v1 submitted 16 July, 2013; originally announced July 2013.

Comments: 32 pages. v2. A third author, Jonathan Rubin, has been added. This is a significant departure from the previous version. Section 3 has moved to arXiv:1110.3571. The primary emphasis is now on equivariant homotopy theory with respect to a Hopf group object. A new section 4 applies this point of view to the study of modules over a cocommutative Hopf algebra

Equivariant iterated loop space theory and permutative G-categories

Authors: Bertrand Guillou, J. P. May

Abstract: We set up operadic foundations for equivariant iterated loop space theory. We start by building up from a discussion of the approximation theorem and recognition principle for V-fold loop G-spaces to several avatars of a recognition principle for infinite loop G-spaces. We then explain what genuine permutative G-categories are and, more generally, what E_{\infty} G-categories are, giving examples… ▽ More We set up operadic foundations for equivariant iterated loop space theory. We start by building up from a discussion of the approximation theorem and recognition principle for V-fold loop G-spaces to several avatars of a recognition principle for infinite loop G-spaces. We then explain what genuine permutative G-categories are and, more generally, what E_{\infty} G-categories are, giving examples showing how they arise. As an application, we prove the equivariant Barratt-Priddy-Quillen theorem as a statement about genuine G-spectra and use it to give a new, categorical, proof of the tom Dieck splitting theorem for suspension G-spectra. Other examples are geared towards equivariant algebraic K-theory. △ Less

Submitted 24 March, 2017; v1 submitted 14 July, 2012; originally announced July 2012.

Comments: 63 pages. Final version, to appear in AGT. Section 1 is new and concerns E_V-operads and V-fold loop G-spaces, where V is a representation of G. Other sections have been reorganized. An appendix discusses pairings of operads, giving geometric examples with good behavior. The previous version mistakenly claimed that the Barrett-Eccles operad has a well-behaved self-pairing, and we explain the error

MSC Class: 55P42; 55P47; 55P48; 55P91; 55P92; 18D10; 18D50; 18F25

Journal ref: Algebr. Geom. Topol. 17 (2017) 3259-3339

Categorical models for equivariant classifying spaces

Authors: B. J. Guillou, J. P. May, M. Merling

Abstract: Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory. Starting categorically, we give simple and precise models of equivariant classifying spaces. We need these models for work in progress in equivariant infinite loop space theory and equivariant algebraic K-theory, but the models are of independent interest in equivariant bundle theory and especially equivariant covering space theory. △ Less

Submitted 10 March, 2014; v1 submitted 24 January, 2012; originally announced January 2012.

Comments: 29 pages. Revised version, to appear in AGT. Considerable changes of notation and organization and other changes aimed at making the paper more user friendly

Journal ref: Algebr. Geom. Topol. 17 (2017) 2565-2602

Models of G-spectra as presheaves of spectra

Authors: Bertrand Guillou, J. P. May

Abstract: Let G be a finite group. We give Quillen equivalent models for the category of G-spectra as categories of spectrally enriched functors from explicitly described domain categories to nonequivariant spectra. Our preferred model is based on equivariant infinite loop space theory applied to elementary categorical data. It recasts equivariant stable homotopy theory in terms of point-set level categorie… ▽ More Let G be a finite group. We give Quillen equivalent models for the category of G-spectra as categories of spectrally enriched functors from explicitly described domain categories to nonequivariant spectra. Our preferred model is based on equivariant infinite loop space theory applied to elementary categorical data. It recasts equivariant stable homotopy theory in terms of point-set level categories of G-spans and nonequivariant spectra. We also give a more topologically grounded model based on equivariant Atiyah duality. △ Less

Submitted 29 November, 2022; v1 submitted 16 October, 2011; originally announced October 2011.

Comments: Final version. To appear in Algebraic & Geometric Topology. Section 3.1, which gives models for several important constructions on G-spectra, is new in this version. 46 pages

MSC Class: 55P91; 55P42

Journal ref: Algebr. Geom. Topol. 24 (2024) 1225-1275

Enriched model categories and presheaf categories

Authors: Bertrand Guillou, J. P. May

Abstract: We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between a given V-model category and a category of enriched presheaves in V, where V is any good enriching category. For example, we rederive the result of Schwede and… ▽ More We collect in one place a variety of known and folklore results in enriched model category theory and add a few new twists. The central theme is a general procedure for constructing a Quillen adjunction, often a Quillen equivalence, between a given V-model category and a category of enriched presheaves in V, where V is any good enriching category. For example, we rederive the result of Schwede and Shipley that reasonable stable model categories are Quillen equivalent to presheaf categories of spectra (alias categories of module spectra) under more general hypotheses. The technical improvements and modifications of general model categorical results given here are applied to equivariant contexts in a pair of sequels, where we indicate various directions of application. △ Less

Submitted 31 August, 2017; v1 submitted 16 October, 2011; originally announced October 2011.

Comments: 45 pages. v4. A number of relatively small changes and updates from the previous version, intended to address the most recent referee's report. The most significant change is the addition of section 4.5, which discusses Muro's work on arranging for a cofibrant unit

MSC Class: 55U35; 55P42

A Presheaf Interpretation of the Generalized Freyd Conjecture

Authors: Anna Marie Bohmann, J. P. May

Abstract: We give a generalized version of the Freyd conjecture and a way to think about a possible proof. The essential point is to describe an elementary formal reduction of the question that holds in any triangulated category. There are no new results, but at least one known example drops out quite trivially. We give a generalized version of the Freyd conjecture and a way to think about a possible proof. The essential point is to describe an elementary formal reduction of the question that holds in any triangulated category. There are no new results, but at least one known example drops out quite trivially. △ Less

Submitted 16 October, 2011; v1 submitted 22 March, 2010; originally announced March 2010.

Comments: 8 pages; formerly titled "Thinking about the Freyd conjecture"

MSC Class: 18E30; 55P42

Journal ref: Theory Appl. Categ. 26 (2012), No. 16, 403-411

Triangular Decomposition of Semi-algebraic Systems

Authors: Changbo Chen, James H. Davenport, John P. May, Marc Moreno Maza, Bican Xia, Rong Xiao

Abstract: Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue: semi-algebraic systems. We show that any such system can be decomposed into finitely many {\em regular semi-algebraic systems}. We propose two specifications of su… ▽ More Regular chains and triangular decompositions are fundamental and well-developed tools for describing the complex solutions of polynomial systems. This paper proposes adaptations of these tools focusing on solutions of the real analogue: semi-algebraic systems. We show that any such system can be decomposed into finitely many {\em regular semi-algebraic systems}. We propose two specifications of such a decomposition and present corresponding algorithms. Under some assumptions, one type of decomposition can be computed in singly exponential time w.r.t.\ the number of variables. We implement our algorithms and the experimental results illustrate their effectiveness. △ Less

Submitted 13 May, 2010; v1 submitted 25 February, 2010; originally announced February 2010.

Comments: 8 pages, accepted by ISSAC 2010

What are $E_{\infty}$ ring spaces good for?

Authors: J. P. May

Abstract: Infinite loop space theory, both additive and multiplicative, arose largely from two basic motivations. One was to solve calculational questions in geometric topology. The other was to better understand algebraic K-theory. The Adams conjecture is intrinsic to the first motivation, and Quillen's proof of that led directly to his original, calculationally accessible, definition of algebraic K-theo… ▽ More Infinite loop space theory, both additive and multiplicative, arose largely from two basic motivations. One was to solve calculational questions in geometric topology. The other was to better understand algebraic K-theory. The Adams conjecture is intrinsic to the first motivation, and Quillen's proof of that led directly to his original, calculationally accessible, definition of algebraic K-theory. In turn, the infinite loop understanding of algebraic K-theory feeds back into the calculational questions in geometric topology. For example, use of infinite loop space theory leads to a method for determining the characteristic classes for topological bundles (at odd primes) in terms of the cohomology of finite groups. We explain just a little about how all that works, focusing on the central role played by E infinity ring spaces. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 26 pages. To appear in Geometry and Topology (Banff Conference Proceedings)

The construction of $E_{\infty}$ ring spaces from bipermutative categories

Authors: J. P. May

Abstract: The construction of E infinity ring spaces and thus E infinity ring spectra from bipermutative categories gives the most highly structured way of obtaining the K-theory commutative ring spectra. The original construction dates from around 1980 and has never been superseded, but the original details are difficult, obscure, and slightly wrong. We rework the construction in a much more elementary f… ▽ More The construction of E infinity ring spaces and thus E infinity ring spectra from bipermutative categories gives the most highly structured way of obtaining the K-theory commutative ring spectra. The original construction dates from around 1980 and has never been superseded, but the original details are difficult, obscure, and slightly wrong. We rework the construction in a much more elementary fashion. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 36 pages. To appear in Geometry and Topology (Banff Conference Proceedings)

What precisely are $E_{\infty}$ ring spaces and $E_{\infty}$ ring spectra?

Authors: J. P. May

Abstract: E infinity ring spectra were defined in 1972, but the term has since acquired several alternative meanings. The same is true of several related terms. The new formulations are not always known to be equivalent to the old ones and even when they are, the notion of "equivalence" needs discussion: Quillen equivalent categories can be quite seriously inequivalent. Part of the confusion stems from a… ▽ More E infinity ring spectra were defined in 1972, but the term has since acquired several alternative meanings. The same is true of several related terms. The new formulations are not always known to be equivalent to the old ones and even when they are, the notion of "equivalence" needs discussion: Quillen equivalent categories can be quite seriously inequivalent. Part of the confusion stems from a gap in the modern resurgence of interest in E infinity structures. E infinity ring spaces were also defined in 1972 and have never been redefined. They were central to the early applications and they tie in implicitly to modern applications. We summarize the relationships between the old notions and various new ones, explaining what is and is not known. We take the opportunity to rework and modernize many of the early results. New proofs and perspectives are sprinkled throughout. △ Less

Submitted 16 March, 2009; originally announced March 2009.

Comments: 52 pages. To appear in Geometry and Topology (Banff Conference Proceedings)

Parametrized homotopy theory

Authors: J. P. May, J. Sigurdsson

Abstract: We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant ex-spaces (spaces over and under a given space) and of equivariant parametrized spectra. We emphasize several issues of independent interest and include much ne… ▽ More We give rigorous foundations for parametrized homotopy theory in this monograph. After preliminaries on point-set topology, base change functors, and proper actions of non-compact Lie groups, we develop the homotopy theory of equivariant ex-spaces (spaces over and under a given space) and of equivariant parametrized spectra. We emphasize several issues of independent interest and include much new material on the general theory of topologically enriched model categories. The essential point is to resolve problems in parametrized homotopy theory that have no nonparametrized counterparts. In contrast to previously encountered situations, model theoretic techniques are intrinsically insufficient for this. Instead, a rather intricate blend of model theory and classical homotopy theory is required. Stably, we work with equivariant orthogonal spectra, which are simpler for the purpose than alternative kinds of spectra and give highly structured smash products. We then give a fiberwise duality theorem that allows fiberwise recognition of dualizable and invertible parametrized spectra. This allows application of formal duality theory to the construction and analysis of transfer maps. A construction of fiberwise bundles of spectra plays a central role and leads to a simple conceptual proof of a generalized Wirthmuller isomorphism theorem that calculates the right adjoint to base change along an equivariant bundle with manifold fibers in terms of a shift of the left adjoint. Due to the generality of our bundle theoretic context, the Adams isomorphism theorem relating orbit and fixed point spectra is a direct consequence. △ Less

Submitted 30 November, 2004; originally announced November 2004.

Comments: vi+233 pages

MSC Class: 19D99; 55N20; 55P42

The Wirthmuller isomorphism revisited

Authors: J. P. May

Abstract: We show how the formal Wirthmuller isomorphism theorem proven in "Isomorphisms between left and right adjoints", by Fausk, Hu, and May, simplifies the proof of the Wirthmuller isomorphism in equivariant stable homotopy theory. Other examples from equivariant stable homotopy theory show that the hypotheses of the formal Wirthmuller and formal Grothendieck isomorphism theorems in the cited paper c… ▽ More We show how the formal Wirthmuller isomorphism theorem proven in "Isomorphisms between left and right adjoints", by Fausk, Hu, and May, simplifies the proof of the Wirthmuller isomorphism in equivariant stable homotopy theory. Other examples from equivariant stable homotopy theory show that the hypotheses of the formal Wirthmuller and formal Grothendieck isomorphism theorems in the cited paper cannot be weakened. △ Less

Submitted 7 June, 2002; originally announced June 2002.

Comments: 9 pages

MSC Class: 55P91; 55U30

Isomorphisms between left and right adjoints

Authors: H. Fausk, P. Hu, J. P. May

Abstract: There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint specified by an appropriate ``dualizing object''. Typically the left adjoint is well understood while the right adjoint is more mysterious, and the result identifies… ▽ More There are many contexts in algebraic geometry, algebraic topology, and homological algebra where one encounters a functor that has both a left and right adjoint, with the right adjoint being isomorphic to a shift of the left adjoint specified by an appropriate ``dualizing object''. Typically the left adjoint is well understood while the right adjoint is more mysterious, and the result identifies the right adjoint in familiar terms. We give a categorical discussion of such results. One essential point is to differentiate between the classical framework that arises in algebraic geometry and a deceptively similar, but genuinely different, framework that arises in algebraic topology. Another is to make clear which parts of the proofs of such results are formal. The analysis significantly simplifies the proofs of particular cases, as we illustrate in a sequel discussing applications to equivariant stable homotopy theory. △ Less

Submitted 7 June, 2002; originally announced June 2002.

Comments: 17 pages

MSC Class: 14A99; 18F99; 55P91

Minimal Atomic Complexes

Authors: A. J. Baker, J. P. May

Abstract: Hu, Kriz and May recently reexamined ideas implicit in Priddy's elegant homotopy theoretic construction of the Brown-Peterson spectrum at a prime p. They discussed May's notions of nuclear complexes and of cores of spaces, spectra, and commutative S-algebras. Their most striking conclusions, due to Hu and Kriz, were negative: cores are not unique up to equivalence, and BP is not a core of MU con… ▽ More Hu, Kriz and May recently reexamined ideas implicit in Priddy's elegant homotopy theoretic construction of the Brown-Peterson spectrum at a prime p. They discussed May's notions of nuclear complexes and of cores of spaces, spectra, and commutative S-algebras. Their most striking conclusions, due to Hu and Kriz, were negative: cores are not unique up to equivalence, and BP is not a core of MU considered as a commutative S-algebra, although it is a core of MU considered as a p-local spectrum. We investigate these ideas further, obtaining much more positive conclusions. We show that nuclear complexes have several non-obviously equivalent characterizations. Up to equivalence, they are precisely the irreducible complexes, the minimal atomic complexes, and the Hurewicz complexes with trivial mod p Hurewicz homomorphism above the Hurewicz dimension, which we call complexes with no mod p detectable homotopy. Unlike the notion of a nuclear complex, these other notions are all invariant under equivalence. This simple and conceptual criterion for a complex to be minimal atomic allows us to prove that many familiar spectra, such as ko, eo_2, and BoP at the prime 2, all BP<n> at any prime p, and the indecomposable wedge summands of the suspension spectra of $CP^\infty$ and $HP^\infty$ at any prime p are minimal atomic. △ Less

Submitted 7 June, 2002; originally announced June 2002.

Comments: 17 pages. See also http://www.math.uchicago.edu/~may/99April1.pdf

MSC Class: 55P15; 55P42; 55P60