Cesar A. Ipanaque Zapata,Daciberg L. Gonçalves
Abstract:In this paper, for fibrations $p:E\to B$, $p':E'\to B$ over $B$ and a free involution $\tau:E\to E$ which satisfy the equality $p\circ\tau=p$, we discover a connection between the sectional category of the double covers $q:E\to E/\tau$ and $q^Y:F_{p'}(E',2)\to F_{p'}(E',2)/\mathbb{Z}_2$ from the $2$-ordered fibre-wise configuration space $F_{p'}(E',2)$ to its unordered quotient $ F_{p'}(E',2)/\mathbb{Z}_2$, and the parametrized Borsuk-Ulam property (PBUP) for the triple $\left((p,\tau);p'\right)$. Explicitly, we demonstrate that the triple $\left((p,\tau);p'\right)$ satisfies the PBUP if the sectional category of $q$ is bigger than the sectional category of $q^{p'}$. This property connects a standard problem in parametrized Borsuk-Ulam theory to current research trends in sectional category. As applictions of our results, we explore the PBUP for $E, E'$ one of the following fibrations: trivial fibration, Hopf fibration and the Fadell-Neuwirth fibration.
What problem does this paper attempt to address?
The problem that this paper attempts to solve is to explore the relationship between the parametrized Borsuk - Ulam property (PBUP) and the sectional category in fibrations. Specifically, the author studies the connection between the sectional categories of the double - covering \(q:E \to E/\tau\) and the map \(q_Y:F_{p'}(E',2) \to F_{p'}(E',2)/\mathbb{Z}_2\) from the ordered fiber configuration space to the unordered quotient space, given fibrations \(p:E \to B\) and \(p':E' \to B\), and a free involution \(\tau:E \to E\) such that \(p\circ\tau = p\).
### Main problems
1. **Parametrized Borsuk - Ulam property (PBUP)**: For each map \(f:E \to E'\) such that \(p'\circ f = p\), does there exist a point \(x\in E\) such that \(f(\tau(x)) = f(x)\)?
2. **Sectional category**: Measures the complexity of a fibration, defined as the minimum cardinality of an open cover such that each element of the open cover has a local section.
### Main contributions of the paper
- **Main theorem (Theorem 3.10)**: If the triple \(((p,\tau);p')\) does not satisfy PBUP, or the triple \(((E,\tau);F')\) does not satisfy the classical Borsuk - Ulam property (BUP), then:
\[
\text{secat}(q_E)\leq\text{secat}(q_{p'})
\]
Equivalently, if \(\text{secat}(q_E)>\text{secat}(q_{p'})\), then the triple \(((p,\tau);p')\) satisfies PBUP, and the triple \(((E,\tau);F')\) satisfies BUP.
### Applications
- **Trivial fibrations**: When \(p'\) is a trivial fibration, PBUP is equivalent to the classical BUP.
- **Hopf fibrations and Fadell - Neuwirth fibrations**: The PBUP under these special fibrations is explored, and specific examples and inequality conditions are given.
### Markdown representation of formulas
- Definition of the sectional category:
\[
\text{secat}(p)=\min\left\{k:\exists\text{ open cover }\{U_i\}_{i = 1}^k\text{ of }B\text{ such that each }U_i\text{ admits a local section of }p\right\}
\]
- Condition for PBUP:
\[
\text{secat}(q_E)>\text{secat}(q_{p'})\implies\text{PBUP holds for }((p,\tau);p')
\]
Through these studies, the paper reveals the profound connection between the parametrized Borsuk - Ulam property and the sectional category, and provides new theoretical tools for analyzing and understanding complex topological structures.