If Σ = (X,σ) is a topological dynamical system, where X is a compact Hausdorff space and σ is a homeomorphism of X, then a crossed product Banach *-algebra ℓ¹(Σ) is naturally associated with these data. If X consists of one point, then ℓ¹(Σ) is the group algebra of the integers. The commutant C(X)₁' of C(X) in ℓ¹(Σ) is known to be a maximal abelian subalgebra which has non-zero intersection with each non-zero closed ideal, and the same holds for the commutant C(X)'⁎ of C(X) in C*(Σ), the enveloping C*-algebra of ℓ¹(Σ). This intersection property has proven to be a valuable tool in investigating these algebras. Motivated by this pivotal role, we study C(X)₁' and C(X)'⁎ in detail in the present paper. The maximal ideal space of C(X)₁' is described explicitly, and is seen to coincide with its pure state space and to be a topological quotient of X×𝕋. We show that C(X)₁' is hermitian and semisimple, and that its enveloping C*-algebra is C(X)'⁎. Furthermore, we establish necessary and sufficient conditions for projections onto C(X)₁' and C(X)'⁎ to exist, and give explicit formulas for such projections, which we show to be unique. In the appendix, topological results on the periodic points of a homeomorphism of a locally compact Hausdorff space are given.
@article{bwmeta1.element.bwnjournal-article-doi-10_4064-sm208-1-4,
author = {Marcel de Jeu and Jun Tomiyama},
title = {Maximal abelian subalgebras and projections in two Banach algebras associated with a topological dynamical system},
journal = {Studia Mathematica},
volume = {209},
year = {2012},
pages = {47-75},
zbl = {1247.46041},
language = {en},
url = {http://dml.mathdoc.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-sm208-1-4}
}
Marcel de Jeu; Jun Tomiyama. Maximal abelian subalgebras and projections in two Banach algebras associated with a topological dynamical system. Studia Mathematica, Tome 209 (2012) pp. 47-75. http://gdmltest.u-ga.fr/item/bwmeta1.element.bwnjournal-article-doi-10_4064-sm208-1-4/