A characterization of fibrant Segal categories

In this note we prove that Reedy fibrant Segal categories are fibrant objects in the model category structure . 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 that are fibrant in the projective model structure on simplicial spaces, considered as objects in the model structure .

     

Fibrant Extensions and Conditions of Movability

The concept of a fibrant extension of compacta can be used in the study of some properties related to different conditions of movability. For example, "empty" strong shape components of a given compact metric space X correspond to those path components of a fibrant extension X of X which do not intersect X. The fibrant extension X can be constructed as a cotelescope of an ANR-sequence associated with X. Using this representation of X, we prove the following: If a continuum is movable and virtually pointed 1-movable, then it is pointed movable. As a corollary, we get immediately that movable continua, which do not have "empty" strong shape components, are pointed movable. In particular, continua, both fibrant and movable, are of this kind. In fact, they are locally path connected approximate polyhedra. This revised version was published online in June 2006 with corrections to the Cover Date.     

Fibrant extensions of free G-spaces

We show that any equivariant fibrant extension of a compact free G-space is also free. This result allows us to prove that the orbit space of any equivariant fibrant compact space E is also fibrant, provided that E has only one orbit type.     

Equivariant strong shape

In this paper we propose a construction of the equivariant strong shape for compact metrizable G-spaces using an equivariant version of so-called cotelescopes and the concept of a fibrant G-space.     

Weak complicial sets I. Basic homotopy theory

This paper develops the foundations of a simplicial theory of weak ω-categories, which builds upon the insights originally expounded by Ross Street in his 1987 paper on oriented simplices. The resulting theory of weak complicial sets provides a common generalisation of the theories of (strict) ω-categories, Kan complexes and Joyal's quasi-categories. We generalise a number of results due to the current author with regard to complicial sets and strict ω-categories to provide an armoury of well behaved technical devices, such as joins and Gray tensor products, which will be used to study the weak ω-category theory of these structures in a series of companion papers. In particular, we establish their basic homotopy theory by constructing a Quillen model structure on the category of stratified simplicial sets whose fibrant objects are the weak complicial sets. As a simple corollary of this work we provide an independent construction of Joyal's model structure on simplicial sets for which the fibrant objects are the quasi-categories.     

Shape fibrations and strong shape theory

The notion of shape fibration was introduced by Marde?i? and Rushing. In this paper we use ‘fibrant space’ techniques in strong shape theory to prove that every shape fibration p:E → B of compact metric spaces is contained in a map of fibrant spaces p′:E′→B′ which enjoys a certain lifting property and whose homotopy properties reflect the strong shape properties of the map p. Standard methods for studying Hurewicz fibrations are readily applied to the map p' and in this way we obtain a number of strong shape generalizations of results of Marde?i? and Rushing. We also prove the following theorem which answers a question of Rushing: A shape fibration of compact metric spaces which is a strong shape equivalence is an hereditary shape equivalence. Since the converse was known, this gives a characterization of hereditary shape equivalences.     

Derived Categories of Schur Algebras

Abstract

In this paper we classify the derived tame Schur and infinitesimal Schur algebras and describe indecomposable objects in their derived categories.     

Orientals as free weak ω-categories

The orientals are the free strict ω-categories on the simplices introduced by Street. The aim of this paper is to show that they are also the free weak ω-categories on the same generating data. More precisely, we exhibit the complicial nerves of the orientals as fibrant replacements of the simplices in Verity's model structure for weak complicial sets.     

Model structures on exact categories

We define model structures on exact categories, which we call exact model structures. We look at the relationship between these model structures and cotorsion pairs on the exact category. In particular, when the underlying category is weakly idempotent complete, we get Hovey’s one-to-one correspondence between model structures and complete cotorsion pairs. We classify the right and the left homotopy relation in terms of the cotorsion pairs and look at examples of exact model structures. In particular, we see that given any hereditary abelian model category, the full subcategories of cofibrant, fibrant and cofibrant-fibrant subobjects each has natural exact model structures equivalent to the original model structure. These model structures each has interesting characteristics. For example, the cofibrant-fibrant subobjects form a Frobenius category, whose stable category is the same as the homotopy category of its model structure.     

A homotopy theory for stacks

We give a homotopy theoretic characterization of stacks on a site C as the homotopy sheaves of groupoids on C. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare different definitions of stacks and show that they lead to Quillen equivalent model categories. In addition, we show that these model structures are Quillen equivalent to the S ²-nullification of Jardine’s model structure on sheaves of simplicial sets on C.     

On deformations of triangulated models

This paper is the first part of a project aimed at understanding deformations of triangulated categories, and more precisely their dg and _A∞$A_{\infty }$ models, and applying the resulting theory to the models occurring in the Homological Mirror Symmetry setup. In this first paper, we focus on models of derived and related categories, based upon the classical construction of twisted objects over a dg or _A∞$A_{\infty }$-algebra. For a Hochschild 2 cocycle on such a model, we describe a corresponding “curvature compensating” deformation which can be entirely understood within the framework of twisted objects. We unravel the construction in the specific cases of derived _A∞$A_{\infty }$ and abelian categories, homotopy categories, and categories of graded free qdg-modules. We identify a purity condition on our models which ensures that the structure of the model is preserved under deformation. This condition is typically fulfilled for homotopy categories, but not for unbounded derived categories.     

Exact completion of path categories and algebraic set theory: Part I: Exact completion of path categories

We introduce the notion of a “category with path objects”, as a slight strengthening of Kenneth Brown's classical notion of a “category of fibrant objects”. We develop the basic properties of such a category and its associated homotopy category. Subsequently, we show how the exact completion of this homotopy category can be obtained as the homotopy category associated to a larger category with path objects, obtained by freely adjoining certain homotopy quotients. In a second part of this paper, we will present an application to models of constructive set theory. Although our work is partly motivated by recent developments in homotopy type theory, this paper is written purely in the language of homotopy theory and category theory, and we do not presuppose any familiarity with type theory on the side of the reader.     

Nilpotent fusion categories

In this paper we extend categorically the notion of a finite nilpotent group to fusion categories. To this end, we first analyze the trivial component of the universal grading of a fusion category C, and then introduce the upper central series of C. For fusion categories with commutative Grothendieck rings (e.g., braided fusion categories) we also introduce the lower central series. We study arithmetic and structural properties of nilpotent fusion categories, and apply our theory to modular categories and to semisimple Hopf algebras. In particular, we show that in the modular case the two central series are centralizers of each other in the sense of M. Müger.     

Piecewise Hereditary Triangular Matrix Algebras

For any positive integer N,we clearly describe all finite-dimensional algebras A such that the upper triangular matrix algebras TN(A) are piecewise hereditary.Consequently,we describe all finite-dimensional algebras A such that their derived categories of N-complexes are triangulated equivalent to derived categories of hereditary abelian categories,and we describe the tensor algebras A (×) K[X]/(XN) for which their singularity categories are triangulated orbit categories of the derived categories of hereditary abelian categories.     

Categorical Morita Equivalence for Group-Theoretical Categories

A finite tensor category is called pointed if all its simple objects are invertible. We find necessary and sufficient conditions for two pointed semisimple categories to be dual to each other with respect to a module category. Whenever the dual of a pointed semisimple category with respect to a module category is pointed, we give explicit formulas for the Grothendieck ring and for the associator of the dual. This leads to the definition of categorical Morita equivalence on the set of all finite groups and on the set of all pairs (G, ω), where G is a finite group and ω ? H ³(G, k ^×). A group-theoretical and cohomological interpretation of this relation is given. A series of concrete examples of pairs of groups that are categorically Morita equivalent but have nonisomorphic Grothendieck rings are given. In particular, the representation categories of the Drinfeld doubles of the groups in each example are equivalent as braided tensor categories and hence these groups define the same modular data.     

New architectures for constructed complex systems

This paper is an overview of our research program in intelligent systems. Our object of study is constructed complex systems, which are software and hardware systems mediated or managed by computers. We describe how biological systems provide stiff competition for constructed complex systems in the areas of autonomy and intelligence, robustness, adaptability, and communication. We describe our computationally reflective integration infrastructure, called ‘wrappings', and show how it can provide many of the necessary flexibilities. We also describe two directions of research in computational semiotics, which for us means the study of the use of symbols by computing systems. We describe our ‘conceptual categories', which are a method of knowledge representation that supports these flexibilities, and some new results on symbol systems, which leads to some new mathematical questions about what can be represented in formal systems and how they can be extended automatically. These are then combined to describe our architecture, which we are currently in the process of implementing.     

Induced and higher-dimensional stable independence

We provide several crucial technical extensions of the theory of stable independence notions in accessible categories. In particular, we describe circumstances under which a stable independence notion can be transferred from a subcategory to a category as a whole, and examine a number of applications to categories of groups and modules, extending results of [16]. We prove, too, that under the hypotheses of [11], a stable independence notion immediately yields higher-dimensional independence as in [26].     

Deformation theory of objects in homotopy and derived categories I: General theory

This is the first paper in a series. We develop a general deformation theory of objects in homotopy and derived categories of DG categories. Namely, for a DG module E over a DG category we define four deformation functors Defh(E), coDefh(E), Def(E), coDef(E). The first two functors describe the deformations (and co-deformations) of E in the homotopy category, and the last two - in the derived category. We study their properties and relations. These functors are defined on the category of artinian (not necessarily commutative) DG algebras.     

Combinatorial and accessible weak model categories

In a previous work, we have introduced a weakening of Quillen model categories called weak model categories. They still allow all the usual constructions of model category theory, but are easier to construct and are in some sense better behaved. In this paper we continue to develop their general theory by introducing combinatorial and accessible weak model categories. We give simple necessary and sufficient conditions under which such a weak model category can be extended into a left and/or right semi-model category. As an application, we recover Cisinski-Olschok theory and generalize it to weak and semi-model categories. We also provide general existence theorems for both left and right Bousfield localization of combinatorial and accessible weak model structures, which combined with the results above gives existence results for left and right Bousfield localization of combinatorial and accessible left and right semi-model categories, generalizing previous results of Barwick. Surprisingly, we show that any left or right Bousfield localization of an accessible or combinatorial Quillen model category always exists, without properness assumptions, and is simultaneously both a left and a right semi-model category, without necessarily being a Quillen model category itself.