The Mardešić conjecture for countably compact spaces (Q6156412)

The Mardešić conjecture states that if \(d\) and \(s\) are positive integers and if \(K_i\) is a compact LOTS for each \(i < d\), \(Z_j\) is an infinite Hausdorff space for each \(j < d + s\), and there exists a continuous surjection from \(\prod_{i<d} K_i \) onto \(\prod_{j<d+s} Z_j\), then there exist at least \( (s + 1)\)-many indices \(j < d + s\) such that \(Z_j\) is metrizable. This conjecture which was proved by \textit{G. Martínez-Cervantes} and \textit{G. Plebanek} [Proc. Am. Math. Soc. 147, No. 4, 1763--1772 (2019; Zbl 1412.54038)] is a generalization of a result of \textit{L. B. Treybig} [ibid. 15, 866--871 (1964; Zbl 0124.15702)] which states that if \(X\) and \(Y\) are infinite Hausdorff spaces and \(X\times Y\) is the continuous image of a compact LOTS, then both \(X\) and \(Y\) are metrizable. The paper under review generalizes the above mentioned result of Martínez-Cervantes and Plebanek, by showing the following: If \(d\) and \(s\) are positive integers, \(K_i\) is a compact LOTS for each \(i < d\), \(X\) is a countably compact subspace of \(\prod_{i<d} K_1\), \(Z_j\) is an infinite Hausdorff space for each \(j < d + s\), and there exists a continuous surjection from \(X \) onto \(\prod_{j<d+s} Z_j\), then there exist at least \( (s + 1)\)-many indices \(j < d + s\) such that \(Z_j\) is compact and metrizable.