8
$\begingroup$

Let $\mathcal{U}$ be a non-trivial ultrafilter on the set of integers $\mathbb{N}$, and let $C(K)$ denote the Banach space of continuous functions on a compact $K$. Under the continuum hypothesis CH, the Banach ultrapower $C(K)_\mathcal{U}$ is isomorphic to $\ell_\infty/c_0$ for many metrizable $K$. I wonder if it is possible to get this result for some $\mathcal{U}$ without assuming CH.

More precisely, given an infinite, metrizable, totally disconnected compact space $K$ having no isolated points, and a nontrivial ultrafilter $\mathcal{U}$ on $\mathbb{N}$, the ultracoproduct $K^\mathcal{U}$ is a Parovicenko space. Under CH, the only Parovicenko space is $\beta N\setminus N$, so $$ C(K)_\mathcal{U} \equiv C(K^\mathcal{U}) \equiv C(\beta N\setminus N) \equiv\ell_\infty/c_0. $$ Without CH, there are many Parovicenko spaces. I want to know if it is posible to show without CH that $K^\mathcal{U}=\beta N\setminus N$, or that $C(K^\mathcal{U})$ is isomorphic to $\ell_\infty/c_0$, for some $\mathcal{U}$.

Improve this question
$\endgroup$
5
  • $\begingroup$ What exactly do you mean by $K^\mathcal{U}$? You said it is a set-ultrapower, but then what topology are you putting on it to talk about $C(K^\mathcal{U})$? If $K^\mathcal{U}$ is the metric space ultrapower, then it is isometric to $K$ so it is certainly not a Parovicenko space. $\endgroup$
    – Ramiro de la Vega
    Commented Oct 10, 2013 at 9:10
  • $\begingroup$ @Ramiro de la Vega: You are right: $K^\mathcal{U}$ is not the set-ultraproduct, but the ultracoproduct (following $\mathcal{U}$) in the sense of Bankston [J. Symbolic Logic 52 (1987) 404-424]. The set ultrproduct is dense in $K^\mathcal{U}$. $\endgroup$
    – M.González
    Commented Oct 10, 2013 at 9:45
  • $\begingroup$ I suppose you are also assuming that $K$ has no isolated points (and hence $K$ is just the Cantor space). Otherwise $K^\mathcal{U}$ would have isolated points. $\endgroup$
    – Ramiro de la Vega
    Commented Oct 10, 2013 at 15:03
  • $\begingroup$ @Ramiro de la Vega: You are right again. Anyway, an answer when $K$ is the Cantor space would be very interesting for me. $\endgroup$
    – M.González
    Commented Oct 11, 2013 at 7:25
  • $\begingroup$ If CH fails, then you can find $2^{\mathfrak{c}}$ ultrapowers of $C(K)$ which are not isometric to $\ell_\infty / c_0$. As for the isomorphic case, it seems that there are also $2^{\mathfrak{c}}$ isomorphic types by a version of Theorem 3 from arxiv.org/pdf/0912.0406.pdf adjusted to the setting of ptmat.fc.ul.pt/~alexus/papers/unstable.pdf $\endgroup$
    – Tomasz Kania
    Commented Sep 14, 2014 at 20:02

0

Reset to default

You must log in to answer this question.