Homotopy groups of diagonal complements

DOI10.2140/AGT.2016.16.2949MaRDI QIDQ341780zbMATH OpenOpenAlexFDO

Authors Sadok Kallel, Ines Saihi

Publication date 17 November 2016

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1306.6272

zbMATH Keywords

colimit diagramconfiguration spacediagonal arrangement

Mathematics Subject Classification ID

Homotopy equivalences in algebraic topology (55P10) Homotopy groups of special spaces (55Q52) Discriminantal varieties and configuration spaces in algebraic topology (55R80)

Abstract: For $X$ a connected finite simplicial complex we consider $Delt{a}^d(X,n)$ the space of configurations of $n$ ordered points of $X$ such that no $d+1$ of them are equal, and $B^d(X,n)$ the analogous space of configurations of unordered points. These reduce to the standard configuration spaces of distinct points when $d=1$. We describe the homotopy groups of $Delt{a}^d(X,n)$ (resp. $B^d(X,n)$) in terms of the homotopy (resp. homology) groups of $X$ through a range which is generally sharp. It is noteworthy that the fundamental group of the configuration space $B^d(X,n)$ abelianizes as soon as we allow points to collide (i.e. $dgeq2$).

Review text

For a space \(X\) and integers \(1\leq d<n\), let \(\Delta_{d+1}(X,n)\) denote the union of the \((d+1)\)-th diagonal arrangement in \(X^n\) given by NEWLINE\[NEWLINE\Delta_{d+1}(X,n)=\{(x_1,\cdots x_n)\in X^n:x_{i_0}=\cdots =x_{i_d}\text{ for some }\{x_{i_k}\}_{k=0}^d\in I_d\},NEWLINE\]NEWLINE where \(\mathbb{N}\) denotes the set of positive integers and \(I_d\subset \mathbb{N}\) denotes the subset of \((d+1)\)-points in \(\mathbb{N}\). Let \(\Delta^d(X,n)\subset X^n\) denote the complement given by \(\Delta^d(X,n)=X^n\setminus \Delta_{d+1}(X)\). The symmetric group \(S_n\) of \(n\)-letters acts on \(X^n\) by coordinate permutation and let \(\mathrm{SP}^d(X)\) be the \(n\)-th symmetric product of \(X\) given by the orbit space \(\mathrm{SP}^n(X)=X^n/S_n\). Since \(\Delta^d(X,n)\) is an \(S_n\)-invariant subspace of \(X^n\), let \(B^d(X,n)\subset \mathrm{SP}^n(X)\) denote the subspace defined by \(B^d(X,n)=\Delta^d(X,n)/S_n\). Note that there are natural filtrations NEWLINE\[NEWLINE\begin{cases} F(X,n)&=\Delta^1(X,n)\subset \Delta^2(X,n)\subset \cdots \subset \Delta^n(X,n)=X^n \\B(X,n)&=B^1(X,n)\subset B^2(X.n)\subset \cdots \subset B^n(X,n) =\mathrm{SP}^n(X)\end{cases}NEWLINE\]NEWLINE where \(F(X,n)\) (resp. \(B(X,n)\)) denotes the ordered (resp. unordered) configuration space of distinct \(n\)-points in \(X\).NEWLINENEWLINEIn this paper, the authors study the inclusion maps \(i_d:\Delta^d(X,n)\to X^n\) and \(j_d:B^d(X,n)\to \mathrm{SP}^n(X)\) and show that these induce an isomorphism on the homotopy groups \(\pi_k(\;)\) for any \(k\leq 2d-2\) if \(X\) is a connected finite simplicial complex that is not a point. They also obtain a similar result for the fundamental group \(\pi_1(B^d(X,n))\).

Recommendations

• Homology groups of simplicial complements
• The homotopy groups of a homotopy group completion
• scientific article; zbMATH DE number 1751650
• Homotopy groups of complements to ample divisors
• scientific article; zbMATH DE number 811923
• Homotopy groups of the combinatorial Grassmannian
• Complete homology and related dimensions of groups
• Higher homotopy groups of complements of complex hyperplane arrangements
• scientific article; zbMATH DE number 5235581
• Homotopy groups and H-maps

Cited in

(13)

• Anyons in geometric models of matter
• Arrangements of symmetric products of spaces
• On Lusternik-Schnirelmann category and topological complexity of non-k-equal manifolds
• The homotopy groups of a homotopy group completion
• Low stages of the Taylor tower for r-immersions
• Configuration spaces of graphs with certain permitted collisions
• The topology of the space of \(J\)-holomorphic maps to \(\mathbb C\mathbb P^2\)
• Rational homotopy of symmetric products and spaces of finite subsets
• Symmetric Joins and Weighted Barycenters
• Models for configuration space in a simplicial complex
• Direct Limits of Diagonal Chains of Type O, U, and Sp, and Their Homotopy Groups
• Introduction to configuration spaces and their applications
• Diagram groups and directed 2-complexes: homotopy and homology.

This page was built for publication: Homotopy groups of diagonal complements

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q341780)