Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Subshift semigroups

T0 review · 2 major / 4 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read For any one-sided subshift, the Matsumoto and Carlsen-Matsumoto C*-algebras are reductions of the universal groupoid of the inverse hull of the language semigroup.

desk verdict Inverse-semigroup unification of subshift algebras with solid groupoid models and an amenability theorem, but Corollary 10.4 rests on an unproved equivalence. read the letter →

arxiv 1908.08315 v1 pith:6XONCKU5 submitted 2019-08-22 math.OA

classification math.OA MSC 37B1046L0546L5520M1822A22
keywords subshiftlanguagesemigroupinversehullMatsumotoalgebraCarlsen-Matsumotoetalegroupoidtightspectrumpartialcrossedproduct
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The reading

The paper claims that the two C*-algebras most often attached to a one-sided subshift, Matsumoto's algebra M_X and the Carlsen-Matsumoto algebra O_X, are not separate ad hoc constructions: both are groupoid C*-algebras obtained by reducing one universal groupoid, the groupoid of germs of the inverse hull H(S_X) of the language semigroup S_X. The Matsumoto algebra comes from the reduction to the essentially tight spectrum, while the Carlsen-Matsumoto algebra comes from the reduction to the closure of the maximal-string spectrum. The paper also proves these groupoids are amenable, realized as Deaconu-Renault groupoids, and that when the Carlsen-Matsumoto condition (*) holds the two spectra coincide, giving a natural isomorphism M_X ≅ O_X. A sympathetic reader would care because this unifies previously separate constructions and explains their difference as a choice of invariant subspace, not a difference in foundations.

What carries the argument

The load-bearing object is the inverse hull H(S_X) of the semigroup S_X = L_X ∪ {0}, where multiplication is concatenation when the result is an admissible word and zero otherwise. Its idempotent semilattice E(S_X) consists of constructible sets of finite words, and the paper studies several closed invariant subspaces of the character space of E(S_X): the essentially tight characters E^ess, the maximal-string characters E^max, the ultra-characters, and the tight characters. The essential tightness condition is defined modulo finite sets, and the maximal strings correspond bijectively to infinite words of the subshift. These spectra are the supports of natural representations of H(S_X), and Theorem 10.3 follows by applying the standard groupoid-model machine for inverse semigroups to those representations.

What would settle it

Take the concrete subshift of Section 4 (alphabet {0,1,2,3,4} with forbidden words 10+4[0,2,3,4], 20+4[0,1,3,4], and 30+4), where F{1,2} has infinite boundary and E(S_X) is not essentially tight. Compute the K-theory or the ideal structure of C*(G^ess_X) and C*(G^max_X) (equivalently, of M_X and O_X) for this subshift; if they differ, the two groupoid reductions are genuinely non-isomorphic, and if they agree despite E^max not being dense in E^ess, then condition (*) is not necessary for M_X ≅ O_X.

Watch

Extended reading notes

Core claim

The central result is Theorem 10.3: for a subshift X on a finite alphabet, the Matsumoto algebra M_X is isomorphic to C*(G^ess_X), the C*-algebra of the reduction of the universal groupoid of H(S_X) to the essentially tight spectrum E^ess(S_X), and the Carlsen-Matsumoto algebra O_X is isomorphic to C*(G^max_X), the reduction to the closure E^max(S_X) of the maximal-string characters. Corollary 10.4 then states that if S_X satisfies Carlsen and Matsumoto's condition (*), the two spectra agree enough that M_X is naturally isomorphic to O_X. The paper further shows that the universal groupoid of H(S_X) is an amenable Hausdorff etale groupoid, isomorphic to a Deaconu-Renault groupoid for a local homeomorphism built from the shift letters, and that both M_X and O_X are partial crossed products of the free group on the alphabet by a commutative C*-algebra.

Load-bearing premise

The Carlsen-Matsumoto representation on ℓ2(X) requires the set of maximal strings to be fully invariant under the inverse hull H(S_X), a fact imported from the companion paper rather than verified here, and if that invariance failed for some subshift the groupoid model for O_X would not be defined.

Editorial extensions

If this is right

  • Matsumoto's algebra M_X and the Carlsen-Matsumoto algebra O_X are both C*-algebras of amenable Hausdorff etale groupoids, so their full and reduced C*-algebras coincide and both admit a faithful conditional expectation onto the unit-space algebra.
  • When the subshift satisfies condition (*), M_X and O_X are naturally isomorphic, so the condition (*) singles out exactly the case where the essentially tight and maximal-string spectra support the same algebra.
  • Both algebras can be realized as partial crossed products of the free group on the alphabet by a commutative C*-algebra, which gives a uniform structural description and access to partial-action techniques.
  • The universal groupoid of H(S_X), and every reduction to an invariant subspace, is amenable because it is isomorphic to a Deaconu-Renault groupoid for a local homeomorphism arising from the shift letters.
  • The tight spectrum of H(S_X) produces a C*-algebra that has not been previously studied, leaving a new invariant of the subshift to be explored.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • Editorial inference: the same inverse-hull framework should apply to higher-rank shift spaces, since the paper explicitly leaves this open; one would need a language semigroup with a suitable length function and a version of the maximal-string invariance theorem.
  • Editorial inference: the dichotomy E^max versus E^ess suggests a natural testable refinement: for subshifts where condition (*) fails, compare K-theory or gauge-invariant ideals of M_X and O_X to detect whether the two groupoid models are genuinely different invariants.
  • Editorial inference: because the paper shows condition (*) is equivalent to density of E^max in E^ess, any subshift with finite constructible sets (like the examples in Sections 3 and 4) gives a concrete place to look for a Matsumoto algebra that is not isomorphic to the Carlsen-Matsumoto algebra.
  • Editorial inference: if the support computations of Propositions 7.14 and 8.9 extend to other 0-left-cancellative semigroups with locally finite length functions, the same groupoid-model argument may produce a unified picture for semigroup C*-algebras beyond the subshift setting.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

2 major / 4 minor

Summary. The paper develops a unified inverse-semigroup framework for the C*-algebras associated with a one-sided subshift X over a finite alphabet. The authors study the language semigroup S_X = L_X ∪ {0} (concatenation when admissible, zero otherwise) and its inverse hull H(S_X). They introduce the notion of essentially tight representations and characters (Definition 2.2), and compare four invariant subspaces of the character space: E^max ⊆ E^∞ ⊆ E^tight and E^max ⊆ E^ess. They prove that H(S_X) is strongly 0-E-unitary with universal group the free group and that the associated partial action is semi-saturated and orthogonal, so the universal groupoid is a Deaconu-Renault groupoid and hence amenable (Theorem 9.6, Corollaries 9.7-9.8). The main results are the groupoid models M_X ≅ C*(G^ess_X) and O_X ≅ C*(G^max_X) (Theorem 10.3), with Corollary 10.4 asserting that M_X ≅ O_X under a condition (*) (Definition 6.4) identified with the Carlsen-Matsumoto condition. A worked counterexample (Section 4) shows that the boundary-finiteness hypothesis of Theorem 2.10 cannot be removed.

Significance. If correct, the paper gives a systematic construction of both the Matsumoto and Carlsen-Matsumoto algebras from the single object H(S_X), identifying the Matsumoto algebra with the reduction to the essentially tight spectrum and the Carlsen-Matsumoto algebra with the reduction to the closure of the maximal-string spectrum. The essentially tight spectrum is a natural new notion in the tight-representation theory of Exel and Paterson, and Theorem 9.6 is a generally useful result on semi-saturated orthogonal partial actions of free groups, with amenability consequences for all reductions of the universal groupoid. The support computations (7.14, 8.9) and the Deaconu-Renault realization (9.6) are proven in detail, and the counterexamples in Sections 3 and 4 are concrete and checkable. The principal caveats are the unproved equivalence between Definition 6.4 and the amended Carlsen-Matsumoto condition (*), which is the advertised basis of Corollary 10.4, and the sketched proof of the O_X half of Theorem 10.3.

major comments (2)
  1. [§6.4–6.5, Cor. 10.4] The paper asserts, immediately after Prop. 6.5, that Definition 6.4 of condition (*) is equivalent to the condition (*) of Carlsen and Matsumoto [11: Section 3], but only after amending the [11] statement with an additional requirement that the sequence {μ_i} have infinite range, and it leaves the verification to the reader. This equivalence is load-bearing: Corollary 10.4 advertises the natural isomorphism M_X ≅ O_X under 'Carlsen and Matsumoto's condition (*) (see (6.4))', and since the paper states that the [11] formulation is incorrect as written, the reader has no published statement to fall back on. The translation is not a routine restatement: it must relate a condition over all finite pairs (Λ,Γ) of subsets of S̃_X to a condition on sequences of words in the subshift, with edge cases involving the unit 1 and inadmissible concatenations. The authors should either prove the equivalence of (6.4) with the amended [11] condition in full, or restate Corollary 10.4 as a theorem about Definition 6.4 alone and mark the comparison with [11] as a conjecture. Theorem 10.3 and the groupoid models themselves do not depend on this equivalence.
  2. [Thm 10.3(ii)] The proof of part (ii) of Theorem 10.3 — the isomorphism O_X ≅ C*(G^max_X) — is the second half of the paper's headline theorem, yet the final paragraph delegates the verification to the reader. The stated key point is that for non-idempotent α ∈ H(S_X) one has d(α) ≠ 1, so ρ(α) = π(α) ⊗ λ_{d(α)} has no non-zero diagonal coefficients; what is not written out is the analogue of the part (i) injectivity argument: verification of the commuting diagram for the conditional expectations P and Q, identification of the kernel of Φ on C0(E^max(S_X)) using the support computation (8.9), and the use of amenability (9.8) to get faithfulness of P. Since this is one of the two central claims of the paper, the details should be supplied rather than left as an exercise.
minor comments (4)
  1. [§6.7, proof of Prop. 6.7] In the proof of Proposition 6.7, Z is defined as Z := X \ ⋂_{j=1}^m Y_j, but the immediately following display (1 = φ(X) = ⋁_{j=1}^m φ(Y_j) = 0) and the later step asserting W ∩ F_{Δ_j} = ∅ for every j both require Z = X \ ⋃_{j=1}^m Y_j. Please correct this typo, which currently makes the argument look inconsistent with the definition of essential tightness in (5.2).
  2. [Prop. 8.3, [22:13.4]] Proposition 8.3 constructs the Carlsen-Matsumoto representation π on ℓ²(X) using the full invariance of the maximal-string set S^∞_X under the action of H(S_X) on the string space, imported as [22:13.4] from the companion preprint; the proof of Theorem 10.3(ii) inherits this dependence. The authors should state the publication status of [22] and confirm that the numbering refers to the final version, so that this background theorem (and the other imports, e.g. [22:7.13, 7.21, 10.19]) can be checked in the published source.
  3. [Thm 10.3(i)] In the proof of Theorem 10.3(i), the text says that H(S_X) is 0-E-unitary by (8.7), but Proposition 8.7 proves the stronger property 'strongly 0-E-unitary'. The argument uses the idempotent-pure property d^{-1}(1) = E(S_X) that comes with the stronger statement; please make the implication explicit.
  4. [§8] In Section 8, the symbol ρ is used for two different maps: the representation of H(S_X) on the string space in the proof of Proposition 8.3, and the representation of H(S_X) into O_X in Proposition 8.8. Renaming one of them would prevent confusion, since both appear within a few pages.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the groupoid models are computed, not assumed; the only caveat is a non-circular verification gap in the link to the classical condition (*).

full rationale

The claimed results are derived by genuine construction rather than by assuming the conclusion. M_X is defined as a quotient of the Toeplitz algebra generated by T_mu; the support calculation in Proposition 7.14, identifying the support of the Matsumoto representation with the essentially tight spectrum E^ess, is a direct computation from the fact that two projections differ by a compact operator precisely when the corresponding subsets have finite symmetric difference, using the general support/tightness equivalence of Proposition 7.13. O_X is built from operators on l^2(X) tensor l^2(F); Proposition 8.5 and 8.9 compute its support as the closure of E^max, using the cited full-invariance result [22:13.4] from the companion paper, which is a parameter-free theorem of prior work and not a restatement of the present target. Theorem 10.3 then applies the standard groupoid-model machinery [20:10.14] and proves injectivity via conditional expectations; this is a derived isomorphism, not a definitional equivalence. The only flagged caveat is Section 6, where the equivalence between Definition 6.4 and the classical Carlsen-Matsumoto condition (*) of [11] is left to the reader and [11] is said to be incorrectly stated; that is a verification gap about the link to the literature, not a circular step, because Corollary 10.4 takes Definition 6.4 as its explicit hypothesis.

Assumptions & free parameters 0 free parameters · 3 assumptions · 0 invented entities

No free parameters are fitted; this is a pure mathematical derivation. The main external dependencies are the companion paper [22] and Exel's inverse semigroup C*-algebra theory [20]. No new entities of a physical or empirical nature are postulated.

assumptions (3)
  • domain assumption All results cited from the companion paper [22] (Exel and Steinberg, arXiv:1802.06281) are correct, including the normal form theorem and the full invariance of maximal strings used in Prop 8.3.
    The paper relies on [22] for the inverse hull machinery, normal forms, strings, and characters; these results are not reproved here.
  • standard math The Boolean prime ideal theorem or choice principle is available to select a non-principal ultrafilter.
    In Prop 6.6, a non-principal ultrafilter on S' containing F^theta_{Lambda,Gamma} is chosen; this is standard set-theoretic background.
  • domain assumption The Carlsen-Matsumoto algebra O_X, defined in Definition 8.1 as the C*-algebra generated by {T_mu tensor lambda_mu}, coincides with the algebra studied under that name in [18:6.4] and related literature.
    The paper cites [18:6.4] for the definition and does not prove equivalence to other characterizations; any discrepancy would affect Theorem 10.3(ii).

how reviews work

0 comments
Cite this review

Pith. "Pith review of Subshift semigroups." pith.science (2026). https://pith.science/paper/6XONCKU5

@misc{pith2026190808315,
  author       = {Pith},
  title        = {Pith review of: Subshift semigroups},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/6XONCKU5}},
  note         = {Machine review of arXiv:1908.08315}
}
abstract

Given a one-sided subshift $X$ on a finite alphabet, we consider the semigroup $S_X =L_X \cup \{0\}$, where $L_X $ is the language of $X $, equipped with the multiplication operation given by concatenation, when allowed, and set to vanish otherwise. We then study the inverse hull $H(S_X )$, relating it with C*-algebras that have been discussed in the literature in association with subshifts.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Dynamical comparison for local homeomorphisms

    math.OA 2026-08 conditional novelty 8.0 of 10

    Minimal surjective local homeomorphisms of finite-dimensional compact spaces give Deaconu-Renault groupoids with dynamical comparison, yielding UCT Kirchberg algebras and, in the Cantor case, Matui's AH conjecture.

Reference graph

Works this paper leans on

50 extracted references · 50 canonical work pages · cited by 1 Pith paper

  1. [11]

    Some remarks on the C*-a lgebras associated with subshifts

    T. M. Carlsen and K. Matsumoto, “Some remarks on the C*-a lgebras associated with subshifts”, Math. Scand. , 95 (2004), 145–160

  2. [22]

    Representations of the inver se hull of a 0-left-cancellative semigroup

    R. Exel and B. Steinberg, “Representations of the inver se hull of a 0-left-cancellative semigroup”, arXiv:1802.0 6281 [math.OA]

  3. [1]

    On partial actions and groupoids

    F. Abadie, “On partial actions and groupoids”, Proc. Amer. Math. Soc. , 132 (2004), 1037–1047

  4. [2]

    On finitely aligned left cancellative small categories, Zappa-Sz\'ep products and Exel-Pardo algebras

    E. B´ edos, S. Kaliszewski, J. Quigg and J. Spielberg, “On finitely aligned left cancellative small categories, Zappa -Sz´ ep products and Exel-Pardo algebras”, arXiv:1712.09432, 201 7. 39

  5. [3]

    Flow equivalence a nd isotopy for subshifts

    M. Boyle, T. M. Carlsen and S. Eilers, “Flow equivalence a nd isotopy for subshifts”, Dyn. Syst. , 32 (2017), no. 3, 305–325

  6. [4]

    Flow equivalence o f sofic shifts

    M. Boyle, T. M. Carlsen and S. Eilers, “Flow equivalence o f sofic shifts”, Israel J. Math. , 225 (2018), no. 1, 111–146

  7. [5]

    Cuntz-Krieger algebras and one-sided conjugacy of shifts of finite type and their groupoids

    K. A. Brix and T. M. Carlsen, “Cuntz-Krieger algebras and one-sided conjugacy of shifts of finite type and their groupoids”, arXiv:1712.00179 [math.OA]

  8. [6]

    Inverse s emigroups with zero: covers and their structure

    S. Bulman-Fleming, J. Fountain, and V. Gould, “Inverse s emigroups with zero: covers and their structure”, J. Austral. Math. Soc. Ser. A , 67 (1999), 15–30

Show all 50 references
  1. [7]

    On C*-algebras associated with sofic shif ts

    T. M. Carlsen, “On C*-algebras associated with sofic shif ts”, J. Operator Theory , 49 (2003), no. 1, 203–212

  2. [8]

    An introduction to the C*-algebra of a one -sided shift space

    T. M. Carlsen, “An introduction to the C*-algebra of a one -sided shift space”, Operator algebra and dynamics, 63–88, Springer Proc. Math. Stat., 58, Springer, Heidelberg, 2013

  3. [9]

    C*-rigidity of dynamical systems and ´ et ale groupoids

    T. M. Carlsen, “C*-rigidity of dynamical systems and ´ et ale groupoids”, arXiv:1803.05326 [math.OA]

  4. [10]

    Flow equivalence and orbit equivalence for shifts of finite type and isomorphism of their groupoids

    T. M. Carlsen, S. Eilers, E. Ortega and G. Restorff, “Flow equivalence and orbit equivalence for shifts of finite type and isomorphism of their groupoids”, J. Math. Anal. Appl. , 469 (2019), no. 2, 1088–1110

  5. [12]

    Reconst ruction of groupoids and C*-rigidity of dynamical systems

    T. M. Carlsen, E. Ruiz, A. Sims and M. Tomforde, “Reconst ruction of groupoids and C*-rigidity of dynamical systems” , arXiv:1711.01052 [math.OA]

  6. [13]

    C*-crossed products a nd shift spaces

    T. M. Carlsen and S. Silvestrov, “C*-crossed products a nd shift spaces”, Expo. Math. , 25 (2007), 275–307

  7. [14]

    On the K-theory of the C *-algebra associated with a one-sided shift space

    T. M. Carlsen and S. Silvestrov, “On the K-theory of the C *-algebra associated with a one-sided shift space”, Proc. Est. Acad. Sci. , 59 (2010), no. 4, 272–279

  8. [15]

    The structure of the C*-al gebra of a locally injective surjection

    T. M. Carlsen and K. Thomsen, “The structure of the C*-al gebra of a locally injective surjection”, Ergodic Theory Dynam. Systems , 32 (2012), no. 4, 1226–1248

  9. [16]

    K-theory for gro up C*-algebras and semigroup C*-algebras

    J. Cuntz, S. Echterhoff, X. Li and G. Yu, “K-theory for gro up C*-algebras and semigroup C*-algebras”, Oberwolfach Seminars, vol. 47, 2017

  10. [17]

    A class of C*-algebras and topo logical Markov chains

    J. Cuntz and W. Krieger, “A class of C*-algebras and topo logical Markov chains”, Invent. Math. , 56 (1980), no. 3, 251–268

  11. [18]

    Partial actions and subshift s

    M. Dokuchaev and R. Exel, “Partial actions and subshift s”, J. Funct. Analysis , 272 (2017), 5038–5106

  12. [19]

    Partial representations and amenable Fell bu ndles over free groups

    R. Exel, “Partial representations and amenable Fell bu ndles over free groups”, Pacific J. Math , 192 (2000), 39–63

  13. [20]

    Inverse semigroups and combinatorial C*-alg ebras

    R. Exel, “Inverse semigroups and combinatorial C*-alg ebras”, Bull. Braz. Math. Soc. (N.S.) , 39 (2008), 191–313

  14. [21]

    The inverse hull of 0-left-ca ncellative semigroups

    R. Exel and B. Steinberg, “The inverse hull of 0-left-ca ncellative semigroups”, Proc. Int. Cong. of Math. , 1 (2018), 21–30. arXiv:1710.04722 [math.OA]

  15. [23]

    Unending chess, symbolic dy namics and a problem in semigroups

    G. A. Hedlund and M. Morse, “Unending chess, symbolic dy namics and a problem in semigroups”, Duke Math. J. , 11 (1944), 1–7

  16. [24]

    The structure of 0- E-unitary inverse semigroups. I. The monoid case

    M. V. Lawson, “The structure of 0- E-unitary inverse semigroups. I. The monoid case”, Proc. Edinburgh Math. Soc. (2), 42 (1999), 497–520,

  17. [25]

    On C*-algebras associated with subshif ts

    K. Matsumoto, “On C*-algebras associated with subshif ts”, Internat. J. Math. , 8 (1997), 357–374

  18. [26]

    Dimension groups for subshifts and simp licity of the associated C*-algebras

    K. Matsumoto, “Dimension groups for subshifts and simp licity of the associated C*-algebras”, J. Math. Soc. Japan , 51 (1999), 679–698

  19. [27]

    On automorphisms of C*-algebras associ ated with subshifts

    K. Matsumoto, “On automorphisms of C*-algebras associ ated with subshifts”, J. Operator Theory , 44 (2000), 91–112

  20. [28]

    Stabilized C*-algebras constructed fr om symbolic dynamical systems

    K. Matsumoto, “Stabilized C*-algebras constructed fr om symbolic dynamical systems”, Ergodic Theory Dynam. Sys- tems, 20 (2000), 821–841

  21. [29]

    Orbit equivalence of topological Marko v shifts and Cuntz-Krieger algebras

    K. Matsumoto, “Orbit equivalence of topological Marko v shifts and Cuntz-Krieger algebras”, Pacific J. Math. , 246 (2010), no. 1, 199–225

  22. [30]

    Orbit equivalence of one-sided subshif ts and the associated C-algebras

    K. Matsumoto, “Orbit equivalence of one-sided subshif ts and the associated C-algebras”, Yokohama Math. J. , 56 (2010), no. 1–2, 59-85

  23. [31]

    A class of simple C-algebras arising fro m certain non-sofic subshifts

    K. Matsumoto, “A class of simple C-algebras arising fro m certain non-sofic subshifts”, Ergodic Theory Dynam. Systems , 31 (2011), no. 2, 459–482

  24. [32]

    Some remarks on orbit equivalence of top ological Markov shifts and Cuntz-Krieger algebras

    K. Matsumoto, “Some remarks on orbit equivalence of top ological Markov shifts and Cuntz-Krieger algebras”, Yoko- hama Math. J. , 58 (2012), 41–52

  25. [33]

    Classification of Cuntz-Krieger algebr as by orbit equivalence of topological Markov shifts

    K. Matsumoto, “Classification of Cuntz-Krieger algebr as by orbit equivalence of topological Markov shifts”, Proc. Amer. Math. Soc. , 141 (2013), no. 7, 2329–2342

  26. [34]

    Strongly continuous orbit equivalence of one-sided topological Markov shifts

    K. Matsumoto, “Strongly continuous orbit equivalence of one-sided topological Markov shifts”, J. Operator Theory , 74 (2015), no. 2, 457–483

  27. [35]

    On flow equivalence of one-sided topolog ical Markov shifts

    K. Matsumoto, “On flow equivalence of one-sided topolog ical Markov shifts”, Proc. Amer. Math. Soc. , 144 (2016), no. 7, 2923–2937

  28. [36]

    Uniformly continuous orbit equivalenc e of Markov shifts and gauge actions on Cuntz-Krieger algebr as

    K. Matsumoto, “Uniformly continuous orbit equivalenc e of Markov shifts and gauge actions on Cuntz-Krieger algebr as”, Proc. Amer. Math. Soc. , 145 (2017), no. 3, 1131–1140. 40

  29. [37]

    Continuous orbit equivalence, flow equi valence of Markov shifts and circle actions on Cuntz-Kriege r algebras

    K. Matsumoto, “Continuous orbit equivalence, flow equi valence of Markov shifts and circle actions on Cuntz-Kriege r algebras”, Math. Z. , 285 (2017), no. 1–2, 121-141

  30. [38]

    Topological conjugacy of topological M arkov shifts and Cuntz-Krieger algebras

    K. Matsumoto, “Topological conjugacy of topological M arkov shifts and Cuntz-Krieger algebras”, Doc. Math. , 22 (2017), 873–915

  31. [39]

    Imprimitivity bimodules of Cuntz-Krie ger algebras and strong shift equivalences of matrices

    K. Matsumoto, “Imprimitivity bimodules of Cuntz-Krie ger algebras and strong shift equivalences of matrices”, Dyn. Syst., 33 (2018), no. 2, 253–274

  32. [40]

    Relative Morita equivalence of Cuntz-K rieger algebras and flow equivalence of topological Markov shifts

    K. Matsumoto, “Relative Morita equivalence of Cuntz-K rieger algebras and flow equivalence of topological Markov shifts”, Trans. Amer. Math. Soc. , 370 (2018), no. 10, 7011–7050

  33. [41]

    A short note on Cuntz splice from a viewpo int of continuous orbit equivalence of topological Markov shifts

    K. Matsumoto, “A short note on Cuntz splice from a viewpo int of continuous orbit equivalence of topological Markov shifts”, Math. Scand. , 123 (2018), no. 1, 91–100

  34. [42]

    State splitting, strong shift equivale nce and stable isomorphism of Cuntz-Krieger algebras

    K. Matsumoto, “State splitting, strong shift equivale nce and stable isomorphism of Cuntz-Krieger algebras”, Dyn. Syst., 34 (2019), no. 1, 93–112

  35. [43]

    Continuous orbit equivalen ce of topological Markov shifts and Cuntz-Krieger algebras

    K. Matsumoto and H. Matui, “Continuous orbit equivalen ce of topological Markov shifts and Cuntz-Krieger algebras ”, Kyoto J. Math. , 54 (2014), no. 4, 863–877

  36. [44]

    Continuous orbit equivalen ce of topological Markov shifts and dynamical zeta function s

    K. Matsumoto and H. Matui, “Continuous orbit equivalen ce of topological Markov shifts and dynamical zeta function s”, Ergodic Theory Dynam. Systems , 36 (2016), no. 5, 1557–1581

  37. [45]

    On inverse semigroup C*-alg ebras and crossed products

    D. Milan and B. Steinberg, “On inverse semigroup C*-alg ebras and crossed products”, Groups Geom. Dyn. , 8 (2014), 485–512

  38. [46]

    Groupoids, inverse semigroups, and their operator algebras

    A. L. T. Paterson, “Groupoids, inverse semigroups, and their operator algebras”, Birkh¨ auser, 1999

  39. [47]

    Cuntz-like algebras

    J. Renault, “Cuntz-like algebras”, Proceedings of the 17th International Conference on Operator Theory (Timisoa ra 98), The Theta Fondation, 2000

  40. [48]

    Groupoids and C*-algebras for categori es of paths

    J. Spielberg, “Groupoids and C*-algebras for categori es of paths”, arXiv:1111.6924v4, 2014

  41. [49]

    Groupoids and C∗ -algebras for left cancellative small categories

    J. Spielberg, “Groupoids and C∗ -algebras for left cancellative small categories”, arXiv: 1712.07720, 2017

  42. [50]

    Semi-´ etale groupoids and applications

    K. Thomsen, “Semi-´ etale groupoids and applications” , Ann. Inst. Fourier (Grenoble) , 60 (2010), 759–800. 41

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.