We study the space of all configurations of ordered points on the circle such that no three points coincide, and in which one of the points (say, the last one) is fixed. We compute its fundamental group for and describe its homology for . For arbitrary , we compute its first homology and its Euler characteristic. We use three geometric approaches. On one hand, is naturally defined as the complement to an arrangement of codimension-2 subtori in a real torus. On the other hand, is homotopy equivalent to an explicit nonpositively curved cubical complex. Finally, can also be assembled from no-3-equal manifolds of the real line. We also observe that, up to homotopy, may be identified with a subspace of the oriented double cover of the moduli space of stable real rational curves with marked points. This gives an embedding of into the pure cactus group. As a corollary, we see that is residually nilpotent.

生成讲解博客的中文版本

生成AI智能校验的中文版本