[论文解读] On O^*-representability and C^*-representability of *-algebras

Stanislav Popovych|ArXiv.org|Sep 24, 2007

Advanced Operator Algebra Research参考文献 13被引用 9

一句话总结

本文建立了 *-代数在希尔伯特空间上通过有界或无界算子实现忠实表示的充分代数条件，利用格罗布纳基理论将单项 *-代数中的不可压缩性概念进行推广。主要贡献是提出了一类新的 *-代数——非扩张 *-代数——其 $O^*$- 和 $C^*$- 表示性可通过格罗布纳基实现算法可验证。

ABSTRACT

Characterization of the *-subalgebras in the algebra of bounded operators acting on Hilbert space is presented. Sufficient conditions for the existence of a faithful representation in pre-Hilbert space of a *-algebra in terms of its Groebner basis are given. These conditions are generalization of the unshrinkability of monomial *-algebras introduced by C. Lance and P. Tapper. The applications to *-doubles, monomial *-algebras and several other classes of *-algebras are presented.

研究动机与目标

• 将单项 *-代数中不可压缩性的概念推广至更广泛的 *-代数类别。
• 基于格罗布纳基，提供 *-代数 $O^*$- 和 $C^*$- 表示性的充分条件。
• 在统一的代数框架下整合 *-代数的表示理论，包括 *-双代数和单项 *-代数。
• 通过格罗布纳基技术，建立对有限表示 *-代数表示性的算法可验证性。

提出的方法

• 引入非扩张 *-代数的概念，作为单项 *-代数的推广。
• 利用格罗布纳基理论，通过在复合运算下封闭的性质，定义并刻画 $O^*$- 表示的 *-代数。
• 应用典范形式映射 $\mathrm{R}_S$ 计算商代数 $F/\mathcal{I}$ 中的规范形式，实现算法化等式判定。
• 利用 Choi-Effros 对抽象算子系统的刻画，推导 $C^*$- 表示性的判据。
• 应用代数可接受锥与阿基米德序单位的概念，刻画 $C^*$- 表示性。
• 证明完全正性（即在 $M_n(A)$ 中 $x^*x = 0$ 蕴含 $x = 0$）在一大类 *-代数中足以保证 $C^*$- 表示性，但一般情况下并非如此。

实验结果

研究问题

• RQ1 在何种代数条件下，*-* 代数是 $O^*$- 表示的，即可在预希尔伯特空间上忠实表示为算子？
• RQ2 能否利用格罗布纳基技术，将单项 *-代数的不可压缩性条件推广至更广泛的 *-代数类别？
• RQ3 完全正性（即 $x^*x = 0$ 无非平凡解）在一般情况下是否足以保证 $C^*$- 表示性，还是需要额外条件？
• RQ4 能否通过格罗布纳基方法算法化验证有限表示 *-代数的 $O^*$- 表示性？
• RQ5 格罗布纳基与典范形式的概念如何与 *-代数的 $O^*$- 和 $C^*$- 表示结构相关联？

主要发现

• 本文引入了非扩张 *-代数类，作为单项 *-代数的推广，其具有 $O^*$- 表示性。
• 一个在复合运算下封闭的极小格罗布纳基，确保不包含首项作为子词的字串集合构成代数的线性基。
• 典范形式映射 $\mathrm{R}_S$ 允许算法化计算规范形式，从而在商代数中实现有效的等式判定。
• 完全正性在一大类 *-代数中足以保证 $C^*$- 表示性，但一般情况下不成立，该结论通过格罗布纳基技术构造反例予以证明。
• *-双代数与单项 *-代数的 $O^*$- 表示性在新的非扩张 *-代数框架下得以统一。
• 通过代数可接受锥与阿基米德序单位刻画 $C^*$- 表示性的结果，被证明与已知结论等价，且现可从抽象矩阵有序结构中推导而出。