[Paper Review] Chessboard complexes indomitable

S. T. Vrećica, Rade T. Živaljević|arXiv (Cornell University)|Nov 18, 2009

Topological and Geometric Data Analysis18 references4 citations

TL;DR

This paper presents a simplified, degree-theoretic proof of a new Tverberg-type theorem by Blagojević, Ziegler, and Matschke using chessboard complexes and equivariant topology. It establishes a novel constrained Tverberg theorem for $d+3$ points in $\mathbb{R}^d$, including a colored Radon's theorem, and provides a conceptual framework for understanding the role of chessboard complexes in topological combinatorics via Borsuk-Ulam-type results and degree calculations on symmetric group actions.

ABSTRACT

We give an alternative proof of the striking new Tverberg type theorem of Blagojevic and Ziegler, arXiv:0910.4987v1 [math.CO]. Our method also yields some new cases of "constrained Tverberg thereom" in the sense of Hell, including a simple colored Radon's theorem for d+3 points in R^d. This is a final version of the paper with improved presentation, corrected typos and added references.

Motivation & Objective

• To provide a shorter, conceptually simpler proof of the new Tverberg-type theorem by Blagojević, Ziegler, and Matschke using degree-theoretic methods.
• To extend the applicability of chessboard complexes in topological combinatorics by deriving new constrained Tverberg theorems.
• To clarify the role of chessboard complexes and their joins in equivariant topology and Borsuk-Ulam-type problems.
• To establish a new colored Radon’s theorem for $d+3$ points in $\mathbb{R}^d$ as a consequence of the proposed framework.

Proposed method

• Utilizing the chessboard complex $\Delta_{r,r-1}$ as a fundamental object with a free $\mathbb{Z}/r$-action, enabling equivariant topological methods.
• Applying degree theory to equivariant maps from joins of chessboard complexes to spheres, particularly $S(W_r^{\oplus d})$.
• Constructing a canonical $\mathbb{Z}/r$-equivariant map $\xi^{\ast d}$ from $(\Delta_{r,r-1})^{\ast d}$ to $S(W_r^{\oplus d})$ using the map $\xi_{r,r-1}$.
• Establishing the degree of the map $\xi^{\ast d}$ as $[(r-1)!]^d \equiv (-1)^d \mod r$, crucial for contradiction arguments.
• Using the fact that a $\mathbb{Z}/r$-equivariant map from $(\Delta_{r,r-1})^{\ast d} \ast S(V)$ to $S(W_r^{\oplus d} \oplus V)$ must have zero degree under connectivity assumptions, leading to contradiction in Theorem 4.
• Leveraging the orientation character of $[\Delta_{r,r-1}]$ and $[r]^{(r-1)}$ under $S_r$-action to relate topological invariants.

Experimental results

Research questions

• RQ1 Can the Tverberg-type theorem of Blagojević, Ziegler, and Matschke be reproven with a simpler, degree-theoretic approach?
• RQ2 What new constrained Tverberg-type theorems can be derived from the topological structure of chessboard complexes?
• RQ3 How do the homological and equivariant properties of $\Delta_{r,r-1}$ and its joins support Borsuk-Ulam-type results?
• RQ4 What is the role of the symmetric group action and degree invariants in proving non-existence of certain equivariant maps?
• RQ5 Can the framework be extended to vector bundle settings, as in the Tverberg-Vrećica problem?

Key findings

• A new, simpler proof of the Blagojević–Ziegler–Matschke Tverberg-type theorem is achieved using degree-theoretic arguments on chessboard complexes.
• The degree of the canonical $\mathbb{Z}/r$-equivariant map $\xi^{\ast d}$ from $(\Delta_{r,r-1})^{\ast d}$ to $S(W_r^{\oplus d})$ is shown to be $[(r-1)!]^d \equiv (-1)^d \mod r$.
• A new constrained Tverberg theorem is established: for $d+3$ points in $\mathbb{R}^d$, there exists a partition into $d+1$ colored sets with intersecting convex hulls, generalizing Radon’s theorem.
• The existence of a $\mathbb{Z}/r$-equivariant map from $(\Delta_{r,r-1})^{\ast d} \ast S(V)$ to $S(W_r^{\oplus d} \oplus V)$ leads to a contradiction when $X$ is $(\nu-1)$-connected and $S(V)$ is $(\nu-1)$-dimensional, proving Theorem 4.
• The orientation character of $[\Delta_{r,r-1}]$ and $[r]^{(r-1)}$ under $S_r$-action is shown to be the same, confirming topological consistency in the degree computation.
• The paper confirms that the limits of the chessboard complex method in the colored Tverberg problem were not reached, and new results are possible via equivariant degree theory.