[論文レビュー] AF inverse monoids and the structure of countable MV-algebras

Mark V. Lawson, Philip Scott|arXiv (Cornell University)|Aug 6, 2014

Advanced Algebra and Logic参考文献 37被引用数 7

ひとこと要約

この論文は、Bratteli図から構成されるAF逆モノイド—ブール代数の非可換一般化—を導入し、すべての可算MV代数がそのようなモノイドの主理想格として現れることを示しており、逆半群構造によってすべての可算MV代数を座標化することを実現した。

ABSTRACT

We define a class of inverse monoids having the property that their lattices of principal ideals naturally form an MV-algebra. We say that an arbitrary MV-algebra can be co-ordinatized if it is isomorphic to one constructed in this way from such a monoid. We prove that every countable MV-algebra can be so co-ordinatized. The particular inverse monoids needed to establish this result are examples of what we term AF inverse monoids. These are constructed from Bratteli diagrams and arise naturally as direct limits of finite direct products of finite symmetric inverse monoids.

研究の動機と目的

• 可算MV代数と逆半群の間の構造的関係を確立するために、主理想格がMV代数をなすような逆モノイドのクラスを導入すること。
• Bratteli図から構成される、有限個の対称的逆半群の直限界としてのAF逆モノイドを定義し、その性質を研究すること。
• すべての可算MV代数がAF逆モノイドの主理想格に同型であることを証明し、それによってすべての可算MV代数を座標化すること。
• 可換なAF逆モノイドが正確に可算ブール代数に対応することを示し、それらが非可換類似物としての役割を果たすことを強化すること。
• 非可換Stone双対性に接続するために、モノイド上の超フィルターを介してエタール群ガロアを関連させ、群ガロアの要素がBratteli図におけるテール同値パスに対応することを示すこと。

提案手法

• 頂点がレベルを表し、辺が準同型を定義するBratteli図を用いて、有限の対称的逆半群の直限界としてAF逆モノイドを構成する。
• 要素に重み関数を定義し、辺の接続操作によるレベル間の重み保存写像を追跡する。
• 逆モノイドの均質的直交完備化を用いて、分配的逆モノイドを構成し、その主理想が格子をなすようにする。
• 各レベルにおける局所部分モノイドへの射影を制限写像を用いて定義し、レベル間の辺接続を模倣する。
• 非可換Stone双対性を適用し、モノイドにハウスドルフエタール群ガロアを関連付ける。群ガロアの要素は、同じ出発点から根へ向かう三重のパスとして特定される。
• モノイド上の同値関係≡は、重みを減少させる写像εpによって誘導される同値類を特定し、この同値関係がこのような同値類の生成によって定まることを示す。

実験結果

リサーチクエスチョン

• RQ1 すべての可算MV代数が逆モノイドの主理想格として実現可能か？
• RQ2 どのクラスの逆モノイドが主理想格がMV代数をなすか？
• RQ3 Bratteli図と対称的逆半群の直限界構成は、どのようにブール代数の非可換一般化を生じるか？
• RQ4 非可換Stone双対性の下で、逆モノイド構造の群ガロア的解釈は何か？
• RQ5 重み関数と写像εpは、逆モノイドおよびその主理想の構造をどのように符号化するか？

主な発見

• すべての可算MV代数がAF逆モノイドの主理想格に同型であることを示し、この構成によってすべての可算MV代数が座標化可能であることを証明した。
• 区間[0,1]における二進分数のMV代数に対応するAF逆モノイドは、CAR代数の離散版として具体化され、明確な実現を与えた。
• 可換なAF逆モノイドは正確に可算ブール代数であり、それらが非可換一般化としての役割を果たすことを確認した。
• AF逆モノイドに付随する群ガロアは、対応するBratteli図のテール同値群ガロアと同型であり、代数的構造と位相的力学の間の関係を結ぶ。
• モノイド上の同値関係≡は、写像εpによって誘導される同値類の生成によって定まり、ブール逆モノイドでは自明であるが、均質的完備化ではレベル間で非自明である。
• 写像η: S → e₁De₁は、唯一のイデアルの減少列を誘導し、制限写像εp: Dp → Dp+1はBratteli図における辺接続を模倣し、モノイド構造を保存する。