A generalization of Quillen's small object argument

We generalize the small object argument in order to allow for its application to proper classes of maps (as opposed to sets of maps in Quillen's small object argument). The necessity of such a generalization arose with appearance of several important examples of model categories which were proven to be non-cofibrantly generated [J. Adámek, H. Herrlich, J. Rosický, W. Tholen, Weak factorization systems and topological functors, Appl. Categ. Structures 10 (3) (2002) 237-249 [2]; Papers in honour of the seventieth birthday of Professor Heinrich Kleisli (Fribourg, 2000); B. Chorny, The model category of maps of spaces is not cofibrantly generated, Proc. Amer. Math. Soc. 131 (2003) 2255-2259; J.D. Christensen, M. Hovey, Quillen model structures for relative homological algebra, Math. Proc. Cambridge Philos. Soc. 133 (2) (2002) 261-293; D.C. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805-2841]. Our current approach allows for construction of functorial factorizations and localizations in the equivariant model structures on diagrams of spaces [E.D. Farjoun, Homotopy theories for diagrams of spaces, Proc. Amer. Math. Soc. 101 (1987) 181-189] and diagrams of chain complexes. We also formulate a non-functorial version of the argument, which applies in two different model structures on the category of pro-spaces [D.A. Edwards, H.M. Hastings, ?ech and Steenrod homotopy theories with applications to geometric topology, Lecture Notes in Mathematics, vol. 542, Springer, Berlin, 1976; D.C. Isaksen, A model structure on the category of pro-simplicial sets, Trans. Amer. Math. Soc. 353 (2001) 2805-2841].The examples above suggest a natural extension of the framework of cofibrantly generated model categories. We introduce the concept of a class-cofibrantly generated model category, which is a model category generated by classes of cofibrations and trivial cofibrations satisfying some reasonable assumptions.     

The formal theory of Hopf algebras Part II: The case of Hopf algebras

Abstract

The category Hopf_R of Hopf algebras over a commutative unital ring R is analyzed with respect to its categorical properties. The main results are: (1) For every ring R the category Hopf_R is locally presentable, it is coreflective in the category of bialgebras over R, over every R-algebra there exists a cofree Hopf algebra. (2) If, in addition, R is absoluty flat, then Hopf_R is reflective in the category of bialgebras as well, and there exists a free Hopf algebra over every R-coalgebra. Similar results are obtained for relevant subcategories of Hopf_R. Moreover it is shown that, for every commutative unital ring R, the so-called “dual algebra functor” has a left adjoint and that, more generally, universal measuring coalgebras exist.     

Dual Coalgebras of Jordan Bialgebras and Superalgebras

W. Michaelis showed for Lie bialgebras that the dual coalgebra of a Lie algebra is a Lie bialgebra. In the present article we study an analogous question in the case of Jordan bialgebras. We prove that a simple infinite-dimensional Jordan superalgebra of vector type possesses a nonzero dual coalgebra. Thereby, we demonstrate that the hypothesis formulated by W. Michaelis for Lie coalgebras fails in the case of Jordan supercoalgebras.     

The model category of maps of spaces is not cofibrantly generated

We show that the model category of diagrams of spaces generated by a proper class of orbits is not cofibrantly generated. In particular, the category of maps between spaces may be supplied with a non-cofibrantly generated model structure.

     

Yetter-Drinfeld modules over weak bialgebras

We discuss properties of Yetter-Drinfeld modules over weak bialgebras over commutative rings. The categories of left-left, left-right, right-left and right-right Yetter-Drinfeld modules over a weak Hopf algebra are isomorphic as braided monoidal categories. Yetter-Drinfeld modules can be viewed as weak Doi-Hopf modules, and, a fortiori, as weak entwined modules. IfH is finitely generated and projective, then we introduce the Drinfeld double using duality results between entwining structures and smash product structures, and show that the category of Yetter-Drinfeld modules is isomorphic to the category of modules over the Drinfeld double. The category of finitely generated projective Yetter-Drinfeld modules over a weak Hopf algebra has duality.     

A model category structure on the category of simplicial 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.

     

Scalar Extension of Bicoalgebroids

After recalling the definition of a bicoalgebroid, we define comodules and modules over a bicoalgebroid. We construct the monoidal category of comodules, and define Yetter–Drinfel’d modules over a bicoalgebroid. It is proved that the Yetter–Drinfel’d category is monoidal and pre-braided just as in the case of bialgebroids, and is embedded into the one-sided center of the comodule category. We proceed to define braided cocommutative coalgebras (BCC) over a bicoalgebroid, and dualize the scalar extension construction of Brzeziński and Militaru (J Algebra 251:279–294, 2002) and Bálint and Szlachányi (J Algebra 296:520–560, 2006), originally applied to bialgebras and bialgebroids, to bicoalgebroids. A few classical examples of this construction are given. Identifying the comodule category over a bicoalgebroid with the category of coalgebras of the associated comonad, we obtain a comonadic (weakened) version of Schauenburg’s theorem. Finally, we take a look at the scalar extension and braided cocommutative coalgebras from a (co-)monadic point of view.      

The Notion of Vertex Operator Coalgebra and a Geometric Interpretation

The notion of vertex operator coalgebra is presented and motivated via the geometry of conformal field theory. Specifically, we describe the category of geometric vertex operator coalgebras, whose objects have comultiplicative structures meromorphically induced by conformal equivalence classes of worldsheets. We then show this category is isomorphic to the category of vertex operator coalgebras, which is defined in the language of formal algebra. The latter has several characteristics which give it the flavor of a coalgebra with respect to the structure of a vertex operator algebra and several characteristics that distinguish it from a standard dual—both of them will be highlighted.     

The homotopy theory of simplicial props

The category of (colored) props is an enhancement of the category of colored operads, and thus of the category of small categories. In this paper, the second in a series on ‘higher props,’ we show that the category of all small colored simplicial props admits a cofibrantly generated model category structure. With this model structure, the forgetful functor from props to operads is a right Quillen functor.     

Central bialgebras in braided categories and coquasitriangular structures

Central bialgebras in a braided category are algebras in the center of the category of coalgebras in . On these bialgebras another product can be defined, which plays the role of the opposite product. Hence, coquasitriangular structures on central bialgebras can be defined. We prove some properties of the antipode on coquasitriangular central Hopf algebras and give a characterization of central bialgebras.     

Chain and distributive coalgebras

We show that coalgebras whose lattice of right coideals is distributive are coproducts of coalgebras whose lattice of right coideals is a chain. Those chain coalgebras are characterized as finite duals of Noetherian chain rings whose residue field is a finite dimensional division algebra over the base field. They also turn out to be coreflexive. Infinite dimensional chain coalgebras are finite duals of left Noetherian chain domains. Given any finite dimensional division algebra D and D-bimodule structure on D, we construct a chain coalgebra as a cotensor coalgebra. Moreover if D is separable over the base field, every chain coalgebra of type D can be embedded in such a cotensor coalgebra. As a consequence, cotensor coalgebras arising in this way are the only infinite dimensional chain coalgebras over perfect fields. Finite duals of power series rings with coeficients in a finite dimensional division algebra D are further examples of chain coalgebras, which also can be seen as tensor products of D^∗, and the divided power coalgebra and can be realized as the generalized path coalgebra of a loop. If D is central, any chain coalgebra is a subcoalgebra of the finite dual of D[[x]].     

When Does the Rational Torsion Split Off for Finitely Generated Modules

It is well known that the torsion part of any finitely generated module over the formal power series ring K[[X]] is a direct summand. In fact, K[[X]] is an algebra dual to the divided power coalgebra over K and the torsion part of any K[[X]]-module actually identifies with the rational part of that module. More generally, for a certain general enough class of coalgebras—those having only finite dimensional subcomodules—we see that the above phenomenon is preserved: the set of torsion elements of any C ^*-module is exactly the rational submodule. With this starting point in mind, given a coalgebra C we investigate when the rational submodule of any finitely generated left C ^*-module is a direct summand. We prove various properties of coalgebras C having this splitting property. Just like in the K[[X]] case, we see that standard examples of coalgebras with this property are the chain coalgebras which are coalgebras whose lattice of left (or equivalently, right, two-sided) coideals form a chain. We give some representation theoretic characterizations of chain coalgebras, which turn out to make a left-right symmetric concept. In fact, in the main result of this paper we characterize the colocal coalgebras where this splitting property holds non-trivially (i.e. infinite dimensional coalgebras) as being exactly the chain coalgebras. This characterizes the cocommutative coalgebras of this kind. Furthermore, we give characterizations of chain coalgebras in particular cases and construct various and general classes of examples of coalgebras with this splitting property.     

Localization with respect to a class of maps I — Equivariant localization of diagrams of spaces

Homotopical localizations with respect to a set of maps are known to exist in cofibrantly generated model categories (satisfying additional assumptions) [4, 13, 24, 35]. In this paper we expand the existing framework, so that it will apply to not necessarily cofibrantly generated model categories and, more important, will allow for a localization with respect to a class of maps (satisfying some restrictive conditions). We illustrate our technique by applying it to the equivariant model category of diagrams of spaces [12]. This model category is not cofibrantly generated [8]. We give conditions on a class of maps which ensure the existence of the localization functor; these conditions are satisfied by any set of maps and by the classes of maps which induce ordinary localizations on the generalized fixed-points sets. During the preparation of this paper the author was a fellow of Marie Curie Training Site hosted by Centre de Recerca Matemàtica (Barcelona), grant no. HPMT-CT-2000-00075 of the European Commission.     

Un théorème de Cartier-Milnor-Moore-Quillen pour les bigèbres dendriformes et les algèbres braces

The classical theorem of Cartier-Milnor-Moore-Quillen gives an equivalence between the category of connected cocommutative bialgebras and the category of Lie algebras. We establish an analogous equivalence between the category of connected dendriform bialegebras and the category of brace algebras. It is given by the primitive elements functor and the “enveloping dendriform algebra” of a brace algebra.     

Weighted infinitesimal unitary bialgebras,pre-Lie,matrix algebras,and polynomial algebras

Motivated by comatrix coalgebras, we introduce the concept of a Newtonian comatrix coalgebra. We construct an infinitesimal unitary bialgebra on matrix algebras, via the construction of a suitable coproduct. As a consequence, a Newtonian comatrix coalgebra is established. Furthermore, an infinitesimal unitary Hopf algebra, under the view of Aguiar, is constructed on matrix algebras. By the close relationship between pre-Lie algebras and infinitesimal unitary bialgebras, we erect a pre-Lie algebra and a new Lie algebra on matrix algebras. Finally, a weighted infinitesimal unitary bialgebra on non-commutative polynomial algebras is also given.     

Strong cofibrations and fibrations in enriched categories

We define strong cofibrations and fibrations in suitably enriched categories using the relative homotopy extension resp. lifting property. We prove a general pairing result, which for topological spaces specializes to the well-known pushout-product theorem for cofibrations. Strong cofibrations and fibrations give rise to cofibration and fibration categories in the sense of homotopical algebra. We discuss various examples; in particular, we deduce that the category of chain complexes with chain equivalences and the category of categories with equivalences are symmetric monoidal proper closed model categories. Eine überarbeitete Fassung ging am 5. 12. 2001 ein     

Purity and homotopy theory of coalgebras

We construct a combinatorical monoidal model category on simplicial flat cocommutative coalgebras over a Prüfer domain. The cofibrations are the morphisms which are pure as module maps.     

The bar derived category of a curved dg algebra

Curved A_∞-algebras appear in nature as deformations of dg algebras. We develop the basic theory of curved A_∞-algebras and, in particular, curved dg algebras. We investigate their link with a suitable class of dg coalgebras via the bar construction and produce Quillen model structures on their module categories. We define the analogue of the relative derived category for a curved dg algebra.     

A Rickard equivalence for hopfological homotopy categories

In his paper [13], Rickard presents the stable module category of a self-injective algebra as a Verdier quotient of its derived category by perfect complexes. We present a similar realization of the homotopy category in hopfological algebra as such a Verdier quotient.     

Constructing New Quasitriangular Turaev Group Coalgebras

In this article, we construct a lot of new examples of Hopf group coalgebras by considering Majid's bicrossproduct Hopf algebra in Turaev category. Furthermore, we find the sufficient and necessary conditions for such Majid's bicrossproduct Hopf algebra to admit quasitriangular structures in the sense of Turaev group coalgebras.