Equivariant maps related to the topological Tverberg conjecture

DOI10.4310/HHA.2017.V19.N1.A8MaRDI QIDQ1688694zbMATH OpenWikidataFDO

Authors Samik Basu, Surojit Ghosh

Publication date 11 January 2018

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

equivariant obstruction theoryTverberg's theorem

Mathematics Subject Classification ID

Helly-type theorems and geometric transversal theory (52A35) Equivariant homotopy theory in algebraic topology (55P91) Equivariant operations and obstructions in algebraic topology (55S91)

Abstract: Using equivariant obstruction theory we construct equivariant maps from certain classifying spaces to representation spheres for cyclic groups, product of elementary Abelian groups and dihedral groups. Restricting them to finite skeleta constructs equivariant maps between spaces which are related to the topological Tverberg conjecture. This answers negatively a question of "Ozaydin posed in relation to weaker versions of the same conjecture. Further, it also has consequences for Borsuk-Ulam properties of representations of cyclic and dihedral groups.

Review text

The well-known topological Tverberg conjecture states that for every map \(f\) from the simplex \(\Delta^{(d+1)(n-1)}\) to \(\mathbb{R}^d\), there are \(n\) disjoint faces whose images have a common intersection point. The first proof of the conjecture for \(n\) a prime power was given by \textit{M. Özaydin} [``Equivariant maps for the symmetric group, Preprint, \url{http://digital.library.wisc.edu/1793/63829}]. Let \(N = (d+1)(n-1)\) and \(\Sigma_n\) the permutation group on \(n\) elements. A map violating the topological Tverberg conjecture leads to a \(\Sigma_n\)-equivariant map from the \(n\)-fold deleted join of \(\Delta^N\) to the complement of a diagonal subspace in the \(n\)-fold join of \(\mathbb{R}^d\). After making certain identifications one obtains a \(\Sigma_n\)-equivariant map from the \((N + 1)\)-fold join \(\{1,\dots, n\}^{*(N+1)}\) to \(S(W^d)\), where \(W\) denotes the standard representation of \(\Sigma_n\) and \(S(W^d)\) its representation sphere. In the same work, Özaydin observed that when \(n\) is not a prime, the \(C_n\)-equivariant maps \(\{1,\dots, n\}^{*(N+1)}\) to \(S(\bar{\rho}^d)\) do exist for \(N = (d + 1)(n -1)\), where \(\bar{\rho}\) is the restriction to \(C_n\) of the standard representation \(W\) of \(\Sigma_n\). In view of the recent counterexamples to the topological Tverberg conjecture when \(n\) is not a prime power, it is natural to ask whether a weaker version of the conjecture holds in this case. More precisely, Özaydin asked the following question: For a subgroup \(G < \Sigma_n\), does there exist a \(G\)-equivariant map \(\{1,\dots, n\}^{*(N+1)}\) to \(S(W^d)\) with \(N > (d + 1)(n - 1)\)? The aim of the paper under review is to investigate the preceding question for cyclic groups, products of elementary abelian groups and dihedral groups. The authors prove that such equivariant maps exist in these cases. As applications, they also investigate Borsuk-Ulam properties for cyclic and dihedral groups.

Recommendations

• Equivariant topological complexities
• Equivariant embedding theorems and topological index maps
• Equivariant topology of configuration spaces
• The topological Tverberg theorem and related topics
• scientific article; zbMATH DE number 3927906
• Equivariant Maps for Homology Representations
• Higher equivariant and invariant topological complexities
• Equivariant topological complexity
• Equivariant maps between cohomology spheres
• Otopy classes of equivariant maps

Cited in

(13)

• The topological Tverberg theorem and related topics
• Algebraic topology in India
• The topological Tverberg theorem and winding numbers
• scientific article; zbMATH DE number 3886781 (Why is no real title available?)
• Essential Equivariant Maps and Borsuk-Ulam Theorems
• Equivariant topological complexities
• scientific article; zbMATH DE number 1379251 (Why is no real title available?)
• Equivariant, Almost Homeomorphic Maps between S 1 and S 2
• Average-value Tverberg partitions via finite Fourier analysis
• scientific article; zbMATH DE number 5228240 (Why is no real title available?)
• scientific article; zbMATH DE number 7692843 (Why is no real title available?)
• The index of certain Stiefel manifolds
• Topological horseshoes for Arneodo--Coullet--Tresser maps

This page was built for publication: Equivariant maps related to the topological Tverberg conjecture

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