scholarly journals ON A NOTION OF MAPS BETWEEN ORBIFOLDS II: HOMOTOPY AND CW-COMPLEX

2006 ◽  
Vol 08 (06) ◽  
pp. 763-821 ◽  
Author(s):  
WEIMIN CHEN
Keyword(s):  
Homotopy Groups ◽  
Homotopy Equivalence ◽  
Homotopy Classes ◽  
Complex Theory ◽  
Comprehensive Theory ◽  
Cw Complex ◽  
Algebraic Invariants ◽  
Weak Homotopy ◽  
Weak Homotopy Equivalence

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.

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.

Rational Equivalence of Fibrations with Fibre G/K

1982 ◽  
Vol 34 (1) ◽  
pp. 31-43 ◽  
Author(s):  
Stephen Halperin ◽  
Jean Claude Thomas
Keyword(s):  
Finite Type ◽  
Homotopy Type ◽  
Lie Group ◽  
The Other ◽  
Homotopy Groups ◽  
Homotopy Equivalence ◽  
Rational Homotopy ◽  
Algebraic Invariants ◽  
Associated Bundles ◽  
Connected Lie Group

Let be two Serre fibrations with same base and fibre in which all the spaces have the homotopy type of simple CW complexes of finite type. We say they are rationally homotopically equivalent if there is a homotopy equivalence between the localizations at Q which covers the identity map of BQ.Such an equivalence implies, of course, an isomorphism of cohomology algebras (over Q) and of rational homotopy groups; on the other hand isomorphisms of these classical algebraic invariants are usually (by far) insufficient to establish the existence of a rational homotopy equivalence.Nonetheless, as we shall show in this note, for certain fibrations rational homotopy equivalence is in fact implied by the existence of an isomorphism of cohomology algebras. While these fibrations are rare inside the class of all fibrations, they do include principal bundles with structure groups a connected Lie group G as well as many associated bundles with fibre G/K.

On simple maps

2013 ◽  
Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes
Keyword(s):  
Homotopy Type ◽  
Geometric Realization ◽  
Homotopy Equivalence ◽  
Mapping Cylinder ◽  
Simplicial Sets ◽  
Weak Homotopy ◽  
Formal Properties ◽  
Weak Homotopy Equivalence

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.

The stable parametrized h-cobordism theorem

2013 ◽  
Author(s):  
Friedhelm Waldhausen ◽  
Bjørn Jahren ◽  
John Rognes
Keyword(s):  
Piecewise Linear ◽  
Homotopy Equivalence ◽  
Smooth Manifolds ◽  
Weak Homotopy ◽  
Topological Manifolds ◽  
Weak Homotopy Equivalence

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.

scholarly journals Orbit spaces of gradient vector fields

2012 ◽  
Vol 33 (6) ◽  
pp. 1732-1747 ◽  
Author(s):  
JACK S. CALCUT ◽  
ROBERT E. GOMPF
Keyword(s):  
Vector Fields ◽  
Orbit Space ◽  
Homotopy Equivalence ◽  
Gradient Vector ◽  
Generalized Gradient ◽  
Orbit Spaces ◽  
Morse Functions ◽  
Weak Homotopy ◽  
Weak Homotopy Equivalence

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.

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.

Homotopy Classes of Maps and the Homotopy Groups

2007 ◽  
pp. 65-74
Author(s):  
D. Husemöller ◽  
M. Joachim ◽  
B. Jurčo ◽  
M. Schottenloher
Keyword(s):  
Homotopy Groups ◽  
Homotopy Classes
Sign in / Sign up

Export Citation Format

Share Document