Showing 1–26 of 26 results for author: Guillou, B

C_2-Equivariant Stable Stems

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We compute the 2-primary $C_2$-equivariant stable homotopy groups $π^{C_2}_{s,c}$ for stems between 0 and 25 (i.e., $0 \leq s \leq 25$) and for coweights between -1 and 7 (i.e., $-1 \leq c \leq 7)$. Our results, combined with periodicity isomorphisms and sufficiently extensive $\mathbb{R}$-motivic computations, would determine all of the $C_2$-equivariant stable homotopy groups for all stems up to… ▽ More We compute the 2-primary $C_2$-equivariant stable homotopy groups $π^{C_2}_{s,c}$ for stems between 0 and 25 (i.e., $0 \leq s \leq 25$) and for coweights between -1 and 7 (i.e., $-1 \leq c \leq 7)$. Our results, combined with periodicity isomorphisms and sufficiently extensive $\mathbb{R}$-motivic computations, would determine all of the $C_2$-equivariant stable homotopy groups for all stems up to 20. We also compute the forgetful map $π^{C_2}_{s,c} \rightarrow π^{\mathrm{cl}}_s$ to the classical stable homotopy groups in the same range. △ Less

Submitted 22 April, 2024; originally announced April 2024.

Comments: 109 pages, including 42 pages of charts. Comments welcome!

MSC Class: 55Q91; 55T15; 55Q45

On the Steenrod module structure of $\mathbb{R}$-motivic Spanier-Whitehead duals

Authors: Prasit Bhattacharya, Bertrand J. Guillou, Ang Li

Abstract: The $\mathbb{R}$-motivic cohomology of an $\mathbb{R}$-motivic spectrum is a module over the $\mathbb{R}$-motivic Steenrod algebra $\mathcal{A}^{\mathbb{R}}$. In this paper, we describe how to recover the $\mathbb{R}$-motivic cohomology of the Spanier-Whitehead dual $\mathrm{DX}$ of an $\mathbb{R}$-motivic finite complex $\mathrm{X}$, as an $\mathcal{A}^{\mathbb{R}}$-module, given the… ▽ More The $\mathbb{R}$-motivic cohomology of an $\mathbb{R}$-motivic spectrum is a module over the $\mathbb{R}$-motivic Steenrod algebra $\mathcal{A}^{\mathbb{R}}$. In this paper, we describe how to recover the $\mathbb{R}$-motivic cohomology of the Spanier-Whitehead dual $\mathrm{DX}$ of an $\mathbb{R}$-motivic finite complex $\mathrm{X}$, as an $\mathcal{A}^{\mathbb{R}}$-module, given the $\mathcal{A}^{\mathbb{R}}$-module structure on the cohomology of $\mathrm{X}$. As an application, we show that 16 out of 128 different $\mathcal{A}^{\mathbb{R}}$-module structures on $\mathcal{A}^{\mathbb{R}}(1):= \langle \mathrm{Sq}^1, \mathrm{Sq}^2 \rangle$ are self-dual. △ Less

Submitted 18 October, 2023; v1 submitted 27 September, 2023; originally announced September 2023.

Comments: Some minor typos fixed. 15 pages. Submitted version

MSC Class: 14F42; 55S10

The homotopy of the KU_G-local equivariant sphere spectrum

Authors: Tanner N. Carawan, Rebecca Field, Bertrand J. Guillou, David Mehrle, Nathaniel J. Stapleton

Abstract: We compute the homotopy Mackey functors of the $KU_G$-local equivariant sphere spectrum when $G$ is a finite $q$-group for an odd prime $q$, building on the degree zero case from arXiv:2204.03797. We compute the homotopy Mackey functors of the $KU_G$-local equivariant sphere spectrum when $G$ is a finite $q$-group for an odd prime $q$, building on the degree zero case from arXiv:2204.03797. △ Less

Submitted 21 March, 2023; originally announced March 2023.

Comments: 15 pages. Comments welcome!

On the $KU_G$-local equivariant sphere

Authors: Peter J. Bonventre, Bertrand J. Guillou, Nathaniel J. Stapleton

Abstract: Equivariant complex $K$-theory and the equivariant sphere spectrum are two of the most fundamental equivariant spectra. For an odd $p$-group, we calculate the zeroth homotopy Green functor of the localization of the equivariant sphere spectrum with respect to equivariant complex $K$-theory. Further, we calculate the zeroth homotopy Tambara functor structure in the case of odd cyclic $p$-groups. Equivariant complex $K$-theory and the equivariant sphere spectrum are two of the most fundamental equivariant spectra. For an odd $p$-group, we calculate the zeroth homotopy Green functor of the localization of the equivariant sphere spectrum with respect to equivariant complex $K$-theory. Further, we calculate the zeroth homotopy Tambara functor structure in the case of odd cyclic $p$-groups. △ Less

Submitted 25 April, 2022; v1 submitted 7 April, 2022; originally announced April 2022.

Comments: Version 2. Added the Tambara structure for cyclic groups, following a suggestion of William Balderrama

The slices of quaternionic Eilenberg-Mac Lane spectra

Authors: Bertrand J. Guillou, Carissa Slone

Abstract: We compute the slices and slice spectral sequence of integral suspensions of the equivariant Eilenberg-Mac Lane spectra $H\underline{\mathbb{Z}}$ for the group of equivariance $Q_8$. Along the way, we compute the Mackey functors $\underlineπ_{kρ} H\underline{\mathbb{Z}}$. We compute the slices and slice spectral sequence of integral suspensions of the equivariant Eilenberg-Mac Lane spectra $H\underline{\mathbb{Z}}$ for the group of equivariance $Q_8$. Along the way, we compute the Mackey functors $\underlineπ_{kρ} H\underline{\mathbb{Z}}$. △ Less

Submitted 6 April, 2022; originally announced April 2022.

Comments: 41 pages. Comments welcome!

On realizations of the subalgebra $A^R(1)$ of the $R$-motivic Steenrod Algebra

Authors: Prasit Bhattacharya, Bertrand J. Guillou, Ang Li

Abstract: In this paper, we show that the finite subalgebra $\mathcal{A}^{\mathbb{R}}(1)$, generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$, of the $\mathbb{R}$-motivic Steenrod algebra $\mathcal{A}^{\mathbb{R}}$ can be given $128$ different $\mathcal{A}^{\mathbb{R}}$-module structures. We also show that all of these $\mathcal{A}^{\mathbb{R}}$-modules can be realized as the cohomology of a $2$-local finite… ▽ More In this paper, we show that the finite subalgebra $\mathcal{A}^{\mathbb{R}}(1)$, generated by $\mathrm{Sq}^1$ and $\mathrm{Sq}^2$, of the $\mathbb{R}$-motivic Steenrod algebra $\mathcal{A}^{\mathbb{R}}$ can be given $128$ different $\mathcal{A}^{\mathbb{R}}$-module structures. We also show that all of these $\mathcal{A}^{\mathbb{R}}$-modules can be realized as the cohomology of a $2$-local finite $\mathbb{R}$-motivic spectrum. The realization results are obtained using an $\mathbb{R}$ -motivic analogue of the Toda realization theorem. We notice that each realization of $\mathcal{A}^{\mathbb{R}}(1)$ can be expressed as a cofiber of an $\mathbb{R}$-motivic $v_1$-self-map. The $\mathrm{C}_2$-equivariant analogue of the above results then follows because of the Betti realization functor. We identify a relationship between the $\mathrm{RO}(\mathrm{C}_2)$-graded Steenrod operations on a $\mathrm{C}_2$-equivariant space and the classical Steenrod operations on both its underlying space and its fixed-points. This technique is then used to identify the geometric fixed-point spectra of the $\mathrm{C}_2$-equivariant realizations of $\mathcal{A}^{\mathrm{C}_2}(1)$. We find another application of the $\mathbb{R}$-motivic Toda realization theorem: we produce an $\mathbb{R}$-motivic, and consequently a $\mathrm{C}_2$-equivariant, analogue of the Bhattacharya-Egger spectrum $\mathcal{Z}$, which could be of independent interest. △ Less

Submitted 11 July, 2021; v1 submitted 20 June, 2021; originally announced June 2021.

Comments: Minor changes. Submitted version

MSC Class: 14F42; 55S10; 55N91

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

An $\mathbb{R}$-motivic $v_{1}-$self-map of periodicity $1$

Authors: Prasit Bhattacharya, Bertrand Guillou, Ang Li

Abstract: We consider a nontrivial action of $\mathrm{C}_2$ on the type $1$ spectrum $\mathcal{Y} := \mathrm{M}_2(1) \wedge \mathrm{C}(η)$, which is well-known for admitting a $1$-periodic $v_1-$self-map. The resultant finite $\mathrm{C}_2$-equivariant spectrum $\mathcal{Y}^{\mathrm{C}_2}$ can also be viewed as the complex points of a finite $\mathbb{R}$-motivic spectrum $\mathcal{Y}^\mathbb{R}$. In this pa… ▽ More We consider a nontrivial action of $\mathrm{C}_2$ on the type $1$ spectrum $\mathcal{Y} := \mathrm{M}_2(1) \wedge \mathrm{C}(η)$, which is well-known for admitting a $1$-periodic $v_1-$self-map. The resultant finite $\mathrm{C}_2$-equivariant spectrum $\mathcal{Y}^{\mathrm{C}_2}$ can also be viewed as the complex points of a finite $\mathbb{R}$-motivic spectrum $\mathcal{Y}^\mathbb{R}$. In this paper, we show that one of the $1$-periodic $v_1-$self-maps of $\mathcal{Y}$ can be lifted to a self-map of $\mathcal{Y}^{\mathrm{C}_2}$ as well as $\mathcal{Y}^{\mathbb{R}}$. Further, the cofiber of the self-map of $\mathcal{Y}^{\mathbb{R}}$ is a realization of the subalgebra $\mathcal{A}^\mathbb{R}(1)$ of the $\mathbb{R}$-motivic Steenrod algebra. We also show that the $\mathrm{C}_2$-equivariant self-map is nilpotent on the geometric fixed-points of $\mathcal{Y}^{\mathrm{C}_2}$. △ Less

Submitted 2 November, 2020; v1 submitted 12 August, 2020; originally announced August 2020.

MSC Class: 14F42; 55Q51; 55Q91

Additive power operations in equivariant cohomology

Authors: Peter J. Bonventre, Bertrand J. Guillou, Nathaniel J. Stapleton

Abstract: Let $G$ be a finite group and $E$ be an $H_\infty$-ring $G$-spectrum. For any $G$-space $X$ and positive integer $m$, we give an explicit description of the smallest Mackey ideal $\underline{J}$ in $\underline{E}^0(X\times BΣ_m)$ for which the reduced $m$th power operation $\underline{E}^0(X) \to \underline{E}^0(X \times BΣ_m )/\underline{J}$ is a map of Green functors. We obtain this result as a… ▽ More Let $G$ be a finite group and $E$ be an $H_\infty$-ring $G$-spectrum. For any $G$-space $X$ and positive integer $m$, we give an explicit description of the smallest Mackey ideal $\underline{J}$ in $\underline{E}^0(X\times BΣ_m)$ for which the reduced $m$th power operation $\underline{E}^0(X) \to \underline{E}^0(X \times BΣ_m )/\underline{J}$ is a map of Green functors. We obtain this result as a special case of a general theorem that we establish in the context of $G\timesΣ_m$-Green functors. This theorem also specializes to characterize the appropriate ideal $\underline{J}$ when $E$ is an ultra-commutative global ring spectrum. We give example computations for the sphere spectrum, complex $K$-theory, and Morava $E$-theory. △ Less

Submitted 29 January, 2020; originally announced January 2020.

Comments: 39 pages. Comments welcome

MSC Class: 55N91; 55S25

C_2-equivariant and R-motivic stable stems, II

Authors: Eva Belmont, Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author. We show that the $C_2$-equivariant and $\mathbb{R}$-motivic stable homotopy groups are isomorphic in a range. This result supersedes previous work of Dugger and the third author. △ Less

Submitted 7 January, 2020; originally announced January 2020.

MSC Class: 14F42; 55Q45; 55Q91; 55T15

The Bredon-Landweber region in $C_2$-equivariant stable homotopy groups

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We use the $C_2$-equivariant Adams spectral sequence to compute part of the $C_2$-equivariant stable homotopy groups $π^{C_2}_{n,n}$. This allows us to recover results of Bredon and Landweber on the image of the geometric fixed-points map from the equivariant homotopy group $π^{C_2}_{n,n}$ to the classical $π_0$. We also recover results of Mahowald and Ravenel on the Mahowald root invariants of th… ▽ More We use the $C_2$-equivariant Adams spectral sequence to compute part of the $C_2$-equivariant stable homotopy groups $π^{C_2}_{n,n}$. This allows us to recover results of Bredon and Landweber on the image of the geometric fixed-points map from the equivariant homotopy group $π^{C_2}_{n,n}$ to the classical $π_0$. We also recover results of Mahowald and Ravenel on the Mahowald root invariants of the elements $2^k$. △ Less

Submitted 2 July, 2019; originally announced July 2019.

Comments: 13 pages. Comments welcome!

MSC Class: 55Q91; 55T15

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

The Klein four slices of positive suspensions of HF_2

Authors: Bertrand Guillou, Carolyn Yarnall

Abstract: We describe the slices of positive integral suspensions of the equivariant Eilenberg-Mac Lane spectrum HF_2 for the constant Mackey functor over the Klein four-group $C_2\times C_2$. We describe the slices of positive integral suspensions of the equivariant Eilenberg-Mac Lane spectrum HF_2 for the constant Mackey functor over the Klein four-group $C_2\times C_2$. △ Less

Submitted 28 August, 2018; v1 submitted 16 August, 2018; originally announced August 2018.

Comments: Submitted version. Only minor changes from previous version

MSC Class: 55N91; 55P91; 55Q91

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)

The cohomology of $C_2$-equivariant $A(1)$ and the homotopy of $ko_{C_2}$

Authors: Bertrand J. Guillou, Michael A. Hill, Daniel C. Isaksen, Douglas C. Ravenel

Abstract: We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an equivariant spectrum $ko_{C_2}$. Our approach is to use simpler $\mathbb{C}$-motivic and $\mathbb{R}$-motivic calculations as stepping stones. We compute the cohomology of the subalgebra $A^{C_2}(1)$ of the $C_2$-equivariant Steenrod algebra $A^{C_2}$. This serves as the input to the $C_2$-equivariant Adams spectral sequence converging to the $RO(C_2)$-graded homotopy groups of an equivariant spectrum $ko_{C_2}$. Our approach is to use simpler $\mathbb{C}$-motivic and $\mathbb{R}$-motivic calculations as stepping stones. △ Less

Submitted 30 July, 2019; v1 submitted 31 August, 2017; originally announced August 2017.

Comments: 57 pages. Final version. To appear in the Tunisian Journal of Mathematics

MSC Class: 14F42; 55Q91; 55T15

Journal ref: Tunisian J. Math. 2 (2020) 567-632

The eta-inverted R-motivic sphere

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We use an Adams spectral sequence to calculate the R-motivic stable homotopy groups after inverting eta. The first step is to apply a Bockstein spectral sequence in order to obtain h_1-inverted R-motivic Ext groups, which serve as the input to the eta-inverted R-motivic Adams spectral sequence. The second step is to analyze Adams differentials. The final answer is that the Milnor-Witt (4k-1)-stem… ▽ More We use an Adams spectral sequence to calculate the R-motivic stable homotopy groups after inverting eta. The first step is to apply a Bockstein spectral sequence in order to obtain h_1-inverted R-motivic Ext groups, which serve as the input to the eta-inverted R-motivic Adams spectral sequence. The second step is to analyze Adams differentials. The final answer is that the Milnor-Witt (4k-1)-stem has order 2^{u+1}, where u is the 2-adic valuation of 4k. This answer is reminiscent of the classical image of J. We also explore some of the Toda bracket structure of the eta-inverted R-motivic stable homotopy groups. △ Less

Submitted 29 October, 2015; v1 submitted 5 October, 2015; originally announced October 2015.

Comments: 18 pages. Minor correction to statement of Theorem 6.2. Descriptions "h_1-local" and "eta-local" replaced with "h_1-inverted" and "eta-inverted", including in the title

MSC Class: 14F42; 55T15; 55Q45

Journal ref: Algebr. Geom. Topol. 16 (2016) 3005-3027

The motivic Adams vanishing line of slope 1/2

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We establish a motivic version of Adams' vanishing line of slope 1/2 in the cohomology of the motivic Steenrod algebra over the complex numbers. We establish a motivic version of Adams' vanishing line of slope 1/2 in the cohomology of the motivic Steenrod algebra over the complex numbers. △ Less

Submitted 12 January, 2015; originally announced January 2015.

Comments: 11 pages. Comments welcome

MSC Class: 14F42; 55S10

The eta-local motivic sphere

Authors: Bertrand J. Guillou, Daniel C. Isaksen

Abstract: We compute the h_1-localized cohomology of the motivic Steenrod algebra over C. This serves as the input to an Adams spectral sequence that computes the motivic stable homotopy groups of the eta-local motivic sphere. We compute some of the Adams differentials, and we state a conjecture about the remaining differentials. We compute the h_1-localized cohomology of the motivic Steenrod algebra over C. This serves as the input to an Adams spectral sequence that computes the motivic stable homotopy groups of the eta-local motivic sphere. We compute some of the Adams differentials, and we state a conjecture about the remaining differentials. △ Less

Submitted 30 June, 2014; originally announced June 2014.

Comments: 22 pages. Large format May spectral sequence charts included as an ancillary file

MSC Class: 14F42; 55T15; 55S10

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

Unstable operations in étale and motivic cohomology

Authors: Bertrand Guillou, Charles Weibel

Abstract: We classify all étale cohomology operations on $H_\et^n(-,\muell{i})$, showing that they were all constructed by Epstein. We also construct operations $P^a$ on the mod-$\ell$ motivic cohomology groups $H^{p,q}$, differing from Voevodsky's operations; we use them to classify all motivic cohomology operations on $H^{p,1}$ and $H^{1,q}$ and suggest a general classification. We classify all étale cohomology operations on $H_\et^n(-,\muell{i})$, showing that they were all constructed by Epstein. We also construct operations $P^a$ on the mod-$\ell$ motivic cohomology groups $H^{p,q}$, differing from Voevodsky's operations; we use them to classify all motivic cohomology operations on $H^{p,1}$ and $H^{1,q}$ and suggest a general classification. △ Less

Submitted 4 January, 2013; originally announced January 2013.

Comments: 26 pages

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

Strictification of categories weakly enriched in symmetric monoidal categories

Authors: Bertrand Guillou

Abstract: We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a "many 0-cells" version of the strictification of bimonoidal categories to strict ones. We offer two proofs that categories weakly enriched over symmetric monoidal categories can be strictified to categories enriched in permutative categories. This is a "many 0-cells" version of the strictification of bimonoidal categories to strict ones. △ Less

Submitted 29 September, 2009; originally announced September 2009.

Comments: 12 pages, Comments welcome

MSC Class: 19D23; 18D05

The motivic fundamental group of the punctured projective line

Authors: Bertrand J. Guillou

Abstract: We describe a construction of an object associated to the fundamental group of the projective line minus three points in the Bloch-Kriz category of mixed Tate motives. This description involves Massey products of Steinberg symbols in the motivic cohomology of the ground field. We describe a construction of an object associated to the fundamental group of the projective line minus three points in the Bloch-Kriz category of mixed Tate motives. This description involves Massey products of Steinberg symbols in the motivic cohomology of the ground field. △ Less

Submitted 10 March, 2009; originally announced March 2009.

Comments: 37 pages

MSC Class: 14C25; 19E15