Fixed point homomorphisms for parameterized maps (Q395449)

Let \(X\) be an ANR and \(\Lambda\) (the parameter space) a finite dimensional manifold orientable over a commutative ring with unit \(R\). Call \(k:=\dim\Lambda\). Fix an \(R\)-orientation \(\eta\) for \(\Lambda\) and consider a continuous locally compact map \(f:D\to X\) where \(D\subset X\times\Lambda\) is open. Let \(\text{Fix}(f):=\{(x,\lambda)\in D|\, f(x,\lambda)=x\}\) and consider a pair of open subsets \((U,V)\) of \(X\times\Lambda\) such that \(K:=\text{Fix}(F)\cap(U\setminus V)\) is compact. With these data the author constructs a homomorphism \(\Sigma:H^k(U,V)\to R\) which generalizes the fixed point index (in case \(\Lambda =\text{pt}\)). The main step in the construction is the case \(X=\mathbb{R}^n\). Denote by \(j\) the projection \(X\times\Lambda\) onto the first factor, choose a generator \(o^n\in H_n(\mathbb{R}^n,\mathbb{R}^n\setminus\{0\})\) (defining the orientation \(o\)) and let \(s^n\in H^n(\mathbb{R}^n,\mathbb{R}^n\setminus\{0\})\) be the dual generator. One may assume that \(U\subset D\). Then \(\Sigma\) is defined via \(H^k(U,V) @> (o\times\eta)_K >> H_n(U,U\setminus\text{Fix}(f)) @> (j-f)_* >> H_n(\mathbb{R}^n,\mathbb{R}^n\setminus\{0\}) @ > {\left<s^n,\cdot\right>}>> R\). The fixed point homomorphism then satisfies the expected properties (when properly translated into the parametrized context). The author then repeats the stepwise extension via the case of infinite dimensional normed spaces and ANR.