Logo

Mathematical Sciences Research Institute

Home » Workshop » Schedules » Directed homotopy and homology theory, with an eye towards applications

Directed homotopy and homology theory, with an eye towards applications

Women in Topology November 29, 2017 - December 01, 2017

November 30, 2017 (09:45 AM PST - 10:15 AM PST)
Speaker(s): Lisbeth Fajstrup (Aalborg University)
Location: MSRI: Simons Auditorium
Primary Mathematics Subject Classification No Primary AMS MSC
Secondary Mathematics Subject Classification No Secondary AMS MSC
Video
No Video Uploaded
Abstract

Directed spaces, i.e., topological spaces equipped with a “sense of direction” of some sort, arise naturally in applications of topology, in particular in computer science and in neuroscience, where they play an increasingly important role.  It is natural to want to develop appropriate directed versions of familiar homotopy invariants, which turns out to be significantly harder than one might expect. 
For example, it is not clear how to formulate a good definition of “directed” homology, even when restricting to directed spaces built from simplices or cubes. To be of theoretical interest, directed homology should be an invariant of an acceptable notion of weak equivalence of directed spaces and should distinguish between at least some 
 directed spaces with the same underlying undirected space. To be of practical interest for applications, it should also be reasonably computable.

 
Reading List:
  • L. Fajstrup, E. Goubault, E. Haucourt, S. Mimram, M. Raussen, Directed Algebraic Topology and Concurrency, Springer Verlag, 2016. 

  • M. Grandis, Directed Algebraic Topology. Models of Non-reversible worlds. Cam- bridge University Press, 2010.
Available from Grandis’ website
http://www.dima.unige.it/∼ grandis/BkDAT page.html 

  • M. J. Dubut, “Directed homotopy and homology theories of geometric models of true concurrency” (2017 PhD thesis): http://www.lsv.fr/∼dubut/manuscript.pdf 

Supplements No Notes/Supplements Uploaded
Video/Audio Files
No Video Files Uploaded