[论文解读] 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 在多大程度上可从纯泛函核的S-循环集重构C*-代数的谱？

主要发现

• 在C*-代数A上，纯泛函核的集合P是S-分离集，其中S为A的一维子空间的集合。
• 该集合P也是S-剩余闭集，因为剩余运算对S中元素与P中元素的成员关系保持在P ∪ {1}中。
• 对任意固定的纯态φ，集合Pφ（即满足φ(a·b) ≠ 0的泛函φ(a·b)的核）是S-循环集，且对所有p ∈ Pφ，满足{a → p ← b | a,b ∈ S} = Pφ ∪ {1}。
• 在A的闭理想量化代数中，所有S-循环集的并集是S-分离集，表明A的结构可由此类集合恢复。
• 闭理想的最大谱MaxA在某种意义上是‘几乎简单’的，其能分离原子，并可完全恢复代数A。
• 本文表明，纯态不必然构成循环集，且并非所有不可约表示都产生等价核，这限制了对一维子空间使用循环集的可能性。