Showing 1–7 of 7 results for author: Ravenel, D C

The homological slice spectral sequence in motivic and Real bordism

Authors: Christian Carrick, Michael A. Hill, Douglas C. Ravenel

Abstract: For a motivic spectrum $E\in \mathcal{SH}(k)$, let $Γ(E)$ denote the global sections spectrum, where $E$ is viewed as a sheaf of spectra on $\mathrm{Sm}_k$. Voevodsky's slice filtration determines a spectral sequence converging to the homotopy groups of $Γ(E)$. In this paper, we introduce a spectral sequence converging instead to the mod 2 homology of $Γ(E)$ and study the case… ▽ More For a motivic spectrum $E\in \mathcal{SH}(k)$, let $Γ(E)$ denote the global sections spectrum, where $E$ is viewed as a sheaf of spectra on $\mathrm{Sm}_k$. Voevodsky's slice filtration determines a spectral sequence converging to the homotopy groups of $Γ(E)$. In this paper, we introduce a spectral sequence converging instead to the mod 2 homology of $Γ(E)$ and study the case $E=BPGL\langle m\rangle$ for $k=\mathbb R$ in detail. We show that this spectral sequence contains the $\mathcal{A}_*$-comodule algebra $(\mathcal{A}//\mathcal{A}(m))^*$ as permanent cycles, and we determine a family of differentials interpolating between $(\mathcal{A}//\mathcal{A}(0))^*$ and $(\mathcal{A}//\mathcal{A}(m))^*$. Using this, we compute the spectral sequence completely for $m\le 3$. In the height 2 case, the Betti realization of $BPGL\langle 2\rangle$ is the $C_2$-spectrum $BP_{\mathbb R}\langle 2\rangle$, a form of which was shown by Hill and Meier to be an equivariant model for $\mathrm{tmf}_1(3)$. Our spectral sequence therefore gives a computation of the comodule algebra $H_*\mathrm{tmf}_0(3)$. As a consequence, we deduce a new ($2$-local) Wood-type splitting \[\mathrm{tmf}\wedge X\simeq \mathrm{tmf}_0(3)\] of $\mathrm{tmf}$-modules predicted by Davis and Mahowald, for $X$ a certain 10-cell complex. △ Less

Submitted 4 April, 2023; originally announced April 2023.

Comments: Comments welcome

Report number: HIM-Spectral-2022

The connective Morava K-theory of the second mod p Eilenberg-MacLane space

Authors: Donald M. Davis, Douglas C. Ravenel, W. Stephen Wilson

Abstract: We develop tools for computing the connective n-th Morava K-theory of spaces. Starting with a Universal Coefficient Theorem that computes the cohomology version from the homology version, we show that every step in the process of computing one is mirrored in the other and that this can be used to make computations. As our example, we compute the connective n-th Morava K-theory of the second mod p… ▽ More We develop tools for computing the connective n-th Morava K-theory of spaces. Starting with a Universal Coefficient Theorem that computes the cohomology version from the homology version, we show that every step in the process of computing one is mirrored in the other and that this can be used to make computations. As our example, we compute the connective n-th Morava K-theory of the second mod p Eilenberg-MacLane space. △ Less

Submitted 23 July, 2022; v1 submitted 28 June, 2022; originally announced June 2022.

Comments: minor change of title and one sentence added

MSC Class: 55N20; 55N35; 55P20; 55P43; 55Q51; 55T15; 55U20

The Method of Infinite Descent in Stable Homotopy Theory II

Authors: Hirofumi Nakai, Douglas C. Ravenel

Abstract: This paper is a continuation of the version I of the same title, which intends to clarify and expand the results in the last chapter of `the green book' by the second author. In particular, we give the stable homotopy groups of $p$-local spectra $T(m)_{(1)}$ for $m>0$. This is a part of a program to compute the $p$-components of $π_{*}(S^{0})$ through dimension $2p^{4}(p-1)$ for $p>2$. We will ref… ▽ More This paper is a continuation of the version I of the same title, which intends to clarify and expand the results in the last chapter of `the green book' by the second author. In particular, we give the stable homotopy groups of $p$-local spectra $T(m)_{(1)}$ for $m>0$. This is a part of a program to compute the $p$-components of $π_{*}(S^{0})$ through dimension $2p^{4}(p-1)$ for $p>2$. We will refer to the results from the version I freely as if they were in the first four sections of this paper, which begins with section 5. △ Less

Submitted 28 June, 2018; originally announced June 2018.

Comments: 32 pages, 3 figures

MSC Class: 55P42 (55Q10))

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 Slice Spectral Sequence for certain $RO(C_{p^n})$-graded Suspensions of $H\underline{\mathbb Z}$

Authors: Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel

Abstract: We study the slice filtration and associated spectral sequence for a family of $RO(C_{p^{n}})$-graded suspensions of the Eilenberg-MacLane spectrum for the constant Mackey functor $\underline{\mathbb Z}$. Since $H\underline{\mathbb Z}$ is the zero slice of the sphere spectrum, this begins an analysis of how one can describe the slices of a suspension in terms of the original slices. We study the slice filtration and associated spectral sequence for a family of $RO(C_{p^{n}})$-graded suspensions of the Eilenberg-MacLane spectrum for the constant Mackey functor $\underline{\mathbb Z}$. Since $H\underline{\mathbb Z}$ is the zero slice of the sphere spectrum, this begins an analysis of how one can describe the slices of a suspension in terms of the original slices. △ Less

Submitted 20 October, 2015; originally announced October 2015.

Comments: 25 pages, 3 figures, comments welcome!

The slice spectral sequence for the $C_{4}$ analog of real $K$-theory

Authors: Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel

Abstract: We describe the slice spectral sequence of a 32-periodic $C_{4}$-spectrum $K_{[2]}$ related to the $C_{4}$ norm ${N_{C_{2}}^{C_{4}}MU_{\bf R}}$ of the real cobordism spectrum $MU_{\bf R}$. We will give it as a spectral sequence of Mackey functors converging to the graded Mackey functor $\underline{π}_{*}K_{[2]}$, complete with differentials and exotic extensions in the Mackey functor structure.… ▽ More We describe the slice spectral sequence of a 32-periodic $C_{4}$-spectrum $K_{[2]}$ related to the $C_{4}$ norm ${N_{C_{2}}^{C_{4}}MU_{\bf R}}$ of the real cobordism spectrum $MU_{\bf R}$. We will give it as a spectral sequence of Mackey functors converging to the graded Mackey functor $\underline{π}_{*}K_{[2]}$, complete with differentials and exotic extensions in the Mackey functor structure. The slice spectral sequence for the 8-periodic real $K$-theory spectrum $K_{\bf R}$ was first analyzed by Dugger. The $C_{8}$ analog of $K_{[2]}$ is 256-periodic and detects the Kervaire invariant classes $θ_{j}$ in the stable homotopy groups of spheres. A partial analysis of its slice spectral sequence led to the solution to the Kervaire invariant problem, namely the theorem that $θ_{j}$ does not exist for $j\geq 7$. △ Less

Submitted 2 February, 2016; v1 submitted 26 February, 2015; originally announced February 2015.

Comments: 82 pages, 4 tables and 17 figures, some using color

MSC Class: 55Q10 (primary); and 55Q91; 55P42; 55R45; 55T99 (secondary)

On the non-existence of elements of Kervaire invariant one

Authors: Michael A. Hill, Michael J. Hopkins, Douglas C. Ravenel

Abstract: We show that Kervaire invariant one elements in the homotopy groups of spheres exist only in dimensions at most 126. By Browder's Theorem, this means that smooth framed manifolds of Kervaire invariant one exist only in dimensions 2, 6, 14, 30, 62, and possibly 126. With the exception of dimension 126 this resolves a longstanding problem in algebraic topology. We show that Kervaire invariant one elements in the homotopy groups of spheres exist only in dimensions at most 126. By Browder's Theorem, this means that smooth framed manifolds of Kervaire invariant one exist only in dimensions 2, 6, 14, 30, 62, and possibly 126. With the exception of dimension 126 this resolves a longstanding problem in algebraic topology. △ Less

Submitted 25 May, 2015; v1 submitted 25 August, 2009; originally announced August 2009.

Comments: Revised with some typos corrected, references and clarifying minro comments added.. 221 pages

MSC Class: 55Q45; 55Q91; 55P91; 57R55; 57R60; 57R77; 57R85