Fundamental Group and Euler Characteristic of Permutation Products and Fat Diagonals
Sadok Kallel, Walid Taamallah

TL;DR
This paper investigates the topology and geometry of permutation products and fat diagonals, providing formulas for their fundamental groups, analyzing stratifications, and exploring conditions under which these subspaces are manifolds.
Contribution
It offers explicit descriptions of fundamental groups of permutation products, analyzes stratifications, and establishes when fat diagonals can be manifolds, advancing understanding of their topological structure.
Findings
Fundamental group of permutation products expressed in terms of π₁(X) and H₁(X;ℤ).
Fundamental group of certain configuration spaces equals H₁(X;ℤ).
Conditions identified for fat diagonals to be manifolds.
Abstract
Permutation products and their various "fat diagonal" subspaces are studied from the topological and geometric point of view. We describe in detail the stabilizer and orbit stratifications related to the permutation action, producing a sharp upper bound for its depth and then paying particular attention to the geometry of the diagonal stratum. We write down an expression for the fundamental group of any permutation product of a connected space having the homotopy type of a CW complex in terms of and . We then prove that the fundamental group of the configuration space of -points on , of which multiplicities do not exceed , coincides with . Further results consist in giving conditions for when fat diagonal subspaces of manifolds can be manifolds again. Various examples and homological calculations are included.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsHomotopy and Cohomology in Algebraic Topology · Advanced Combinatorial Mathematics · Advanced Topics in Algebra
