{"id":"arxiv/2609.11454","url":"https://arxiv.org/abs/2609.11454","tags":["math.AT","math.GN"],"score":0,"title":"The homotopy types of directed path and trace spaces","domain":"math.AT","source":"arxiv","authors":["Philippe Gaucher"],"reviews":0,"subject":"math.AT","summary":"We construct a saturated directed space with a Hausdorff $Δ$-generated underlying space and two distinct points such that the trace space between them is homeomorphic to a square, whereas the directed path space has a nontrivial fundamental group. In particular, the canonical quotient map is not a weak homotopy equivalence. The same conclusion holds for regular directed paths modulo increasing homeomorphisms.","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-09-10","reactions":{}}