2
$\begingroup$

Fix a compact Hausdorff space $K$ and think about $C(K)$ as a C*-algebra acting on a Hilbert space $H$. Suppose that $C(K)$ is closed in $\mathcal{B}(H)$ in:

  • $\sigma$-strong
  • $\sigma$-strong*

topology. Must $K$ be extremelly disconnected?

$\endgroup$
1
  • 2
    $\begingroup$ Please use this spelling: "extremally disconnected". Thank you. $\endgroup$ May 15, 2011 at 23:37

1 Answer 1

5
$\begingroup$

Recall that if two compact spaces $K_1$, $K_2$ are such that $C(K_1)\cong C(K_2)$, then $K_1\cong K_2$. The space $K$ is called the spectrum of the abelian C*-algebra $C(K)$.

Since $C(K)$ is closed in the σ-strong topology, it is a von Neumann algebra (that condition is equivalent to being closed in the σ-strong* topology).

Now, the spectrum of an abelian von Neumann algebra is indeed an extremely disconnected space. So yes: $K$ has to be extremely disconnected. This kind of space is also called hyperstonean space.



By the way, here's one way to visualize the hyperstonean space associated to the von Neumann algebra $L^\infty ([0,1])$:
For every measurable partition of $[0,1]$ into finitely many subsets $$[0,1]=X_1\cup\ldots \cup X_n$$ (where each $X_i$ is well defined up to measure zero sets), we form the space $$ \overline{X_1}\sqcup\ldots \sqcup \overline{X_n} $$ where $\overline{X_i}$ is the closure of $X_i$ (more precisely, it is the intersection of all closures of sets that are equal to $X_i$ up to a measure zero set) and $\sqcup$ denotes disjoint union. The assignment $$ X_1\cup\ldots \cup X_n \mapsto \overline{X_1}\sqcup\ldots \sqcup \overline{X_n} $$ is a functor from the poset of measurable partitions of $[0,1]$ to the category of compact topological spaces. The hyperstonean space associated to $L^\infty ([0,1])$ is the inverse limit of that functor.

$\endgroup$
4
  • 1
    $\begingroup$ Just to clarify the third paragraph: Every hyperstonean space is extremally disconnected, but not every extremally disconnected space is hyperstonean, because there are additional conditions (e.g., existence of sufficiently many normal measures) involved in the definition of hyperstonean spaces. $\endgroup$ May 16, 2011 at 4:24
  • $\begingroup$ Another helpful source of intuition about hyperstonean spaces: Clopen (closed and open) subsets of a hyperstonean space are in bijective correspondence to equivalence classes of measurable sets modulo null sets of the corresponding measurable space. $\endgroup$ May 16, 2011 at 4:28
  • $\begingroup$ Thank you all. Is there a purely topological characterization of the hyperstonian space corresponding to a given compact space? If we are interested in the Gleason cover of a compact space then indeed, there are at least two interesting characterizations. $\endgroup$ May 16, 2011 at 8:56
  • $\begingroup$ @Tomasz: The construction you are referrring to is known as the hyperstonean cover. A search in Google Scholar on “hyperstonean cover” reveals quite a few papers on this matter and one of them is titled “Topological characterization of the hyperstonean cover”. $\endgroup$ May 16, 2011 at 15:22

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.