Researcher profile

Brooke Shipley

Brooke Shipley contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate

Trust snapshot

Quick read

Trust 17 - UnverifiedVerification L1Unclaimed author
4works
0followers
2topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

4 published item(s)

preprint2020arXiv

Invariance properties of coHochschild homology

The notion of Hochschild homology of a dg algebra admits a natural dualization, the coHochschild homology of a dg coalgebra, introduced in arXiv:0711.1023 by Hess, Parent, and Scott as a tool to study free loop spaces. In this article we prove "agreement" for coHochschild homology, i.e., that the coHochschild homology of a dg coalgebra $C$ is isomorphic to the Hochschild homology of the dg category of appropriately compact $C$-comodules, from which Morita invariance of coHochschild homology follows. Generalizing the dg case, we define the topological coHochschild homology (coTHH) of coalgebra spectra, of which suspension spectra are the canonical examples, and show that coTHH of the suspension spectrum of a space $X$ is equivalent to the suspension spectrum of the free loop space on $X$, as long as $X$ is a nice enough space (for example, simply connected.) Based on this result and on a Quillen equivalence established by the authors in arXiv:1402.4719, we prove that "agreement" holds for coTHH as well.

preprint2017arXiv

A necessary and sufficient condition for induced model structures

A common technique for producing a new model category structure is to lift the fibrations and weak equivalences of an existing model structure along a right adjoint. Formally dual but technically much harder is to lift the cofibrations and weak equivalences along a left adjoint. For either technique to define a valid model category, there is a well-known necessary "acyclicity" condition. We show that for a broad class of "accessible model structures" - a generalization introduced here of the well-known combinatorial model structures - this necessary condition is also sufficient in both the right-induced and left-induced contexts, and the resulting model category is again accessible. We develop new and old techniques for proving the acyclity condition and apply these observations to construct several new model structures, in particular on categories of differential graded bialgebras, of differential graded comodule algebras, and of comodules over corings in both the differential graded and the spectral setting. We observe moreover that (generalized) Reedy model category structures can also be understood as model categories of "bialgebras" in the sense considered here.

preprint2001arXiv

Simplicial structures on model categories and functors

We produce a highly structured way of associating a simplicial category to a model category which improves on work of Dwyer and Kan and answers a question of Hovey. We show that model categories satisfying a certain axiom are Quillen equivalent to simplicial model categories. A simplicial model category provides higher order structure such as composable mapping spaces and homotopy colimits. We also show that certain homotopy invariant functors can be replaced by weakly equivalent simplicial, or `continuous', functors. This is used to show that if a simplicial model category structure exists on a model category then it is unique up to simplicial Quillen equivalence.

preprint2000arXiv

A uniqueness theorem for stable homotopy theory

In this paper we study the global structure of the stable homotopy theory of spectra. We establish criteria for when the homotopy theory associated to a given stable model category agrees with the classical stable homotopy theory of spectra. One sufficient condition is that the associated homotopy category is equivalent to the stable homotopy category as a triangulated category with an action of the ring of stable homotopy groups of spheres. In other words, the classical stable homotopy theory, with all of its higher order information, is determined by the homotopy category as a triangulated category with an action of the stable homotopy groups of spheres. Another sufficient condition is the existence of a small generating object (corresponding to the sphere spectrum) for which a specific `unit map' from the infinite loop space QS^0 to the endomorphism space is a weak equivalence.