[论文解读] Quiver presentations for band algebras are defined over the integers

Benjamin Steinberg|arXiv (Cornell University)|Jan 10, 2026

Algebraic structures and combinatorial models被引用 0

一句话总结

直接回答摘要：该论文证明连接带 B 的整数半群代数同构于一个量子图的整数路径代数在可接受理想下的商代数，给出了适用于所有域的带代数的域无关界的图表示，并将此结果推广到 CW 左正则带。

ABSTRACT

A band is a semigroup in which each element is idempotent. In recent years, there has been a lot of activity on the representation theory of the subclass of left regular bands due to connections to Markov chains associated to hyperplane arrangements, oriented matroids, matroids and CAT(0) cube complexes. We prove here that the integral semigroup algebra of a band is isomorphic to the integral path algebra of a quiver modulo an admissible ideal. This leads to a uniform bound quiver presentation for band algebras over all fields. Also, we answer a question of Margolis, Saliola and Steinberg by proving that the integral semigroup algebra of a CW left regular band is isomorphic to the quotient of the integral path algebra of the Hasse diagram of its support semilattice modulo the ideal generated by the sum of all paths of length two. This includes, for example, hyperplane face semigroup algebras.

研究动机与目标

• 通过其与马尔可夫链、超平面排布、定向线性组合、线性独立性与 CAT(0) 立方复形的联系，激励研究带代数。
• 建立连接带 B 的整数半群代数 ZB 与 ZQ(B)/I 同构，其中 ZQ(B) 为明确定义的图 Q(B)，I 为可接受理想。
• 对于任意域 k，证明 kB ≅ kQ(B)/(k⊗I)，即表示论对基场无关。
• 对 CW 左正则带，给出一个在域上有效的有界图表示也在整数域上成立的积极答案。

提出的方法

• 定义并分析支撑半格 Λ(B) 与支撑映射 σ: B → Λ(B) 的性质。
• 构造图 Q(B)，其顶点集为 Λ(B)，箭头由基于 Green-图 Γ𝓡 与 Γℒ 的连通分支来确定。
• 证明 ker(σ) 为幂零并且 ZB 具有完整的正交幺元分解，从而得到 Schützenberger 表示。
• 通过考察 J/J² 的生成元并利用同伦工具（如在 kQ/I 上的 Tor 群）证明 ZB ≅ ZQ(B)/I，其中 I 为可接受理想。
• 利用基变换论证将结果从 Z 推广到任意可换环 k，确保 k⊗I 可接受且 kB ≅ kQ(B)/(k⊗I) 的同构。
• 给出图 Q(B) 及其箭头的结构描述，基于 Γ𝓡(Y,X) 和 Γℒ(X,Y) 的连通分支，以及 J/J² 的基。

实验结果

研究问题

• RQ1 整数半群代数能否作为整数上的有界路径代数来表示？
• RQ2 带代数的图表示对域无关性是否可以推广到 CW 左正则带以及更广泛的 CW 带？
• RQ3 连接带 B 的显式图 Q(B) 是什么，其有界理想 I 如何与 B 的结构相关？
• RQ4 整数表示是否通过 kB ≅ kQ(B)/(k⊗I) 给出对所有域 k 的统一有界图表示？

主要发现

• 对于连接带 B，存在一个明确定义的图 Q(B)，使得 ZB ≅ ZQ(B)/I，其中 I 为可接受理想。
• 对于任意域 k，基变换 k⊗I 为可接受且 kB ≅ kQ(B)/(k⊗I)，给出域无关的图表示。
• 该图表示可扩展至 CW 左正则带，积极回答在该更广泛类中整数表示也成立。
• ZB 的图表示在不同域下保持一致，意味着带的表示论对基场无关。
• 论文提供了使用 Λ(B) 与图 Γ𝓡、Γℒ 的具体构造，并确定 J/J² 的基以确定箭头的指标。
• table_headers:[],
• table_rows:[]