KMS states for gauge actions on \(C^*\)-algebras associated with subshifts (Q1266191)

Let \(\Sigma= \{1,\dots, n\}\) and \(\sigma\) the transformation on \(\Sigma^{\mathbb{Z}}\), called the full shift. \(\Lambda\) denotes a \(\sigma\)-invariant closed subset of \(\Sigma^{\mathbb{Z}}\). The topological dynamical system \((\Lambda, \sigma= \sigma|\Lambda)\) is called a subshift. Then \({\mathcal O}_\Lambda\) denotes the \(C^*\)-algebra associated with \((\Lambda,\sigma)\) in the sense of \textit{K. Matsumoto} [Int. J. Math. 8, No. 3, 357-374 (1997; Zbl 0885.46048)]. \(P_\beta(\Lambda)\), \(1< \beta\in\mathbb{R}\) is the set of all \((\sigma,\beta)\)-conformal measures on the one-sided subshift \(X_\Lambda\), cf. \textit{M. Denker} and \textit{M. Urbański} [Trans. Am. Math. Soc. 328, No. 2, 563-587 (1991; Zbl 0745.58031)]. \({\mathfrak K}_\beta\) is the set of all \(\log\beta\)-KMS states for the gauge action on the \(C^*\)-algebra \({\mathcal O}_\Lambda\). For a subshift \((\Lambda,\sigma)\), \(\Lambda^k\) denotes the set of all words of length \(k\in\mathbb{N}\) appearing in a sequence of \(\Lambda\). Let \(A_\Lambda\) be the \(C^*\)-subalgebra of \({\mathcal O}_\Lambda\) generated by all support projections \(S^*_\mu S_\mu\), \(\mu\in\Lambda^k\). Then \(\lambda_\Lambda\) is the adjacency operator on \(A_\Lambda\) for \(\Lambda\). We denote by \(r(\lambda_\Lambda)\) the spectral radius of \(\lambda_\Lambda\) on \(A_\Lambda\), and we write \(h_{\text{top}}(\Lambda)\) for the topological entropy for the subshifts \((\Lambda,\sigma)\). Here are the main results in this paper. Theorem. (a) There exists an affine isomorphism between \({\mathfrak K}_\beta\) and \(P_\beta(\Lambda)\). (b) For any \((\Lambda,\sigma)\), there exists a \(\log r(\lambda_\Lambda)\)-KMS state for the gauge action on \({\mathcal O}_\Lambda\). If in particular \(\lambda_\Lambda\) is irreducible and has the eigenvalue \(r(\lambda_\Lambda)\) with a positive eigenvector, then a \(\log\beta\)-KMS state on \({\mathcal O}_\Lambda\) exists if and only if \(\beta= r(\lambda_\Lambda)\). In this case, the KMS state is faithful on \(A_\Lambda\). (c) Suppose \(\varphi\) is a \(\log\beta\)-KMS state for the gauge action on \({\mathcal O}_\Lambda\). If there is a subset \(N(k)\subset\Lambda^k\) for each \(k\in\mathbb{N}\) such that (1) \(\exists C_k>0\) satisfying \(\varphi(a_\mu)\geq C_k\), \(\forall\mu\in \Lambda^k\setminus N(k)\), and \(\limsup_{k\to\infty} C^{1/k}_k= 1\); (2) \(\beta\geq \limsup_{k\to\infty} \{\# N(k)\}^{1/k}\), then \(\log\beta= h_{\text{top}}(\Lambda)\) holds.