Absolute retract involutions of Hilbert cubes: fixed point sets of infinite codimension (Q1743760)

Let \(Q\) designate a Hilbert cube, \(\alpha:Q\to Q\) an involution, \(Q^\alpha\) the fixed point set of \(\alpha\), and assume that \(Q^\alpha\) has Property \(Z\) in \(Q\) (i.e., \(Q^\alpha\) is a \(Z\)-set in \(Q\)). There are two main results in the paper. Theorem 3.1. Assume that \((Q,\alpha)\) is an absolute retract in the category of metric spaces with involutions and equivariant maps. If \(T\subset Q\) is an equivariant retract of \(Q\) containing \(Q^\alpha\) that is an inequivariant \(Z\)-set in \(Q\), then for any equivariant retraction \(r:Q\to T\), \(Q\) is equivariantly homeomorphic with the mapping cylinder \(M(r;T)\) of \(r\) reduced at \(T\). One may consult Definition 2.9(3) for the notion of the relative mapping cylinder of \(r\) reduced at \(T\). Theorem 3.3. \(Q^\alpha\) is an equivariant strong deformation retract of \(Q\) if and only if \(Q\) is equivariantly homeomorphic with \(Q^\alpha\times \prod_{i\geq1}I_i\) equipped with the involution that reflects each interval coordinate \(I_i\) across its mid-point.