Cohomology groups, continuous full groups and continuous orbit equivalence of topological Markov shifts (Q2070885)

The article is focused on one-sided topological Markov shifts and several equivalence relations between them, with the aim to express such relations in the language of their Cuntz-Krieger algebras [\textit{J. Cuntz} and \textit{W. Krieger}, Invent. Math. 56, 251--268 (1980; Zbl 0434.46045)]. Let \(A\) and \(B\) be two \(\{0,1\}\)-valued irreducible non-permutation \(N\times N\) matrices, for a given \(N\geq 2\). One studies the associated one-sided Markov shifts, consisting (in the case of \(A\)) of the topological subspace \(X_A\subset\{0,1\}^{\mathbb N}\) of infinite words \(x\) satisfying \(A(x_n, x_{n+1})=1\) for all \(n\geq 1\), and the continuous surjection \(\sigma_A\) given by the shift \(\sigma_A( (x_n)_{n\geq 1})=(x_{n+1})_{n\geq 1}\). On the operator algebraic side, one assigns to this data the Cuntz-Krieger algebra \(\mathcal{O}_A\), which carries a canonical gauge action \(\rho^A: \mathbb{T}\curvearrowright\mathcal{O}_A\) and has a canonical maximal commutative subalgebra \(\mathcal{D}_A\subset\mathcal{O}_A\). On the algebraic side, one assigns to this data the continuous full group \(\Gamma_A\subset\mathrm{Homeo}(X_A)\), its AF subgroup \(\Gamma_A^{\mathrm{AF}}\), and the (ordered) cohomology group \(H^A\) (see [\textit{K. Matsumoto} and \textit{H. Matui}, Kyoto J. Math. 54, No. 4, 863--877 (2014; Zbl 1320.46055)]). In the article the author studies, extending prior work [the author, Pac. J. Math. 246, No. 1, 199--225 (2010; Zbl 1198.46049); Isr. J. Math. 205, 1--33 (2015; Zbl 1348.37020); \textit{K. Matsumoto} and \textit{H. Matui}, Ergodic Theory Dyn. Syst. 36, No. 5, 1557--1581 (2016; Zbl 1367.37011)], continuous orbit equivalence and their stronger counterparts among one-sided topological Markov shifts in the language of the aforementioned algebraic or operator algebraic objects assigned to them. Recall that \((X_A,\sigma_A)\) and \((X_B,\sigma_B)\) are continuously orbit equivalent if there exists a homeomorphism \(h: X_A\to X_B\) along with continuous maps \(k_1, l_1: X_A\to\mathbb{Z}_+\) and \(k_2,l_2: X_B\to\mathbb{Z}_+\) such that \(\sigma_B^{k_1(x)}(h(\sigma_A(x)))=\sigma_B^{l_1(x)}(h(x))\) for all \(x\in X_A\), as well as the analogous formula in reverse. Imposing stronger conditions (detailed in the article) on the specific form of the functions \(c_1:=k_1-l_1\) and \(c_2:=k_2-l_2\) leads to the notions of strong continuous orbit equivalence and eventual conjugacy. It had been shown earlier that the continuous orbit equivalence class of \((X_A,\sigma_A)\) is captured in the isomorphism class of the Cartan pair \((\mathcal{O}_A,\mathcal{D}_A)\) or the isomorphism class of the group \(\Gamma_A\), whereas the eventual conjugacy class of \((X_A,\sigma_A)\) is captured in the isomorphism class of the \(\mathbb{T}\)-equivariant Cartan pair \((\mathcal{O}_A,\mathcal{D}_A,\rho^A)\) or the isomorphism class of the group inclusion \(\Gamma_A^{\mathrm{AF}}\subset\Gamma_A\). In this article the author refines this picture by observing that every function \(f\in C(X_A,\mathbb{Z})\) allows one to obtain a kind of \(f\)-deformed gauge action \(\rho^{A,f}: \mathbb{T}\curvearrowright\mathcal{O}_A\) and a kind of \(f\)-deformed cocycle subgroup \(\Gamma_{A,f}\subset\Gamma_A\) generalizing the AF subgroup. The first main result (Theorem 1.4) shows that every continuous orbit equivalence \((X_A,\sigma_A)\sim(X_B,\sigma_B)\) induces canonical isomorphisms between these kinds of \(f\)-deformed invariants. Note that the expression ``\(f\)-deformed'' is merely introduced as a short-cut in this review and does not come with separate terminology in the article. The other main results (Theorems 1.5 and 1.6) are about subsequent characterizations of strong continuous orbit equivalence and eventual conjugacy aided by this more general perspective, which allows the author to strengthen and generalize similar statements appearing in earlier work.