8
$\begingroup$

Suppose we take, for example, the $C^*$-algebra which is the sup norm closure of the exponentials $e^{2 \pi i ax}$ where $a \in \mathbb{Z} + \theta \mathbb{Z}$ for $\theta$ an irrational number. This is the commutative $C^*$-algebra of almost periodic functions whose spectrum lies in $\mathbb{Z} + \theta \mathbb{Z}.$

1.What is the spectrum of this $C^*$-algebra? For what space $X$ is it isomorphic to $C(X)?$

2.Can we compute the (Cech) cohomology or the K-theory of this space?

3.Same questions, but instead take the analogous $C^*$-algebra generated by any finitely generated subgroup of $\mathbb{R}^n.$ Can we do any computations for these spaces?

$\endgroup$
1
  • 3
    $\begingroup$ $C(X)$ is contained in the full $C^*$-algebra almost-periodic functions so, by Gelfand duality, $X$ is the continuous image of the Bohr compactification of $\mathbb{R}$. Since $bohr(\mathbb{R})$ can be expressed as the group of all homomorphisms $\mathbb{R} \to \mathbb{T}$ under the topology of pointwise convergence, it may be reasonable to guess that $X$ can be expressed as the group of all homomorphisms $\mathbb{Z} + \theta \mathbb{Z} \to \mathbb{T}$ with the surjection $bohr(\mathbb{R}) \to X$ being the restriction map. $\endgroup$
    – Michael
    Jun 6, 2014 at 19:08

1 Answer 1

1
$\begingroup$

To answer my own question: One can see that the $C^*$-algebra of almost periodic functions with spectrum in $\mathbb{Z}+ \theta \mathbb{Z}$ is isomorphic to the $C^*$-algebra of a torus. It is generated by two commuting unitaries $e^{2\pi i x}$ and $e^{2 \pi i \theta x}.$ This same argument shows that for any finitely generated subgroup of $\mathbb{R}^n,$ the corresponding $C^*$-algebra of almost periodic functions is isomorphic to the $C^*$-algebra of a torus with dimension equal to the rank of the subgroup.

$\endgroup$

Your Answer

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