Jeff Smith's Theory of Ideals
In 2006, Jeff Smith proposed a theory of ideals for rings in a triangulated symmetric monoidal category such as ring spectra or DGAs. We show that his definition is equivalent to a `central' --bimodule map .
Source author record
Robert R. Bruner
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
8works
2topics
4close collaborators
Published work
8 publications
preprint2022arXiv
The Adams spectral sequence for the image-of-J spectrum
We show that if we factor the long exact sequence in cohomology of a cofiber sequence of spectra into short exact sequences, then the d2-differential in the Adams spectral sequence of any one term is related in a precise way to Yoneda composition with the 2-extension given by the complementary terms in the long exact sequence. We use this to give a complete analysis of the Adams spectral sequence for the connective image-of-J spectrum, finishing a calculation that was begun by D. Davis in 1975.
Open access
preprint2022arXiv
The cohomology of the mod 2 Steenrod algebra
A minimal resolution of the mod 2 Steenrod algebra in the range 0≤s≤128, 0≤t≤200, together with chain maps for each cocycle in that range and for the squaring operation Sq0 in the cohomology of the Steenrod algebra.
Open access
preprint2013arXiv
Idempotents, Localizations and Picard groups of A(1)-modules
We analyze the stable isomorphism type of polynomial rings on degree 1 generators as modules over the sub-algebra A(1) = <Sq^1, Sq^2> of the mod 2 Steenrod algebra. Since their augmentation ideals are Q_1-local, we do this by studying the Q_i-local subcategories and the associated Margolis localizations. The periodicity exhibited by such modules reduces the calculation to one that is finite. We show that these are the only localizations which preserve tensor products, by first computing the Picard groups of these subcategories and using them to determine all idempotents in the stable category of bounded-below A(1)-modules. We show that the Picard groups of the whole category are detected in the local Picard groups, and show that every bounded-below A(1) -module is uniquely expressible as an extension of a Q_0-local module by a Q_1-local module, up to stable equivalence. Applications include correct, complete proofs of Ossa's theorem, applications to Powell's work describing connective K-theory of classifying spaces of elementary abelian groups in functorial terms, and Ault's work on the hit problem.
Open access
preprint2013arXiv
On cyclic fixed points of spectra
For a finite p-group G and a bounded below G-spectrum X of finite type mod p, the G-equivariant Segal conjecture for X asserts that the canonical map X^G --> X^{hG} is a p-adic equivalence. Let C_{p^n} be the cyclic group of order p^n. We show that if the C_p Segal conjecture holds for a C_{p^n} spectrum X, as well as for each of its C_{p^e} geometric fixed points for 0 < e < n, then then C_{p^n} Segal conjecture holds for X. Similar results hold for weaker forms of the Segal conjecture, asking only that the canonical map induces an equivalence in sufficiently high degrees, on homotopy groups with suitable finite coefficients.
Open access
preprint2012arXiv
On the Postnikov towers for real and complex connective K-theory
Complexification, from real connective K-theory to complex connective K-theory, sits in a well-known cofiber sequence between multiplication by eta and a map related to realification. We show how this cofiber sequence factors as one goes up the Postnikov towers of ko and ku. There are 5 distinct cofiber sequences which then repeat under Bott periodicity.
Open access
preprint2005arXiv
Differentials in the homological homotopy fixed point spectral sequence
We analyze in homological terms the homotopy fixed point spectrum of a T-equivariant commutative S-algebra R. There is a homological homotopy fixed point spectral sequence with E^2_{s,t} = H^{-s}_{gp}(T; H_t(R; F_p)), converging conditionally to the continuous homology H^c_{s+t}(R^{hT}; F_p) of the homotopy fixed point spectrum. We show that there are Dyer-Lashof operations beta^epsilon Q^i acting on this algebra spectral sequence, and that its differentials are completely determined by those originating on the vertical axis. More surprisingly, we show that for each class x in the $^{2r}-term of the spectral sequence there are 2r other classes in the E^{2r}-term (obtained mostly by Dyer-Lashof operations on x) that are infinite cycles, i.e., survive to the E^infty-term. We apply this to completely determine the differentials in the homological homotopy fixed point spectral sequences for the topological Hochschild homology spectra R = THH(B) of many S-algebras, including B = MU, BP, ku, ko and tmf. Similar results apply for all finite subgroups C of T, and for the Tate- and homotopy orbit spectral sequences. This work is part of a homological approach to calculating topological cyclic homology and algebraic K-theory of commutative S-algebras.
Open access
preprint2002arXiv
On behavior of the algebraic transfer
Let V be a mod 2 vector space of rank k. W. Singer defined a transfer homomorphism from the GL(k,2) coinvariants of the primitives in the homology of BV to the cohomology of the Steenrod algebra, as an algebraic version of the geometric transfer from the stable homotopy of BV to the stable homotopy of spheres. It has been shown that the algebraic transfer is highly nontrivial and, more precisely, that it is an isomorphism for k=1, 2, or 3. However, Singer showed that it is not an epimorphism for k=5. In this paper, we prove that it also fails to be an epimorphism when k=4. Precisely, it does not detect the non zero elements in the g family, in stems 20, 44, 92, and in general, 12*2^s - 4, for each s > 0. The transfer still fails to be an epimorphism even after inverting Sq^0, thereby giving a negative answer to a prediction by Minami.
Open access
Research graph
See the researcher in context
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.