Related papers: The $\mathop{Sp}_{k,n}$-local stable homotopy cate…

In previous work, we used an $\infty$-categorical version of ultraproducts to show that, for a fixed height $n$, the symmetric monoidal $\infty$-categories of $E_{n,p}$-local spectra are asymptotically algebraic in the prime $p$. In this…

Let $\mathcal L_n$ for a positive integer $n$ denote the stable homotopy category of $v_n^{-1}BP$-local spectra at a prime number $p$. Then, M.~Hopkins defines the Picard group of $\mathcal L_n$ as a collection of isomorphism classes of…

The family of Thom spectra $y(n)$ interpolates between the sphere spectrum and the mod two Eilenberg--MacLane spectrum. Computations of Mahowald, Ravenel, Shick, and the authors show that the associative ring spectrum $y(n)$ has type $n$.…

Let $F$ and $k$ be perfect fields. The main goal of this paper is to investigate algebraic models for the Morel-Voevodsky unstable motivic homotopy category $\mathrm{Ho}(F)$ after $\mathbf{H}^{\mathbb{A}^1}k$ localization. More…

We extend the theory of ambidexterity developed by M. J. Hopkins and J. Lurie and show that the $\infty$-categories of $T(n)$-local spectra are $\infty$-semiadditive for all $n$, where $T(n)$ is the telescope on a $v_{n}$-self map of a type…

We calculate the homotopy type of $L_1L_{K(2)}S^0$ and $L_{K(1)}L_{K(2)}S^0$ at the prime 2, where $L_{K(n)}$ is localization with respect to Morava $K$-theory and $L_1$ localization with respect to $2$-local $K$ theory. In $L_1L_{K(2)}S^0$…

Fix a prime $p$ and a chromatic height $h$. We prove that the homotopy $(k,1)$-category of $L_h$-local spectra $\mathrm{h}_k\big(\mathrm{Sp}_{p,h}\big)$ is algebraic as a symmetric monoidal category when $p > O(h^2+kh)$. To achieve this, we…

Ravenel proved the remarkable fact that the $K$-theoretic localization $L_K S^0$ of the sphere spectrum has $\mathbb{Q}/\mathbb{Z}$ as homotopy group in dimension -2. Mike Hopkins' chromatic splitting conjecture implies more generally that…

This paper begins with an exposition of the author's research on the category of BP_*BP-comodules, much of which is joint with Neil Strickland. The main result of that work is that the category of E(n)_*E(n)-comodules is equivalent to a…

Spectral Mackey functors are homotopy-coherent versions of ordinary Mackey functors as defined by Dress. We show that they can be described as excisive functors on a suitable infinity-category, and we use this to show that universal…

Let $K$ be a compact subgroup of a locally compact group $G$. We investigate a Pompeiu type problem for homogeneous spaces $G/K$. Suppose $E$ is a compact subset of $G/K$. Using recent work of L\'{a}szl\'{o} Sz\'{e}kelyhidi on $K$-spectral…

Ben-Zvi--Sakellaridis--Venkatesh described a conjectural extension of the geometric Satake equivalence to spherical varieties, whose spectral decomposition is described by Hamiltonian varieties. The goal of this article is to study their…

One of the most useful methods for studying the stable homotopy category is localising at some spectrum E. For an arbitrary stable model category we introduce a candidate for the E-localisation of this model category. We study the…

We construct a compactly generated and closed symmetric monoidal stable $\infty$-category $\mathtt{NSp'}$ and show that $\mathtt{hNSp'}^{op}$ contains the suspension stable homotopy category of separable $C^*$-algebras $\mathtt{\Sigma…

Let E(n) and T(m) for nonnegative integers n and m denote the Johnson-Wilson and the Ravenel spectra, respectively. Given a spectrum whose E(n)_*-homology is E(n)_*(T(m))/(v_1,...,v_{n-1}), then each homotopy group of it estimates the order…

In this paper we look at the $E$-completion of topological spaces where $E$ is a $p$-local ring spectrum. After a brief review of the concept of $E$-completion, we specialize to the case where $E=K$, $p$-local complex periodic $K$-theory,…

We compute the Picard group of the category of $K(2)$-local module spectra over the ring spectrum $E^{hC_4}$, where $E$ is a height 2 Morava $E$-theory and $C_4$ is a subgroup of the associated Morava stabilizer group. This group can be…

We define an inner product (suitably interpreted) on the K(n)-local spectrum LG := L_{K(n)}BG_+, where G is a finite group or groupoid. This gives an inner product on E^*BG_+ for suitable K(n)-local ring spectra E. We relate this to the…

In this paper, we describe a novel way of identifying Adams spectral sequence $E_2$-terms in terms of homological algebra of quiver representations. Our method applies much more broadly than the standard techniques based on…

We introduce the Morava-isotropic stable homotopy category and, more generally, the stable homotopy category of an extension $E/k$. These "local" versions of the Morel-Voevodsky stable ${\Bbb{A}}^1$-homotopy category $SH(k)$ are analogues…