scholarly journals Orbit spaces of gradient vector fields

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.

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.


2019 ◽  
Vol 21 (1) ◽  
Author(s):  
Andrew Sack

We examine enumerating discrete Morse functions on graphs up to equivalence by gradient vector fields and by restrictions on the codomain.  We give formulae for the number of discrete Morse functions on specific classes of graphs (line, cycle, and bouquet of circles).


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.


2012 ◽  
Vol 54 (3) ◽  
pp. 619-626
Author(s):  
PIOTR BARTŁOMIEJCZYK ◽  
PIOTR NOWAK-PRZYGODZKI

AbstractWe prove that the inclusion of the space of gradient vector fields into the space of all vector fields on D2 non-vanishing in S1 is a homotopy equivalence.


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.


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.


Sign in / Sign up

Export Citation Format

Share Document