Characters of ultrafilters and tightness of products of fans (Q886303)

A coreflective class of topological spaces is one which contains a non-void space and is closed under quotients and disjoint sums. In a previous paper [Topology Appl. 152, No. 3, 301--309 (2005; Zbl 1077.54006)], the author established that every submeasurable cardinal is the productivity number of some coreflective class and if a class \(\mathcal{C}\) is coreflective then its productivity number is \(2,\;\infty\) or a submeasurable cardinal. The productivity number of a class \(\mathcal{C}\) of topological spaces is the minimum cardinal number \(\kappa\) (if any) such that the product of some family of \(\kappa\)-many members of \(\mathcal{C}\) is not in \(\mathcal{C}\); if there is no such \(\kappa\) then the class is productive and its productivity number is said to be \(\infty\). On the other hand, a cardinal \(\kappa\) is submeasurable [\textit{B. Balcar} and \textit{M. Husek}, Topology Appl. 111, No. 1--2, 49--58 (2001; Zbl 0971.03049)] if there is a nontrivial submeasure on \(\wp\left( \kappa\right) \) that vanishes on the singletons and is \(\kappa\)-continuous when viewed as a map on the Cantor cube \(2^{\kappa}.\) In the paper under review the author presents a study of the relationship between the productivity number of a class \(\mathcal{C}_{\kappa}\) which includes all spaces whose topology is generated by nets of length less than \(\kappa\) (i.e. the closures are formed by adding\ limits of that kind of nets in an iterative fashion) and the character of ultrafilters on \(\omega\) as well as the tightness of products of fans. The main results are (1) If \(\mathcal{U}\) is a free ultrafilter on \(\omega\) and \(\kappa \leq 2^{\aleph_0}\) is a submeasurable cardinal, then \(\mathcal{U}\) has character greater than or equal to \(\kappa\). (2)\ If \(\kappa\) is a submeasurable cardinal and \(S\) is a sequential fan with \(\kappa\)-many spines then the tightness of the \(\kappa\)-power of \(S\) is equal to \(\kappa.\) A variant of a result of Fleissner about \(\kappa\)-collectionwise Hausdorff spaces is obtained: If \(\kappa\) is a submeasu\-rable cardinal, then every \(<\kappa\)-collectionwise Hausdorff space with character less than \(\kappa\) is \(\kappa\)-collectionwise Hausdorff. Fleissner established the analogous result assuming \(\kappa\) being weakly compact. It is known that submeasurable cardinals need not be weakly compact.