Results 1  10
of
25
Morava Ktheories and localisation
 MEM. AMER. MATH. SOC
, 1999
"... We study the structure of the categories of K(n)local and E(n)local spectra, using the axiomatic framework developed in earlier work of the authors with John Palmieri. We classify localising and colocalising subcategories, and give characterisations of small, dualisable, and K(n)nilpotent spectra ..."
Abstract

Cited by 106 (19 self)
 Add to MetaCart
We study the structure of the categories of K(n)local and E(n)local spectra, using the axiomatic framework developed in earlier work of the authors with John Palmieri. We classify localising and colocalising subcategories, and give characterisations of small, dualisable, and K(n)nilpotent spectra. We give a number of useful extensions to the theory of vn self maps of finite spectra, and to the theory of Landweber exactness. We show that certain rings of cohomology operations are left Noetherian, and deduce some powerful finiteness results. We study the Picard group of invertible K(n)local spectra, and the problem of grading homotopy groups over it. We prove (as announced by Hopkins and Gross) that the BrownComenetz dual of MnS lies in the Picard group. We give a detailed analysis of some examples when n =1 or 2, and a list of open problems.
Galois extensions of structured ring spectra
, 2005
"... We introduce the notion of a Galois extension of commutative Salgebras (E ∞ ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg–MacLane spectra of commutative rings, real and complex topological Ktheory, Lubin–Tate ..."
Abstract

Cited by 61 (3 self)
 Add to MetaCart
We introduce the notion of a Galois extension of commutative Salgebras (E ∞ ring spectra), often localized with respect to a fixed homology theory. There are numerous examples, including some involving Eilenberg–MacLane spectra of commutative rings, real and complex topological Ktheory, Lubin–Tate spectra and cochain Salgebras. We establish the main theorem of Galois theory in this generality. Its proof involves the notions of separable (and étale) extensions of commutative Salgebras, and the Goerss–Hopkins–Miller theory for E ∞ mapping spaces. We show that the global sphere spectrum S is separably closed (using Minkowski’s discriminant theorem), and we estimate the separable closure of its localization with respect to each of the Morava Ktheories. We also define Hopf–Galois extensions of commutative Salgebras, and study the complex cobordism spectrum MU as a common integral model for all of the local Lubin–Tate Galois extensions.
Invertible spectra in the E(n)local stable homotopy category
 J. London Math. Soc
"... Suppose C is a category with a symmetric monoidal structure, which we will refer to as the smash product. Then the Picard category is the full subcategory of objects which have an inverse under the smash product in C, and the Picard group Pic(C) is the collection of isomorphism classes of such inver ..."
Abstract

Cited by 38 (9 self)
 Add to MetaCart
(Show Context)
Suppose C is a category with a symmetric monoidal structure, which we will refer to as the smash product. Then the Picard category is the full subcategory of objects which have an inverse under the smash product in C, and the Picard group Pic(C) is the collection of isomorphism classes of such invertible objects. The
The homotopy fixed point spectra of profinite Galois extensions
"... Let E be a klocal profinite GGalois extension of an E∞ring spectrum A (in the sense of Rognes). We show that E may be regarded as producing a discrete Gspectrum. Also, we prove that if E is a profaithful klocal profinite extension which satisfies certain extra conditions, then the forward dir ..."
Abstract

Cited by 27 (17 self)
 Add to MetaCart
Let E be a klocal profinite GGalois extension of an E∞ring spectrum A (in the sense of Rognes). We show that E may be regarded as producing a discrete Gspectrum. Also, we prove that if E is a profaithful klocal profinite extension which satisfies certain extra conditions, then the forward direction of Rognes’s Galois correspondence extends to the profinite setting. We show the function spectrum FA((EhH)k, (EhK)k) is equivalent to the homotopy fixed point spectrum ((E[[G/H]]) hK)k where H and K are closed subgroups of G. Applications to Morava Etheory are given, including showing that the homotopy fixed points defined by Devinatz and Hopkins for closed subgroups of the extended Morava stabilizer group agree with those defined with respect to a continuous action and in terms of the derived functor of fixed points.
Moduli problems for structured ring spectra
 DANIEL DUGGER AND BROOKE
, 2005
"... In this document we make good on all the assertions we made in the previous paper “Moduli spaces of commutative ring spectra ” [20] wherein we laid out a theory a moduli spaces and problems for the existence and uniqueness of E∞ring spectra. In that paper, we discussed the the HopkinsMiller theore ..."
Abstract

Cited by 20 (0 self)
 Add to MetaCart
In this document we make good on all the assertions we made in the previous paper “Moduli spaces of commutative ring spectra ” [20] wherein we laid out a theory a moduli spaces and problems for the existence and uniqueness of E∞ring spectra. In that paper, we discussed the the HopkinsMiller theorem on the LubinTate or Morava spectra En; in particular, we showed how to prove that the moduli space of all E ∞ ring spectra X so that (En)∗X ∼ = (En)∗En as commutative (En) ∗ algebras had the homotopy type of BG, where G was an appropriate variant of the Morava stabilizer group. This is but one point of view on these results, and the reader should also consult [3], [38], and [41], among others. A point worth reiterating is that the moduli problems here begin with algebra: we have a homology theory E ∗ and a commutative ring A in E∗E comodules and we wish to discuss the homotopy type of the space T M(A) of all E∞ring spectra so that E∗X ∼ = A. We do not, a priori, assume that T M(A) is nonempty, or even that there is a spectrum X so that E∗X ∼ = A as comodules.
Hermitian Ktheory of the integers
 Amer. J. Math
"... Abstract. Rognes and Weibel used Voevodsky’s work on the Milnor conjecture to deduce the strong DwyerFriedlander form of the LichtenbaumQuillen conjecture at the prime 2. In consequence (the 2completion of) the classifying space for algebraic Ktheory of the integers Z[1/2] can be expressed as a ..."
Abstract

Cited by 15 (9 self)
 Add to MetaCart
(Show Context)
Abstract. Rognes and Weibel used Voevodsky’s work on the Milnor conjecture to deduce the strong DwyerFriedlander form of the LichtenbaumQuillen conjecture at the prime 2. In consequence (the 2completion of) the classifying space for algebraic Ktheory of the integers Z[1/2] can be expressed as a fiber product of wellunderstood spaces BO and BGL(F3) + over BU. Similar results are now obtained for Hermitian Ktheory and the classifying spaces of the integral symplectic and orthogonal groups. For the integers Z[1/2], this leads to computations of the 2primary Hermitian Kgroups and affirmation of the LichtenbaumQuillen conjecture in the framework of Hermitian Ktheory.
CONTINUOUS HOMOTOPY FIXED POINTS FOR LUBINTATE SPECTRA
"... Abstract. We construct a stable model structure on profinite spectra with a continuous action of an arbitrary profinite group. This provides a natural framework for a new and conceptually simplified construction of continuous homotopy fixed point spectra and of continuous homotopy fixed point spectr ..."
Abstract

Cited by 8 (2 self)
 Add to MetaCart
(Show Context)
Abstract. We construct a stable model structure on profinite spectra with a continuous action of an arbitrary profinite group. This provides a natural framework for a new and conceptually simplified construction of continuous homotopy fixed point spectra and of continuous homotopy fixed point spectral sequences for LubinTate spectra under the action of the extended Morava stabilizer group. 1.
Algebraic Ktheory of the twoadic integers
 J. Pure Appl. Algebra
, 1997
"... Abstract. We compute the twocompleted algebraic Kgroups K∗ ( ˆ Z2) ∧ 2 of the twoadic integers, and determine the homotopy type of the twocompleted algebraic Ktheory spectrum K ( ˆ Z2) ∧ 2. The natural map K(Z) ∧ 2 → K( ˆ Z2) ∧ 2 is shown to induce an isomorphism modulo torsion in degrees 4 ..."
Abstract

Cited by 8 (3 self)
 Add to MetaCart
(Show Context)
Abstract. We compute the twocompleted algebraic Kgroups K∗ ( ˆ Z2) ∧ 2 of the twoadic integers, and determine the homotopy type of the twocompleted algebraic Ktheory spectrum K ( ˆ Z2) ∧ 2. The natural map K(Z) ∧ 2 → K( ˆ Z2) ∧ 2 is shown to induce an isomorphism modulo torsion in degrees 4k + 1 with k ≥ 1.
On degeneration of onedimensional formal group laws and stable homotopy theory
, 2003
"... In this note we study a certain formal group law over a complete discrete valuation ring F[[un−1]] of characteristic p> 0 which is of height n over the closed point and of height n − 1 over the generic point. By adjoining all coefficients of an isomorphism between the formal group law on the gen ..."
Abstract

Cited by 7 (1 self)
 Add to MetaCart
(Show Context)
In this note we study a certain formal group law over a complete discrete valuation ring F[[un−1]] of characteristic p> 0 which is of height n over the closed point and of height n − 1 over the generic point. By adjoining all coefficients of an isomorphism between the formal group law on the generic point and the Honda group law Hn−1 of height n − 1, we get a Galois extension of the quotient field of the discrete valuation ring with Galois group isomorphic to the automorphism group Sn−1 of Hn−1. We show that the automorphism group Sn of the formal group over the closed point acts on the quotient field, lifting to an action on the Galois extension which commutes with the action of Galois group. We use this to construct a ring homomorphism from the cohomology of Sn−1 to the cohomology of Sn with coefficients in the quotient field. Applications of these results in stable homotopy theory and relation to the chromatic splitting conjecture are discussed.
INVERTIBLE MODULES FOR COMMUTATIVE SALGEBRAS WITH RESIDUE FIELDS
, 2004
"... Abstract. The aim of this note is to understand invertible modules over a commutative Salgebra in the sense of Elmendorf, Kriz, Mandell & May in some very wellbehaved cases. Our main result shows that as long as the commutative Salgebra R has ‘reductions mod m’ for all maximal ideals m ⊳ R∗, ..."
Abstract

Cited by 6 (1 self)
 Add to MetaCart
(Show Context)
Abstract. The aim of this note is to understand invertible modules over a commutative Salgebra in the sense of Elmendorf, Kriz, Mandell & May in some very wellbehaved cases. Our main result shows that as long as the commutative Salgebra R has ‘reductions mod m’ for all maximal ideals m ⊳ R∗, and Noetherian localisations (R∗)m, then for every invertible Rmodule U, U ∗ = π∗U is an invertible R∗module.