Several homotopy fixed point spectral sequences in telescopically localized algebraic K-theory

The \tau in K_\tau is for “transposing," since the K(n)-local unit

of commutative algebras is an equivalence, by [DH, Theorem 1], giving

which implies that K_\tau switches K(-) and (-)^{hG_n} in the case of E_n.

Currently, for every n and p, there is not a published construction of K(E_n)^{hG_n} or the map K_\tau. In [padicspectra2, Remark 1.5], it is noted that according to Jacob Lurie, the condensed mathematics of Dustin Clausen and Peter Scholze can be used to define K(E_n) as a condensed spectrum, and then building on this, there is a candidate definition of K(E_n)^{hG_n} in the condensed setting. Similarly (see [op. cit.]), by viewing K(E_n) as a pyknotic spectrum [pyknotic, Section 3.1], there should be a pyknotic version of the “condensed candidate" for K(E_n)^{hG_n}.

Strictly speaking, the Ausoni-Rognes conjecture referred to above predicts that K_\tau \otimes v_{n+1}^{-1}F(n+1) is an equivalence, but this is logically the same as K_\tau \otimes T(n+1) being an equivalence.

The map K(\eta \scriptstyle{\nearrow} \mspace{1.5mu}\displaystyle{}0) is an equivalence, and to show that (H1) holds, it suffices to show that for a cofinal subsequence i_0, i_1, ..., i_l, ... of \{i \geq 0\}, each map K(\eta \scriptstyle{\nearrow} \mspace{1.5mu}\displaystyle{}i_l) is an equivalence. For each i, the canonical map E_n^{hG_n} \to E_n^{hU_i} is a K(n)-local G_n/U_i-Galois extension [Rognes, Theorem 5.4.4, (c)], so that by, for example, (?), this map is also a T(n)-local G_n/U_i-Galois extension, as noted in [CMNN, Section 4.3]. By [op. cit., Corollary 4.16], if G_n/U_i is a p-group, then K(\eta \scriptstyle{\nearrow} \mspace{1.5mu}\displaystyle{}i) is an equivalence. When (n,p) = (1,2), G_1 \cong \mathbb{Z}_2^\times \cong \mathbb{Z}_2 \times \mathbb{Z}/(2) is a pro-2-group, with \mathbb{Z}_2 equal to the 2-adic integers, and hence, (H1) holds.

Suppose that F(n) is an atomic \mu-spectrum. Then each of F(n) and, by [Mahowald/Sadofsky, proof of Lemma 2.2], the telescope v_n^{-1}F(n) is a “ring spectrum," in the sense of [Mahowald/Sadofsky] (see also [Devinatzrings]). Here, by “ring spectrum," we mean a left-unital magma in the homotopy category of spectra (that need not be associative or right-unital). It follows that T(n) can be taken to be a “ring spectrum" in the above sense, and thus, it is worth highlighting the fact that [LMMT, proof of Lemma 2.3] proves the much stronger result that T(n) can be set equal to an algebra in \mathrm{Sp}.

Again, let F(n) be an atomic \mu-spectrum, so that as in Remark 2.1, v_n^{-1}F(n) is a “ring spectrum." Then if Z is any spectrum, Z \otimes v_n^{-1}F(n) is T(n)-local. To verify this, it suffices to show that the equivalent spectrum v_n^{-1}F(n) \otimes Z is v_n^{-1}F(n)-local (since v_n^{-1}F(n) and T(n) have the same Bousfield class), and this conclusion is reached by noting that the argument in [AJMperiodic, proof of Proposition 1.17, (a)] goes through here. The observation that this argument applies in this context also occurs in the antepenultimate paragraph of [Mahowald/Sadofsky, proof of Lemma 2.2].

By [Mahowald/Sadofsky, Proposition 3.2], there is an equivalence

In [CMNN, Section 4.3], the authors work with T(n)-local and T(n)-local pro-Galois extensions in the sense of [Rognes]. Theorem 2.5 above shows that T(n) satisfies [joint, Assumption 1.0.3] and so [joint] can be used to study “T(n)-local profinite Galois extensions" (especially ones that are consistent and of finite virtual cohomological dimension), which differ slightly from T(n)-local pro-Galois extensions.