Related papers: Every K(n)-local spectrum is the homotopy fixed po…

Let G be a closed subgroup of G_n, the extended Morava stabilizer group. Let E_n be the Lubin-Tate spectrum, let X be an arbitrary spectrum with trivial G-action, and define E^(X) to be L_K(n)(E_n ^ X). We prove that E^(X) is a continuous…

When G is a profinite group and H and K are closed subgroups, with H normal in K, it is not known, in general, how to form the iterated homotopy fixed point spectrum (Z^{hH})^{hK/H}, where Z is a continuous G-spectrum and all group actions…

Let n be any positive integer and p any prime. Also, let X be any spectrum and let K(n) denote the nth Morava K-theory spectrum. Then we construct a descent spectral sequence with abutment pi_*(L_{K(n)}(X)) and E_2-term equal to the…

We introduce a family of twisted $K(n)$-local theories that behave analogous to twisted K-theory. Let $R_n= E_n^{hS\mathbb G_n}$, the homotopy fixed point spectrum under the action of the subgroup $S\mathbb G_n$ of the Morava stabilizer…

Let E be a k-local profinite G-Galois extension of an E_infty-ring spectrum A (in the sense of Rognes). We show that E may be regarded as producing a discrete G-spectrum. Also, we prove that if E is a profaithful k-local profinite extension…

Let $n \geq 1$, $p$ a prime, and $T(n)$ any representative of the Bousfield class of the telescope $v_n^{-1}F(n)$ of a finite type $n$ complex. Also, let $E_n$ be the Lubin-Tate spectrum, $K(E_n)$ its algebraic $K$-theory spectrum, and…

Let $p$ be a prime, $n \geq 1$, $K(n)$ the $n$th Morava $K$-theory spectrum, $\mathbb{G}_n$ the extended Morava stabilizer group, and $K(A)$ the algebraic $K$-theory spectrum of a commutative $S$-algebra $A$. For a type $n+1$ complex $V_n$,…

For a profinite group $G$, let $(\text{-})^{hG}$, $(\text{-})^{h_dG}$, and $(\text{-})^{h'G}$ denote continuous homotopy fixed points for profinite $G$-spectra, discrete $G$-spectra, and continuous $G$-spectra (coming from towers of…

Using the pro\'etale site, we construct models for the continuous actions of the Morava stabiliser group on Morava E-theory, its $\infty$-category of $K(n)$-local modules, and its Picard spectrum. For the two sheaves of spectra, we evaluate…

Let G be a profinite group, {X_alpha}_alpha a cofiltered diagram of discrete G-spectra, and Z a spectrum with trivial G-action. We show how to define the homotopy fixed point spectrum F(Z, holim_alpha X_alpha)^{hG} and that when G has…

We construct a stable model structure on profinite symmetric spectra with a continuous action of an arbitrary profinite group. This provides a natural framework for a new construction of homotopy fixed point spectra and of homotopy fixed…

In this note, we show how a continuous action of the Morava stabilizer group $\mathbb G_n$ on the Lubin-Tate spectrum $E_n$, satisfying the conclusion $E_n^{h\mathbb G_n}\simeq L_{K(n)} S$ of the Devinatz-Hopkins Theorem, may be obtained by…

Given a finite abelian group $G$ and a Sylow $p$-subgroup $N_p$, we prove that the $KU_G/p$-local sphere spectrum is equivalent to the homotopy fixed points of a $p$-complete $KO_{N_p}$-module spectrum. Then we compute the…

We compute the mod(p) homotopy groups of the continuous homotopy fixed point spectrum E_2^{hH_2} for p>2, where E_n is the Landweber exact spectrum whose coefficient ring is the ring of functions on the Lubin-Tate moduli space of lifts of…

If K is a discrete group and Z is a K-spectrum, then the homotopy fixed point spectrum Z^{hK} is Map_*(EK_+, Z)^K, the fixed points of a familiar expression. Similarly, if G is a profinite group and X is a discrete G-spectrum, then X^{hG}…

We apply a theorem of J. Lurie to produce cohomology theories associated to certain Shimura varieties of type U(1,n-1). These cohomology theories of topological automorphic forms (TAF) are related to Shimura varieties in the same way that…

Let K(n) be the nth Morava K--theory at a prime p. This paper is a thorough study of questions like the following: to what extent does the K(n)--localization, or the K(n)--homology, of a spectrum X determine the K(n)--homology of its 0th…

We give a short and much simplified proof of the main theorem of the recent study, by T. Barthel, M. Hausmann, N. Naumann, T. Nikolaus, J. Noel, and N. Stapleton, of the Balmer spectrum for A-equivariant stable homotopy when A is a finite…

Let $E_n$ be Morava $E$-theory and let $G \subset G_n$ be a finite subgroup of $G_n$, the extended Morava stabilizer group. Let $E_{n}^{tG}$ be the Tate spectrum, defined as the cofiber of the norm map $N:(E_n)_{hG} \to E_n^{hG}$. We use…

We develop a framework for displaying the stable homotopy theory of the sphere, at least after localization at the second Morava K-theory K(2). At the prime 3, we write the spectrum L_{K(2)S^0 as the inverse limit of a tower of fibrations…