arXiv++ Combinatorics

The Topological Tverberg Theorem claims that any continuous map of a (q-1)(d+1)-simplex to \R^d identifies points from q disjoint faces. (This has been proved for affine maps, for d=1, and if q is a prime power, but not yet in general.) The Topological Tverberg Theorem can be restricted to maps of the d-skeleton of the simplex. We further show that it is equivalent to a ``Winding Number Conjecture'' that concerns only maps of the (d-1)-skeleton of a (q-1)(d+1)-simplex to \R^d. ``Many Tverberg partitions'' arise if and only if there are ``many q-winding partitions.'' The d=2 case of the Winding Number Conjecture is a problem about drawings of the complete graphs K_{3q-2} in the plane. We investigate graphs that are minimal with respect to the winding number condition.

We introduce a new ``Winding Number Conjecture'' about maps from the $(d-1)$-skeleton of the $((d+1)(q-1))$-simplex into $\real^d$. This conjecture is equivalent to the Topological Tverberg Theorem. Furthermore, many statements about the Topological Tverberg Theorem transfer to the Winding Number Conjecture, for example all currently proven cases of the Topological Tverberg Theorem as well as Sierksma's conjecture about the number of Tverberg partitions. In the case $d=2$, the Winding Number Conjecture is a statement about complete graphs: It claims that in every image of $K_{3(q-1)+1}$ in the plane either $q-1$ triangles wind around one vertex or $q-2$ triangles wind around the intersection of two edges, where the triangles, edges and vertices are disjoint. We examine which other graphs have this property and find the minimal subgraph of $K_7$ having this property.