The complex of cuts in a Stone space

Abstract

Stone's representation theorem asserts a duality between Boolean algebras on the one hand and Stone space, which are compact, Hausdorff, and totally disconnected, on the other. This duality implies a natural isomorphism between the homeomorphism group of the space and the automorphism group of the algebra. We introduce a complex of cuts on which these groups act, and prove that when the algebra is countable and the space has at least five points, that these groups are the full automorphism group of the complex.

v2: revised according to referee comments. theorem numbering has changed