Fixed point classes on symmetric product spaces (Q975235)

The symmetric product space \(SP_nX\) of a topological space is the quotient of \(X^n\) by the action of the symmetric group \(\Sigma_n\). A self-map \(f:X\to X\) then induces a map \(SP_nf:SP_nX\to SP_nX\). The authors explore relations between the fixed point classes of \(SP_nf\) and those of \(f\) and discuss the relation to Nielsen theory. Denote by \(p:\tilde{X}\to X\) the universal covering and let \(\tilde{f}:\tilde{X}\to\tilde{X}\) be a lifting of \(f\). Then \(p(\text{Fix}(\tilde{f}))\) is called the fixed point class of \(f\) determined by \(\tilde{f}\), and the set of fixed point classes of \(f\) is denoted by \(FPC(f)\). There is also a map \(\Pi^nf:X^n\to X^n\) defined by \(\Pi^nf(x_1,\dotsc,x_n)=(fx_1,\dotsc,fx_n)\). For \(\sigma\in\Sigma_n\) we have a homeomorphism \(\sigma^{X^n}:X^n\to X^n\) which sends \((x_1,\dotsc,x_n)\) to \((x_{\sigma(1)},\dotsc,x_{\sigma(n)})\). For any \(\sigma\in\Sigma_n\) we then have a commutative diagram \[ \begin{tikzcd} X^n\rar["(\Pi^nf)\sigma^{X^n}"]\dar["q_n" '] & X^n\dar["q_n"]\\SP_nX\rar["SP_nf" '] & SP_nX\rlap{\,,}\end{tikzcd} \] where \(q_n:X^n\to SP_nX\) is the obvious quotient map. So there is a map \(q_{n,FPC}:FPC\left(\left(\Pi^nf\right)\sigma^X\right)\to FPC(SP_n,f)\). Let \(m_1,\dotsc,m_k\) be natural numbers such that \(\sum_{j=1}^km_j=n\) and let \(F_1,\dotsc,F_k\) be fixed point classes of \(f^{m_1},\dotsc,f^{m_k}\) and \(F\) a fixed point class of \(SP_nf\). Then \(\{F_1,\dotsc,F_k\}\) is said to be a composition of \(F\) if \(F=q_{n,FPC}(F_1,\dotsc,F_k)\). The author proves the following result: Let \(\tilde{f}\) be a lifting of \(f\) and let \(F_j\) be determined by \(\alpha_j\tilde{f}^{m_j}\) for some covering transformation \(\alpha_j\) of \(\tilde{X}\). Then the fixed point class \([F_1,\dotsc,F_k]\) is determined by \(\hat{q}_n(\prod_{j=1}^k(\alpha_j\tilde{f},\Pi^{m_j-1}f))\) for any lifting \(\tilde{q_n}\) of \(q_n\) where \(\hat{q}_n\) denotes the correspondence induced by \(q_n\) from the set of fixed point classes of a self-map on \(X^n\)where \(q_n:X^n\to SP_nX\) is the obvious quotient map.