\(\omega {}^*_ 2U(\omega_ 2)\) can be \(C^*\)-embedded in \(\beta \omega_ 2\) (Q808459): Difference between revisions

For \(\kappa \geq \omega\), define \(U(\kappa)=\{p\in \beta \kappa: p\subseteq [\kappa]^{\kappa}\}\), \(SU(\kappa^+)=\{p\in \beta (\kappa^+):\;p\cap [\kappa^+]^{<\kappa}=\emptyset,\quad p\not\in U(\kappa^+)\}.\) For various pairs \(<S,T>\) with \(\kappa >\omega\) and \(S\subseteq T\subseteq \beta \kappa\), the authors consider the questions ``Is S \(\{\) 0,1\(\}\)-embedded \([C^*\)-embedded] in T?'' Using results of \textit{Mitchell}, \textit{Silver}, \textit{Baumgartner}, \textit{Avraham}, and others, the authors show that each of the following is equiconsistent with ZFC. (a) \(\omega^*_ 2\setminus U(\omega_ 2)\) is \(\{\) 0,1\(\}\)- embedded, but not \(C^*\)-embedded, in \(\beta (\omega_ 2)\). (b) \(\omega^*_ 3\setminus U(\omega_ 3)\) is \(C^*\)-embedded in \(\beta (\omega_ 3)\). (c) For every regular \(\kappa\) the space \(\kappa^*\setminus U(\kappa)\) is not \(\{\) 0,1\(\}\)-embedded in \(\beta \kappa\). (d) \({\mathfrak c}=\omega_ 2\) and \(\omega^*_ 2\setminus U(\omega_ 2)\) is not \(\{\) 0,1\(\}\)-embedded in \(\beta (\omega_ 2).\) Among the absolute results cited are these two. (a) [\textit{W. Fleissner} and \textit{J. Porter}] \(SU(\kappa^+)\) is not \(\{\) 0,1\(\}\)-embedded in \(\beta \kappa\) ; (b) if \(\kappa\) is singular, or is uncountable and weakly compact, then \(\kappa^*\setminus U(\kappa)\) is \(C^*\)-embedded in \(\beta \kappa\). Finally, there is Theorem 4.1: Assume there is a supercompact cardinal. Then there are models of ZFC, one with \({\mathfrak c}=\omega_ 1\) and one with \({\mathfrak c}=\omega_ 2\), such that \(\kappa^*\setminus U(\kappa)\) is both \(\{\) 0,1\(\}\)-embedded and \(C^*\)-embedded in \(\beta \kappa\) if and only if \(\kappa \neq \omega_ 1.\) Among the unsolved problems posed are these: For which cardinals \(\kappa\) is \(\kappa^*\setminus U(\kappa)\) strongly 0-dimensional? What is the consistency strength of the statement that \(\omega^*_ 2\setminus U(\omega_ 2)\) is \(C^*\)-embedded in \(\beta (\omega_ 2)\)?