A Counterexample to a Conjecture of D. B. Fuks

1970 ◽  
Vol 13 (2) ◽  
pp. 261-266
Author(s):  
Luc Demers
Keyword(s):  
Homotopy Types ◽  
Weak Homotopy

In [3] D. B. Fuks defined a duality of functors in the category of weak homotopy types. In general this duality is more difficult to work with than the duality of functors of the category of pointed Kelley spaces [2]. It happens however that all so-called strong functors [2] F of induce functors of , and if we denote the duality operators of and by and D respectively, then there are many cases where .

scholarly journals Smooth approximations and their applications to homotopy types

2020 ◽  
Vol 13 (2) ◽  
pp. 68-108
Author(s):  
Олександра Олександрівна Хохлюк ◽  
Sergiy Ivanovych Maksymenko
Keyword(s):  
Compact Manifold ◽  
Homotopy Equivalence ◽  
Smooth Manifolds ◽  
Homotopy Types ◽  
Weak Homotopy ◽  
Smooth Approximations ◽  
Weak Homotopy Equivalence

Let $M, N$ the be smooth manifolds, $\mathcal{C}^{r}(M,N)$ the space of ${C}^{r}$ maps endowed with the corresponding weak Whitney topology, and $\mathcal{B} \subset \mathcal{C}^{r}(M,N)$ an open subset.It is proved that for $0<r<s\leq\infty$ the inclusion $\mathcal{B} \cap \mathcal{C}^{s}(M,N) \subset \mathcal{B}$ is a weak homotopy equivalence.It is also established a parametrized variant of such a result.In particular, it is shown that for a compact manifold $M$, the inclusion of the space of $\mathcal{C}^{s}$ isotopies $\eta:[0,1]\times M \to M$ fixed near $\{0,1\}\times M$ into the space of loops $\Omega(\mathcal{D}^{r}(M), \mathrm{id}_{M})$ of the group of $\mathcal{C}^{r}$ diffeomorphisms of $M$ at $\mathrm{id}_{M}$ is a weak homotopy equivalence.

scholarly journals Spaces which Invert Weak Homotopy Equivalences

2018 ◽  
Vol 62 (2) ◽  
pp. 553-558
Author(s):  
Jonathan Ariel Barmak
Keyword(s):  
Empty Space ◽  
Weak Equivalence ◽  
Homotopy Equivalence ◽  
Homotopy Classes ◽  
Cw Complex ◽  
Cw Complexes ◽  
Weak Homotopy ◽  
Weak Homotopy Equivalence

AbstractIt is well known that if X is a CW-complex, then for every weak homotopy equivalence f : A → B, the map f* : [X, A] → [X, B] induced in homotopy classes is a bijection. In fact, up to homotopy equivalence, only CW-complexes have that property. Now, for which spaces X is f* : [B, X] → [A, X] a bijection for every weak equivalence f? This question was considered by J. Strom and T. Goodwillie. In this note we prove that a non-empty space inverts weak equivalences if and only if it is contractible.

scholarly journals Extreme nonuniqueness of end-sum

2020 ◽  
pp. 1-43
Author(s):  
Jack S. Calcut ◽  
Craig R. Guilbault ◽  
Patrick V. Haggerty
Keyword(s):  
Abelian Groups ◽  
Cohomology Algebra ◽  
Homotopy Types ◽  
Proper Homotopy ◽  
Open Formula

We give explicit examples of pairs of one-ended, open [Formula: see text]-manifolds whose end-sums yield uncountably many manifolds with distinct proper homotopy types. This answers strongly in the affirmative a conjecture of Siebenmann regarding nonuniqueness of end-sums. In addition to the construction of these examples, we provide a detailed discussion of the tools used to distinguish them; most importantly, the end-cohomology algebra. Key to our Main Theorem is an understanding of this algebra for an end-sum in terms of the algebras of summands together with ray-fundamental classes determined by the rays used to perform the end-sum. Differing ray-fundamental classes allow us to distinguish the various examples, but only through the subtle theory of infinitely generated abelian groups. An appendix is included which contains the necessary background from that area.

scholarly journals Strong Homotopy Types, Nerves and Collapses

2011 ◽  
Vol 47 (2) ◽  
pp. 301-328 ◽  
Author(s):  
Jonathan Ariel Barmak ◽  
Elias Gabriel Minian
Keyword(s):  
Homotopy Types
Sign in / Sign up

Export Citation Format

Share Document