A counterexample to “An extension of Gregus fixed point theorem”.
We show that every compact connected group is the limit of a continuous inverse sequence, in the category of compact groups, where each successor bonding map is either an epimorphism with finite kernel or the projection from a product by a simple compact Lie group. As an application, we present a proof of an unpublished result of Charles Mills from 1978: every compact group is supercompact.
The main result of this paper is that for n = 3,4,5 and k = n-2, every Borsuk continuous set-valued map of the closed ball in the n-dimensional Euclidean space with values which are one-point sets or sets homeomorphic to the k-sphere has a fixed point. Our approach fails for (k,n) = (1,4). A relevant counterexample (for the homological method, not for the fixed point conjecture) is indicated.