Three models for the homotopy theory of homotopy theories

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

Relative categories: Another model for the homotopy theory of homotopy theories

We lift Charles Rezk’s complete Segal space model structure on the category of simplicial spaces to a Quillen equivalent one on the category of relative categories.     

Left-determined model categories and universal homotopy theories

We say that a model category is left-determined if the weak equivalences are generated (in a sense specified below) by the cofibrations. While the model category of simplicial sets is not left-determined, we show that its non-oriented variant, the category of symmetric simplicial sets (in the sense of Lawvere and Grandis) carries a natural left-determined model category structure. This is used to give another and, as we believe simpler, proof of a recent result of D. Dugger about universal homotopy theories.

     

Topological vector spaces problems in homology and homotopy theories

Three data are interesting here: domains of integration, integrands and integration itself. There is a lack of symmetry between polyhedral chains as domains of integration and differential forms as integrands. The non-symmetric situation disappears after considering the topological spaces of the de Rham differential forms and forms with compact supports and their strong duals, i.e., currents with compact supports and currents, respectively. This idea goes back to Schwartz distributions and Schwartz distributions with compact supports, in other terminology, generalized functions and generalized functions with compact supports.Some problems are raised, e.g., whether every quasi-complete barreled nuclear space E, whose strongly dual E^′ is nuclear, is strongly hereditary reflexive. This concerns the above mentioned de Rham spaces. Problems on R- and Q-homotopy, proper R- and Q-homotopy and proper R- and Q-homotopy at infinity are also considered as well as the coalgebra structure on currents and currents with compact supports.The classical theorem concerning derivation of additive functions with respect to volumes in points is generalized to a theorem on derivation of continuous m-forms with compact supports ωm of an oriented n-dimensional C¹-manifold Mn with respect to its m-dimensional oriented submanifolds Vm in compact regular oriented submanifolds Lk of Mn, 0?k<m?n.     

Homotopy theories in additive categories are homotopies of Δ-groups

In this paper we prove that theories obtained via a cone or an arc object in additive categories are homotopy theories of Δ-abelian groups. Research supported in path by the Consejería de Educación de Canarias, (Project n. 11/02.06.87 and Project n. 48/01.06.88) and the ONCE.     

Homotopy fiber sequences induced by 2-functors

This paper contains some contributions to the study of the relationship between 2-categories and the homotopy types of their classifying spaces. Mainly, generalizations are given of both Quillen’s Theorem B and Thomason’s Homotopy Colimit Theorem to 2-functors.     

Homotopy localization functorL f with respect to mapsf having a wedge of spheres as homotopy cofibre

In the connected case, we compute explicity thef-localization (in the sense of [3]) for the class of mapsZ ⁽ⁿ⁾↪Z in which the cofibre is a wedge of spheres. We have an analogous result over the rationals where the cofibre is arbitrary.     

Toric fiber products versus Segre products

The toric fiber product is an operation that combines two ideals that are homogeneous with respect to a grading by an affine monoid. The Segre product is a related construction that combines two multigraded rings. The quotient ring by a toric fiber product of two ideals is a subring of the Segre product, but in general this inclusion is strict. We contrast the two constructions and show that any Segre product can be presented as a toric fiber product without changing the involved quotient rings. This allows to apply previous results about toric fiber products to the study of Segre products. We give criteria for the Segre product of two affine toric varieties to be dense in their toric fiber product, and for the map from the Segre product to the toric fiber product to be finite. We give an example that shows that the quotient ring of a toric fiber product of normal ideals need not be normal. In rings with Veronese type gradings, we find examples of toric fiber products that are always Segre products, and we show that iterated toric fiber products of Veronese ideals over Veronese rings are normal.     

The group of homotopy equivalences of products of spheres and of Lie groups

We investigate the group of self homotopy equivalences of a space X which induce the identity homomorphism on all homotopy groups. We obtain results on the structure of provided the p-localization of X has the homotopy type of a p-local product of odd-dimensional spheres. In particular, we show that is a semidirect product of certain homotopy groups . We also show that has a central series whose successive quotients are , which are direct sums of homotopy groups of p-local spheres. This leads to a determination of the order of the p-torsion subgroup of and an upper bound for its p-exponent. These results apply to any Lie group G at a regular prime p. We derive some general properties of and give numerous explicit calculations. Received: 14 April 2001; in final form: 10 September 2001 / Published online: 17 June 2002     

Graph homotopy and Graham homotopy

Simple-homotopy for cell complexes is a special type of topological homotopy constructed by elementary collapses and elementary expansions. In this paper, we introduce graph homotopy for graphs and Graham homotopy for hypergraphs and study the relation between the two homotopies and the simple-homotopy for cell complexes. The graph homotopy is useful to describe topological properties of discretized geometric figures, while the Graham homotopy is essential to characterize acyclic hypergraphs and acyclic relational database schemes.     

Many homotopy categories are homotopy categories

We show that any category that is enriched, tensored, and cotensored over the category of compactly generated weak Hausdorff spaces, and that satisfies an additional hypothesis concerning the behavior of colimits of sequences of cofibrations, admits a Quillen closed model structure in which the weak equivalences are the homotopy equivalences. The fibrations are the Hurewicz fibrations and the cofibrations are a subclass of the Hurewicz cofibrations. This result applies to various categories of spaces, unbased or based, categories of prespectra and spectra in the sense of Lewis and May, the categories of L-spectra and S-modules of Elmendorf, Kriz, Mandell and May, and the equivariant analogues of all the afore-mentioned categories.     

On fiber products of elementary maps

The following characterization of fully closed maps is proved: a quotient map between regular spaces is fully closed if and only if it coincides with the fiber product of elementary maps between regular spaces.