A \(Z_ p\)-Borsuk-Ulam theorem (Q1826158): Difference between revisions
From MaRDI portal
Created a new Item |
Set profile property. |
||
(One intermediate revision by one other user not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 05:48, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A \(Z_ p\)-Borsuk-Ulam theorem |
scientific article |
Statements
A \(Z_ p\)-Borsuk-Ulam theorem (English)
0 references
1989
0 references
Let \(p=p_ 1^{v_ 1}...p_ s^{v_ s}\) be a prime decomposition of a positive integer p, \(z=(z_ 1,...,z_ n)\in {\mathbb{C}}^ n\); T: \(z\mapsto (e^{im_ 12\pi /p}z_ 1,...,e^{im_ n2\pi /p}z_ n)\), \(\tilde T:\) \(z\mapsto (e^{ik_ 12\pi /p}z_ 1,...,e^{ik_ n2\pi /p}z_ n)\) be cyclic transformations on the complex space \({\mathbb{C}}^ n\). Assume that \(\Omega \subset {\mathbb{C}}^ n\) is a bounded open neighbourhood of \(\theta\) and is invariant under the action T. \(f: {\bar \Omega}\to {\mathbb{C}}^ n\) is called equivariant about \((T,\tilde T)\) if \(f(Tz)=\tilde Tf(z)\). The author proves in the paper: Theorem 1. If f: \({\bar \Omega}\to {\mathbb{C}}^ n\) is equivariant about \((T,\tilde T)\) and \(\theta{\bar \in}f(\partial {\bar \Omega})\), then \[ \deg (f,\Omega,\theta)=\prod^{n}_{j=1}\frac{k_ j}{m_ j}(1+\alpha \cdot \gamma_{MK}(\frac{(M,K)}{K})^ n), \] where \(\alpha\) is an integer depending on f, \(K=\) the smallest common multiple of \(k_ i\), \(M=(m_ 1,...,m_ n)\) (the greatest common factor), \(\gamma_{MK}=p/(p,M,K).\) Theorem 2. \(({\mathbb{Z}}_ p\)-Borsuk-Ulam theorem) Assume f: \(\partial \Omega \to {\mathbb{C}}^ m\) is a continuous mapping. If i) \(f_ h(Tz)=e^{ik_ h2*\pi /p}f_ h(z)\), \(k_ h\neq 0\) are integers, \(1\leq h\leq m\), ii) there is a j (1\(\leq j\leq s)\) such that \(n[t_ j-\min (t_ j,l_ j)]<r_ j-\min (t_ j,l_ j,r_ j)\), iii) \(m<n\), then \(\theta\in f(\partial \Omega)\), where \(K=\tilde K\cdot p_ 1^{t_ 1}...p_ s^{t_ s}\), \((\tilde K,p)=1\), \(M=\tilde M\cdot p_ 1^{t_ 1}...p_ s^{t_ s}\), \((\tilde M,p)=1\).
0 references
equivariant mapping
0 references