scholarly journals A weak homotopy equivalence type result related to Kirchberg algebras

Author(s):  
Masaki Izumi ◽  
Hiroki Matui
2018 ◽  
Vol 62 (2) ◽  
pp. 553-558
Author(s):  
Jonathan Ariel Barmak

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.


Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes

This chapter deals with simple maps of finite simplicial sets, along with some of their formal properties. It begins with a discussion of simple maps of simplicial sets, presenting a proposition for the conditions that qualify a map of finite simplicial sets as a simple map. In particular, it considers a simple map as a weak homotopy equivalence. Weak homotopy equivalences have the 2-out-of-3 property, which combines the composition, right cancellation and left cancellation properties. The chapter proceeds by defining some relevant terms, such as Euclidean neighborhood retract, absolute neighborhood retract, Čech homotopy type, and degeneracy operator. It also describes normal subdivision of simplicial sets, geometric realization and subdivision, the reduced mapping cylinder, how to make simplicial sets non-singular, and the approximate lifting property.


Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes

This chapter deals with the stable parametrized h-cobordism theorem. It begins with a discussion of the manifold part; here DIFF is written for the category of Csuperscript infinity smooth manifolds, PL for the category of piecewise-linear manifolds, and TOP for the category of topological manifolds. CAT is generically written for any one of these geometric categories. Relevant terms such as stabilization map, simple map, pullback map, PL Serre fibrations, weak homotopy equivalence, PL Whitehead space, and cofibration are also defined. The chapter proceeds by describing the non-manifold part, the algebraic K-theory of spaces, and the relevance of simple maps to the study of PL homeomorphisms of manifolds.


2012 ◽  
Vol 33 (6) ◽  
pp. 1732-1747 ◽  
Author(s):  
JACK S. CALCUT ◽  
ROBERT E. GOMPF

AbstractWe study orbit spaces of generalized gradient vector fields for Morse functions. Typically, these orbit spaces are non-Hausdorff. Nevertheless, they are quite structured topologically and are amenable to study. We show that these orbit spaces are locally contractible. We also show that the quotient map associated to each such orbit space is a weak homotopy equivalence and has the path lifting property.


2020 ◽  
Vol 13 (2) ◽  
pp. 68-108
Author(s):  
Олександра Олександрівна Хохлюк ◽  
Sergiy Ivanovych Maksymenko

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.


2006 ◽  
Vol 08 (06) ◽  
pp. 763-821 ◽  
Author(s):  
WEIMIN CHEN

This is the second of a series of papers which is devoted to a comprehensive theory of maps between orbifolds. In this paper, we develop a basic machinery for studying homotopy classes of such maps. It contains two parts: (1) the construction of a set of algebraic invariants — the homotopy groups, and (2) an analog of CW-complex theory. As a corollary of this machinery, the classical Whitehead theorem (which asserts that a weak homotopy equivalence is a homotopy equivalence) is extended to the orbifold category.


Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes

Since its introduction by the author in the 1970s, the algebraic K-theory of spaces has been recognized as the main tool for studying parametrized phenomena in the theory of manifolds. However, a full proof of the equivalence relating the two areas has not appeared until now. This book presents such a proof, essentially completing the author's program from more than thirty years ago. The main result is a stable parametrized h-cobordism theorem, derived from a homotopy equivalence between a space of PL h-cobordisms on a space X and the classifying space of a category of simple maps of spaces having X as deformation retract. The smooth and topological results then follow by smoothing and triangulation theory. The proof has two main parts. The essence of the first part is a “desingularization,” improving arbitrary finite simplicial sets to polyhedra. The second part compares polyhedra with PL manifolds by a thickening procedure. Many of the techniques and results developed should be useful in other connections.


Author(s):  
Dusa McDuff ◽  
Dietmar Salamon

This chapter examines various ways to construct symplectic manifolds and submanifolds. It begins by studying blowing up and down in both the complex and the symplectic contexts. The next section is devoted to a discussion of fibre connected sums and describes Gompf’s construction of symplectic four-manifolds with arbitrary fundamental group. The chapter also contains an exposition of Gromov’s telescope construction, which shows that for open manifolds the h-principle rules and the inclusion of the space of symplectic forms into the space of nondegenerate 2-forms is a homotopy equivalence. The final section outlines Donaldson’s construction of codimension two symplectic submanifolds and explains the associated decompositions of the ambient manifold.


Sign in / Sign up

Export Citation Format

Share Document