On the existence of Borsuk-Ulam theorems (Q1208247): Difference between revisions
From MaRDI portal
Changed an Item |
Set profile property. |
||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank |
Revision as of 03:34, 5 March 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | On the existence of Borsuk-Ulam theorems |
scientific article |
Statements
On the existence of Borsuk-Ulam theorems (English)
0 references
16 May 1993
0 references
Let \(G\) be a finite group or a compact Lie group and let \(V\) and \(W\) be orthogonal representations of \(G\) such that the fixed point space \(W^ G=\emptyset\). Denote their representation spheres by \(SV\) and \(SW\). The author considers a function \(b_ G(n)\) defined by \(b_ G(n)=\min\{\dim W:\text{ there exists a } G\text{-map } SV\to SW\text{ with }\dim V\geq n\}\). Thus the existence of an equivariant map \(SV\to SW\) implies \(\dim W\geq b_ G(\dim V)\), and the classical Borsuk-Ulam theorem can be stated as \(b_{Z/2}(n)\geq n\). The author proves the following two results: 1) For a finite \(G\) the conditions (a) \(\lim_{n\to\infty}b_ G(n)=\infty\); (b) if there exists a \(G\)-map \(SV\to SW\) with \(\dim V=\infty\) then \(\dim W=\infty\); (c) if there exists a \(G\)-map \(SV\to SW\) with \(W\subset V\) then \(W=V\); (d) \(G\) is a \(p\)-group; are equivalent. 2) For a compact Lie group \(G\) the statement (a) implies (b), (c) and (d') there exists an extension \(1\to(S^ 1)^ k\to G\to (p\text{- group})\to 1\) and the last three conditions are equivalent. These generalize the lower bound theorem: if there exists \(Z/p^ k\)-map \(SV\to SW\) with \(W^{Z/p}=0\) \((p:\) prime) then \(\dim W\geq(\dim V)p^{k- 1}\), which was obtained by the author. The proof requires some elaborate informations of finite group theory and transformation theory. Finally he computes \(b_ G(n)\) for \(G=Z/4\).
0 references
Burnside rings
0 references
orthogonal representations
0 references
fixed point space
0 references
equivariant map
0 references
Borsuk-Ulam theorem
0 references