Showing 1–23 of 23 results for author: Quigley, J D

Koszul Resolutions over Free Incomplete Tambara Functors for Cyclic $p$-Groups

Authors: David Mehrle, J. D. Quigley, Michael Stahlhauer

Abstract: In equivariant algebra, Mackey functors replace abelian groups and incomplete Tambara functors replace commutative rings. In this context, we prove that equivariant Hochschild homology can sometimes be computed using Mackey functor-valued Tor. To compute these Tor Mackey functors for odd primes $p$, we define cyclic-$p$-group-equivariant analogues of the Koszul resolution which resolve the Burnsid… ▽ More In equivariant algebra, Mackey functors replace abelian groups and incomplete Tambara functors replace commutative rings. In this context, we prove that equivariant Hochschild homology can sometimes be computed using Mackey functor-valued Tor. To compute these Tor Mackey functors for odd primes $p$, we define cyclic-$p$-group-equivariant analogues of the Koszul resolution which resolve the Burnside Mackey functor (the analogue of the integers) as a module over free incomplete Tambara functors (the analogue of polynomial rings). We apply these Koszul resolutions to compute Mackey functor-valued Hochschild homology of free incomplete Tambara functors for cyclic groups of odd prime order and for the cyclic group of order 9. △ Less

Submitted 25 July, 2024; originally announced July 2024.

New infinite families in the stable homotopy groups of spheres

Authors: Prasit Bhattacharya, Irina Bobkova, J. D. Quigley

Abstract: We identify seven new $192$-periodic infinite families of elements in the $2$-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after $\mathrm{T}(2)$- as well as $\mathrm{K}(2)$-localization. We also obtain new information about $2$-torsion and $2$-divisibility of some of the previously known $192$-periodic inf… ▽ More We identify seven new $192$-periodic infinite families of elements in the $2$-primary stable homotopy groups of spheres. Although their Hurewicz image is trivial for topological modular forms, they remain nontrivial after $\mathrm{T}(2)$- as well as $\mathrm{K}(2)$-localization. We also obtain new information about $2$-torsion and $2$-divisibility of some of the previously known $192$-periodic infinite families in the stable stems. △ Less

Submitted 9 May, 2024; v1 submitted 15 April, 2024; originally announced April 2024.

MSC Class: 55Q10; 55Q45; 55Q51

Bredon homological stability for configuration spaces of $G$-manifolds

Authors: Eva Belmont, J. D. Quigley, Chase Vogeli

Abstract: McDuff and Segal proved that unordered configuration spaces of open manifolds satisfy homological stability: there is a stabilization map $σ: C_n(M)\to C_{n+1}(M)$ which is an isomorphism on $H_d(-;\mathbb{Z})$ for $n\gg d$. For a finite group $G$ and an open $G$-manifold $M$, under some hypotheses we define a family of equivariant stabilization maps $σ_{G/H}:C_n(M)\to C_{n+|G/H|}(M)$ for… ▽ More McDuff and Segal proved that unordered configuration spaces of open manifolds satisfy homological stability: there is a stabilization map $σ: C_n(M)\to C_{n+1}(M)$ which is an isomorphism on $H_d(-;\mathbb{Z})$ for $n\gg d$. For a finite group $G$ and an open $G$-manifold $M$, under some hypotheses we define a family of equivariant stabilization maps $σ_{G/H}:C_n(M)\to C_{n+|G/H|}(M)$ for $H\leq G$. In general, these do not induce stability for Bredon homology, the equivariant analogue of singular homology. Instead, we show that each $σ_{G/H}$ induces isomorphisms on the ordinary homology of the fixed points of $C_n(M)$, and if the group is Dedekind (e.g. abelian), we obtain the following Bredon homological stability statement: $H^G_d(\bigsqcup_{n\geq 0}C_n(M))$ is finitely generated over $\mathbb{Z}[σ_{G/H} : H\leq G]$. This reduces to the classical statement when $G=e$. △ Less

Submitted 4 November, 2023; originally announced November 2023.

Comments: Comments welcome

MSC Class: 57R91; 55R80; 55N25

Symmetries of exotic spheres via complex and quaternionic Mahowald invariants

Authors: Boris Botvinnik, J. D. Quigley

Abstract: We deduce the existence of smooth $U(1)$- and $Sp(1)$-actions on certain exotic spheres using complex and quaternionic analogues of the Mahowald {(root)} invariant. In particular, we prove that the complex (respectively, quaternionic) Mahowald invariant takes an element of $π_k^s$ represented by a homotopy sphere $Σ^k$ to an element {of $π_{k+\ell}$} represented by another homotopy sphere… ▽ More We deduce the existence of smooth $U(1)$- and $Sp(1)$-actions on certain exotic spheres using complex and quaternionic analogues of the Mahowald {(root)} invariant. In particular, we prove that the complex (respectively, quaternionic) Mahowald invariant takes an element of $π_k^s$ represented by a homotopy sphere $Σ^k$ to an element {of $π_{k+\ell}$} represented by another homotopy sphere $Σ^{k+\ell}$ equipped with a smooth $U(1)$- (respectively, $Sp(1)$-) action with fixed points the original homotopy sphere $Σ^k\subset Σ^{k+\ell}$. This work is motivated by results of Stolz on the classical Mahowald invariant and smooth $C_2$-actions on homotopy spheres. △ Less

Submitted 8 September, 2023; originally announced September 2023.

Comments: 19 pages. Comments welcome!

MSC Class: 55M35; 55P42; 57R60; 57S15

A motivic analogue of the K(1)-local sphere spectrum

Authors: William Balderrama, Kyle Ormsby, J. D. Quigley

Abstract: We identify the motivic $KGL/2$-local sphere as the fiber of $ψ^3-1$ on $(2,η)$-completed Hermitian $K$-theory, over any base scheme containing $1/2$. This is a motivic analogue of the classical resolution of the $K(1)$-local sphere, and extends to a description of the $KGL/2$-localization of an arbitrary motivic spectrum. Our proof relies on a novel conservativity argument that should be of broad… ▽ More We identify the motivic $KGL/2$-local sphere as the fiber of $ψ^3-1$ on $(2,η)$-completed Hermitian $K$-theory, over any base scheme containing $1/2$. This is a motivic analogue of the classical resolution of the $K(1)$-local sphere, and extends to a description of the $KGL/2$-localization of an arbitrary motivic spectrum. Our proof relies on a novel conservativity argument that should be of broad utility in stable motivic homotopy theory. △ Less

Submitted 6 November, 2023; v1 submitted 25 July, 2023; originally announced July 2023.

Comments: v3: pre-proofs version accepted to J. Euro. Math. Soc. v2: cellularity hypothesis removed, 9 pages, comments still welcome! v1: 9 pages, comments welcome!

The slice spectral sequence for a motivic analogue of the connective $K(1)$-local sphere

Authors: Hana Jia Kong, J. D. Quigley

Abstract: We compute the slice spectral sequence for the motivic stable homotopy groups of $L$, a motivic analogue of the connective $K(1)$-local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic $K(1)$-local sphere over arbitrary base fields of characteristic not two. To compute the slice s… ▽ More We compute the slice spectral sequence for the motivic stable homotopy groups of $L$, a motivic analogue of the connective $K(1)$-local sphere over prime fields of characteristic not two. Together with the analogous computation over algebraically closed fields, this yields information about the motivic $K(1)$-local sphere over arbitrary base fields of characteristic not two. To compute the slice spectral sequence, we prove several results which may be of independent interest. We describe the $d_1$-differentials in the slice spectral sequence in terms of the motivic Steenrod operations over general base fields, building on analogous results of Ananyevskiy, R{ö}ndigs, and Østvær for the very effective cover of Hermitian K-theory. We also explicitly describe the coefficients of certain motivic Eilenberg--MacLane spectra and compute the slice spectral sequence for the very effective cover of Hermitian K-theory over prime fields. △ Less

Submitted 6 November, 2023; v1 submitted 18 September, 2022; originally announced September 2022.

Comments: 36 pages, 16 figures. Comments welcome!

Report number: MPIM-Bonn-[2022] MSC Class: 14F42; 55P42; 55Q45; 55Q51

Some smooth circle and cyclic group actions on exotic spheres

Authors: J. D. Quigley

Abstract: Classical work of Lee, Schultz, and Stolz relates the smooth transformation groups of exotic spheres to the stable homotopy groups of spheres. In this note, we apply recent progress on the latter to produce smooth circle and cyclic group actions on certain exotic spheres. Classical work of Lee, Schultz, and Stolz relates the smooth transformation groups of exotic spheres to the stable homotopy groups of spheres. In this note, we apply recent progress on the latter to produce smooth circle and cyclic group actions on certain exotic spheres. △ Less

Submitted 4 September, 2022; originally announced September 2022.

Comments: 11 pages. Comments welcome!

MSC Class: 55M35; 55Q45; 57S15

Ranks of $RO(G)$-graded stable homotopy groups of spheres for finite groups $G$

Authors: J. P. C. Greenlees, J. D. Quigley

Abstract: We describe the distribution of infinite groups in the $RO(G)$-graded stable homotopy groups of spheres for a finite group $G$. We describe the distribution of infinite groups in the $RO(G)$-graded stable homotopy groups of spheres for a finite group $G$. △ Less

Submitted 18 May, 2022; v1 submitted 4 May, 2022; originally announced May 2022.

Comments: 12 pages, 2 figures. v2: Minor edits. Comments welcome!

MSC Class: 55P42; 55P62; 55P91; 55N91; 55Q45; 55Q91

The motivic lambda algebra and motivic Hopf invariant one problem

Authors: William Balderrama, Dominic Leon Culver, J. D. Quigley

Abstract: We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base fields of characteristic not equal to $2$. Maps of Hopf invariant one classically arise from unital products on spheres, and one consequence of our work is a classification of motivic spheres represented by smooth schemes admitting a unital product. The classical Hopf invariant one problem was r… ▽ More We investigate forms of the Hopf invariant one problem in motivic homotopy theory over arbitrary base fields of characteristic not equal to $2$. Maps of Hopf invariant one classically arise from unital products on spheres, and one consequence of our work is a classification of motivic spheres represented by smooth schemes admitting a unital product. The classical Hopf invariant one problem was resolved by Adams, following his introduction of the Adams spectral sequence. We introduce the motivic lambda algebra as a tool to carry out systematic computations in the motivic Adams spectral sequence. Using this, we compute the $E_2$-page of the $\mathbb{R}$-motivic Adams spectral sequence in filtrations $f \leq 3$. This universal case gives information over arbitrary base fields. We then study the $1$-line of the motivic Adams spectral sequence. We produce differentials $d_2(h_{a+1}) = (h_0+ρh_1)h_a^2$ over arbitrary base fields, which are motivic analogues of Adams' classical differentials. Unlike the classical case, the story does not end here, as the motivic $1$-line is significantly richer than the classical $1$-line. We determine all permanent cycles on the $\mathbb{R}$-motivic $1$-line, and explicitly compute differentials in the universal cases of the prime fields $\mathbb{F}_q$ and $\mathbb{Q}$, as well as $\mathbb{Q}_p$ and $\mathbb{R}$. △ Less

Submitted 1 November, 2023; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: 63 pages. Calculator available as ancillary file. v5: Accepted version, to appear in Geometry & Topology

Report number: MPIM-2022 MSC Class: Primary 55T15; Secondary 14F42; 55Q25; 55Q45; 55S10

On the equivalence of two theories of real cyclotomic spectra

Authors: J. D. Quigley, Jay Shah

Abstract: We give a new formula for real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate cons… ▽ More We give a new formula for real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction. We then define an $\infty$-categorical version of Høgenhaven's O(2)-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded-below objects. As an application, we compute the real topological cyclic homology of perfect $\mathbb{F}_p$-algebras for all primes $p$. △ Less

Submitted 6 January, 2022; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: Major revision and expansion of sections 6-7 of arXiv:1909.03920. 81 pages. v2: minor edits

MSC Class: 19D55; 55P42; 55P43; 55P91; 16E40; 13D03

On the parametrized Tate construction

Authors: J. D. Quigley, Jay Shah

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

Submitted 6 January, 2022; v1 submitted 14 October, 2021; originally announced October 2021.

Comments: Revision and expansion of sections 3-5 of arXiv:1909.03920. 66 pages. v2: minor edits

MSC Class: 55P91

Free incomplete Tambara functors are almost never flat

Authors: Michael A. Hill, David Mehrle, J. D. Quigley

Abstract: Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tamb… ▽ More Free algebras are always free as modules over the base ring in classical algebra. In equivariant algebra, free incomplete Tambara functors play the role of free algebras and Mackey functors play the role of modules. Surprisingly, free incomplete Tambara functors often fail to be free as Mackey functors. In this paper, we determine for all finite groups conditions under which a free incomplete Tambara functor is free as a Mackey functor. For solvable groups, we show that a free incomplete Tambara functor is flat as a Mackey functor precisely when these conditions hold. Our results imply that free incomplete Tambara functors are almost never flat as Mackey functors. However, we show that after suitable localizations, free incomplete Tambara functors are always free as Mackey functors. △ Less

Submitted 13 December, 2021; v1 submitted 24 May, 2021; originally announced May 2021.

Comments: V2: added section 6.1 on the restriction functor V3: Updated according to referee report. Accepted version, to appear in IMRN

The 2-primary Hurewicz image of tmf

Authors: Mark Behrens, Mark Mahowald, J. D. Quigley

Abstract: We determine the image of the 2-primary tmf-Hurewicz homomorphism, where tmf is the spectrum of topological modular forms. We do this by lifting elements of tmf_* to the homotopy groups of the generalized Moore spectrum M(8,v_1^8) using a modified form of the Adams spectral sequence and the tmf-resolution, and then proving the existence of a v_2^32-self map on M(8,v_1^8) to generate 192-periodic f… ▽ More We determine the image of the 2-primary tmf-Hurewicz homomorphism, where tmf is the spectrum of topological modular forms. We do this by lifting elements of tmf_* to the homotopy groups of the generalized Moore spectrum M(8,v_1^8) using a modified form of the Adams spectral sequence and the tmf-resolution, and then proving the existence of a v_2^32-self map on M(8,v_1^8) to generate 192-periodic families in the stable homotopy groups of spheres. △ Less

Submitted 20 November, 2021; v1 submitted 17 November, 2020; originally announced November 2020.

Comments: 61 pages, 12 figures. v4: made corrections based on comments from referees

Journal ref: Geom. Topol. 27 (2023) 2763-2831

Algebraic slice spectral sequences

Authors: Dominic Leon Culver, Hana Jia Kong, J. D. Quigley

Abstract: For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is comp… ▽ More For certain motivic spectra, we construct a square of spectral sequences relating the effective slice spectral sequence and the motivic Adams spectral sequence. We show the square can be constructed for connective algebraic K-theory, motivic Morava K-theory, and truncated motivic Brown-Peterson spectra. In these cases, we show that the $\mathbb{R}$-motivic effective slice spectral sequence is completely determined by the $ρ$-Bockstein spectral sequence. Using results of Heard, we also obtain applications to the Hill-Hopkins-Ravenel slice spectral sequences for connective Real K-theory, Real Morava K-theory, and truncated Real Brown-Peterson spectra. △ Less

Submitted 18 August, 2021; v1 submitted 16 July, 2020; originally announced July 2020.

Comments: v3: 24 pages. Added hypotheses to Theorem B and made other minor changes. To appear in Documenta Mathematica

MSC Class: 14F42; 55P42; 55P91; 55T05; 55T15

$\mathit{tmf}$-based Mahowald invariants

Authors: J. D. Quigley

Abstract: The $2$-primary homotopy $β$-family, defined as the collection of Mahowald invariants of Mahowald invariants of $2^i$, $i \geq 1$, is an infinite collection of periodic elements in the stable homotopy groups of spheres. In this paper, we calculate $\mathit{tmf}$-based approximations to this family. Our calculations combine an analysis of the Atiyah-Hirzebruch spectral sequence for the Tate constru… ▽ More The $2$-primary homotopy $β$-family, defined as the collection of Mahowald invariants of Mahowald invariants of $2^i$, $i \geq 1$, is an infinite collection of periodic elements in the stable homotopy groups of spheres. In this paper, we calculate $\mathit{tmf}$-based approximations to this family. Our calculations combine an analysis of the Atiyah-Hirzebruch spectral sequence for the Tate construction of $\mathit{tmf}$ with trivial $C_2$-action and Behrens' filtered Mahowald invariant machinery. △ Less

Submitted 20 May, 2021; v1 submitted 18 November, 2019; originally announced November 2019.

Comments: v2: 50 pages, 42 figures. Charts updated for readability. Some other minor corrections. To appear in Algebraic & Geometric Topology

MSC Class: 55P42; 55Q45; 55Q51

Journal ref: Algebr. Geom. Topol. 22 (2022) 1789-1839

Tate blueshift and vanishing for Real oriented cohomology

Authors: Guchuan Li, Vitaly Lorman, J. D. Quigley

Abstract: We study transchromatic phenomena for the Tate construction of Real oriented cohomology theories. First, we show that after suitable completion, the Tate construction with respect to a trivial $\mathbb{Z}/2$-action on height $n$ Real Johnson--Wilson theory splits into a wedge of height $n-1$ Real Johnson--Wilson theories. This is the first example of Tate blueshift at all chromatic heights outside… ▽ More We study transchromatic phenomena for the Tate construction of Real oriented cohomology theories. First, we show that after suitable completion, the Tate construction with respect to a trivial $\mathbb{Z}/2$-action on height $n$ Real Johnson--Wilson theory splits into a wedge of height $n-1$ Real Johnson--Wilson theories. This is the first example of Tate blueshift at all chromatic heights outside of the complex oriented setting. Second, we prove that the Tate construction with respect to a trivial finite group action on Real Morava K-theory vanishes, refining a classical Tate vanishing result of Greenlees--Sadofsky. In the course of proving these results, we develop some ideas in equivariant chromatic homotopy theory (e.g., completions of module spectra over Real cobordism, $C_2$-equivariant chromatic Bousfield localizations) and apply the parametrized Tate construction. △ Less

Submitted 6 May, 2022; v1 submitted 14 October, 2019; originally announced October 2019.

Comments: 38 pages. v2: Revised exposition and expanded some proofs. v3: Updated funding sources and bibliography. v4: Revised intro, clarified some arguments. Comments welcome!

Report number: CPH-SYM-DNRF92 MSC Class: 55N25; 55P42; 55P60; 55P91; 55P92

On the parametrized Tate construction and two theories of real $p$-cyclotomic spectra

Authors: J. D. Quigley, Jay Shah

Abstract: We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real $p$-cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra wit… ▽ More We give a new formula for $p$-typical real topological cyclic homology that refines the fiber sequence formula discovered by Nikolaus and Scholze for $p$-typical topological cyclic homology to one involving genuine $C_2$-spectra. To accomplish this, we give a new definition of the $\infty$-category of real $p$-cyclotomic spectra that replaces the usage of genuinely equivariant dihedral spectra with the parametrized Tate construction $(-)^{t_{C_2} μ_p}$ associated to the dihedral group $D_{2p} = μ_p \rtimes C_2$. We then define a $p$-typical and $\infty$-categorical version of Høgenhaven's $O(2)$-orthogonal cyclotomic spectra, construct a forgetful functor relating the two theories, and show that this functor restricts to an equivalence between full subcategories of appropriately bounded below objects. △ Less

Submitted 9 September, 2019; originally announced September 2019.

Comments: 110 pages

MSC Class: 19D55; 55P42; 55P43; 55P91; 18D05; 16E40; 13D03

Chromatic Complexity of the Algebraic K-theory of $y(n)$

Authors: Gabriel Angelini-Knoll, J. D. Quigley

Abstract: The family of Thom spectra $y(n)$ interpolate between the sphere spectrum and the mod two Eilenberg-MacLane spectrum. Computations of Mahowald, Ravenel, and Shick and the authors show that the $E_1$ ring spectrum $y(n)$ has chromatic complexity $n$. We show that topological periodic cyclic homology of $y(n)$ has chromatic complexity $n+1$. This gives evidence that topological periodic cyclic homol… ▽ More The family of Thom spectra $y(n)$ interpolate between the sphere spectrum and the mod two Eilenberg-MacLane spectrum. Computations of Mahowald, Ravenel, and Shick and the authors show that the $E_1$ ring spectrum $y(n)$ has chromatic complexity $n$. We show that topological periodic cyclic homology of $y(n)$ has chromatic complexity $n+1$. This gives evidence that topological periodic cyclic homology shifts chromatic height at all chromatic heights, supporting a variant of the Ausoni--Rognes red-shift conjecture. We also show that relative algebraic K-theory, topological cyclic homology, and topological negative cyclic homology of $y(n)$ at least preserve chromatic complexity. △ Less

Submitted 10 March, 2020; v1 submitted 24 August, 2019; originally announced August 2019.

Comments: 32 pages. Includes a streamlined introduction and a correction of an error in the previous draft. Replaces a conjecture with a reference to a recent preprint. Comments welcome!

MSC Class: 55P43; 18F25; 55T99; 19D55

$kq$-Resolutions I

Authors: Dominic Leon Culver, J. D. Quigley

Abstract: Let $kq$ denote the very effective cover of Hermitian K-theory. We apply the $kq$-based motivic Adams spectral sequence, or $kq$-resolution, to computational motivic stable homotopy theory. Over base fields of characteristic not two, we prove that the $n$-th stable homotopy group of motivic spheres is detected in the first $n$ lines of the $kq$-resolution, thereby reinterpreting results of Morel a… ▽ More Let $kq$ denote the very effective cover of Hermitian K-theory. We apply the $kq$-based motivic Adams spectral sequence, or $kq$-resolution, to computational motivic stable homotopy theory. Over base fields of characteristic not two, we prove that the $n$-th stable homotopy group of motivic spheres is detected in the first $n$ lines of the $kq$-resolution, thereby reinterpreting results of Morel and R{ö}ndigs-Spitzweck-Østvær in terms of $kq$ and $kq$-cooperations. Over algebraically closed fields of characteristic 0, we compute the ring of $kq$-cooperations modulo $v_1$-torsion, establish a vanishing line of slope $1/5$ in the $E_2$-page, and completely determine the $0$- and $1$- lines of the $kq$-resolution. This gives a full computation of the $v_1$-periodic motivic stable stems and recovers Andrews and Miller's calculation of the $η$-periodic $\mathbb{C}$-motivic stable stems. We also construct a motivic connective $j$ spectrum and identify its homotopy groups with the $v_1$-periodic motivic stable stems. Finally, we propose motivic analogs of Ravenel's Telescope and Smashing Conjectures and present evidence for both. △ Less

Submitted 28 December, 2020; v1 submitted 28 May, 2019; originally announced May 2019.

Comments: 55 pages, 7 figures. Accepted to appear in Trans. Am. Math. Soc

MSC Class: 14F42; 55P42; 55Q45; 55Q50; 55Q51; 55T15

Motivic Mahowald invariants over general base fields

Authors: J. D. Quigley

Abstract: The motivic Mahowald invariant was introduced in \cite{Qui19a} and \cite{Qui19b} to study periodicity in the $\mathbb{C}$- and $\mathbb{R}$-motivic stable stems. In this paper, we define the motivic Mahowald invariant over any field $F$ of characteristic not two and use it to study periodicity in the $F$-motivic stable stems. In particular, we construct lifts of some of Adams' classical $v_1$-peri… ▽ More The motivic Mahowald invariant was introduced in \cite{Qui19a} and \cite{Qui19b} to study periodicity in the $\mathbb{C}$- and $\mathbb{R}$-motivic stable stems. In this paper, we define the motivic Mahowald invariant over any field $F$ of characteristic not two and use it to study periodicity in the $F$-motivic stable stems. In particular, we construct lifts of some of Adams' classical $v_1$-periodic families \cite{Ada66} and identify them as the motivic Mahowald invariants of powers of $2+ρη$. △ Less

Submitted 1 May, 2021; v1 submitted 9 May, 2019; originally announced May 2019.

Comments: v2: 14 pages, some arguments expanded. To appear in Documenta Mathematica

MSC Class: 14F42; 55P42; 55Q45; 55Q51

Real motivic and $C_2$-equivariant Mahowald invariants

Authors: J. D. Quigley

Abstract: We generalize the Mahowald invariant to the $\mathbb{R}$-motivic and $C_2$-equivariant settings. For all $i>0$ with $i \equiv 2,3 \mod 4$, we show that the $\mathbb{R}$-motivic Mahowald invariant of $(2+ρη)^i \in π_{0,0}^{\mathbb{R}}(S^{0,0})$ contains a lift of a certain element in Adams' classical $v_1$-periodic families, and for all $i > 0$, we show that the $\mathbb{R}$-motivic Mahowald invari… ▽ More We generalize the Mahowald invariant to the $\mathbb{R}$-motivic and $C_2$-equivariant settings. For all $i>0$ with $i \equiv 2,3 \mod 4$, we show that the $\mathbb{R}$-motivic Mahowald invariant of $(2+ρη)^i \in π_{0,0}^{\mathbb{R}}(S^{0,0})$ contains a lift of a certain element in Adams' classical $v_1$-periodic families, and for all $i > 0$, we show that the $\mathbb{R}$-motivic Mahowald invariant of $η^i \in π_{i,i}^{\mathbb{R}}(S^{0,0})$ contains a lift of a certain element in Andrews' $\mathbb{C}$-motivic $w_1$-periodic families. We prove analogous results about the $C_2$-equivariant Mahowald invariants of $(2+ρη)^i \in π_{0,0}^{C_2}(S^{0,0})$ and $η^i \in π_{i,i}^{C_2}(S^{0,0})$ by leveraging connections between the classical, motivic, and equivariant stable homotopy categories. The infinite families we construct are some of the first periodic families of their kind studied in the $\mathbb{R}$-motivic and $C_2$-equivariant settings. △ Less

Submitted 25 February, 2021; v1 submitted 29 April, 2019; originally announced April 2019.

Comments: v2: 45 pages, substantially revised from v1. To appear in the Journal of Topology

MSC Class: 14F42; 55P42; 55P91; 55Q10; 55Q45; 55Q51; 55Q91

The motivic Mahowald invariant

Authors: J. D. Quigley

Abstract: The classical Mahowald invariant is a method for producing nonzero classes in the stable homotopy groups of spheres from classes in lower stems. We study the Mahowald invariant in the setting of motivic stable homotopy theory over $Spec(\mathbb{C})$. We compute a motivic version of the $C_2$-Tate construction for various motivic spectra, and show that this construction produces "blueshift" in thes… ▽ More The classical Mahowald invariant is a method for producing nonzero classes in the stable homotopy groups of spheres from classes in lower stems. We study the Mahowald invariant in the setting of motivic stable homotopy theory over $Spec(\mathbb{C})$. We compute a motivic version of the $C_2$-Tate construction for various motivic spectra, and show that this construction produces "blueshift" in these cases. We use these computations to show that the Mahowald invariant of $η^i$, $i \geq 1$, is the first element in Adams filtration $i$ of the $w_1$-periodic families constructed by Andrews ~\cite{And14}. This provides an exotic periodic analog of Mahowald and Ravenel's computation ~\cite{MR93} that the classical Mahowald invariant of $2^i$, $i \geq 1$, is the first element in Adams filtration $i$ of the $v_1$-periodic families constructed by Adams ~\cite{Ada66}. △ Less

Submitted 6 February, 2018; v1 submitted 18 January, 2018; originally announced January 2018.

Comments: 40 pages

MSC Class: SSP42

Journal ref: Algebr. Geom. Topol. 19 (2019) 2485-2534

The Segal Conjecture for topological Hochschild homology of the Ravenel spectra

Authors: Gabe Angelini-Knoll, J. D. Quigley

Abstract: In the 1980's, Ravenel introduced sequences of spectra $X(n)$ and $T(n)$ which played an important role in the proof of the Nilpotence Theorem of Devinatz--Hopkins--Smith. In the present paper, we solve the homotopy limit problem for topological Hochschild homology of $X(n)$, which is a generalized version of the Segal Conjecture for the cyclic groups of prime order. This result is the first step… ▽ More In the 1980's, Ravenel introduced sequences of spectra $X(n)$ and $T(n)$ which played an important role in the proof of the Nilpotence Theorem of Devinatz--Hopkins--Smith. In the present paper, we solve the homotopy limit problem for topological Hochschild homology of $X(n)$, which is a generalized version of the Segal Conjecture for the cyclic groups of prime order. This result is the first step towards computing the algebraic K-theory of $X(n)$ using trace methods, which approximates the algebraic K-theory of the sphere spectrum in a precise sense. We solve the homotopy limit problem for topological Hochschild homology of $T(n)$ under the assumption that the canonical map $T(n)\to BP$ of homotopy commutative ring spectra can be rigidified to map of $E_2$ ring spectra. We show that the obstruction to our assumption holding can be described in terms of an explicit class in an Atiyah--Hirzebruch spectral sequence. △ Less

Submitted 3 January, 2021; v1 submitted 9 May, 2017; originally announced May 2017.

Comments: 15 pages. Final version accepted for publication in Journal of Homotopy and Related Structures

MSC Class: SSP42; 18D55