Bases in the product of homogeneous metric \(ANR\) continua (Q2363296)

In this review, \(G\) denotes a countable principal ideal domain (PID) with unity, \(X\) and \(Y\) denote homogeneous metrizable ANR continua, with \(\mathrm{dim}_G X\geq2\) and \(\mathrm{dim}_GY\geq2\), and \(k=\mathrm{dim}_G X\times Y\). The plan of this paper involves providing an affirmative answer to a version of a question that was raised by \textit{V. Valov} [Fundam. Math. 233, No. 3, 257--270 (2016; Zbl 1347.55002)]. Let us state the main result. \smallskip Theorem 1.1. Under the above assumptions, for each \((x,y)\in X\times Y\), there exist open local bases \(\mathcal{B}_x\) of \(x\) in \(X\) and \(\mathcal{B}_y\) of \(y\) in \(Y\) such that the open local base \(\mathcal{B}_{xy}=\{U\times V\,|\,U\in\mathcal{B}_x, V\in\mathcal{B}_y\}\) of \((x,y)\) in \(X\times Y\) has the properties that for each \(U\) and \(V\): {\parindent=0.7cm\begin{itemize}\item[1.] \(\mathrm{int}(\overline U\times\overline V)= U\times V\), and the complement of \(\mathrm{bd}(U\times V)\) has two components, one of which is \(U\times V\); \item[2.] \(H^{k-1}(\overline U\times\overline V;G)=0\), and \(\overline U\times\overline V\) is a \((k-1)\)-cohomology membrane spanned on \(\mathrm{bd}(U\times V)\) for any nonzero \(\gamma\in H^{k-1}(\mathrm{bd} (U\times V);G)\); \item[3.] \(\mathrm{bd}(U\times V)\) is a \((k-1,G)\)-bubble, and \(H^{k-1}( \mathrm{bd}(U\times V);G)\) is a finitely generated \(G\)-module. \end{itemize}} The particular form of cohomology indicated above is Čech. The three conditions in the conclusion of Theorem 1.1 are parallel to the three conditions appearing in Theorem 1.1 of V. Valov [loc. cit.]. There, one is given only \(X\), and for each \(x\in X\), there is an open local base \(\mathcal{B}_x\) (instead of \(\mathcal{B}_{xy}\)) satisfying (1)-(3) where in place of \(U\), \(V\), one has just \(U\), and \(k\) is replaced by \(n=\mathrm{dim}_G X\).