Closed Simplicial Model Structures for Exterior and Proper Homotopy Theory

The notion of exterior space consists of a topological space together with a certain nonempty family of open subsets that is thought of as a system of open neighbourhoods at infinity while an exterior map is a continuous map which is continuous at infinity. The category of spaces and proper maps is a subcategory of the category of exterior spaces.In this paper we show that the category of exterior spaces has a family of closed simplicial model structures, in the sense of Quillen, depending on a pair {T,T} of suitable exterior spaces. For this goal, for a given exterior space T, we construct the exterior T-homotopy groups of an exterior space under T. Using different spaces T we have as particular cases the main proper homotopy groups: the Brown–Grossman, erin–Steenrod, p-cylindrical, Baues–Quintero and Farrell–Taylor–Wagoner groups, as well as the standard (Hurewicz) homotopy groups.The existence of this model structure in the category of exterior spaces has interesting applications. For instance, using different pairs {T,T}, it is possible to study the standard homotopy type, the homotopy type at infinity and the global proper homotopy type.     

The Steenrod Algebra and Theories Associated to Hopf Algebras

We show that the homotopy category of products of Z/p-Eilenberg–Mac Lane spaces is an -algebra which algebraically is determined by the Steenrod algebra considered as a Hopf algebra with unstable structure.     

S-types of Global Towers of Spaces and Exterior Spaces

The closed model category of exterior spaces, that contains the proper category, is a useful tool for the study of non compact spaces and manifolds. The notion of exterior weak ℕ-S-equivalences is given by exterior maps which induce isomorphisms on the k-th ℕ-exterior homotopy groups for k ∈ S, where S is a set of non negative integers. The category of exterior spaces with a base ray localized by exterior weak ℕ-S-equivalences is called the category of exterior ℕ-S-types. The existence of closed model structures in the category of exterior spaces permits to establish equivalences between homotopy categories obtained by dividing by exterior homotopy relations, and categories of fractions (localized categories) given by the inversion of classes of week equivalences. The family of neighbourhoods ‘at infinity’ of an exterior space can be interpreted as a global prospace and under the condition of first countable at infinity we can consider a global tower instead of a prospace. The objective of this paper is to use localized categories to find the connection between S-types of exterior spaces and S-types of global towers of spaces. The main result of this paper establishes an equivalence between the category of S-types of rayed first countable exterior spaces and the category of S-types of global towers of pointed spaces. As a consequence of this result, categories of global towers of algebraic models localized up to weak equivalences can be used to give some algebraic models of S-types. The authors acknowledge the financial support given by the projects FOMENTA 2007/03 and MTM2007-65431.     

HOMOLOGY AND COHOMOLOGY FOR MEROTOPIC AND NEARNESS SPACES

It is shown that the Alexander cohomology groups for merotopic spaces satisfy certain variants of the Eilenberg—Steenrod axioms for a cohomology theory. Furthermore, for a nearness space, the homology and cohomology groups coincide with the corresponding groups of its completion.     

Lipschitz factorization through subsets of Hilbert space

The Euclidean distortion of a metric space, a measure of how well the metric space can be embedded into a Hilbert space, is currently an active interdisciplinary research topic. We study the corresponding notion for mappings instead of spaces, which is that of Lipschitz factorization through subsets of Hilbert space. The main theorems are two characterizations of when a mapping admits such a factorization, both of them inspired by results dealing with linear factorizations through Hilbert space. The first is a nonlinear version of a classical theorem of Kwapień in terms of “dominated” sequences of vectors, whereas the second is a duality result by means of a tensor-product approach.     

Menger (N?beling) Manifolds versus Hilbert Cube (Space) Manifolds – A Categorical Comparison

 We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each .     

Menger (Nöbeling) Manifolds versus Hilbert Cube (Space) Manifolds – A Categorical Comparison

 We show that the n-homotopy category of connected (n+1)-dimensional Menger manifolds is isomorphic to the homotopy category of connected Hilbert cube manifolds whose k-dimensional homotopy groups are trivial for each . (Received 30 August 1999; in revised form 7 December 1999)     

Upper and Lower Bounds of the (co)chain Type Level of a Space

We establish an upper bound for the cochain type level of the total space of a pull-back fibration. It explains to us why the numerical invariants for principal bundles over the sphere are less than or equal to two. Moreover computational examples of the levels of path spaces and Borel constructions, including biquotient spaces and Davis-Januszkiewicz spaces, are presented. We also show that the chain type level of the homotopy fibre of a map is greater than the E-category in the sense of Kahl, which is an algebraic approximation of the Lusternik-Schnirelmann category of the map. The inequality fits between the grade and the projective dimension of the cohomology of the homotopy fibre.     

Tiling space with the aid of the holomorph

The notion of a factorization of a group is generalized and a method is presented for obtaining new factorizations from old ones. The results are applied to obtain new fillings of the lattice spaces Z, Z ⊕ Z and the cube.     

The Fibre of a Pinch Map in a Model Category

In the category of pointed topological spaces, let F be the homotopy fibre of the pinching map X?∪?CA?→?X?∪?CA?/?X from the mapping cone on a cofibration A?→?X onto the suspension of A. Gray (Proc Lond Math Soc (3) 26:497–520, 1973) proved that F is weakly homotopy equivalent to the reduced product (X, A)_∞. In this paper we prove an analogue of this phenomenon in a model category, under suitable conditions including a cube axiom.     

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 proper L-S category of Whitehead manifolds

It is shown that the proper L-S category of an eventually end-irreducible, R²-irreducible Whitehead 3-manifold is 4. For this we prove, in the category of germs at infinity of proper maps, a partial analogue of the characterization by Eilenberg and Ganea of the L-S category of an aspherical space.     

Brown–Peterson Cohomology from Morava K-Theory

We give some structure to the Brown–Peterson cohomology (or its p-completion) of a wide class of spaces. The class of spaces are those with Morava K-theory even-dimensional. We can say that the Brown–Peterson cohomology is even-dimensional (concentrated in even degrees) and is flat as a BP*-module for the category of finitely presented BP*(BP)-modules. At first glance this would seem to be a very restricted class of spaces but the world abounds with naturally occurring examples: Eilenberg-Mac Lane spaces, loops of finite Postnikov systems, classifying spaces of most finite groups whose Morava K-theory is known (including the symmetric groups), QS²ⁿ, BO(n), MO(n), BO, Im J, etc. We finish with an explicit algebraic construction of the Brown–Peterson cohomology of a product of Eilenberg–Mac Lane spaces and a general Künneth isomorphism applicable to our situation.     

Brown representability for space-valued functors

In this paper we prove two theorems which resemble the classical cohomological and homological Brown representability theorems. The main difference is that our results classify contravariant functors from spaces to spaces up to weak equivalence of functors. In more detail, we show that every contravariant functor from spaces to spaces which takes coproducts to products up to homotopy, and takes homotopy pushouts to homotopy pullbacks is naturally weakly equivalent to a representable functor. The second representability theorem states: every contravariant continuous functor from the category of finite simplicial sets to simplicial sets taking homotopy pushouts to homotopy pullbacks is equivalent to the restriction of a representable functor. This theorem may be considered as a contravariant analog of Goodwillie’s classification of linear functors [14].     

Mathematical problems of stochastic quantum mechanics: Harmonic analysis on phase space and quantum geometry

In this paper we review the mathematical methods and problems that are specific to the programme of stochastic quantum mechanics and quantum spacetime. The physical origin of these problems is explained, and then the mathematical models are developed. Three notions emerge as central to the programme: positive operator-valued (POV) measures on a Hilbert space, reproducing kernel Hilbert spaces, and fibre bundle formulations of quantum geometries. A close connection between the first two notions is shown to exist, which provides a natural setting for introducing a fibration on the associated overcomplete family of vectors. The introduction of group covariance leads to an extended version of harmonic analysis on phase space. It also yields a theory of induced group representations, which extends the results of Mackey on imprimitivity systems for locally compact groups to the more general case of systems of covariance. Quantum geometries emerge as fibre bundles whose base spaces are manifolds of mean stochastic locations for quantum test particles (i.e., spacetime excitons) that display a phase space structure, and whose fibres and structure groups contain, respectively, the aforementioned overcomplete families of vectors and unitary group representations of phase space systems of covariance.Work supported in part by the Natural Science and Engineering Research Council of Canada (NSERC) grants.     

Rational homotopy theory and differential graded category

We propose a generalization of Sullivan’s de Rham homotopy theory to non-simply connected spaces. The formulation is such that the real homotopy type of a manifold should be the closed tensor dg-category of flat bundles on it much the same as the real homotopy type of a simply connected manifold is the de Rham algebra in original Sullivan’s theory. We prove the existence of a model category structure on the category of small closed tensor dg-categories and as a most simple case, confirm an equivalence between the homotopy category of spaces whose fundamental groups are finite and whose higher homotopy groups are finite dimensional rational vector spaces and the homotopy category of small closed tensor dg-categories satisfying certain conditions.     

Long-time behavior of nonlinear integro-differential evolution equations

We study the long-time behavior as time tends to infinity of globally bounded strong solutions to certain integro-differential equations in Hilbert spaces. Based on an appropriate new Lyapunov function and the Łojasiewicz–Simon inequality, we prove that any globally bounded strong solution converges to a steady state in a real Hilbert space.     

On genus and cancellation in homotopy

Thegenus is determined for spaces of the homotopy type of aCW complex with one cell each in dimensions 0, 2n and 4n (and no other cells), such spaces providing the only cases of spaces with two non-trivial cells such that the homotopy class of the attaching map for the top cell is of infinite order and the genus of the space is non-trivial. The genus is characterised completely by two well understood invariants: theHopf invariant of the attaching map of the 4n-cell and the genus of thesuspension of the space. The algebraic tools are developed for the investigation of the ν-cancellation behaviour of these spaces and a cancellation theorem is proved: the homotopy type of a finite wedge of such spaces determines the homotopy type of each of the summands as long as the attaching maps of the 4n-cells all represent homotopy classes of infinite order. Comparing this result to known results aboutfinite co-H-spaces shows that the Hopf invariant is the single obstruction to such spaces admitting a co-H structure.