[論文レビュー] 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 の積分半群代数が帯域イプシロン化の定義されたクイバーの整整数経路代数と admissible ideal による商として同型であることを示し、すべての体上のバンド代数に対して場に依存しない bound quiver 表現を与え、それを 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 に同型であることを、明示的に定義されたクイー B(Q(B)) と admissible ideal I を用いて示す。
• 任意の体 k に対して、kB ≅ kQ(B)/(k⊗I) が成り立つこと、すなわち表現論が基底体に依存しないことを示す。
• CW 左規則バンドに対しても、整数上の表現が成り立つかどうかに肯定的な回答を提供する。

提案手法

• 支援半格 Λ(B) と支援写像 σ: B → Λ(B) を定義・分析する。
• 頂点集合 Λ(B) を持つクイーバー Q(B) を構成し、矢は特定の Green-graph ベースの構成 Γ𝓡 および Γℒ の連結成分によって決定される。
• ker(σ) が冪零であり ZB が complete orthogonal な冪等分解を持つことを示し、Schützenberger 表現に至る。
• ZB ≅ ZQ(B)/I を、J/J² の生成子を検討し、kQ/I 上の Tor などのホモロジー道具を用いて I を含む整合性を示す。
• 基底変換の議論を用いて Z から任意の可換環 k へ結果を拡張し、k⊗I の admissibility と kB ≅ kQ(B)/(k⊗I) を保証する。
• Γ𝓡(Y,X) および Γℒ(X,Y) の連結成分と J/J² の基底に基づくクイー と矢の構造説明を提供する。

実験結果

リサーチクエスチョン

• RQ1 バンドの整半群代数は整数上の境界経路代数として表現できるか。
• RQ2 バンド代数のクイーバー表現の体に依存しない性質は、CW 左規則バンドや一般に CW バンドへ拡張できるか。
• RQ3 連結バンド B に対する明示的なクイー Q(B) は何か、そしてそれの bound ideal I は B の構造とどう関係するか。
• RQ4 kB ≅ kQ(B)/(k⊗I) によって、全集合な体全体で一様な境界クイーバー表現が得られるか。

主な発見

• 連結バンド B に対して、ZB ≅ ZQ(B)/I を満たす明示的に定義されたクイー Q(B) が存在し、I は admissible なイデアルである。
• 任意の体 k に対して、基底変換 k⊗I は admissible であり、kB ≅ kQ(B)/(k⊗I) となり、場に依存しないクイーバー表現を与える。
• クイーアプレゼンテーションは CW 左規則バンドにも拡張され、このより広いクラスでも整合表現が成り立つことに肯定的な回答を与える。
• ZB のクイーバー表現は体を超えて一様であり、B の表現論が基底体に依存しないことを示す。
• Λ(B) とグラフ Γ𝓡 および Γℒ を用いた Q(B) の具体的構成を提供し、J/J² の基底を特定して矢を決定する。
• table_headers:[],
• table_rows:[]