Showing 1–44 of 44 results for author: Bergner, J E

2-Segal sets from cuts of rooted trees

Authors: Julia E. Bergner, Olivia Borghi, Pinka Dey, Imma Gálvez-Carrillo, Teresa Hoekstra-Mendoza

Abstract: The theory of 2-Segal sets has connections to various important constructions such as the Waldhausen $S_\bullet$-construction in algebraic $K$-theory, Hall algebras, and (co)operads. In this paper, we construct 2-Segal sets from rooted trees and explore how these applications are illustrated by this example. The theory of 2-Segal sets has connections to various important constructions such as the Waldhausen $S_\bullet$-construction in algebraic $K$-theory, Hall algebras, and (co)operads. In this paper, we construct 2-Segal sets from rooted trees and explore how these applications are illustrated by this example. △ Less

Submitted 17 January, 2025; originally announced January 2025.

Comments: 28 pages, to appear in WIT IV proceedings

MSC Class: Primary: 55U10; 18G30; Secondary: 18D05

Simplicial sets in topology, category theory, and beyond

Authors: Julia E. Bergner

Abstract: The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of higher categorical methods in a wide range of applications, it is important for researchers in a range of fields to have a good working knowledge of them. This paper… ▽ More The notion of a simplicial set originated in algebraic topology, and has also been utilized extensively in category theory, but until relatively recently was not used outside of those fields. However, with the increasing prominence of higher categorical methods in a wide range of applications, it is important for researchers in a range of fields to have a good working knowledge of them. This paper is intended as an introduction to simplicial sets, both as an overview of their development from other concepts, and as a user's guide for someone wanting to read modern literature that makes use of them. △ Less

Submitted 27 November, 2024; originally announced November 2024.

Comments: 23 pages. Expository paper

MSC Class: 55U10; 18N50; 18N60

Journal ref: Matematica 1 (2022), no. 4, 886-912

Homotopy limits of model categories, revisited

Authors: Julia E. Bergner

Abstract: The definition of the homotopy limit of a diagram of left Quillen functors of model categories has been useful in a number of applications. In this paper we review its definition and summarize some of these applications. We conclude with a discussion of why we could work with right Quillen functors instead, but cannot work with a combination of the two. The definition of the homotopy limit of a diagram of left Quillen functors of model categories has been useful in a number of applications. In this paper we review its definition and summarize some of these applications. We conclude with a discussion of why we could work with right Quillen functors instead, but cannot work with a combination of the two. △ Less

Submitted 27 November, 2024; originally announced November 2024.

Comments: 18 pages. Expository paper

MSC Class: Primary: 55U40; Secondary: 55U35; 18G55; 18G30; 18D20

Journal ref: in Equivariant Topology and Derived Algebra (S. Balchin et al, editors), London Mathematical Society Lecture Note Series 474 (2021)

Combinatorial examples and applications of 2-Segal sets

Authors: Julia E. Bergner

Abstract: We give an introduction to the theory of 2-Segal sets, and two of the main applications of them: Hall algebras and a discrete version of Waldhausen's $S_\bullet$-construction. We present several combinatorial examples and how these constructions can be applied to them. We give an introduction to the theory of 2-Segal sets, and two of the main applications of them: Hall algebras and a discrete version of Waldhausen's $S_\bullet$-construction. We present several combinatorial examples and how these constructions can be applied to them. △ Less

Submitted 27 November, 2024; originally announced November 2024.

Comments: 18 pages. Expanded version of my talk at the ECOGyT conference in August 2024. Comments welcome

MSC Class: 55U10; 18N50; 19D10

Cyclic Segal Spaces

Authors: Julia E. Bergner, Walker H. Stern

Abstract: In this survey article, we review some conceptual approaches to the cyclic category $Λ$, as well as its description as a crossed simplicial group. We then give a new proof of the model structure on cyclic sets, work through the details of the generalized Reedy structure on cyclic spaces, and introduce model structures for cyclic Segal spaces and cyclic 2-Segal spaces. In this survey article, we review some conceptual approaches to the cyclic category $Λ$, as well as its description as a crossed simplicial group. We then give a new proof of the model structure on cyclic sets, work through the details of the generalized Reedy structure on cyclic spaces, and introduce model structures for cyclic Segal spaces and cyclic 2-Segal spaces. △ Less

Submitted 18 September, 2024; originally announced September 2024.

Comments: 46 pages, 16 figures

MSC Class: 55U35 (Primary) 18N40; 55P91 (Secondary)

Cofibrantly generated model structures for functor calculus

Authors: Lauren Bandklayder, Julia E. Bergner, Rhiannon Griffiths, Brenda Johnson, Rekha Santhanam

Abstract: Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this approach are cofibrantly generated. Our examples recover the homotopy functor and $n$-excisive model structures of Biedermann and Röndigs, with different proofs, bu… ▽ More Model structures for many different kinds of functor calculus can be obtained by applying a theorem of Bousfield to a suitable category of functors. In this paper, we give a general criterion for when model categories obtained via this approach are cofibrantly generated. Our examples recover the homotopy functor and $n$-excisive model structures of Biedermann and Röndigs, with different proofs, but also include a model structure for the discrete functor calculus of Bauer, Johnson, and McCarthy. △ Less

Submitted 18 October, 2024; v1 submitted 25 April, 2023; originally announced April 2023.

Comments: 41 pages, final version accepted to Algebraic and Geometric Topology

MSC Class: 18D20; 18D15; 18F50; 18N40; 55U35

Equivariant Trees and Partition Complexes

Authors: Julia E. Bergner, Peter Bonventre, Maxine E. Calle, David Chan, Maru Sarazola

Abstract: We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's The… ▽ More We introduce two definitions of $G$-equivariant partitions of a finite $G$-set, both of which yield $G$-equivariant partition complexes. By considering suitable notions of equivariant trees, we show that $G$-equivariant partitions and $G$-trees are $G$-homotopy equivalent, generalizing existing results for the non-equivariant setting. Along the way, we develop equivariant versions of Quillen's Theorems A and B, which are of independent interest. △ Less

Submitted 17 February, 2023; originally announced February 2023.

Comments: 36 pages. Comments welcome!

MSC Class: 55P91; 05A18; 20E08; 05E18

Discreteness and completeness for $Θ_n$-models of $(\infty,n)$-categories

Authors: Julia E. Bergner

Abstract: We establish cartesian model structures for variants of $Θ_n$-spaces in which we replace some or all of the completeness conditions by discreteness conditions. We prove that they are all equivalent to each other and to the $Θ_n$-space model, and we give a criterion for which combinations of discreteness and completeness give non-overlapping models. These models can be thought of as generalizations… ▽ More We establish cartesian model structures for variants of $Θ_n$-spaces in which we replace some or all of the completeness conditions by discreteness conditions. We prove that they are all equivalent to each other and to the $Θ_n$-space model, and we give a criterion for which combinations of discreteness and completeness give non-overlapping models. These models can be thought of as generalizations of Segal categories in the framework of $Θ_n$-diagrams. In the process, we give a characterization of the Dwyer-Kan equivalences in the $Θ_n$-space model, generalizing the one given by Rezk for complete Segal spaces. △ Less

Submitted 29 January, 2025; v1 submitted 16 September, 2022; originally announced September 2022.

Comments: 43 pages; title changed from original version. Corrected versions of Proposition 5.4 and Example 7.9 included in this version, which appear in an erratum to the published paper

Journal ref: Tunisian J. Math. 6 (2024) 49-96

An explicit comparison between $2$-complicial sets and $Θ_2$-spaces

Authors: Julia E. Bergner, Viktoriya Ozornova, Martina Rovelli

Abstract: We produce a direct Quillen equivalence between two models of $(\infty,2)$-categories: the complete Segal $Θ_2$-spaces due to Rezk and the $2$-complicial sets due to Verity. We produce a direct Quillen equivalence between two models of $(\infty,2)$-categories: the complete Segal $Θ_2$-spaces due to Rezk and the $2$-complicial sets due to Verity. △ Less

Submitted 27 April, 2021; originally announced April 2021.

MSC Class: 18N65; 55U35; 18N10; 18N50; 55U10

Enriched functor categories for functor calculus

Authors: Lauren Bandklayder, Julia E. Bergner, Rhiannon Griffiths, Brenda Johnson, Rekha Santhanam

Abstract: In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus. In this paper we present background results in enriched category theory and enriched model category theory necessary for developing model categories of enriched functors suitable for doing functor calculus. △ Less

Submitted 12 May, 2022; v1 submitted 28 February, 2020; originally announced March 2020.

Comments: 37 pages. Final version, to appear in WIT III proceedings volume

Comparison of Waldhausen constructions

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for… ▽ More In previous work, we develop a generalized Waldhausen $S_{\bullet}$-construction whose input is an augmented stable double Segal space and whose output is a unital 2-Segal space. Here, we prove that this construction recovers the previously known $S_{\bullet}$-constructions for exact categories and for stable and exact $(\infty,1)$-categories, as well as the relative $S_{\bullet}$-construction for exact functors. △ Less

Submitted 28 May, 2020; v1 submitted 11 January, 2019; originally announced January 2019.

MSC Class: 55U10; 55U35; 55U40; 18D05; 18G55; 18G30; 19D10

Journal ref: Ann. K-Th. 6 (2021) 97-136

A survey of models for $(\infty, n)$-categories

Authors: Julia E. Bergner

Abstract: We give describe several models for $(\infty,n)$-categories, with an emphasis on models given by diagrams of sets and simplicial sets. We look most closely at the cases when $n \leq 2$, then summarize methods of generalizing for all $n$. We give describe several models for $(\infty,n)$-categories, with an emphasis on models given by diagrams of sets and simplicial sets. We look most closely at the cases when $n \leq 2$, then summarize methods of generalizing for all $n$. △ Less

Submitted 23 October, 2018; originally announced October 2018.

Comments: 29 pages. Written for the Handbook of Homotopy Theory

2-Segal objects and the Waldhausen construction

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Se… ▽ More In a previous paper, we showed that a discrete version of the $S_\bullet$-construction gives an equivalence of categories between unital 2-Segal sets and augmented stable double categories. Here, we generalize this result to the homotopical setting, by showing that there is a Quillen equivalence between a model category for unital 2-Segal objects and a model category for augmented stable double Segal objects which is given by an $S_\bullet$-construction. We show that this equivalence fits together with the result in the discrete case and briefly discuss how it encompasses other known $S_\bullet$-constructions. △ Less

Submitted 28 September, 2018; originally announced September 2018.

MSC Class: 55U10; 55U35; 55U40; 18D05; 18G55; 18G30; 19D10

Journal ref: Algebr. Geom. Topol. 21 (2021) 1267-1326

The edgewise subdivision criterion for 2-Segal objects

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: We show that the edgewise subdivision of a $2$-Segal object is always a Segal object, and furthermore that this property characterizes $2$-Segal objects. We show that the edgewise subdivision of a $2$-Segal object is always a Segal object, and furthermore that this property characterizes $2$-Segal objects. △ Less

Submitted 13 July, 2018; originally announced July 2018.

Action graphs, planar rooted forests, and self-convolutions of the Catalan numbers

Authors: Julia E. Bergner, Cedric Harper, Ryan Keller, Mathilde Rosi-Marshall

Abstract: We show that families of action graphs, with initial graphs which are linear of varying length, give rise to self-convolutions of the Catalan sequence. We prove this result via a comparison with planar rooted forests with a fixed number of trees. We show that families of action graphs, with initial graphs which are linear of varying length, give rise to self-convolutions of the Catalan sequence. We prove this result via a comparison with planar rooted forests with a fixed number of trees. △ Less

Submitted 18 February, 2020; v1 submitted 9 July, 2018; originally announced July 2018.

Comments: 11 pages; new proof added

MSC Class: 05A19; 05C05

Journal ref: Involve 14 (2021) 387-399

2-Segal sets and the Waldhausen construction

Authors: Julia E. Bergner, Angélica M. Osorno, Viktoriya Ozornova, Martina Rovelli, Claudia I. Scheimbauer

Abstract: 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. W… ▽ More 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. △ Less

Submitted 2 May, 2017; v1 submitted 9 September, 2016; originally announced September 2016.

Comments: 48 pages. Final version. Will appear in Proceedings of WIT

Action graphs and Catalan numbers

Authors: Gerardo Alvarez, Julia E. Bergner, Ruben Lopez

Abstract: We introduce an inductively defined sequence of directed graphs and prove that the number of edges added at step $k$ is equal to the $k$th Catalan number. Furthermore, we establish an isomorphism between the set of edges adjoined at step $k$ and the set of planar rooted trees with $k$ edges. We introduce an inductively defined sequence of directed graphs and prove that the number of edges added at step $k$ is equal to the $k$th Catalan number. Furthermore, we establish an isomorphism between the set of edges adjoined at step $k$ and the set of planar rooted trees with $k$ edges. △ Less

Submitted 18 February, 2020; v1 submitted 27 February, 2015; originally announced March 2015.

Comments: 7 pages; minor changes from original draft. arXiv admin note: text overlap with arXiv:1807.03005

MSC Class: 05A19; 05C05

Equivariant complete Segal spaces

Authors: Julia E. Bergner, Steven Greg Chadwick

Abstract: 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. 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. △ Less

Submitted 23 February, 2015; originally announced February 2015.

Comments: 10 pages

MSC Class: 55U35

Equivalence of models for equivariant $(\infty, 1)$-categories

Authors: Julia E. Bergner

Abstract: 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$. 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$. △ Less

Submitted 3 October, 2014; v1 submitted 31 July, 2014; originally announced August 2014.

Comments: 15 pages; minor corrections made in version 2

MSC Class: 55U35; 55P91; 55U40; 18G55

Classification of problematic subgroups of U(n)

Authors: Julia E. Bergner, Ruth Joachimi, Kathryn Lesh, Vesna Stojanoska, Kirsten Wickelgren

Abstract: 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. 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. △ Less

Submitted 18 October, 2017; v1 submitted 30 June, 2014; originally announced July 2014.

Comments: 50 pages. Minor expansion of the previous version, adding material on homotopy fixed points and pushout squares

MSC Class: 55N91 (Primary) 55P65; 55R45 (Secondary)

Comparison of models for $(\infty, n)$-categories, II

Authors: Julia E. Bergner, Charles Rezk

Abstract: 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. 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. △ Less

Submitted 20 June, 2018; v1 submitted 16 June, 2014; originally announced June 2014.

Comments: 28 pages; minor expository changes from previous version

MSC Class: 55U35 (primary); 55U40; 18D05; 18D15; 18D20; 18G30; 18G55 (secondary)

Fixed points of $p$-toral groups acting on partition complexes

Authors: Julia E. Bergner, Ruth Joachimi, Kathryn Lesh, Vesna Stojanoska, Kirsten Wickelgren

Abstract: 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 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. △ Less

Submitted 28 April, 2014; v1 submitted 2 January, 2014; originally announced January 2014.

Comments: 14 pages; added examples and made substantial revisions from the first version

Journal ref: Women in topology: collaborations in homotopy theory, 83-96, Contemp. Math., 641, Amer. Math. Soc., Providence, RI, 2015

Cluster categories for topologists

Authors: Julia E. Bergner, Marcy Robertson

Abstract: 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. 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. △ Less

Submitted 13 November, 2014; v1 submitted 12 August, 2013; originally announced August 2013.

Comments: 11 pages, short example added, to appear in proceedings of CATS4

Diagrams encoding group actions on $Γ$-spaces

Authors: Julia E. Bergner, Philip Hackney

Abstract: 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. 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. △ Less

Submitted 19 December, 2015; v1 submitted 18 December, 2012; originally announced December 2012.

Comments: To appear in Proceedings of the Conference on Manifolds, K-Theory, and Related Topics, Contemporary Mathematics (AMS)

MSC Class: 55P47

Homotopy colimits of model categories

Authors: Julia E. Bergner

Abstract: 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. 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. △ Less

Submitted 16 June, 2014; v1 submitted 18 December, 2012; originally announced December 2012.

Comments: 7 pages; substantial changes to construction. To appear in Arolla proceedings

MSC Class: 55U40

Reedy categories which encode the notion of category actions

Authors: Julia E. Bergner, Philip Hackney

Abstract: 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 h… ▽ More 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. △ Less

Submitted 16 August, 2014; v1 submitted 14 July, 2012; originally announced July 2012.

MSC Class: Primary 55P48; Secondary 20J99; 22F05; 55U10; 18D50; 18G30; 18G55

Journal ref: Fund. Math. 228 (2015), 193-222

Group actions on Segal operads

Authors: Julia E. Bergner, Philip Hackney

Abstract: 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. 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. △ Less

Submitted 8 September, 2013; v1 submitted 14 July, 2012; originally announced July 2012.

Comments: Revised version. Accepted to Isr J Math

MSC Class: Primary 55P48; Secondary 55U10; 55U40; 18C10; 18D50; 18G30; 18G55

Journal ref: Israel J Math 202 (2014) 423-460

Comparison of models for $(\infty, n)$-categories, I

Authors: Julia E. Bergner, Charles Rezk

Abstract: 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. Furthermo… ▽ More 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. △ Less

Submitted 23 April, 2012; v1 submitted 9 April, 2012; originally announced April 2012.

Comments: 27 pages; updated references

MSC Class: 55U35; 55U40; 18D05; 18D15; 18D20; 18G30; 18G55; 18C10

Journal ref: Geom. Topol. 17 (2013) 2163-2202

Reedy categories and the $Θ$-construction

Authors: Julia E. Bergner, Charles Rezk

Abstract: 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. 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. △ Less

Submitted 18 December, 2012; v1 submitted 5 October, 2011; originally announced October 2011.

Comments: 15 pages; final version to appear in Math. Z

MSC Class: 55U35

Workshop on the homotopy theory of homotopy theories

Authors: Julia E. Bergner

Abstract: These notes are from a series of lectures given at the Workshop on the Homotopy Theory of Homotopy Theories which took place in Caesarea, Israel, in May 2010. The workshop was organized by David Blanc, Emmanuel Farjoun, and David Kazhdan, and talks not indicated otherwise were given by the author. These notes are from a series of lectures given at the Workshop on the Homotopy Theory of Homotopy Theories which took place in Caesarea, Israel, in May 2010. The workshop was organized by David Blanc, Emmanuel Farjoun, and David Kazhdan, and talks not indicated otherwise were given by the author. △ Less

Submitted 9 August, 2011; originally announced August 2011.

Comments: 39 pages

MSC Class: 55U40

Models for $(\infty, n)$-categories and the cobordism hypothesis

Authors: Julia E. Bergner

Abstract: 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 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. △ Less

Submitted 18 December, 2012; v1 submitted 30 October, 2010; originally announced November 2010.

Comments: Expository account, final version; 14 pages; Proc. Sympos. Pure Math., 83, Amer. Math. Soc., Providence, RI, 2011

MSC Class: 55-02; 18-02; 57-02

Homotopy limits of model categories and more general homotopy theories

Authors: Julia E. Bergner

Abstract: 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… ▽ More 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. △ Less

Submitted 23 April, 2012; v1 submitted 4 October, 2010; originally announced October 2010.

Comments: 10 pages; a few minor changes made. arXiv admin note: text overlap with arXiv:0811.3175

MSC Class: 55U40; 55U35; 18G55; 18G30; 18D20

Derived Hall algebras for stable homotopy theories

Authors: Julia E. Bergner

Abstract: 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. 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. △ Less

Submitted 23 April, 2012; v1 submitted 9 October, 2009; originally announced October 2009.

Comments: 18 pages; minor revisions made

MSC Class: 55U35; 55U340; 18G55; 18E30; 16S99

Homotopy fiber products of homotopy theories

Authors: Julia E. Bergner

Abstract: Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show that this homotopy pullback is well-behaved with respect to translating it into the setting of more general homotopy theories, given by complete Segal spaces, where we have well-defined homotopy pullbac… ▽ More Given an appropriate diagram of left Quillen functors between model categories, one can define a notion of homotopy fiber product, but one might ask if it is really the correct one. Here, we show that this homotopy pullback is well-behaved with respect to translating it into the setting of more general homotopy theories, given by complete Segal spaces, where we have well-defined homotopy pullbacks. △ Less

Submitted 9 October, 2009; v1 submitted 19 November, 2008; originally announced November 2008.

Comments: 17 pages; generally cleaned up, have localized model structure in specialized cases

MSC Class: 55U40; 55U35; 18G55; 18G30; 18D20

Correction to "Simplicial monoids and Segal categories"

Authors: Julia E. Bergner

Abstract: In this note we make a minor correction to the paper ``Simplicial monoids and Segal categories." In this note we make a minor correction to the paper ``Simplicial monoids and Segal categories." △ Less

Submitted 10 June, 2008; originally announced June 2008.

Comments: 3 pages, minor correction to the indicated paper which has already been published

MSC Class: 18G30; 18E35; 18C10; 55U40

Adding inverses to diagrams II: Invertible homotopy theories are spaces

Authors: Julia E. Bergner

Abstract: 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.… ▽ More 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. △ Less

Submitted 2 January, 2013; v1 submitted 11 October, 2007; originally announced October 2007.

Comments: 19 pages, final version; erratum included at the end

MSC Class: 55U35; 18G30; 18E35

Journal ref: Homology, Homotopy Appl. 10(2), 2008, 175-193

Complete Segal spaces arising from simplicial categories

Authors: Julia E. Bergner

Abstract: In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for homotopy theories. We then give a characterization, up to weak equivalence, of complete Segal spaces arising from these functors. In this paper, we compare several functors which take simplicial categories or model categories to complete Segal spaces, which are particularly nice simplicial spaces which, like simplicial categories, can be considered to be models for homotopy theories. We then give a characterization, up to weak equivalence, of complete Segal spaces arising from these functors. △ Less

Submitted 11 October, 2007; v1 submitted 12 April, 2007; originally announced April 2007.

Comments: 22 pages, a few minor revisions made; final version to appear in Transactions of the AMS

MSC Class: 55U40; 55U35; 18G55; 18G30

Adding inverses to diagrams encoding algebraic structures

Authors: Julia E. Bergner

Abstract: 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 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. △ Less

Submitted 2 January, 2013; v1 submitted 9 October, 2006; originally announced October 2006.

Comments: 24 pages, final version; erratum included at the end. arXiv admin note: text overlap with arXiv:math/0508416

MSC Class: 55U10; 18B40; 18C10; 55P35

Journal ref: Homology, Homotopy Appl. 10(2), 2008, 149-174

A survey of (\infty, 1)-categories

Authors: Julia E. Bergner

Abstract: In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplici… ▽ More In this paper we give a summary of the comparisons between different definitions of so-called (\infty,1)-categories, which are considered to be models for \infty-categories whose n-morphisms are all invertible for n>1. They are also, from the viewpoint of homotopy theory, models for the homotopy theory of homotopy theories. The four different structures, all of which are equivalent, are simplicial categories, Segal categories, complete Segal spaces, and quasi-categories. △ Less

Submitted 9 October, 2006; originally announced October 2006.

Comments: 13 pages, written for the proceedings of the IMA workshop on n-categories

MSC Class: 18-02; 55-02

A characterization of fibrant Segal categories

Authors: Julia E. Bergner

Abstract: In this note we prove that Reedy fibrant Segal categories are fibrant objects in the model category structure SeCat_c. Combining this result with a previous one, we thus have that the fibrant objects are precisely the Reedy fibrant Segal categories. We also show that the analogous result holds for Segal categories which are fibrant in the projective model structure on simplicial spaces, consider… ▽ More In this note we prove that Reedy fibrant Segal categories are fibrant objects in the model category structure SeCat_c. Combining this result with a previous one, we thus have that the fibrant objects are precisely the Reedy fibrant Segal categories. We also show that the analogous result holds for Segal categories which are fibrant in the projective model structure on simplicial spaces, considered as objects in the model structure SeCat_f. △ Less

Submitted 4 October, 2006; v1 submitted 16 March, 2006; originally announced March 2006.

Comments: 7 pages, proof of Prop. 3.1 corrected, final version to appear in Proceedings of the AMS

MSC Class: 55U35; 18G30

Simplicial monoids and Segal categories

Authors: Julia E. Bergner

Abstract: Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial monoids is Quillen equivalent to an appropriate model category structure on the category of simplicial spaces with a single point in degree zero. In this second… ▽ More Much research has been done on structures equivalent to topological or simplicial groups. In this paper, we consider instead simplicial monoids. In particular, we show that the usual model category structure on the category of simplicial monoids is Quillen equivalent to an appropriate model category structure on the category of simplicial spaces with a single point in degree zero. In this second model structure, the fibrant objects are reduced Segal categories. We then generalize the proof to relate simplicial categories with a fixed object set to Segal categories with the same fixed set in degree zero. △ Less

Submitted 4 October, 2006; v1 submitted 22 August, 2005; originally announced August 2005.

Comments: 25 pages, minor corrections made, final version to appear in Streetfest proceedings

MSC Class: 18G30 (primary); 18E35; 18C10; 55U40 (secondary)

Rigidification of algebras over multi-sorted theories

Authors: Julia E Bergner

Abstract: We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing that there is a Quillen equivalence between a model category structure on the category of strict algebras over a multi-sorted theory and an appropriate model c… ▽ More We define the notion of a multi-sorted algebraic theory, which is a generalization of an algebraic theory in which the objects are of different "sorts." We prove a rigidification result for simplicial algebras over these theories, showing that there is a Quillen equivalence between a model category structure on the category of strict algebras over a multi-sorted theory and an appropriate model category structure on the category of functors from a multi-sorted theory to the category of simplicial sets. In the latter model structure, the fibrant objects are homotopy algebras over that theory. Our two main examples of strict algebras are operads in the category of simplicial sets and simplicial categories with a given set of objects. △ Less

Submitted 26 May, 2009; v1 submitted 8 August, 2005; originally announced August 2005.

Comments: This is the version published by Algebraic & Geometric Topology on 14 November 2006

MSC Class: 18C10; 18E35; 18G30; 55P48

Journal ref: Algebr. Geom. Topol. 6 (2006) 1925-1955

Three models for the homotopy theory of homotopy theories

Authors: Julia E. Bergner

Abstract: Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show t… ▽ More Given any model category, or more generally any category with weak equivalences, its simplicial localization is a simplicial category which can rightfully be called the "homotopy theory" of the model category. There is a model category structure on the category of simplicial categories, so taking its simplicial localization yields a "homotopy theory of homotopy theories." In this paper we show that there are two different categories of diagrams of simplicial sets, each equipped with an appropriate definition of weak equivalence, such that the resulting homotopy theories are each equivalent to the homotopy theory arising from the model category structure on simplicial categories. Thus, any of these three categories with their respective weak equivalences could be considered a model for the homotopy theory of homotopy theories. One of them in particular, Rezk's complete Segal space model category structure on the category of simplicial spaces, is much more convenient from the perspective of making calculations and therefore obtaining information about a given homotopy theory. △ Less

Submitted 12 April, 2007; v1 submitted 15 April, 2005; originally announced April 2005.

Comments: 40 pages, a few typos corrected, final version to appear in Topology

MSC Class: 55U35; 18G30; 18E35

A model category structure on the category of simplicial categories

Authors: Julia E. Bergner

Abstract: In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories. In this paper we put a cofibrantly generated model category structure on the category of small simplicial categories. The weak equivalences are a simplicial analogue of the notion of equivalence of categories. △ Less

Submitted 8 August, 2005; v1 submitted 24 June, 2004; originally announced June 2004.

Comments: 16 pages, revised version has proof of right properness and a few minor changes; to appear in Transactions of the AMS

MSC Class: 18G55; 18D20