## Homotopy fixed points for L K(n)(En∧ X) using the continuous action

Venue: | J. Pure Appl. Algebra |

Citations: | 12 - 4 self |

### BibTeX

@ARTICLE{Davis_homotopyfixed,

author = {Daniel G. Davis},

title = {Homotopy fixed points for L K(n)(En∧ X) using the continuous action},

journal = {J. Pure Appl. Algebra},

year = {},

pages = {2006}

}

### OpenURL

### Abstract

Abstract. Let G be a closed subgroup of Gn, the extended Morava stabilizer group. Let En be the Lubin-Tate spectrum, X an arbitrary spectrum with trivial G-action, and let ˆ L = L K(n). We prove that ˆ L(En ∧ X) is a continuous G-spectrum with homotopy fixed point spectrum ( ˆ L(En ∧ X)) hG, defined with respect to the continuous action. Also, we construct a descent spectral sequence whose abutment is π∗( ( ˆ L(En∧X)) hG). We show that the homotopy fixed points of ˆ L(En ∧ X) come from the K(n)-localization of the homotopy fixed points of the spectrum (Fn ∧ X). 1.

### Citations

353 |
Homotopy Limits, Completions and Localizations
- Bous, Kan
- 1972
(Show Context)
Citation Context ...im I and holim I are really lim Ii and holim Ii, respectively. Also, in this paper, the homotopy limit of spectra, holim, is constructed levelwise in S, the category of simplicial sets, as defined in =-=[3]-=- and [41, 5.6]. As in [6, (1.4)], let Gn = U0 ≩ U1 ≩ · · · ≩ Ui ≩ · · · be a descending chain of open normal subgroups, such that ⋂ i Ui = {e} and the canonical map Gn → lim i Gn/Ui is a homeomorphism... |

287 | An Introduction to Homological Algebra - Weibel - 1994 |

221 | Model categories - Hovey - 1999 |

201 | Symmetric spectra - Hovey, Shipley, et al. - 2000 |

182 | Simplicial homotopy theory - Goerss, Jardine - 1999 |

160 |
Homotopy theory of Γ-spaces, spectra, and bisimplicial sets. LNM 658
- Bousfield, Friedlander
- 1978
(Show Context)
Citation Context ... specifically, closed subgroups of Gn. Let C be a category. A tower {Ci} of objects in C is a diagram in C of the form · · · → Ci → Ci−1 → · · · → C1 → C0. We always use Bousfield-Friedlander spectra =-=[2]-=-, except when another category of spectra is specified. If C is a model category, then Ho(C) is its homotopy category. The phrase “stable category” always refers to Ho(Sp). In S, the category of simpl... |

127 | Model categories of diagram spectra - Mandell, May, et al. |

124 |
modules, and algebras in stable homotopy theory
- Rings
- 1997
(Show Context)
Citation Context ... of simplicial sets, and the continuous action is simply by maps of spectra. As mentioned above, [6] is written using E∞, the category of commutative Salgebras, and MS, the category of S-modules (see =-=[8]-=-). However, [18, §4.2], [28, §14, §19], and [36, pp. 529-530] show that MS and Sp are Quillen equivalent model categories [17, §1.3.3]. Thus, we can import the results of Devinatz and Hopkins from MS ... |

119 |
Simplicial presheaves
- Jardine
- 1987
(Show Context)
Citation Context ...n ∧ MI ∧ X)f is a continuous Gn-spectrum. Using the hypercohomology spectra of Thomason [41], and the theory of presheaves of spectra on a site and globally fibrant models, developed by Jardine (e.g. =-=[21]-=-, [22], [23], [24]), we present the theory of homotopy fixed points for discrete G-spectra by considering the site of finite discrete G-sets. Using the fact that Gn has finite virtual cohomological di... |

77 | Nilpotence and periodicity in stable homotopy theory - Ravenel - 1992 |

69 | Morava K-theories and localisation - Hovey, Strickland - 1999 |

67 | Analytic pro-p groups - Dixon, Sautoy, et al. - 1991 |

67 |
Continuous étale cohomology
- Jannsen
- 1988
(Show Context)
Citation Context ...ctor involving G-fixed points. Given any tower in SpG of fibrant spectra, there is a descent spectral sequence whose E2-term is a version of continuous cohomology, whose definition we now recall from =-=[20]-=-. We use DMod(G) to denote the category of discrete G-modules. Definition 8.5. Let DMod(G) N denote the category of diagrams in discrete Gmodules of the form · · · → M2 → M1 → M0. Then H s cont(G; {Mi... |

65 | The localization of spectra with respect to homology - Bousfield - 1979 |

51 | and Ieke Moerdijk, Sheaves in geometry and logic - Lane - 1994 |

51 | Pro groups - Ribes, Zalesskii - 2000 |

47 | Relations between K2 and Galois cohomology - Tate - 1976 |

46 |
Homotopy fixed point spectra for closed subgroups of the Morava stabilizer groups, Topology 43
- Devinatz, Hopkins
(Show Context)
Citation Context ...s Morava K-theory (see [15, Prop. 7.4], [32]). Using the Gn-action on En by maps of commutative S-algebras (work of Goerss and Hopkins ([12], [13]), and Hopkins and Miller [34]), Devinatz and Hopkins =-=[6]-=- construct spectra EhG n with strongly convergent spectral sequences (1.2) H s c (G; πt(En ∧ X)) ⇒ πt−s(E hG n ∧ X). Also, they show that EhGn n ≃ ˆ L(S0 ), so that EhGn n ∧ X ≃ ˆ L(X). We recall from... |

42 |
Stable homotopy theory of simplicial presheaves
- Jardine
- 1987
(Show Context)
Citation Context ... ∧ X)f is a continuous Gn-spectrum. Using the hypercohomology spectra of Thomason [41], and the theory of presheaves of spectra on a site and globally fibrant models, developed by Jardine (e.g. [21], =-=[22]-=-, [23], [24]), we present the theory of homotopy fixed points for discrete G-spectra by considering the site of finite discrete G-sets. Using the fact that Gn has finite virtual cohomological dimensio... |

39 | Bous localization functors and Hopkins’ chromatic splitting conjecture - Hovey - 1993 |

36 |
Notes on the Hopkins-Miller theorem, Homotopy theory via algebraic geometry and group representations
- Rezk
- 1997
(Show Context)
Citation Context ...Fp[vn, v−1 n ], where K(n) is Morava K-theory (see [15, Prop. 7.4], [32]). Using the Gn-action on En by maps of commutative S-algebras (work of Goerss and Hopkins ([12], [13]), and Hopkins and Miller =-=[34]-=-), Devinatz and Hopkins [6] construct spectra EhG n with strongly convergent spectral sequences (1.2) H s c (G; πt(En ∧ X)) ⇒ πt−s(E hG n ∧ X). Also, they show that EhGn n ≃ ˆ L(S0 ), so that EhGn n ∧... |

34 | Groupes analytiques p-adiques - Lazard - 1965 |

34 |
Noetherian localisation of categories of cobordism comodules
- Morava
- 1985
(Show Context)
Citation Context ...L(X), where the E2-term is continuous cohomology, X is a finite spectrum, and ˆ L is Bousfield localization with respect to K(n)∗ = Fp[vn, v−1 n ], where K(n) is Morava K-theory (see [15, Prop. 7.4], =-=[32]-=-). Using the Gn-action on En by maps of commutative S-algebras (work of Goerss and Hopkins ([12], [13]), and Hopkins and Miller [34]), Devinatz and Hopkins [6] construct spectra EhG n with strongly co... |

31 |
Generalized etale cohomology theories
- Jardine
- 1997
(Show Context)
Citation Context ... is a continuous Gn-spectrum. Using the hypercohomology spectra of Thomason [41], and the theory of presheaves of spectra on a site and globally fibrant models, developed by Jardine (e.g. [21], [22], =-=[23]-=-, [24]), we present the theory of homotopy fixed points for discrete G-spectra by considering the site of finite discrete G-sets. Using the fact that Gn has finite virtual cohomological dimension, Tho... |

29 |
Algebraic K-theory and etale cohomology
- Thomason
- 1985
(Show Context)
Citation Context ...ctra, En ∼ = holim I (Fn ∧ MI)f is a continuous Gn-spectrum. Also, for any spectrum X, ˆL(En ∧ X) ∼ = holim I (Fn ∧ MI ∧ X)f is a continuous Gn-spectrum. Using the hypercohomology spectra of Thomason =-=[41]-=-, and the theory of presheaves of spectra on a site and globally fibrant models, developed by Jardine (e.g. [21], [22], [23], [24]), we present the theory of homotopy fixed points for discrete G-spect... |

26 |
Moduli spaces of commutative ring spectra. In Structured ring spectra
- Goerss, Hopkins
- 2004
(Show Context)
Citation Context ...ation with respect to K(n)∗ = Fp[vn, v−1 n ], where K(n) is Morava K-theory (see [15, Prop. 7.4], [32]). Using the Gn-action on En by maps of commutative S-algebras (work of Goerss and Hopkins ([12], =-=[13]-=-), and Hopkins and Miller [34]), Devinatz and Hopkins [6] construct spectra EhG n with strongly convergent spectral sequences (1.2) H s c (G; πt(En ∧ X)) ⇒ πt−s(E hG n ∧ X). Also, they show that EhGn ... |

25 | Hypercohomology spectra and Thomason’s descent theorem
- Mitchell
- 1996
(Show Context)
Citation Context ...ut that much of the theory described above (in Sections 3, 5, 7, and 8, through Remark 8.8) is already known, in some form, especially in the work of Jardine mentioned above, in the excellent article =-=[29]-=-, by Mitchell (see also the opening remark of [31, §5]), and in Goerss’s paper [11]. However, since the above4 DANIEL G. DAVIS theory has not been explained in detail before, using the language of ho... |

24 | Localization theories for simplicial presheaves - Goerss, Jardine - 1998 |

24 |
André-Quillen (co)-homology for simplicial algebras over simplicial operads, Une dégustation topologique [Topological morsels]: homotopy theory
- Goerss, Hopkins
- 1999
(Show Context)
Citation Context ...ocalization with respect to K(n)∗ = Fp[vn, v−1 n ], where K(n) is Morava K-theory (see [15, Prop. 7.4], [32]). Using the Gn-action on En by maps of commutative S-algebras (work of Goerss and Hopkins (=-=[12]-=-, [13]), and Hopkins and Miller [34]), Devinatz and Hopkins [6] construct spectra EhG n with strongly convergent spectral sequences (1.2) H s c (G; πt(En ∧ X)) ⇒ πt−s(E hG n ∧ X). Also, they show that... |

16 | vn-telescopes and the Adams spectral sequence - Mahowald, Sadofsky - 1995 |

14 | S-modules and symmetric spectra - Schwede |

11 |
Cohomology of p-adic analytic groups
- Symonds, Weigel
- 2000
(Show Context)
Citation Context ...roup. Then G contains an open subgroup H, such that H is a pro-p group with finite cohomological pdimension; that is, cdp(H) = m, for some non-negative integer m (see [25, 2.4.9] or the exposition in =-=[39]-=-). Since H is pro-p, cdq(H) = 0, whenever q is a prime different from p [45, Prop. 11.1.4]. Also, if M is a discrete H-module, then, for s ≥ 1, Hs c (H; M) is a torsion abelian group [35, Cor. 6.7.4].... |

10 | Morava modules and Brown-Comenetz duality - Devinatz - 1997 |

10 |
Homotopy points for Galois groups
- Goerss
- 1993
(Show Context)
Citation Context ...ark 8.8) is already known, in some form, especially in the work of Jardine mentioned above, in the excellent article [29], by Mitchell (see also the opening remark of [31, §5]), and in Goerss’s paper =-=[11]-=-. However, since the above4 DANIEL G. DAVIS theory has not been explained in detail before, using the language of homotopy fixed points for discrete G-spectra, we give a presentation of it. After def... |

9 | Topological cyclic homology of schemes - Geisser, Hesselholt - 1997 |

9 | Constructions of elements in Picard groups - Hopkins, Mahowald, et al. - 1992 |

8 | The generating hypothesis revisited - Devinatz - 1996 |

8 | Gross-Hopkins duality - Strickland |

7 |
Generalised sheaf cohomology theories. In Axiomatic, enriched and motivic homotopy theory, volume 131
- Jardine
- 2004
(Show Context)
Citation Context ...continuous Gn-spectrum. Using the hypercohomology spectra of Thomason [41], and the theory of presheaves of spectra on a site and globally fibrant models, developed by Jardine (e.g. [21], [22], [23], =-=[24]-=-), we present the theory of homotopy fixed points for discrete G-spectra by considering the site of finite discrete G-sets. Using the fact that Gn has finite virtual cohomological dimension, Thomason’... |

7 | Pro groups. The Clarendon - Wilson - 1998 |

6 | K-theory hypercohomology spectra of number rings at the prime 2. In Une degustation topologique [Topological morsels]: homotopy theory - Mitchell - 1999 |

4 | On the etale descent problem for topological cyclic homology and algebraic K-theory - Tsalidis |

3 | The algebraic K-theory spectrum of a 2-adic local - Mitchell |

2 | Groupes analytiques p-adiques - Serre - 1964 |

2 | The stable homotopy type of some topoi - Thomason - 1987 |