The existence of $S^1\times C_p$-maps between representation spheres and its applications

Ikumitsu Nagasaki

2024-10-10

Abstract:We show the existence of $S^1\times C_p$-maps between certain representation spheres. As an application, we show that, in the family of abelian compact Lie groups, a group $G$ has the weak Borsuk-Ulam property (in the sense of Bartsch) if and only if $G$ is either a finite abelian $p$-group or a $k$-torus.

Algebraic Topology

What problem does this paper attempt to address?

The problem that this paper attempts to solve is to determine which compact Lie groups have the weak Borsuk - Ulam property. Specifically, the author studies the existence of \(S^1\times C_p\) - maps between specific representation spheres and uses these maps to explore which groups in abelian compact Lie groups have the weak Borsuk - Ulam property.

### Main contributions

1. **Existence results**:
- It is proved that for any prime number \(p\), the group \(S^1\times C_p\) does not have the weak Borsuk - Ulam property.
- Specifically, for any integer \(n\geq1\), there exists a \(G\)-map \(f_n: S(V_n)\to S(W_m)\), where \(m\geq n\).

2. **Corollaries**:
- In the family of abelian compact Lie groups, a group \(G\) has the weak Borsuk - Ulam property if and only if \(G\) is a finite abelian \(p\)-group or a \(k\)-torus.

### Background and statement of results

- **Definitions**:
- Let \(V\) be an orthogonal representation of a compact Lie group \(G\), and \(S(V)\) be the representation sphere of \(V\). Assume that the representation sphere is \(G\)-fixed - point - free.
- The Borsuk - Ulam theorem states that if \(G\) is an elementary abelian \(p\)-group \(C_p^k\) or a \(k\)-torus \(T_k\), then when there exists a \(G\)-map \(f: S(V)\to S(W)\), \(\dim V\leq\dim W\).
- A compact Lie group \(G\) has the Borsuk - Ulam property if the Borsuk - Ulam theorem holds for \(G\).
- \(G\) has the weak Borsuk - Ulam property if the Borsuk - Ulam function \(b_G:\mathbb{N}\to\mathbb{N}\) is not bounded, that is, \(\lim_{n\to\infty}b_G(n)=\infty\).

- **Known results**:
- Except for \(C_p^k\) and \(T_k\), other compact Lie groups do not have the Borsuk - Ulam property.
- Bartsch proved that if \(G\) has the weak Borsuk - Ulam property, then \(G\) is a \(p\)-torus group, that is, \(G\) has an extension \(1\to T_k\to G\to P\to1\), where \(P\) is a finite \(p\)-group.
- If \(G\) is a finite \(p\)-group, then \(G\) has the weak Borsuk - Ulam property.

### Main theorems

- **Theorem 1.1**:
- For any prime number \(p\), the group \(S^1\times C_p\) does not have the weak Borsuk - Ulam property.

- **Corollary 1.2**:
- In the family of abelian compact Lie groups, a group \(G\) has the weak Borsuk - Ulam property if and only if \(G\) is a finite abelian \(p\)-group or a \(k\)-torus.

### Proof methods

- **Constructing \(G\)-maps**:
- Construct \(G\)-maps \(f_n: S(V_n)\to S(W_m)\) by induction.
- Use homotopy theory and obstruction theory to prove the existence of these maps.

### Conclusions and remarks

- **Proof of Corollary 1.2**:
- The necessary condition has been proved in reference [1].
- If \(G\) is an abelian compact Lie group and is not \(C_p^k\) or \(T_k\), then there exists a closed subgroup \(H\) such that \(G/H\cong S^1\times C_p\). By lifting \(f_n\), we can obtain a \(G\)-map