The $\mathop{Sp}_{k,n}$-local stable homotopy category

TL;DR

This paper investigates the structure of the $ ext{Sp}_{k,n}$-local stable homotopy category, classifying subcategories, analyzing spectral sequences, and exploring duality and Picard groups, extending known results from $E(n)$- and $K(n)$-local spectra.

Contribution

It introduces a unified framework for $ ext{Sp}_{k,n}$-local spectra, generalizing previous localizations, and provides new classifications, spectral sequence collapses, and duality results.

Findings

Classification of localizing and colocalizing subcategories.

Construction of an Adams type spectral sequence with collapse results.

Analysis showing the Picard group is algebraic for large primes.

Abstract

Following a suggestion of Hovey and Strickland, we study the category of $K(k) \vee K(k+1) \vee \cdots \vee K(n)$-local spectra. When $k = 0$, this is equivalent to the category of $E(n)$-local spectra, while for $k = n$, this is the category of $K(n)$-local spectra, both of which have been studied in detail by Hovey and Strickland. Based on their ideas, we classify the localizing and colocalizing subcategories, and give characterizations of compact and dualizable objects. We construct an Adams type spectral sequence and show that when $p \gg n$ it collapses with a horizontal vanishing line above filtration degree $n^2+n-k$ at the $E_2$-page for the sphere spectrum. We then study the Picard group of $K(k) \vee K(k+1) \vee \cdots \vee K(n)$-local spectra, showing that this group is algebraic, in a suitable sense, when $p \gg n$. We also consider a version of Gross--Hopkins duality in this category. A key concept throughout is the use of descent.