Steenrod operations in subanalytic homology
Teardrops are generalizations of open mapping cylinders. We prove that the teardrop of a stratified approximate fibration X → Y × ℝ with X and Y homotopically stratified spaces is itself a homotopically stratified space (under mild hypothesis). This is applied to manifold stratified approximate fibrations between manifold stratified spaces in order to establish the realization part of a previously announced tubular neighborhood theory.
The fourth axiom of a model category states that given a commutative square of maps, say i: A → B, g: B → Y, f: A → X, and p: X → Y such that gi = pf, if i is a cofibration, p a fibration and either i or p is a weak equivalence, then a lifting (i.e. a map h: B → X such that ph = g and hi = f) exists. We show that for many model categories the two conditions that either i or p above is a weak equivalence can be embedded in an infinite number of conditions which imply the existence of a lifting (roughly,...
We characterize strong cohomological dimension of separable metric spaces in terms of extension of mappings. Using this characterization, we discuss the relation between strong cohomological dimension and (ordinal) cohomological dimension and give examples to clarify their gaps. We also show that if X is a separable metric ANR and G is a countable Abelian group. Hence for any separable metric ANR X.
Given a compact manifold , an integer and an exponent , we prove that the class of smooth maps on the cube with values into is dense with respect to the strong topology in the Sobolev space when the homotopy group of order is trivial. We also prove density of maps that are smooth except for a set of dimension , without any restriction on the homotopy group of .
J. Keesling has shown that for connected spaces the natural inclusion of in its Stone-Čech compactification is a shape equivalence if and only if is pseudocompact. This paper establishes the analogous result for strong shape. Moreover, pseudocompact spaces are characterized as spaces which admit compact resolutions, which improves a result of I. Lončar.
Let K be a CW-complex of dimension 3 such that H³(K;ℤ) = 0, and M a closed manifold of dimension 3 with a base point a ∈ M. We study the problem of existence of a map f: K → M which is strongly surjective, i.e. such that MR[f,a] ≠ 0. In particular if M = S¹ × S² we show that there is no f: K → S¹ × S² which is strongly surjective. On the other hand, for M the non-orientable S¹-bundle over S² there exists a complex K and f: K → M such that MR[f,a] ≠ 0.
Let K be a CW-complex of dimension 3 such that H 3(K;ℤ) = 0 and the orbit space of the 3-sphere with respect to the action of the quaternion group Q 8 determined by the inclusion Q 8 ⊆ . Given a point a ∈ , we show that there is no map f:K → which is strongly surjective, i.e., such that MR[f,a]=min(g −1(a))|g ∈ [f] ≠ 0.
Given a model 2-complex K P of a group presentation P, we associate to it an integer matrix ΔP and we prove that a cellular map f: K P → S 2 is root free (is not strongly surjective) if and only if the diophantine linear system ΔP Y = (f) has an integer solution, here (f)is the so-called vector-degree of f