Borsuk-Ulam type theorems on Stiefel manifolds (Q2504132)

Let \(V_k(\mathbb {R}^m)\) denote the Stiefel manifold of \(k\)-frames in \(m\)-dimensional Euclidean space. Then any rotation moves a \(k\)-frame to another one. This is a free action of \(O(k)\) on \(V_k(\mathbb R^m)\). Now the subgroup \(\mathbb Z^k_2\) diagonally embedded in \(O(k)\) acts freely on \(V_k(\mathbb R^m)\). The author shows that any equivariant \((\mathbb Z_2)^k\) map \(f: V_k(\mathbb R^m)\to V_k(\mathbb{R}^m)\) must have odd degree. For a complex \(k\)-frame Stiefel manifold \(V_k(\mathbb C^n)\), note that \((\mathbb Z_p)^k\) acts freely where \(p\) is a prime number. Then any continuous equivariant map \(f:V_k(\mathbb C^n)\to V_k(\mathbb C^n)\) has degree not divisible by \(p\). These results are closely related to results of \textit{Y. Hara} [Topology Appl. 148, No. 1--3, 113--121 (2005; Zbl 1064.57038)] who used ideal valued cohomological Index theory introduced by \textit{E. R. Fadell} and \textit{S. Y. Husseini} [Ergodic Theory Dyn. Syst. 8, Charles Conley Memorial Issue, 73--85 (1988; Zbl 0657.55002)]. Hara obtained the following results: (1) If \(f:V_k(\mathbb R^m)\to V_k(\mathbb R^m)\) is an \(O(k)\)-equivariant map, then the degree of \(f\) is odd, and (2) if \(f: V_k(\mathbb C^m)\to V_k(\mathbb C^m)\) then the degree is \(\pm 1\).