Fixed point homomorphisms for parameterized maps

From MaRDI portal





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.











This page was built for publication: Fixed point homomorphisms for parameterized maps

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q395449)