We present an abstract version of Goerss-Hopkins theory in the setting of a prestable @math -category equipped with a suitable periodicity operator. In the case of the @math -category of synthetic spectra, this yields obstructions to realizing a comodule algebra as a homology of a commutative ring spectrum, recovering the results of Goerss and Hopkins.
A different approach to Goerss-Hopkins obstruction theory is present in the work of Mazel-Gee @cite_27 . Compared to ours, the approach of Mazel-Gee is closer in spirit to the original works of Goerss and Hopkins, generalizing the theory to a setting of an arbitrary presentable @math -category through the use of model @math -categories.
@cite_27
2904500875
Author(s): Mazel-Gee, Aaron | Advisor(s): Teichner, Peter | Abstract: We develop a theory of model ∞-categories -- that is, of model structures on ∞-categories -- which provides a robust theory of resolutions entirely native to the ∞-categorical context. Using model ∞-categories, we generalize Goerss--Hopkins obstruction theory from spectra to an arbitrary (presentably symmetric monoidal stable) ∞-category. We give a sample application of this generalized obstruction theory in the setting of motivic homotopy theory, where we construct E_∞ structures on the motivic Morava E-theories and compute their automorphism spaces (as E_∞ algebras). Goerss--Hopkins obstruction theory is a powerful tool for constructing structured ring spectra from purely algebraic data. Using the formalism of model @math -categories, we provide a generalization that applies in an arbitrary presentably symmetric monoidal stable @math -category (such as that of equivariant spectra or of motivic spectra). Prologue Point-set topology, change functors, and proper actions: Introduction to Part I The point-set topology of parametrized spaces Change functors and compatibility relations Proper actions, equivariant bundles and fibrations Model categories and parametrized spaces: Introduction to Part II Topologically bicomplete model categories Well-grounded topological model categories The @math -model structure on @math Equivariant @math -type model structures Ex-fibrations and ex-quasifibrations The equivalence between Ho @math and @math Parametrized equivariant stable homotopy theory: Introduction to Part III Enriched categories and @math -categories The category of orthogonal @math -spectra over @math Model structures for parametrized @math -spectra Adjunctions and compatibility relations Module categories, change of universe, and change of groups Parametrized duality theory: Introduction to Part IV Fiberwise duality and transfer maps Closed symmetric bicategories The closed symmetric bicategory of parametrized spectra Costenoble-Waner duality Fiberwise Costenoble-Waner duality Homology and cohomology, Thom spectra, and addenda: Introduction to Part V Parametrized homology and cohomology theories Equivariant parametrized homology and cohomology Twisted theories and spectral sequences Parametrized FSP's and generalized Thom spectra Epilogue: Cellular philosophy and alternative approaches Bibliography Index Index of notation. Whereas formal category theory is classically considered within a @math -category, in this paper a double-dimensional approach is taken. More precisely we develop such theory within the setting of hypervirtual double categories, a notion extending that of virtual double category by adding cells with nullary target. [...] After this the notion of weak' Kan extension within a hypervirtual double category is considered, together with three strengthenings. [...] The notion of yoneda embedding is then considered in a hypervirtual double category, and compared to that of a good yoneda structure on a @math -category; the latter in the sense of Street-Walters and Weber. Conditions are given ensuring that a yoneda embedding @math defines @math as the free small cocompletion of @math , in a suitable sense. In the second half we consider formal category theory in the presence of algebraic structures. In detail: to a monad @math on a hypervirtual double category @math several hypervirtual double categories @math of @math -algebras are associated, [...]. This is followed by the study of the creation of, amongst others, left Kan extensions by the forgetful functors @math . The main motivation of this paper is the description of conditions ensuring that yoneda embeddings in @math lift along these forgetful functors, as well as ensuring that such lifted algebraic yoneda embeddings again define free small cocompletions, now in @math . As a first example we apply the previous to monoidal structures on categories, hence recovering Day convolution of presheaves and Im-Kelly's result on free monoidal cocompletion, as well as obtaining a "monoidal Yoneda lemma".