2026/08/04 by Steven Simon
Mathematics · #math.CO #math.AT #msc:52a35 #msc:52a30 #msc:55S91
20 pages
arxiv created 2026/08/04 · arxiv updated 2026/08/05
The topological Tverberg theorem asserts that if r is a prime power then for any continuous map f\colon Δ(r-1)(d+1)→ ℝd from the (r-1)(d+1)-dimensional simplex Δ(r-1)(d+1) to ℝd there exist r pairwise disjoint faces of the simplex whose images have non-empty r-fold intersection. By refinement, the same conclusion holds if the simplex is replaced by any polytope of the same dimension. While this dimension is tight for simplices, recent work of Soberón and Zerbib shows that this need not be true for polytopes in general. Here we give topological Tverberg theorems for products of simplices. Each of these improves upon the (r-1)(d+1)-dimensional threshold, even while imposing the structural condition that the ``Tverberg faces'' of the product are themselves the products of pairwise disjoint faces from each simplex factor. As before, refinement extends these results, and in particular their dimensional improvements, to products of arbitrary polytopes. As an example, if d+1 is a power of two then whenever m≥ n≥ d+1 and m+n=3d+2 we show that any continuous map f\colon Δm× Δn→ ℝd admits disjoint faces σ1,σ2 of Δm and τ1,τ2 of Δn such that ∩i,j∈[2] f(σi×τj)≠ ∅. In the case of multilinear maps, our results imply partitions of grid-indexed point sets in ℝd by specialized subsets with stronger intersection conclusions than given by Tverberg's original theorem. Lastly, we extend our results to van Kampen--Flores type theorems which impose dimensional restrictions on the faces of each product factor.