The \(C^*\)-algebra of the exponential function (Q2862181)

Let \(f:\mathbb C\to\mathbb C\) be an entire function of degree at least 2, let \(J(f)\) denote the Julia set of \(f\), which can be defined as the closure of the repelling periodic points, and let \(\mathcal E(f)\) be the set of points \(z\in\mathbb C\) such that \(f^{-1}(z)=\{z\}\). Set \(X(f)=J(f)\setminus\mathcal E(f)\), \(F=f|_{X(f)}\). If \(f'(z)\neq 0\) on \(J(f)\), then \(F\) is a local homeomorphism on \(X(f)\), therefore it gives rise to an étale groupoid \(\Gamma_F\), and then to its \(C^*\)-algebra \(C^*_r(\Gamma_F)\). The basic example considered in the paper is \(f(z)=e^z\). It is proved that in this case \(C^*_r(\Gamma_F)\) is a separable stable simple purely infinite \(C^*\)-algebra that satisfies the UCT, and \(K_0(C^*_r(\Gamma_F))\cong K_1(C^*_r(\Gamma_F))\cong\mathbb Z\). A similar construction works for \(\overline{f}(z)=e^{\overline{z}}\), and it is shown that \(C^*_r(\Gamma_{\overline{F}})\cong\mathcal O_3\otimes\mathbb K\), where \(\mathcal O_3\) is the Cuntz algebra on three isometries, and \(\mathbb K\) is the algebra of compact operators.