On directed homotopy equivalences and a notion of directed topological complexity

This short note introduces a notion of directed homotopy equivalence and of "directed" topological complexity (which elaborates on the notion that can be found in e.g. Farber's book) which have a number of desirable joint properties. In particular, being dihomotopically equivalent implies having bisimilar natural homologies (defined in Dubut et al. 2015). Also, under mild conditions, directed topological complexity is an invariant of our directed homotopy equivalence and having a directed topological complexity equal to one is (under these conditions) equivalent to being dihomotopy equivalent to a point (i.e., to being "dicontractible", as in the undirected case). It still remains to compare this notion with the notion introduced in Dubut et al. 2016, which has lots of good properties as well. For now, it seems that for reasonable spaces, this new proposal of directed homotopy equivalence identifies more spaces than the one of Dubut et al. 2016.

[1]  Julia E. Bergner.  A model category structure on the category of simplicial categories , 2004 .

[2]  Michael Farber,et al.  Invitation to Topological Robotics , 2008, Zurich Lectures in Advanced Mathematics.

[3]  Victor Chepoi,et al.  Graphs of Some CAT(0) Complexes , 2000, Adv. Appl. Math..

[4]  Eric Goubault,et al.  Components of the Fundamental Category , 2004, Appl. Categorical Struct..

[5]  Timothy Porter,et al.  Enriched categories and models for spaces of evolving states , 2008, Theor. Comput. Sci..

[6]  MARIAN MROZEK.  Conley–Morse–Forman Theory for Combinatorial Multivector Fields on Lefschetz Complexes , 2017, Found. Comput. Math..

[7]  Jean Goubault-Larrecq,et al.  Directed Homology Theories and Eilenberg-Steenrod Axioms , 2017, Appl. Categorical Struct..

[8]  Glynn Winskel,et al.  Models for Concurrency: Towards a Classification , 1996, Theor. Comput. Sci..

[9]  Jean Goubault-Larrecq,et al.  The Directed Homotopy Hypothesis , 2016, CSL.

[10]  Victor Chepoi.  Nice Labeling Problem for Event Structures: A Counterexample , 2012, SIAM J. Comput..

[11]  M. Grandis.  Directed Algebraic Topology: Models of Non-Reversible Worlds , 2009 .

[12]  Eric Goubault,et al.  Components of the Fundamental Category II , 2007, Appl. Categorical Struct..

[13]  Eric Goubault,et al.  Directed Homotopy in Non-Positively Curved Spaces , 2019, Log. Methods Comput. Sci..

[14]  Jean Goubault-Larrecq,et al.  Natural Homology , 2015, ICALP.

[15]  Seth Sullivant,et al.  Geodesics in CAT(0) Cubical Complexes , 2011, Adv. Appl. Math..