A Borsuk--Ulam theorem for ( Z_p)^k-actions on products of (mod\,p) homology spheres

From MaRDI portal
Publication:864464



Abstract: It is proved that for a product action of (mathbbZp)k on a product of (mod p) homology spheres Nn1imes...imesNnk, where all ni's are assumed to be odd if p is odd, and any continuous map fcolonNn1imes...imesNnkomathbbRm the set A(f)=xinNn1imes...imesNnk|f(x)=f(gx)forallgin(mathbbZp)k has dimension at least n1+...+nk−m(pk−1), provided nigempi−1(p−1) for all i(1leilek). Moreover, if nigempk−1(p−1) for all i(1leilek) then the free action mu can be assumed arbitrary.


Let \(p\) be a prime number and \(f:N^{n_1}\times\dots\times N^{n_k}\to \mathbb R^m\) be a continuous map defined on the product of (mod\,\(p\)) homology \(n_i\)-spheres \(N^{n_i}\) where \(n_i\) is odd if \(p\) is odd. It is proved that for the product of free actions of \(\mathbb Z_p\) on the spaces \(N^{n_i}\) the coincidence set \(A(f)=\{x\in N^{n_1}\times\dots\times N^{n_k}:\forall g\in (\mathbb Z_p)^k\;\;f(x)=f(gx)\}\) has dimension at least \(n_1+\dots+ n_k-m(p^k-1)\), provided \(n_i\geq m p^{i-1}(p-1)\) for all \(i\leq k\).











This page was built for publication: A Borsuk--Ulam theorem for \((\mathbb Z_p)^k\)-actions on products of \((\text{mod}\,p)\) homology spheres

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q864464)