Interpolation categories for homology theories

For a homological functor from a triangulated category to an abelian category satisfying some technical assumptions, we construct a tower of interpolation categories. These are categories over which the functor factorizes and which capture more and more information according to the injective dimension of the images of the functor. The categories are obtained by using truncated versions of resolution model structures. Examples of functors fitting in our framework are given by every generalized homology theory represented by a ring spectrum satisfying the Adams-Atiyah condition. The constructions are closely related to the modified Adams spectral sequence and give a very conceptual approach to the associated moduli problem and obstruction theory. As an application, we establish an isomorphism between certain E(n)-local Picard groups and some Ext-groups.     

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 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.     

G-symmetric spectra,semistability and the multiplicative norm

In this paper we develop the basic homotopy theory of G-symmetric spectra (that is, symmetric spectra with a G-action) for a finite group G, as a model for equivariant stable homotopy with respect to a G-set universe. This model lies in between Mandell's equivariant symmetric spectra and the G-orthogonal spectra of Mandell and May and is Quillen equivalent to the two. We further discuss equivariant semistability, construct model structures on module, algebra and commutative algebra categories and describe the homotopical properties of the multiplicative norm in this context.     

The Boardman-Vogt resolution of operads in monoidal model categories

We extend the -construction of Boardman and Vogt to operads of an arbitrary monoidal model category with suitable interval, and show that it provides a cofibrant resolution for well-pointed Σ-cofibrant operads. The standard simplicial resolution of Godement as well as the cobar-bar chain resolution are shown to be particular instances of this generalised -construction.     

Realizing modules over the homology of a DGA

Let A be a DGA over a field and X a module over H_∗(A). Fix an A_∞-structure on H_∗(A) making it quasi-isomorphic to A. We construct an equivalence of categories between A_n+1-module structures on X and length n Postnikov systems in the derived category of A-modules based on the bar resolution of X. This implies that quasi-isomorphism classes of A_n-structures on X are in bijective correspondence with weak equivalence classes of rigidifications of the first n terms of the bar resolution of X to a complex of A-modules. The above equivalences of categories are compatible for different values of n. This implies that two obstruction theories for realizing X as the homology of an A-module coincide.     

The behaviour of the $$\overline{W}$$ -construction on the homotopy theory of bisimplicial sets

The codiagonal functor \(\overline{W}\) transfers a Quillen closed model structure on the bisimplicial set category from the ordinary model category of simplicial sets. This bisimplicial model structure is different from the so called Moerdijk model structure, which is similarly transferred from simplicial sets but through the diagonal functor. We show the mutual relationship of these two closed model structures on the category of bisimplicial sets.     

Mixing model structures

We prove that if a category has two Quillen closed model structures (W₁,F₁,C₁) and (W₂,F₂,C₂) that satisfy the inclusions W₁⊆W₂ and F₁⊆F₂, then there exists a “mixed model structure” (Wm,Fm,Cm) for which Wm=W₂ and Fm=F₁. This shows that there is a model structure for topological spaces (and other topological categories) for which Wm is the class of weak equivalences and Fm is the class of Hurewicz fibrations. The cofibrant spaces in this model structure are the spaces that have CW homotopy type.     

A theory of PWD-structures

A general study is undertaken of product-wedge-diagonal (=PWD) structures on a space. In part this concept may be viewed as arising from G.W. Whitehead's fat-wedge characterization of Lusternik-Schnirelmann category. From another viewpoint PWD-structures occupy a distinguished position among those structures that provide data allowing Hopf invariants to be defined. Indeed the Hopf invariant associated with a PWD-structure is a crucial component of the structure. Our overall theme addresses the basic question of existence of compatible structures on X and Y with regard to a map X→Y. A principal result of the paper uses Hopf invariants to formulate a Berstein-Hilton type result when the space involved is a double mapping cylinder (or homotopy pushout). A decomposition formula for the Hopf invariant (extending previous work of Marcum) is provided in case the space is a topological join U*V that has PWD-structure defined canonically via the join structure in terms of diagonal maps on U and V.     

Splitting monoidal stable model categories

If C is a stable model category with a monoidal product then the set of homotopy classes of self-maps of the unit forms a commutative ring, [S,S]^C. An idempotent e of this ring will split the homotopy category: [X,Y]^C≅e[X,Y]^C⊕(1−e)[X,Y]^C. We prove that provided the localised model structures exist, this splitting of the homotopy category comes from a splitting of the model category, that is, C is Quillen equivalent to L_eSC×L_(1−e)SC and [X,Y]^L_eSC≅e[X,Y]^C. This Quillen equivalence is strong monoidal and is symmetric when the monoidal product of C is.     

Intrinsic characterization of Alexander-Spanier cohomology groups of compactifications

In this paper we construct a uniform Alexander-Spanier cohomology functor from the category of pairs of uniform spaces to the category of abelian groups. We show that this functor satisfies all Eilenberg-Steenrod axioms on the category of pairs of precompact uniform spaces, is precompact uniform shape invariant and intrinsically, in terms of uniform structures, describes the Alexander-Spanier cohomology groups of compactifications of completely regular spaces.     

The loop orbifold of the symmetric product

Using the loop orbifold of the symmetric product, we give a formula for the Poincaré polynomial of the free loop space of the Borel construction of the symmetric product. We also show that the Chas-Sullivan orbifold product structure in the homology of the free loop space of the Borel construction of the symmetric product induces a ring structure in the homology of the inertia orbifold of the symmetric product. For a general almost complex orbifold, we define a new ring structure on the cohomology of its inertia orbifold which we call the virtual intersection ring. Finally we show that under Poincaré duality in the case of the symmetric product orbifold, both ring structures are isomorphic.     

A folk model structure on omega-cat

The primary aim of this work is an intrinsic homotopy theory of strict ω-categories. We establish a model structure on ωCat, the category of strict ω-categories. The constructions leading to the model structure in question are expressed entirely within the scope of ωCat, building on a set of generating cofibrations and a class of weak equivalences as basic items. All objects are fibrant while free objects are cofibrant. We further exhibit model structures of this type on n-categories for arbitrary n∈N, as specializations of the ω-categorical one along right adjoints. In particular, known cases for n=1 and n=2 nicely fit into the scheme.     

Stable model categories are categories of modules

A stable model category is a setting for homotopy theory where the suspension functor is invertible. The prototypical examples are the category of spectra in the sense of stable homotopy theory and the category of unbounded chain complexes of modules over a ring. In this paper we develop methods for deciding when two stable model categories represent ‘the same homotopy theory’. We show that stable model categories with a single compact generator are equivalent to modules over a ring spectrum. More generally stable model categories with a set of generators are characterized as modules over a ‘ring spectrum with several objects’, i.e., as spectrum valued diagram categories. We also prove a Morita theorem which shows how equivalences between module categories over ring spectra can be realized by smashing with a pair of bimodules. Finally, we characterize stable model categories which represent the derived category of a ring. This is a slight generalization of Rickard's work on derived equivalent rings. We also include a proof of the model category equivalence of modules over the Eilenberg-Mac Lane spectrum HR and (unbounded) chain complexes of R-modules for a ring R.     

Webs and projective structures on a plane

We prove that there is a one-to-one correspondence between projective structures defined by torsion-free connections with skew-symmetric Ricci tensor and Veronese webs on a plane. The correspondence is used to characterise the projective structures in terms of second order ODEs.     

An algebraic model of fibration with the fiberK(π,n)-space

For a fibration with the fiberK(,n)-space, the algebraic model as a twisted tensor product of chains of the base with standard chains ofK(,n)-complex is given which preserves multiplicative structure as well. In terms of this model the action of then-cohomology of the base with coefficients in on the homology of fibration is described.     

Cotorsion pairs, model category structures, and representation theory

We make a general study of Quillen model structures on abelian categories. We show that they are closely related to cotorsion pairs, which were introduced by Salce [Sal79] and have been much studied recently by Enochs and coauthors [EJ00]. This gives a method of constructing model structures on abelian categories, which we illustrate by building two model structures on the category of modules over a (possibly noncommutative) Gorenstein ring. The homotopy category of these model structures is a generalization of the stable module category much used in modular representation theory. This stable module category has also been studied by Benson [Ben97]. Received: 14 December 2000; in final form: 17 December 2001 / Published online: 5 September 2002     

Nearly Kähler manifolds with vanishing Tricerri-Vanhecke Bochner curvature tensor

We study the local structures of nearly Kähler manifolds with vanishing Bochner curvature tensor as defined by Tricerri and Vanhecke (TV). We show that there does not exist a TV Bochner flat strict nearly Kähler manifold in 2n(?10) dimension and determine the local structures of the manifolds in 6 and 8 dimensions.