Showing 1–16 of 16 results for author: Guillou, B J

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

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

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 step** 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 step** 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

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

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