Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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}$.

share|improve this question
    
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. –  Ramiro de la Vega Oct 10 '13 at 9:10
    
@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}$. –  M.González Oct 10 '13 at 9:45
    
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. –  Ramiro de la Vega Oct 10 '13 at 15:03
    
@Ramiro de la Vega: You are right again. Anyway, an answer when $K$ is the Cantor space would be very interesting for me. –  M.González Oct 11 '13 at 7:25
add comment

Know someone who can answer? Share a link to this question via email, Google+, Twitter, or Facebook.

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Browse other questions tagged or ask your own question.