Pavle V. M. Blagojevic,Aleksandra S. Dimitrijevic Blagojevic,John McCleary
Abstract:In combinatorial problems it is sometimes possible to define a $G$-equivariant mapping from a space $X$ of configurations of a system to a Euclidean space $\mathbb{R}^m$ for which a coincidence of the image of this mapping with an arrangement $\mathcal{A}$ of linear subspaces insures a desired set of linear conditions on a configuration. Borsuk-Ulam type theorems give conditions under which no $G$-equivariant mapping of $X$ to the complement of the arrangement exist. In this paper, precise conditions are presented which lead to such theorems through a spectral sequence argument. We introduce a blow up of an arrangement whose complement has particularly nice cohomology making such arguments possible. Examples are presented that show that these conditions are best possible.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to prove the non - existence of certain equivariant mappings under specific conditions. Specifically, the paper focuses on the existence problem of \(G\)-equivariant mappings from a configuration space \(X\) to the complement \(M_A\) of a linear subspace arrangement. Here, \(G\) is a finite group or a compact Lie group, and \(A\) is a \(G\)-invariant linear subspace arrangement.
### Main contributions of the paper
1. **Generalization of the Borsuk - Ulam - type theorem**:
- By introducing the concept of "blow up", the paper provides a new method to control the algebraic topological properties of the arrangement complement.
- Using the method of spectral sequence, the paper proves that under specific conditions, there is no \(G\)-equivariant mapping from \(X\) to \(M_A\).
2. **Specific conditions**:
- Condition (A): The codimension of all maximal elements in the arrangement \(A\) is less than \(n + 2\).
- Condition (B): For all \(g\in G\) and all maximal elements \(L\), \(g\cdot L = L\).
- Condition (C): The action of \(G\) on the cohomology \(H^*(M_{B(A)}, k)\) of the complement \(M_{B(A)}\) is trivial.
- Condition (D): The map \(H^*(BG, k)\to H^*(EG\times_G M_{B(A)}, k)\) induced by the natural projection \(EG\times_G M_{B(A)}\to BG\) is not an injection.
- Condition (E): For all \(L\in A\), \(L\supseteq (R^m)^G\).
3. **Application examples**:
- The paper shows the specific applications of these theoretical results through the "Antipodal Cheese Problem". This problem can be transformed into finding specific types of partitions such that each pair of antipodal points can get the same part.
### Main theorem
- **Theorem 1**: Suppose \(G\) is a finite group or a compact Lie group, \(k\) is a field, \(X\) is a \(G\)-space, satisfying \(H_i(X, k) = 0\) for \(1\leq i\leq n\), where \(n\geq 2\). Consider the \(G\)-invariant arrangement \(A\) and its \(G\)-invariant expansion \(B(A)\). If the above conditions (A) - (E) are satisfied, then there is no \(G\)-mapping \(X\to M_A\).
### Conclusion
The paper studies the existence problem of equivariant mappings by introducing new algebraic topological tools (such as "blow up" and spectral sequence) and proves the non - existence of such mappings under specific conditions. These results not only extend the classical Borsuk - Ulam theorem but also provide new methods for solving practical problems in combinatorial geometry.