Non-\((\omega{},\omega{}_ 1)\)-regular ultrafilters and perfect \(k\)- normality of product spaces (Q1198628)

For a cardinal \(\lambda\), the same letter \(\lambda\) denotes the discrete space of cardinality \(\lambda\). For an infinite cardinal \(\lambda\) and a free ultrafilter \(p\) on \(\lambda\), let \(Y_ p\) denote the subspace \(\lambda \cup\{p\}\) of the Čech-Stone compactification of \(\lambda\). A completely regular \(T_ 1\)-space is called perfectly \(\kappa\)-normal if the closure of every open set is a zero-set [\textit{E. V. Shchepin}, Soviet Math. Dokl. 17, 152-155 (1976); translation from Doklady Akad. Nauk SSSR 226, 527-529 (1976; Zbl 0338.54022)]. The author proves: For an uncountable cardinal \(\lambda\) and a countably incomplete, uniform ultrafilter \(p\) on \(\lambda\), the following statements (1)--(3) are equivalent: (1) \(p\) is not \((\omega,\omega_ 1)\)-regular; (2) \(Y_ p\times X\) is perfectly \(\kappa\)-normal for each \(X\), where \(X=\prod_{\alpha<\tau}X_ \alpha\) and each \(X_ \alpha\) is a separable metric space; (3) \(Y_ p\times 2^{\omega_ 1}\) is perfectly \(\kappa\)-normal. The theorem shows that the product of uncountably many \(M_ 1\)-spaces can be perfectly \(\kappa\)-normal even if the tightness of one factor space is uncountable. A perfectly \(\kappa\)- normal space is called a space in the class \(Oz\) independently by \textit{R. L. Blair} [Can. J. Math. 28, 673-690 (1976; Zbl 0359.54009)].