arXiv subjects
Publications and source records attributed to Julia E. Bergner.
In this paper we complete a chain of explicit Quillen equivalences between the model category for $Θ_{n+1}$-spaces and the model category of small categories enriched in $Θ_n$-spaces. The Quillen equivalences given here connect Segal category objects in $Θ_n$-spaces, complete Segal objects in $Θ_n$-spaces, and $Θ_{n+1}$-spaces.
We classify p-toral subgroups of U(n) that can have non-contractible fixed points under the action of U(n) on the complex of partitions of complex n-space into mutually orthogonal subspaces.
It is known by results of Dyckerhoff-Kapranov and of Gálvez--Carrillo-Kock-Tonks that the output of the Waldhausen S.-construction has a unital 2-Segal structure. Here, we prove that a certain S.-functor defines an equivalence between the category of augmented stable double categories and the category of unital 2-Segal sets. The inverse equivalence is described explicitly by a path construction. We illustrate the equivalence for the known examples of partial monoids, cobordism categories with genus constraints and graph coalgebras.
We introduce, for any group $G$, a category $GΓ$ such that diagrams $GΓ\rightarrow \mathcal{SS}ets$ satisfying a Segal condition correspond to infinite loop spaces with a $G$-action. We also consider diagrams which encode group actions on infinite loop spaces where the group may vary.
In this paper we give a model for equivariant $(\infty, 1)$-categories. We modify an approach of Shimakawa for equivariant $Γ$-spaces to the setting of simplicial spaces. We then adapt Rezk's Segal and completeness conditions to fit with this setting.
We consider triangulated orbit categories, with the motivating example of cluster categories, in their usual context of algebraic triangulated categories, then present them from another perspective in the framework of topological triangulated categories.
In this paper we show that the known models for $(\infty, 1)$-categories can all be extended to equivariant versions for any discrete group $G$. We show that in two of the models we can also consider actions of any simplicial group $G$.
We study a certain type of action of categories on categories and on operads. Using the structure of the categories Δ and Ω governing category and operad structures, respectively, we define categories which instead encode the structure of a category acting on a category, or a category acting on an operad. We prove that the former has the structure of an elegant Reedy category, whereas the latter has the structure of a generalized Reedy category. In particular, this approach gives a new way to regard group actions on categories and on operads.
Building on a previous definition of homotopy limit of model categories, we give a definition of homotopy colimit of model categories. Using the complete Segal space model for homotopy theories, we verify that this definition corresponds to the model-category-theoretic definition in that setting.
We consider the action of $p$-toral subgroups of $U(n)$ on the unitary partition complex $\mathcal L_n$. We show that if $H\subseteq U(n)$ is $p$-toral and has noncontractible fixed points on $\mathcal L_n$, then the image of $H$ in the projective unitary group $U(n)/S^{1}$ is an elementary abelian $p$-group.
We give a Quillen equivalence between model structures for simplicial operads, described via the theory of operads, and Segal operads, thought of as certain reduced dendroidal spaces. We then extend this result to give an Quillen equivalence between the model structures for simplicial operads equipped with a group action and the corresponding Segal operads.
In previous work, we showed that there are appropriate model category structures on the category of simplicial categories and on the category of Segal precategories, and that they are Quillen equivalent to one another and to Rezk's complete Segal space model structure on the category of simplicial spaces. Here, we show that these results still hold if we instead use groupoid or "invertible" cases. Namely, we show that model structures on the categories of simplicial groupoids, Segal pregroupoids, and invertible simplicial spaces are all Quillen equivalent to one another and to the standard model structure on the category of spaces. We prove this result using two different approaches to invertible complete Segal spaces and Segal groupoids.
We modify a previous result, which showed that certain diagrams of spaces are essentially simplicial monoids, to construct diagrams of spaces which model simplicial groups. Furthermore, we show that these diagrams can be generalized to models for Segal groupoids. We then modify Segal's model for simplicial abelian monoids in such a way that it becomes a model for simplicial abelian groups.
We use the notion of multi-Reedy category to prove that, if $\mathcal C$ is a Reedy category, then $Θ\mathcal C$ is also a Reedy category. This result gives a new proof that the categories $Θ_n$ are Reedy categories. We then define elegant Reedy categories, for which we prove that the Reedy and injective model structures coincide.
In this paper we introduce the models for $(\infty, n)$-categories which have been developed to date, as well as the comparisons between them that are known and conjectured. We review the role of $(\infty, n)$-categories in the proof of the Cobordism Hypothesis.
In this paper we extend Toën's derived Hall algebra construction, in which he obtains unital associative algebras from certain stable model categories, to one in which such algebras are obtained from more general stable homotopy theories, in particular stable complete Segal spaces satisfying appropriate finiteness assumptions.
Generalizing a definition of homotopy fiber products of model categories, we give a definition of the homotopy limit of a diagram of left Quillen functors between model categories. As has been previously shown for homotopy fiber products, we prove that such a homotopy limit does in fact correspond to the usual homotopy limit, when we work in a more general model for homotopy theories in which they can be regarded as objects of a model category.
While many different models for $(\infty,1)$-categories are currently being used, it is known that they are Quillen equivalent to one another. Several higher-order analogues of them are being developed as models for $(\infty, n)$-categories. In this paper, we establish model structures for some naturally arising categories of objects which should be thought of as $(\infty,n)$-categories. Furthermore, we establish Quillen equivalences between them.