[论文解读] On Well-behaved Unbounded Representations of *-Algebras

Konrad Schmuedgen|ArXiv.org|Apr 26, 2000

Advanced Operator Algebra Research参考文献 15被引用 21

一句话总结

本文提出了一种通用框架，通过兼容对 (X, B) 构造 *-代数的有界良好行为的无界 *-表示，其中 X 是一个 *-代数，B 是一个带有相容左作用的赋范 *-代数。对于 B 的任意连续非退化 *-表示 ρ，通过公式 ρ′(x)ρ(b) = ρ(x▹b) 可唯一定义 X 的闭 *-表示 ρ′，从而提供一种系统化方法来生成在物理和数学上具有意义的表示，特别适用于多项式代数、李代数、伪微分算子和量子群。

ABSTRACT

A general approach to the well-behaved unbounded *-representations of a *-algebra X is proposed. Let B be a normed *-algebra equipped with a left action |> of X on B such that (x |> a)^+ b=a^+(x^+ |> b) for a,b\in B and x\in X. Then the pair (X,B) is called a compatible pair. For any continuous non-degenerate *-representation ρof B there exists a closed *-representation ρ' of X such that ρ'(x)ρ(b)=ρ(x |> b), where x\in X and b\in B. The *-representations ρ' are called the well-behaved *-representations associated with the compatible pair (X,B). A number of examples are developed in detail.

研究动机与目标

• 解决一个根本性问题：由于存在过多病态例子，对一般 *-代数的所有 *-表示进行分类是病态的。
• 识别并形式化一类‘良好行为’的无界 *-表示，排除病态行为，适用于物理和数学应用。
• 提供一种通用、系统化的方法，利用带有相容左作用的 *-代数兼容对 (X, B)，构造此类良好行为的表示。
• 展示该框架在多种情境下的适用性，包括多项式代数、李群表示、伪微分算子和量子群。
• 阐明良好行为并非绝对，而是依赖于代数背景，并将各种现有概念统一于单一形式体系之下。

提出的方法

• 定义兼容对 (X, B)，其中 X 是一个 *-代数，B 是一个赋范 *-代数，且 X 通过左作用 ▹ 作用在 B 上，满足对所有 a,b ∈ B，x ∈ X 成立的相容性条件 (x▹a)+b = a+(x+▹b)。
• 利用 B 的任意连续非退化 *-表示 ρ，通过公式 ρ′(x)ρ(b) = ρ(x▹b) 诱导出 X 的闭 *-表示 ρ′。
• 证明诱导映射 ρ′ 是 X 的良好定义的闭 *-表示，确保其与 *-代数结构相容。
• 证明该构造具有典范性和函子性，保持表示的代数与拓扑性质。
• 通过具体例子说明该框架：多项式代数、通过 C∞₀(G) 实现的李代数表示、伪微分算子的 Weyl 计算，以及 SUq(1,1) 等量子群。
• 证明在许多情况下，作用 ▹ 自然地作为包含 X 和 B 作为子代数的更大 *-代数 A 中的乘法出现，即 ▹(x,b) = xb。

实验结果

研究问题

• RQ1 如何系统地定义并构造 *-代数的‘良好行为’无界 *-表示，以避免对所有可能表示进行分类的病态性？
• RQ2 何种代数结构可确保 *-代数 X 对赋范 *-代数 B 的左作用，能从 B 的表示诱导出 X 的闭 *-表示？
• RQ3 现有各种良好行为概念（如自伴性、本质自伴性或 Weyl 关系）如何统一于一个框架之下？
• RQ4 该框架如何应用于多项式代数、李代数的包络代数以及量子代数等不同代数？
• RQ5 相容性条件 (x▹a)+b = a+(x+▹b) 在确保诱导表示 ρ′ 的一致性和闭包性方面起什么作用？

主要发现

• 对于任意兼容对 (X, B) 及 B 的任意连续非退化 *-表示 ρ，存在唯一的闭 *-表示 ρ′ of X，使得对所有 x ∈ X，b ∈ B，有 ρ′(x)ρ(b) = ρ(x▹b)。
• 该构造推广并统一了多种已知的良好行为表示类，包括基于谱投影、Weyl 关系和可积性条件的表示。
• 在多项式代数 C[x₁,…,xₙ] 的情况下，该框架产生良好行为的表示，其中生成元是本质自伴的，且其谱投影彼此交换。
• 对于李代数 g 的包络代数 E(g)，该框架通过 X 在 C∞₀(G) 上的卷积乘法作用，恢复了 G-可积表示。
• 对于量子平面 O(R²q)，伪微分算子的 Weyl 计算提供了自然的兼容对，从而得到坐标 *-代数的良好行为表示。
• 该框架解释了为何许多物理和数学论文隐含地假设良好行为：此类假设是避免病态表示并确保物理一致性的必要条件。