Skip to main content
QUICK REVIEW

[论文解读] Periodic 2-graphs arising from subshifts

David Pask, Iain Raeburn|ArXiv.org|Nov 4, 2009
Advanced Operator Algebra Research参考文献 18被引用 5
一句话总结

本文从有限型子移位构造周期性2-图,特别将其与模q的迹条件定义的移位空间Ω联系起来。研究证明,2-图的蓝色图可分解为不相交的环,对应于长度为n、迹为t mod q的项链,通过Lyndon词显式计数,并证明尽管2-图具有混合性质,该移位却是非混合的。

ABSTRACT

Higher-rank graphs were introduced by Kumjian and Pask to provide models for higher-rank Cuntz-Krieger algebras. In a previous paper, we constructed 2-graphs whose path spaces are rank-two subshifts of finite type, and showed that this construction yields aperiodic 2-graphs whose $C^*$-algebras are simple and are not ordinary graph algebras. Here we show that the construction also gives a family of periodic 2-graphs which we call \emph{domino graphs}. We investigate the combinatorial structure of domino graphs, finding interesting points of contact with the existing combinatorial literature, and prove a structure theorem for the $C^*$-algebras of domino graphs.

研究动机与目标

  • 刻画由有限型子移位产生的周期性2-图的结构。
  • 以红色和蓝色图的形式描述多米诺2-图Λ(n,q,t)的骨架。
  • 确定2-图中每个整除n的长度d的蓝色环的数量。
  • 分析相关移位空间Ω的动力学性质,特别是其非混合性。
  • 将2-图构造与模型Rq²/(g)联系起来,其中g为分圆多项式gT(u1,u2) = 1 + u1 + ⋯ + u1^{n−1}。

提出的方法

  • 红色图RΛ被识别为完全有向图K_{q^n - 1},确保对所有u,v ∈ Λ⁰,有|vΛe²u| = 1。
  • 顶点集Λ⁰被证明与Z/qZ上长度为n、迹为t mod q的词集Ant之间存在双射。
  • 蓝色图BΛ被构造为若干不相交环的并集,其中环的长度整除n。
  • 长度为d的蓝色环的数量通过求和计算:s ∈ Z/qZ满足d⁻¹sn ≡ t mod q,权重为L_q(d,s),即大小为q的字母表上长度为d的Lyndon词的数量。
  • 该构造依赖于[PRW]的定理3.4和命题3.5,以确立基数和连通性性质。
  • 移位空间Ω由条件∑_{i∈T} f|_{T+l}(i) ≡ 0 mod q对所有l ∈ Z²定义,其非混合性由[Schmidt]的定理6.5(2)推导得出。

实验结果

研究问题

  • RQ1多米诺2-图Λ(n,q,t)的骨架结构如何,特别是红色图和蓝色图?
  • RQ2对于每个整除n的d,2-图Λ(n,q,t)中长度为d的蓝色环数量是多少?
  • RQ3由迹条件定义的移位空间Ω与2-图Λ(n,q,t)有何关系?
  • RQ4尽管2-图源自[PRW, §5–6]中与混合子移位相关的构造,为何该移位Ω是非混合的?
  • RQ5Lyndon词在计数2-图中蓝色环时起什么作用?

主要发现

  • 红色图RΛ是完全有向图K_{q^n - 1},因此对所有u,v ∈ Λ⁰,有|vΛe²u| = 1。
  • 顶点集Λ⁰与Z/qZ上长度为n、迹为t mod q的词集Ant之间存在双射。
  • 蓝色图BΛ由若干不相交环组成,其长度整除n,对应于长度为n、迹为t mod q的项链。
  • 长度为d的蓝色环数量h_d由公式h_d = ∑_{s∈Z/qZ, d⁻¹sn≡t mod q} L_q(d,s)给出,其中L_q(d,s)为大小为q的字母表上长度为d的Lyndon词的数量。
  • 移位空间Ω是非混合的,如[Schmidt]的定理6.5(2)所确立,尽管该2-图源自先前工作中与混合子移位相关的构造。
  • 移位Ω对应于模型R_q²/(g),其中g = g_T(u1,u2) = 1 + u1 + ⋯ + u1^{n−1},即与该子移位相关的分圆多项式。

更好的研究,从现在开始

从阅读论文到最终审阅,大幅缩短您的研究时间。

无需绑定信用卡

本解读由 AI 生成,并经人工编辑审核。