A note on triangulated monads and categories of module spectra (Q1657925)

Let \(\mathcal{C}\) be an idempotent complete triangulated category. Consider an adjoint pair \(F \dashv G\) of functors \(F:\mathcal{C} \to \mathcal{D}\) and \(G:\mathcal{D} \to \mathcal{C}\), with unit \(\eta:\mathrm{id}_\mathcal{C} \to GF\) and counit \(\epsilon:FG \to \mathcal{D}\). Define a monad on \(\mathcal{C}\) by letting \(\mathbb{A}=GF\) with multiplication \(G \epsilon F\) and unit map \(\eta\). Using properties of adjoint functors, split idempotents and the Kleisli comparison functor, the authors prove [Theorem 1.6] that when \(\mathcal{D}\) is idempotent complete and \(G\) is conservative then every other adjoint pair that triangule realizes \(\mathbb{A}\) is monadic. Therefore the categories \(\mathcal{D}\) and \(\mathbb{A}-\mathrm{Mod}_\mathcal{C}\) are equivalent via the Kleisli functor. In case \(A\) is a highly structured ring spectrum, a characterization [Corollary 1.11] of when the category of \(A\)-modules over the stable homotopy category of spectra is triangulated and the respective forgetful functor is exact is given. Namely, it is when the comparison functor between the derived category of \(A\) and the Eilenberg-Moore category of \(A\)-modules over the stable homotopy category of spectra is an equivalence.