[論文レビュー] On simple and semisimple quantales

David Kruml, Jan Paseka|ArXiv.org|Sep 27, 2002

Logic, programming, and type systems参考文献 6被引用数 5

ひとこと要約

本稿では、離散的量子代数に依存せずに、単純および半単純量子代数の新しい特徴付けを、分離集合および循環集合を用いて提示する。これにより、これらの代数的構造と単純量子代数モジュールの間の新しい関係が確立され、純状態および汎関数の核を通じてC*-代数への応用が可能となる枠組みが提供される。

ABSTRACT

In a recent paper, J. W. Pelletier and J. Rosicky published a characterization of *-simple *-quantales. Their results were adapted for the case of simple quantales by J. Paseka. In this paper we present similar characterizations which do not use a notion of discrete quantale. We also show a completely new characterization based on separating and cyclic sets. Further we explain a link to simple quantale modules. To apply these characterizations, we study (*-)semisimple (*-)quantales and discuss some other perspectives. Our approach has connections with several earlier works on the subject.

研究の動機と目的

• 離散的量子代数の概念に依存せずに、単純および半単純量子代数の代替的特徴付けを開発すること。
• S-分離およびS-循環集合の概念を導入し、それらを量子代数構造の分析に用いるための研究を展開すること。
• 単純量子代数と単純量子代数モジュールとの間の関係を明確にすること。
• これらの特徴付けがC*-代数に与える影響、特に純状態および汎関数の核を通じての意義を明らかにすること。
• S-忠実、S-単純、S-半単純量子代数といった類似概念が意味的に定義可能かどうかを検討し、古典的C*-代数の概念と関連付けること。

提案手法

• S-分離集合を導入：量子代数Qの乗法的部分半群Sに対して、a,b ∈ S かつ a ≰ b であるとき、あるp ∈ Pが存在して a ≤ p かつ b ≰ p を満たすような集合PをS-分離集合と呼ぶ。
• S-残余閉集合を定義：すべてのa ∈ Sおよびp ∈ Pに対して、a → p および p ← a がP ∪ {1}に属するとき、PはS-残余閉集合であると定義する。
• S-循環集合を導入：空でない集合Pで1 ∉ Pであるものについて、すべてのp ∈ Pに対して {a → p ← b | a,b ∈ S} = P ∪ {1} が成り立つとき、PはS-循環集合であると定義する。
• C*-代数Aの閉イデアルの量子代数にこれらの概念を適用し、純状態を用いて汎関数の核の集合Pの候補を構成する。
• 純汎関数の核の集合PがS-分離かつS-残余閉であることを示し、固定された純状態φに対して、集合PφがS-循環であることを示す。
• 量子代数における随伴写像および残余演算を用いて、モジュールおよび合同関係の構造的性質を導出し、それらをモジュール論および双対性と関連付ける。

実験結果

リサーチクエスチョン

• RQ1 単純および半単純量子代数は、離散的量子代数に依存せずに特徴付け可能か？
• RQ2 S-分離およびS-循環集合は、量子代数構造の分析に実用的な代替枠組みを提供するか？
• RQ3 量子代数におけるS-循環集合とC*-代数の表現論との間に意味的な関係は存在するか？
• RQ4 S-忠実、S-単純、S-半単純量子代数の概念は意味的に定義可能であり、古典的C*-代数の概念と関連付けることができるか？
• RQ5 C*-代数のスペクトルは、その純汎関数の核のS-循環集合からどれほど正確に再構成可能か？

主な発見

• C*-代数A上の純汎関数の核の集合Pは、S（Aの1次元部分空間の集合）に関してS-分離である。
• 集合PはS-残余閉である。なぜなら、Sに属する要素に対して、残余演算がP ∪ {1}に属する性質を保つからである。
• 任意の固定された純状態φに対して、φ(a·b) ≠ 0 となる関数の核の集合PφはS-循環であり、すべてのp ∈ Pφに対して {a → p ← b | a,b ∈ S} = Pφ ∪ {1} が成り立つ。
• Aの閉イデアルの量子代数におけるすべてのS-循環集合の和集合はS-分離である。これは、Aの構造がこのような集合から回復可能であることを示している。
• 閉イデアルのスペクトルMaxAは、原子を分離でき、かつ代数Aを完全に回復可能であるという意味で「ほとんど単純」である。
• 本稿では、純状態が必ずしも循環集合を形成しないこと、およびすべての既約表現が等価な核をもたらすわけではないこと、したがって1次元部分空間に対して循環集合を用いることは制限を受けることが示されている。