Title:Average Value and Barycentric Tverberg-Type Theorems via Finite Harmonic Analysis

Abstract:The famous topological Tverberg conjecture, proven thus far only for prime powers $q$, claims that for any continuous map from the boundary of a $n\geq N:=(q-1)(d+1)$ dimensional simplex to $d$ dimensional Euclidian space, there exist $q$ pairwise disjoint faces whose images have non-empty $q$-fold intersection. Reformulating this problem in terms of finite harmonic analysis, we show that below the tight dimension $N$ there must nonetheless exist collections of $q$ pairwise disjoint faces -- including when $q$ is not a prime power -- which satisfy a variety of "average value" coincidences, the latter obtained as the vanishing of prescribed Fourier transforms.