Metric spaces with discrete topological fundamental group

With a certain natural topology, the fundamental group of a locally path connected metric space X becomes discrete if and only if X is semilocally simply connected. We include some related material and offer a counterexample to a similar result.     

An inductive Lusternik-Schnirelmann category in a model category

We prove that the notion of an inductive category in a model category agrees with the Ganea approach given by Doeraene. This notion also coincides with the topological one when we consider the category of (well-)pointed topological spaces. An application is given.     

广义近似空间的粗糙同胚与拓扑同胚

对广义近似空间之间的映射引入并刻画了粗糙连续性和拓扑连续性,探讨了他们的性质及相互关系.证明了两个粗糙连续映射的复合还是粗糙连续的,每个粗糙连续的映射都是拓扑连续的.在此基础上引入了粗糙同胚性质和拓扑同胚性质的概念,证明了拓扑同胚性质均为粗糙同胚性质并考察了广义近似空间的诸如分离性、连通性、紧性等的粗糙同胚不变性和拓扑同胚不变性.     

Open maps,colimits, and a convenient category of fibre spaces

We show that pulling back along an open map preserves all colimits in the category of weak Hausdorff k-spaces. We also show that the category of open maps over a weak Hausdorff k-space is a convenient category of fibre spaces.     

A Quillen model category structure on some categories of comonoids

We prove that for certain monoidal (Quillen) model categories, the category of comonoids therein also admits a model structure.     

The Quillen model category of topological spaces

We give a complete and careful proof of Quillen’s theorem on the existence of the standard model category structure on the category of topological spaces. We do not assume any familiarity with model categories.     

The Euler Class in homological algebra

Let G_τ be the topological group of orientation preserving homeomorphisms of the circle, and G_δ the same group with the discrete topology. Motivated by the classical problem of reducing a circle bundle with structure group G_τ to a totally disconnected subgroup K⊂G_δ, and more currently, applications to mapping class groups, we analyze, in a homological algebra setting, the role played by the Topological and Discrete Euler Classes. In particular we describe the Discrete Euler Class of G, and any of its subgroups K, explicitly as a group extension. We apply our constructions to show that the values of the Discrete Euler Class are bounded on any space, and we state triviality and non-triviality conditions for its powers in the based mapping class groups.     

Ganea and Whitehead definitions for the tangential Lusternik-Schnirelmann category of foliations

This work solves the problem of elaborating Ganea and Whitehead definitions for the tangential category of a foliated manifold. We develop these two notions in the category S-Top of stratified spaces, that are topological spaces X endowed with a partition F and compare them to a third invariant defined by using open sets. More precisely, these definitions apply to an element (X,F) of S-Top together with a class A of subsets of X; they are similar to invariants introduced by M. Clapp and D. Puppe.If (X,F)∈S-Top, we define a transverse subset as a subspace A of X such that the intersection S∩A is at most countable for any S∈F. Then we define the Whitehead and Ganea LS-categories of the stratified space by taking the infimum along the transverse subsets. When we have a closed manifold, endowed with a C¹-foliation, the three previous definitions, with A the class of transverse subsets, coincide with the tangential category and are homotopical invariants.     

The genus and the category of configuration spaces

In this paper configuration spaces of smooth manifolds are considered. The accent is made on actions of certain groups (mostly p-tori) on this spaces by permuting their points. For such spaces the cohomological index, the genus in the sense of Krasnosel'skii-Schwarz, and the equivariant Lyusternik-Schnirelmann category are estimated from below, and some corollaries for functions on configuration spaces are deduced.     

The Banach fixed point theorem in fuzzy quasi-metric spaces with application to the domain of words

We present a fuzzy quasi-metric version of the Banach contraction principle, which constitutes an extension of the famous Grabiec fixed point theorem. By using this result we show the existence of fixed point for contraction mappings on the domain of words when it is endowed with certain fuzzy quasi-metrics of Baire type. We apply this approach to deduce the existence of solution for some recurrence equations associated to the analysis of Quicksort algorithms and Divide & Conquer algorithms, respectively.     

On the string topology category of compact Lie groups

We answer a question of Blumberg, Cohen and Teleman, showing that the Chas–Sullivan loop homology is the Hochschild cohomology of any object in the rational string topology category of a compact, simply connected, Lie group G. Moreover, we show that the answer follows from the classification of the localizing subcategories of the derived category of chains on the based loops of G, which we achieve using the stratification machinery of Benson, Iyengar and Krause. For integral coefficients we get similar results for G a simply-connected special unitary group.     

An “almost” full embedding of the category of graphs into the category of groups

We construct a functor F:Graphs→Groups which is faithful and “almost” full, in the sense that every nontrivial group homomorphism FX→FY is a composition of an inner automorphism of FY and a homomorphism of the form Ff, for a unique map of graphs f:X→Y. When F is composed with the Eilenberg-Mac Lane space construction K(FX,1) we obtain an embedding of the category of graphs into the unpointed homotopy category which is full up to null-homotopic maps.We provide several applications of this construction to localizations (i.e. idempotent functors); we show that the questions:

(1)

Is every orthogonality class reflective?

(2)

Is every orthogonality class a small-orthogonality class?

have the same answers in the category of groups as in the category of graphs. In other words they depend on set theory: (1) is equivalent to weak Vopěnka's principle and (2) to Vopěnka's principle. Additionally, the second question, considered in the homotopy category, is also equivalent to Vopěnka's principle.     

What is wrong with the Hausdorff measure in Finsler spaces

We construct a class of Finsler metrics in three-dimensional space such that all their geodesics are lines, but not all planes are extremal for their Hausdorff area functionals. This shows that if the Hausdorff measure is used as notion of volume on Finsler spaces, then totally geodesic submanifolds are not necessarily minimal, filling results such as those of Ivanov [On two-dimensional minimal fillings, St. Petersburg Math. J. 13 (2002) 17-25] do not hold, and integral-geometric formulas do not exist. On the other hand, using the Holmes-Thompson definition of volume, we prove a general Crofton formula for Finsler spaces and give an easy proof that their totally geodesic hypersurfaces are minimal.     

Edelstein's fixed point theorem in topological spaces

An extension to topological spaces of a wellknown fixed point theorem of M. Edelstein for contractive mappings on metric spaces is presented. Results based on the generalized Edelstein's theorem are also established concerning the existence of fixed points of continuous selfmaps on a topological space. As a special case a compact starshaped subset of a linear topological space is considered. The results extend the fixed point theoremsfor nonexpansive mappings on a compact metric space of L.F.Guseman, Jr. and B.C. Peters, Jr.     

On the classification problem of the quasi-isomorphism classes of free chain algebras

The present paper is devoted to the classification problem of the quasi-isomorphism classes of free differential graded algebras (dgas) over a (P.I.D) R. We introduce the notion of coherent homomorphisms, perfect and quasi-perfect dgas (the Adams-Hilton model of simply connected CW-complex such that H_∗(X,R) is free is a such a dga) and our first main result asserts that two perfect (quasi-perfect) dgas are quasi-isomorphic if and only if their Whitehead exact sequences are coherently isomorphic. Moreover we define the notion of a strong isomorphism between the Whitehead exact sequences and we show that two free R-dgas, of which their Whitehead exact sequences are strongly isomorphic, are quasi-isomorphic.     

Orderability of topological spaces with a connected linear base

Tol'yatti. Translated fromSibirskiî Matematicheskiî Zhurnal, Vol. 34, No. 6, pp. 198–209, November–December, 1993.     

Strong homology of inverse systems of spaces. II

Recently the authors have defined a coherent prohomotopy category of topological spaces CPHTop [5]. In the present paper, which is a sequel to Part I [6], the authors define a strong homology functor H^s:CPHTop→Ab. The results of this paper are essential for the construction of a Steenrod-Sitnikov homology theory for arbitrary spaces.     

Hadamard-type theorems for hypersurfaces in hyperbolic spaces

We prove that a bounded, complete hypersurface in hyperbolic space with normal curvatures greater than −1 is diffeomorphic to a sphere. The completeness condition is relaxed when the normal curvatures are bounded away from −1. The diffeomorphism is constructed via the Gauss map of some parallel hypersurface. We also give bounds for the total curvature of this parallel hypersurface.