Isovariant maps from free \(C_n\)-manifolds to representation spheres (Q929990): Difference between revisions

The paper under review considers the relationship between the existence of \(G\)-isovariant maps from free \(G\)-manifolds to representation spheres and Borsuk-Ulam type inequalities for dimensions of representation spheres, where \(G\) is a finite group. The authors of the paper under review first show the following result. Theorem 1. Let \(G\) be a finite group, and \(M\) an \(m\)-dimensional mod \(| G| \)-homology sphere on which \(G\) acts freely. Let \(W\) be a unitary representation of \(G\), and \(SW\) its \(G\)-representation sphere. If there exists a \(G\)-isovariant map \(f:M\to SW\), then for any subgroup \(H(\not=\{e\})\) of \(G\), the inequality \[ \dim M+1\leq \dim SW-\dim SW^{>1} \] holds, where \(SW^{>1}=\cup_{\{e\}\not=H\leq G}SW^H\), and if \(SW^{>1}=\emptyset\), then \(\dim SW^{>1}=-1\). Then the authors of the paper under review study the converse of Theorem 1 when \(G\) is a finite cyclic group \(C_n\) of order \(n\) and \(M\) is an arcwise connected orientable closed smooth manifold, and obtain \textbf{Theorem 2.} Let \(M\) be an \(m\)-dimensional arcwise connected orientable closed smooth manifold with an orientation preserving free \(C_n\)-action, and \(W\) a faithful unitary representation space of \(C_n\). If the inequality \[ \dim M+1\leq \dim SW-\dim SW^{>1} \] holds, then there exists a \(C_n\)-isovariant map \(f:M\to SW\).