Plus minus analogues for affine Tverberg type results (Q2197697): Difference between revisions

For a face \(\mu\) of a simplex \(\Delta\), denote by \(\mu^{\prime}\) the complementary face of \(\Delta\). The Tverberg plus minus theorem is due to \textit{I. Bárány} and \textit{P. Soberón} [Discrete Comput. Geom. 60, No. 3, 588--598 (2018; Zbl 1401.52014)] and it has the following enounce: Let \(d \geq 1\), \(r \geq 2\) be integers, \(N = (r - 1)(d + 1)\) and let \(a\) be an affine map of the \(N\)-dimensional simplex \(\Delta_N\) into the Euclidean space \(\mathbb{R}^d\). Furthermore, let \(\mu\) be a face of \(\Delta_N\) of dimension at most \(r - 2\) with \(a(\mu) \cap a(\mu^{\prime}) = \emptyset\). Then there exist \(r\) pairwise disjoint proper faces \(\sigma_1, \dots, \sigma_r\) of \(\Delta_N\) and there exists a point \(b \in \operatorname{aff}(a(\sigma_1)) \cap \dots \cap \operatorname{aff}(a(\sigma_r))\) such that for its \(r\) affine representations: \[ b = \sum_{v \in \operatorname{vert} \sigma_i} \alpha_v a(v), \sum_{v \in \operatorname{vert} \sigma_i} \alpha_v = 1, \; i = 1, \dots, r \] the following implications hold: \[ v \in \operatorname{vert} \mu \Longrightarrow a(v)\leq 0\; \text{ and } v \in \operatorname{vert} \mu^{\prime} \Longrightarrow a(v)\geq 0. \] Using an appropriate projective transformation, the authors show that the Tverberg plus minus theorem is a corollary of the classical Tverberg theorem. The new proof allows to directly derive plus minus analogues of other known affine Tverberg type results.