[论文解读] Continuous Dependence on the Initial Data in the Kadison Transitivity Theorem and GNS Construction

Daniel D. Spiegel, Juan Moreno+4 more|arXiv (Cornell University)|Dec 26, 2021

Algebraic structures and combinatorial models参考文献 51被引用 3

一句话总结

本文建立了C*-代数中基灵森传递定理与盖尔范德-奈马克-塞加勒（GNS）构造对初始数据的连续与光滑依赖性。证明了存在连续算子族，可选取映射将指定的线性无关向量组映射至不可约表示中的目标向量，并为纯态空间、GNS希尔伯特空间及关联理想构造了拓扑与光滑纤维丛。一个关键结果是具有范数连续选取的连续基灵森传递定理，其推广至自伴与酉算子，并通过纤维化GNS构造在基代数丛光滑时产生光滑丛。

ABSTRACT

We consider how the outputs of the Kadison transitivity theorem and Gelfand-Naimark-Segal construction may be obtained in families when the initial data are varied. More precisely, for the Kadison transitivity theorem, we prove that for any nonzero irreducible representation $(\mathcal{H}, \pi)$ of a $C^*$-algebra $\mathfrak{A}$ and $n \in \mathbb{N}$, there exists a continuous function $A:X ightarrow \mathfrak{A}$ such that $\pi(A(\mathbf{x}, \mathbf{y}))x_i = y_i$ for all $i \in \{1, \ldots, n\}$, where $X$ is the set of pairs of $n$-tuples $(\mathbf{x}, \mathbf{y}) \in \mathcal{H}^n imes \mathcal{H}^n$ such that the components of $\mathbf{x}$ are linearly independent. Versions of this result where $A$ maps into the self-adjoint or unitary elements of $\mathfrak{A}$ are also presented. Regarding the Gelfand-Naimark-Segal construction, we prove that given a topological $C^*$-algebra fiber bundle $p:\mathfrak{A} ightarrow Y$, one may construct a topological fiber bundle $\mathscr{P}(\mathfrak{A}) ightarrow Y$ whose fiber over $y \in Y$ is the space of pure states of $\mathfrak{A}_y$ (with the norm topology), as well as bundles $\mathscr{H} ightarrow \mathscr{P}(\mathfrak{A})$ and $\mathscr{N} ightarrow \mathscr{P}(\mathfrak{A})$ whose fibers $\mathscr{H}_\omega$ and $\mathscr{N}_\omega$ over $\omega \in \mathscr{P}(\mathfrak{A})$ are the GNS Hilbert space and closed left ideal, respectively, corresponding to $\omega$. When $p:\mathfrak{A} ightarrow Y$ is a smooth fiber bundle, we show that $\mathscr{P}(\mathfrak{A}) ightarrow Y$ and $\mathscr{H} ightarrow \mathscr{P}(\mathfrak{A})$ are also smooth fiber bundles; this involves proving that the group of $*$-automorphisms of a $C^*$-algebra is a Banach-Lie group. In service of these results, we review the geometry of the topology and pure state space. A simple non-interacting quantum spin system is provided as an example.

研究动机与目标

• 建立C*-代数中基灵森传递定理对初始数据的连续依赖性。
• 将盖尔范德-奈马克-塞加勒（GNS）构造推广至态族，生成连续与光滑的纤维丛。
• 为纯态空间构建几何与拓扑框架，包括凯勒流形结构。
• 证明C*-代数的∗-自同构群为巴拿赫-李群，从而在GNS构造中支持光滑纤维丛结构。
• 通过一个非相互作用的量子自旋系统说明结果，展示范数连续态演化在物理上的相关性。

提出的方法

• 利用迈克尔选择定理证明连续基灵森传递定理，构造连续映射X → A，使得对线性无关的n元组(x,y)，有π(A(x,y))xi = yi。
• 在基空间Y上构造拓扑纤维丛P(A) → Y，其纤维为C*-代数纤维Ay的纯态空间。
• 定义希尔伯特丛H → P(A)与理想丛N → P(A)，其纤维分别为每个纯态ω的GNS希尔伯特空间Hω与盖尔范德理想Nω。
• 证明当C*-代数丛p: A → Y光滑时，纤维丛P(A) → Y与H → P(A)亦为光滑纤维丛，其依据为∗-自同构群的巴拿赫-李群结构。
• 利用纯态空间上的凯勒流形结构，定义与范数拓扑相容的复结构与黎曼结构。
• 应用无限维流形与纤维丛的结果，包括巴拿赫流形上切丛与张量丛的光滑结构。

实验结果

研究问题

• RQ1 基灵森传递定理能否推广至在希尔伯特空间表示中，对初始向量组连续变化时，产生依赖于该变化的连续算子选取？
• RQ2 GNS构造能否推广至态族，从而在参数化C*-代数的基空间上生成连续或光滑的纤维丛？
• RQ3 C*-代数的纯态空间的几何结构为何？其如何支持连续与光滑构造？
• RQ4 C*-代数的∗-自同构群是否为巴拿赫-李群，从而在GNS构造中支持光滑纤维丛结构？
• RQ5 在连续GNS与基灵森构造下，C*-代数中的酉群（如UHF代数）的同伦群行为如何？

主要发现

• 存在连续选取映射A: X → A，使得对所有i = 1, ..., n及所有(x,y) ∈ X，有π(A(x,y))xi = yi，其中X为各分量线性无关的n元组空间。
• 对自伴算子，存在连续映射A: Xsa → Asa，满足相同映射性质，其中Xsa为存在此类自伴算子的子集。
• 对酉算子，存在连续映射A: O → U(A)，定义在Xu的邻域O ⊂ Xu上，使得对所有i，有π(A(x,y))xi = yi。
• 由pU(A): U(A) → Pω(A)定义的映射，满足pU(A)(U)(A) = ω(U*AU)，构成一个局部平凡的主Uω(A)-丛，且在包括UHF代数在内的例子中为非平凡丛。
• 当C*-代数丛p: A → Y光滑时，纯态丛P(A) → Y与GNS希尔伯特丛H → P(A)亦为光滑纤维丛。
• C*-代数的∗-自同构群为巴拿赫-李群，从而在GNS设定中支持光滑纤维丛的构造。