arXiv subjects

Jacobson R. Blomquist

Publications and source records attributed to Jacobson R. Blomquist.

4 recordsLinked to original sources

arXiv2019

Iterated delooping and desuspension of structured ring spectra

We study completion with respect to the iterated suspension functor on $\mathcal{O}$-algebras, where $\mathcal{O}$ is a reduced operad in symmetric spectra. This completion is the unit of a derived adjunction comparing $\mathcal{O}$-algebras with coalgebras over the associated iterated suspension-loop homotopical comonad via the iterated suspension functor. We prove that this derived adjunction becomes a derived equivalence when restricted to 0-connected $\mathcal{O}$-algebras and $r$-connected $\tildeΣ^r \tildeΩ^r$-coalgebras. We also consider the dual picture, using iterated loops to build a cocompletion map from algebras over the iterated loop-suspension homotopical monad to $\mathcal{O}$-algebras. This is the counit of a derived adjunction, which we prove is a derived equivalence when restricting to $r$-connected $\mathcal{O}$-algebras and $0$-connected $\tildeΩ^r \tildeΣ^r$-algebras.

math.AT↗

arXiv2018

Integral chains and Bousfield-Kan completion

Working in the Arone-Ching framework for homotopical descent, it follows that the Bousfield-Kan completion map with respect to integral homology is the unit of a derived adjunction. We prove that this derived adjunction, comparing spaces with coalgebra complexes over the associated integral homology comonad, via integral chains, can be turned into a derived equivalence by replacing spaces with the full subcategory of simply connected spaces. In particular, this provides an integral chains characterization of the homotopy type of simply connected spaces.

math.AT↗

arXiv2017

Suspension spectra and higher stabilization

We prove that the stabilization of spaces functor---the classical construction of associating a spectrum to a pointed space by tensoring with the sphere spectrum---satisfies homotopical descent on objects and morphisms. This is the stabilization analog of the Quillen-Sullivan theory main result that the rational chains (resp. cochains) functor participates in a derived equivalence with certain coalgebra (resp. algebra) complexes, after restriction to 1-connected spaces up to rational equivalence. In more detail, we prove that the stabilization of spaces functor participates in a derived equivalence with certain coalgebra spectra (where the stabilization construction naturally lands), after restriction to 1-connected spaces up to weak equivalence. This resolves in the affirmative the infinite case, involving stabilization and suspension spectra, of a question/conjecture posed by Tyler Lawson on (iterated) suspension spaces almost ten years ago. A key ingredient of our proof, of independent interest, is a higher stabilization theorem for spaces that provides strong estimates for the uniform cartesian-ness of certain cubical diagrams associated to n-fold iterations of the spaces-level stabilization map; this is the stabilization analog of Dundas' higher Hurewicz theorem.

math.AT↗

arXiv2017

Iterated suspension spaces and higher Freudenthal suspension

We establish a higher Freudenthal suspension theorem and prove that the derived fundamental adjunction comparing spaces with coalgebra spaces over the homotopical iterated suspension-loop comonad, via iterated suspension, can be turned into an equivalence of homotopy theories by replacing spaces with the full subcategory of 1-connected spaces. This resolves in the affirmative a conjecture of Lawson on iterated suspension spaces; that homotopical descent for iterated suspension is satisfied on objects and morphisms---the corresponding iterated desuspension space can be built as the homotopy limit of a cosimplicial cobar construction encoding the homotopical coalgebraic structure. It also provides a homotopical recognition principle for iterated suspension spaces. In a nutshell, we show that the iterated loop-suspension completion map studied by Bousfield participates in a derived equivalence between spaces and coalgebra spaces over the associated homotopical comonad, after restricting to 1-connected spaces.

math.AT↗