7
$\begingroup$

Let $X$ be a topological space and consider the ring $C(X,\mathbb{R})$ of continuous real-valued functions on $X$ (where ring-addition and multiplication are defined in the obvious point-wise way).

It is well-known that this ring uniquely determines the topological space, if the latter is compact and Hausdorff (Gelfand-Duality).

My question is the following: What properties does the ring $C(X,\mathbb{R})$ have, if $X$ is a Stone space (that is, if $X \in Comp_2$ is also totally disconnected)? Ideally, I would like to have a statement along the following line:

$X$ is a Stone space (if and) only if the ring $C(X,\mathbb{R})$ has the property [nice property given to me by the lovely folks from MO].

$\endgroup$
1
  • $\begingroup$ see theorem 3.6 pag.198 of P.T. Johnstone "Stone Spaces" $\endgroup$ Jun 24, 2012 at 7:50

3 Answers 3

8
$\begingroup$

At first Let me recall the notion of a clean ring:

Definition:A commutative ring $R$ is called clean if every element of $R$ is a sum of a unit and an idempotent.

The following theorem is due to F.Azarpanah who first studied The notion of cleanness in rings of continuous real valued functions. you can find the details of it in This Article

Theorem1:The following statements are equivalent:

  • $C(X)$ is a clean ring.
  • $C^*(X)$ is a clean ring.
  • $X$ is strongly zero-dimensional.(i.e. $\beta X$ is zero-dimensional or stone space. )
  • Every zero-divisor in $C(X)$ is clean.
  • $C(X)$ has a clean prime ideal.

I think the illustrious part the above theorem is the relation between cleanness of $C(X)$ and Zero-dimensionality of $\beta X$.

Now Lets turn to your Question. I think the following theorem relates stone spaces to the cleanness property of $C(X)$.

Theorem2:Let $X$ be a compact space. then $X$ is a Stone Space if and only if the ring $C(X)$ is a clean ring.

The proof is clear. because in this case $C(X)=C^*(X)$ is clean iff $\beta X=X$ is Zero dimensional or iff $X$ is a Stone Space.

$\endgroup$
3
  • $\begingroup$ From my point of view, this is a wonderful answer. Thank you very much! As a short explanation for why I accepted this answer and not one of the others (for which I am also grateful): You use a purely ring-theoretic characterisation of the desired case, instead of giving a topological condition on the norm or restating the desired condition in terms of the underlying duality. $\endgroup$
    – Niemi
    Jun 24, 2012 at 12:29
  • $\begingroup$ You did not say what was a "clean element" (unless I missed something :) in [Every zero-divisor in 𝐶(𝑋) is clean] $\endgroup$ Jun 22, 2021 at 14:56
  • $\begingroup$ The link to springerlink.com is broken. I'm also unable to find any copy saved on the Wayback Machine. $\endgroup$ Apr 18, 2023 at 14:37
3
$\begingroup$

The projections are the characteristic functions on compact open subsets. So you want an identity and that the projections generate a dense subalgebra.

$\endgroup$
1
  • $\begingroup$ I'm assuming you wanted cts functions with compact support. $\endgroup$ Jun 23, 2012 at 16:05
3
$\begingroup$

The answer is given by the following theorem (Davidson's $C^\*$-Algebras by Example, III, 2.5).

Let $A$ be a commutative C*-Algebra. Then the following statements are equivalent:

  • $A$ is an AF-algebra, i.a. a colimit of a sequence of finite-dimensional C*-algebras
  • $A$ is separable and the projections in $A$ generate a dense subspace.
  • The spectrum of $A$ is totally disconnected.

Thus, the category of locally compact totally disconnected Hausdorff spaces is equivalent to the category of commutative AF-algebras; the inverse functors are $C_0(-,\mathbb{C})$ and $\mathrm{Spm}$. Under this equivalence, compact corresponds to unital. The finite-dimensional commutative algebras are just powers of $\mathbb{C}$, corresponding to finite sets, but colimits produce interesting examples:

For example, if $X$ is the Cantor set, then it is easy to see that $C_0(X,\mathbb{C})$ is the colimit of the sequence $\mathbb{C} \to \mathbb{C}^2 \to \mathbb{C}^{2^2} \to \dotsc$, where $\mathbb{C}^{2^n} \to \mathbb{C}^{2^{n+1}}, a \mapsto (a,a)$. In general, AF-algebras are classified via so-called Bratteli-diagrams (see loc. cit).

By the way, there is a nice connection to Stone duality, which says that $C_0(-,\mathbb{F}_2)$ exhibits an equivalence of categories between the category of locally compact totally disconnected Hausdorff spaces and the category of boolean rings. In the diagram you just exchange $\mathbb{C}$ with $\mathbb{F}_2$. I would love to see a purely algebraic functor $\mathbb{F}_2 \otimes_{\mathbb{C}} (-)$, which doesn't use the spectrum as an intermediate step ...

$\endgroup$
2
  • 2
    $\begingroup$ Concerning your last question, send A to the set of projections in A, with p"+"q=p+q-2pq and p"•"q=pq. $\endgroup$ Jun 23, 2012 at 20:58
  • $\begingroup$ Even easier, send A to $K_0(A)\otimes F_2$. $\endgroup$ Jun 23, 2012 at 21:02

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.