On nonsymmetric theorems for coincidence of multi-valued map (Q6171190)
From MaRDI portal
scientific article; zbMATH DE number 7713373
Language | Label | Description | Also known as |
---|---|---|---|
English | On nonsymmetric theorems for coincidence of multi-valued map |
scientific article; zbMATH DE number 7713373 |
Statements
On nonsymmetric theorems for coincidence of multi-valued map (English)
0 references
17 July 2023
0 references
Let \(M\) be a connected manifold of dimension \(m\) and let \(N\) be a connected and closed topological manifold of dimension \(n\). Suppose \(N\) is equipped with a free action of the cyclic group \(\mathbb{Z}_p\) generated by a periodic homeomorphism \(T:N \to N\) of period \(p\), where \(p\) is a prime. In addition, for \(p>2\), suppose that the topological manifolds \(M\) and \(N\) are orientable. Consider two mappings \(g:X \to M\) and \(h:X \to N\) where \(X\) is a compact Hausdorff space and suppose \(N\) has the homology groups of an \(n\)-sphere, with \(n>m(p-1)\). In this work the authors prove that if the homomorphism \(h^{*}:H^{n}(N)\to H^{n}(X)\) is non trivial and \(F:X \multimap M\) is an acyclic multi-valued map, then \(in(A(f,h)) \geq n-m(p-1)\), where \[ A(f,h)=\left\{ (x_1,\ldots , x_p)\in X^{p} \mbox{ such that } h(x_{i+1})=T^{i}h(x_1), \bigcap_{i=1}^{p}F(x_i)\neq \emptyset \right\}. \] Consequently, \(\mbox{cohom.dim}A(F,h)\geq n-m(p-1)\). Furthermore, the authors define the set \(A_{\phi}(F,H,G)\) of \((H,G)\)-coincidence points of a multi-valued \(F:X \multimap Y\) relative to an essential map \(\phi:X\to \mathbb{S}^{n}\) and prove that if \(X\) is a compact Hausdorff space, \(Y\) is a \(k\)-dimensional CW-complex, \(\phi:X\to \mathbb{S}^{n}\) is an essential map, \(G\) is a finite group which acts freely on \(\mathbb{S}^{n}\), \(H\) is a normal cyclic subgroup of prime order and \(F:X \multimap Y\) is an acyclic multi-valued map such that \(q^{*}:H^{i}(Y)\to H^{i}(\Gamma_{F})\) is trivial for \(i\geq 1\), then \(\mbox{cohom.dim}A_{\phi}(F,H,G)\geq n-|G|k\), where \(\Gamma_{F}=\left\{(x,u)\in X\times Y \mbox{ such that } u\in F(x) \right\}\) and \(q:\Gamma_{F}\to Y\) is given by \(q(x,u)=u\).
0 references
multi-valued map
0 references
coincidence point
0 references
\((H, G)\)-coincidence
0 references
0 references