Source author record

Daniel G. Davis

Daniel G. Davis appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.AT

Catalog footprint

What is connected

7works

1topics

3close collaborators

Actions

Connect this record

Open graph Browse works

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

preprint2015arXiv

Profinite and discrete G-spectra and iterated homotopy fixed points

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 discrete $G$-spectra), respectively. We establish some connections between the first two notions, and by using Postnikov towers, for $K \vartriangleleft_c G$ (a closed normal subgroup), give various conditions for when the iterated homotopy fixed points $(X^{hK})^{hG/K}$ exist and are $X^{hG}$. For the Lubin-Tate spectrum $E_n$ and $G <_c G_n$, the extended Morava stabilizer group, our results show that $E_n^{hK}$ is a profinite $G/K$-spectrum with $(E_n^{hK})^{hG/K} \simeq E_n^{hG}$, by an argument that possesses a certain technical simplicity not enjoyed by either the proof that $(E_n^{h'K})^{h'G/K} \simeq E_n^{h'G}$ or the Devinatz-Hopkins proof (which requires $|G/K| < \infty$) of $(E_n^{dhK})^{h_dG/K} \simeq E_n^{dhG}$, where $E_n^{dhK}$ is a construction that behaves like continuous homotopy fixed points. Also, we prove that (in general) the $G/K$-homotopy fixed point spectral sequence for $π_\ast((E_n^{hK})^{hG/K})$, with $E_2^{s,t} = H^s_c(G/K; π_t(E_n^{hK}))$ (continuous cohomology), is isomorphic to both the strongly convergent Lyndon-Hochschild-Serre spectral sequence of Devinatz for $π_\ast(E_n^{dhG})$, with $E_2^{s,t} = H^s_c(G/K; π_t(E_n^{dhK}))$, and the descent spectral sequence for $π_\ast((E_n^{h'K})^{h'G/K})$.

preprint2013arXiv

A descent spectral sequence for arbitrary K(n)-local spectra with explicit $E_2$-term

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 continuous cohomology of G_n, the extended Morava stabilizer group, with coefficients in a certain discrete G_n-module that is built from various homotopy fixed point spectra of the Morava module of X. This spectral sequence can be contrasted with the K(n)-local E_n-Adams spectral sequence for pi_*(L_{K(n)}(X)), whose E_2-term is not known to always be equal to a continuous cohomology group.

preprint2013arXiv

Commutative ring objects in pro-categories and generalized Moore spectra

We develop a rigidity criterion to show that in simplicial model categories with a compatible symmetric monoidal structure, operad structures can be automatically lifted along certain maps. This is applied to obtain an unpublished result of M. J. Hopkins that certain towers of generalized Moore spectra, closely related to the K(n)-local sphere, are E-infinity algebras in the category of pro-spectra. In addition, we show that Adams resolutions automatically satisfy the above rigidity criterion. In order to carry this out we develop the concept of an operadic model category, whose objects have homotopically tractable endomorphism operads.

preprint2013arXiv

Homotopy fixed points for profinite groups emulate homotopy fixed points for discrete groups

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} is often given by (H_{G,X})^G, where H_{G,X} is a certain explicit construction given by a homotopy limit in the category of discrete G-spectra. Thus, in each of two common equivariant settings, the homotopy fixed point spectrum is equal to the fixed points of an explicit object in the ambient equivariant category. We enrich this pattern by proving in a precise sense that the discrete G-spectrum H_{G,X} is just "a profinite version" of Map_*(EK_+, Z): at each stage of its construction, H_{G,X} replicates in the setting of discrete G-spectra the corresponding stage in the formation of Map_*(EK_+, Z) (up to a certain natural identification).

preprint2011arXiv

Every K(n)-local spectrum is the homotopy fixed points of its Morava module

Let n \geq 1 and let p be any prime. Also, let E_n be the Lubin-Tate spectrum, G_n the extended Morava stabilizer group, and K(n) the nth Morava K-theory spectrum. Then work of Devinatz and Hopkins and some results due to Behrens and the first author of this note, show that if X is a finite spectrum, then the localization L_{K(n)}(X) is equivalent to the homotopy fixed point spectrum (L_{K(n)}(E_n \wedge X))^{hG_n}, which is formed with respect to the continuous action of G_n on L_{K(n)}(E_n \wedge X). In this note, we show that this equivalence holds for any (S-cofibrant) spectrum X. Also, we show that for all such X, the strongly convergent Adams-type spectral sequence abutting to π_\ast(L_{K(n)}(X)) is isomorphic to the descent spectral sequence that abuts to π_\ast((L_{K(n)}(E_n \wedge X))^{hG_n}).

preprint2010arXiv

Delta-discrete $G$-spectra and iterated homotopy fixed points

Let G be a profinite group with finite virtual cohomological dimension and let X be a discrete G-spectrum. If H and K are closed subgroups of G, with H normal in K, then, in general, the K/H-spectrum X^{hH} is not known to be a continuous K/H-spectrum, so that it is not known (in general) how to define the iterated homotopy fixed point spectrum (X^{hH})^{hK/H}. To address this situation, we define homotopy fixed points for delta-discrete G-spectra and show that the setting of delta-discrete G-spectra gives a good framework within which to work. In particular, we show that by using delta-discrete K/H-spectra, there is always an iterated homotopy fixed point spectrum, denoted (X^{hH})^{h_δK/H}, and it is just X^{hK}. Additionally, we show that for any delta-discrete G-spectrum Y, (Y^{h_δH})^{h_δK/H} \simeq Y^{h_δK}. Furthermore, if G is an arbitrary profinite group, there is a delta-discrete G-spectrum {X_δ} that is equivalent to X and, though X^{hH} is not even known in general to have a K/H-action, there is always an equivalence ((X_δ)^{h_δH})^{h_δK/H} \simeq (X_δ)^{h_δK}. Therefore, delta-discrete L-spectra, by letting L equal H, K, and K/H, give a way of resolving undesired deficiencies in our understanding of homotopy fixed points for discrete G-spectra.

preprint2010arXiv

Obtaining intermediate rings of a local profinite Galois extension without localization

Let E_n be the Lubin-Tate spectrum and let G_n be the nth extended Morava stabilizer group. Then there is a discrete G_n-spectrum F_n, with L_{K(n)}(F_n) \simeq E_n, that has the property that (F_n)^{hU} \simeq E_n^{hU}, for every open subgroup U of G_n. In particular, (F_n)^{hG_n} \simeq L_{K(n)}(S^0). More generally, for any closed subgroup H of G_n, there is a discrete H-spectrum Z_{n, H}, such that (Z_{n, H})^{hH} \simeq E_n^{hH}. These conclusions are obtained from results about consistent k-local profinite G-Galois extensions E of finite vcd, where L_k(-) is L_M(L_T(-)), with M a finite spectrum and T smashing. For example, we show that L_k(E^{hH}) \simeq E^{hH}, for every open subgroup H of G.

Institution

Affiliation not imported yet

This author record came from a source that does not expose affiliation metadata. Once the author claims the profile or we enrich the record from another provider, this section will link to the concrete institution.

Topic footprint