Group actions and covering maps in the uniform category

In Rips complexes and covers in the uniform category (Brodskiy et al. [4]) we define, following James (1990) [9], covering maps of uniform spaces and introduce, inspired by Berestovskii and Plaut (2007) [2], the concept of generalized uniform covering maps. In this paper we investigate when these covering maps are induced by group actions which allows us to relate our covering maps to those in Berestovskii and Plaut (2007) [2]. Also, as an application of our results we present an exposition of Prajs' (2002) [16] homogeneous curve that is path-connected but not locally connected.     

Uniform universal covers of uniform spaces

We develop a generalized covering space theory for a class of uniform spaces called coverable spaces. Coverable spaces include all geodesic metric spaces, connected and locally pathwise connected compact topological spaces, in particular Peano continua, as well as more pathological spaces like the topologist's sine curve. The uniform universal cover of a coverable space is a kind of generalized cover with universal and lifting properties in the category of uniform spaces and uniformly continuous mappings. Associated with the uniform universal cover is a functorial uniform space invariant called the deck group, which is related to the classical fundamental group by a natural homomorphism. We obtain some specific results for one-dimensional spaces.     

An equivalent condition for a uniform space to be coverable

We prove that an equivalent condition for a uniform space to be coverable is that the images of the natural projections in the fundamental inverse system are uniformly open in a certain sense. As corollaries we (1) obtain a concrete way to find covering entourage, (2) correct an error in [V. Berestovskii, C. Plaut, Uniform universal covers of uniform spaces, Topology Appl. 154 (2007) 1748-1777], and (3) show that coverability is equivalent to chain connectedness and uniform joinability in the sense of [N. Brodskiy, J. Dydak, B. Labuz, A. Mitra, Rips complexes and universal covers in the uniform category, preprint arXiv:0706.3937.     

The uniqueness of endpoints for set-valued dynamical systems of contractions of Meir–Keeler type in uniform spaces

In this paper, the concept of the set-valued dynamical systems of contractions of Meir–Keeler type in uniform spaces is introduced and conditions guaranteeing the existence and uniqueness of endpoints of these contractions and the convergence to these endpoints of all generalized sequences of iterations of these contractions are established. The definition and the result presented here are new for set-valued dynamical systems in uniform, locally convex and metric spaces and even for single-valued maps. Examples show a fundamental difference between our result and the well-known ones.     

Endpoint theory for set-valued nonlinear asymptotic contractions with respect to generalized pseudodistances in uniform spaces

In uniform spaces, inspired by ideas of Banach, Tarafdar and Yuan, we introduce the concepts of generalized pseudodistances and generalized gauge maps, for set-valued dynamic systems we define various nonlinear asymptotic contractions and contractions with respect to these pseudodistances and gauges, provide conditions on the iterates of these set-valued dynamic systems and present a method which is useful for establishing conditions guaranteeing the existence and uniqueness of endpoints (stationary points) of these set-valued dynamic systems and conditions that each generalized sequence of iterations (in particular, each dynamic process) converges and the limit of a generalized sequence of iterations is an endpoint. The definitions, the results and the method are new for set-valued dynamic systems in uniform, locally convex and metric spaces and even for single-valued maps. The paper includes a number of various examples which show a fundamental difference between our results and those existing in the literature.     

Endpoints of set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and strict contractions in uniform spaces

In this paper, we introduce the concepts of the set-valued dynamical systems of asymptotic contractions of Meir–Keeler type and set-valued dynamical systems of strict contractions in uniform spaces and we present a method which is useful for establishing conditions guaranteeing the existence and uniqueness of endpoints of these contractions and the convergence to these endpoints of all generalized sequences of iterations of these contractions. The result, concerning the investigations of problems of the set-valued asymptotic fixed point theory, include some well-known results of Meir and Keeler, Kirk and Suzuki concerning the asymptotic fixed point theory of single-valued maps in metric spaces. The result, concerning set-valued strict contractions (in which the contractive coefficient is not constant), is different from the result of Yuan concerning the existence of endpoints of Tarafdar–Vyborny generalized contractions (in which the contractive coefficient is constant) in bounded metric spaces and provides some examples of Tarafdar–Yuan topological contractions in compact uniform spaces. Definitions and results presented here are new for set-valued dynamical systems in uniform, locally convex and metric spaces and even for single-valued maps. Examples show a fundamental difference between our results and the well-known ones.     

The uniqueness of endpoints for set-valued dynamical systems of contractions of Meir–Keeler type in uniform spaces

In this paper, the concept of the set-valued dynamical systems of contractions of Meir–Keeler type in uniform spaces is introduced and conditions guaranteeing the existence and uniqueness of endpoints of these contractions and the convergence to these endpoints of all generalized sequences of iterations of these contractions are established. The definition and the result presented here are new for set-valued dynamical systems in uniform, locally convex and metric spaces and even for single-valued maps. Examples show a fundamental difference between our result and the well-known ones.     

Small loop spaces

The importance of small loops in the covering space theory was pointed out by Brodskiy, Dydak, Labuz, and Mitra in [2] and [3]. A small loop is a loop which is homotopic to a loop contained in an arbitrarily small neighborhood of its base point and a small loop space is a topological space in which every loop is small. Small loops are the strongest obstruction to semi-locally simply connectedness. We construct a small loop space using the Harmonic Archipelago. Furthermore, we define the small loop group of a space and study its impact on covering spaces, in particular its contribution to the fundamental group of the universal covering space.     

On semilocally simply connected spaces

The purpose of this paper is: (i) to construct a space which is semilocally simply connected in the sense of Spanier even though its Spanier group is non-trivial; (ii) to propose a modification of the notion of a Spanier group so that via the modified Spanier group semilocal simple connectivity can be characterized; and (iii) to point out that with just a slightly modified definition of semilocal simple connectivity which is sometimes also used in literature, the classical Spanier group gives the correct characterization within the general class of path-connected topological spaces.While the condition “semilocally simply connected” plays a crucial role in classical covering theory, in generalized covering theory one needs to consider the condition “homotopically Hausdorff” instead. The paper also discusses which implications hold between all of the abovementioned conditions and, via the modified Spanier groups, it also unveils the weakest so far known algebraic characterization for the existence of generalized covering spaces as introduced by Fischer and Zastrow. For most of the implications, the paper also proves the non-reversibility by providing the corresponding examples. Some of them rely on spaces that are newly constructed in this paper.     

Fundamental group in o-minimal structures with definable Skolem functions

In this paper we work in an arbitrary o-minimal structure with definable Skolem functions and prove that definably connected, locally definable manifolds are uniformly definably path connected, have an admissible cover by definably simply connected, open definable subsets and, definable paths and definable homotopies on such locally definable manifolds can be lifted to locally definable covering maps. These properties allow us to obtain the main properties of the general o-minimal fundamental group, including: invariance and comparison results; existence of universal locally definable covering maps; monodromy equivalence for locally constant o-minimal sheaves – from which one obtains, as in algebraic topology, classification results for locally definable covering maps, o-minimal Hurewicz and Seifert–van Kampen theorems.     

Quotients of uniform spaces

This paper develops the basic theory of quotients of uniform spaces via sufficiently nice group actions. We generalize and unify two fundamental constructions: quotients of topological groups via closed normal subgroups and quotients of metric spaces via actions by isometries. Basic results about inverse limits of topological groups are extended to inverse limits of group actions on uniform spaces, and notions of prodiscrete action and generalized covering map are introduced.     

Maximal elements in topological and generalized metric spaces

In this note, some problems concerning existence of maximal elements in a topological as well as in a generalized metric space, equipped with an ordering, are studied. The results presented here may be considered as a partial refinement of those established in [2] for uniform structures.     

On fundamental groups of quotient spaces

In classical covering space theory, a covering map induces an injection of fundamental groups. This paper reveals a dual property for certain quotient maps having connected fibers, with applications to orbit spaces of vector fields and leaf spaces in general.     

Quasi-asymptotic contractions,set-valued dynamic systems,uniqueness of endpoints and generalized pseudodistances in uniform spaces

For set-valued dynamic systems in uniform spaces we introduce the concept of quasi-asymptotic contractions with respect to some generalized pseudodistances, describe a method which we use to establish general conditions guaranteeing the existence and uniqueness of endpoints (stationary points) of these contractions and exhibit conditions such that for each starting point each generalized sequence of iterations (in particular, each dynamic process) converges and the limit is an endpoint. The definition, result, ideas and techniques are new for set-valued dynamic systems in uniform, locally convex and metric spaces and even for single-valued maps.     

On smooth Chas-Sullivan loop product in Quillen's geometric complex cobordism of Hilbert manifolds

In [A.J. Baker, C. Ozel, Complex cobordism of Hilbert manifolds with some applications to flag varieties, Contemp. Math. 258 (2000) 1-19], by using Fredholm index we developed a version of Quillen's geometric cobordism theory for infinite dimensional Hilbert manifolds. This cobordism theory has a graded group structure under topological union operation and has push-forward maps for complex orientable Fredholm maps. In [C. Ozel, On Fredholm index, transversal approximations and Quillen's geometric complex cobordism of Hilbert manifolds with some applications to flag varieties of loop groups, in preparation], by using Quinn's Transversality Theorem [F. Quinn, Transversal approximation on Banach manifolds, Proc. Sympos. Pure Math. 15 (1970) 213-222], it has been shown that this cobordism theory has a graded ring structure under transversal intersection operation and has pull-back maps for smooth maps. It has been shown that the Thom isomorphism in this theory was satisfied for finite dimensional vector bundles over separable Hilbert manifolds and the projection formula for Gysin maps has been proved. In [M. Chas, D. Sullivan, String topology, math.GT/9911159, 1999], Chas and Sullivan described an intersection product on the homology of loop space LM. In [R.L. Cohen, J.D.S. Jones, A homotopy theoretic realization of string topology, math.GT/0107187, 2001], R. Cohen and J. Jones described a realization of the Chas-Sullivan loop product in terms of a ring spectrum structure on the Thom spectrum of a certain virtual bundle over the loop space. In this paper, we will extend this product on cobordism and bordism theories.     

Set-valued dynamic systems and random iterations of set-valued weaker contractions in uniform spaces

Set-valued weaker contractions in uniform, locally convex and metric spaces are defined and dynamic systems of such weaker contractions are studied. Conditions guaranteeing the convergence of generalized sequences of random iterations and iterations and the existence and uniqueness of endpoints of set-valued weaker contractions are established. Our definitions and results are new for set-valued maps in uniform, locally convex and metric spaces and even for single-valued maps.     

A van Kampen theorem for equivariant fundamental groupoids

The equivariant fundamental groupoid of a G-space X is a category which generalizes the fundamental groupoid of a space to the equivariant setting. In this paper, we prove a van Kampen theorem for these categories: the equivariant fundamental groupoid of X can be obtained as a pushout of the categories associated to two open G-subsets covering X. This is proved by interpreting the equivariant fundamental groupoid as a Grothendieck semidirect product construction, and combining general properties of this construction with the ordinary (non-equivariant) van Kampen theorem. We then illustrate applications of this theorem by showing that the equivariant fundamental groupoid of a G-CW complex only depends on the 2-skeleton and also by using the theorem to compute an example.     

REMARKS ON UNIVERSAL COEFFICIENT THEOREMS FOR GENERALIZED HOMOLOGY THEORIES

Abstract

New proofs of universal coefficient theorems for generalized homology theories (cf. ∮ 2, ∮ 3) including L. G. Brown's result, relating Brown-Douglas-Fillmore's Ext (X) with complex K-theory are presented. They are all based on a theorem asserting the existence of a chain functor for a generalized homology theory (cf. ∮ 1), which was originally designed for the construction of strong homology theories on strong shape categories.     

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.     

Some fixed point theorems for weakly T-Chatterjea and weakly T-Kannan-contractive mappings in complete metric spaces

In this work we introduce the notions of generalized weakly T-Chatterjea-contractive and generalized weakly T-Kannan-contractive maps. For these classes of maps we obtain sufficient conditions for the existence of a unique fixed point in a complete metric space.