Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userThe Bousfield-Kuhn functor and Topological Andre-Quillen cohomology
93
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
We construct a natural transformation from the Bousfield-Kuhn functor evaluated on a space to the Topological Andre-Quillen cohomology of the K(n)-local Spanier-Whitehead dual of the space, and show that the map is an equivalence in the case where the space is a sphere. This results in a method for computing unstable v_n-periodic homotopy groups of spheres from their Morava E-cohomology (as modules over the Dyer-Lashof algebra of Morava E-theory). We relate the resulting algebraic computations to the algebraic geometry of isogenies between Lubin-Tate formal groups.
rate research
Read More
There exists a canonical functor from the category of fibrant objects of a model category modulo cylinder homotopy to its homotopy category. We show that this functor is faithful under certain conditions, but not in general.
Building on work of Livernet and Richter, we prove that E_n-homology and E_n-cohomology of a commutative algebra with coefficients in a symmetric bimodule can be interpreted as functor homology and cohomology. Furthermore we show that the associated Yoneda algebra is trivial.
There are two main approaches to the problem of realizing a $Pi$-algebra (a graded group $Lambda$ equipped with an action of the primary homotopy operations) as the homotopy groups of a space $X$. Both involve trying to realize an algebraic free simplicial resolution $G_bullet$ of $Lambda$ by a simplicial space $W_bullet$ and proceed by induction on the simplicial dimension. The first provides a sequence of Andr{e}-Quillen cohomology classes in $H_{AQ}^{n+2}(Lambda;Omega^{n}Lambda)$ for $n geq 1$ as obstructions to the existence of successive Postnikov sections for $W_bullet$ by work of Dwyer, Kan and Stover. The second gives a sequence of geometrically defined higher homotopy operations as the obstructions by earlier work of Blanc; these were identified with the obstruction theory of Dwyer, Kan and Smith in earlier work of the current authors. There are also (algebraic and geometric) obstructions for distinguishing between different realizations of $Lambda$. In this paper we 1) provide an explicit construction of the cocycles representing the cohomology obstructions; 2) provide a similar explicit construction of certain minimal values of the higher homotopy operations (which reduce to long Toda brackets), and 3) show that these two constructions correspond under an evident map.
For a model category, we prove that taking the category of coalgebras over a comonad commutes with left Bousfield localization in a suitable sense. Then we prove a general existence result for left-induced model structure on the category of coalgebras over a comonad in a left Bousfield localization. Next we provide several equivalent characterizations of when a left Bousfield localization preserves coalgebras over a comonad. These results are illustrated with many applications in chain complexes, (localized) spectra, and the stable module category.
We prove the equivalence of several hypotheses that have appeared recently in the literature for studying left Bousfield localization and algebras over a monad. We find conditions so that there is a model structure for local algebras, so that localization preserves algebras, and so that localization lifts to the level of algebras. We include examples coming from the theory of colored operads, and applications to spaces, spectra, and chain complexes.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
