[논문 리뷰] Continuous Dependence on the Initial Data in the Kadison Transitivity Theorem and GNS Construction

Daniel D. Spiegel, Juan Moreno외 4명|arXiv (Cornell University)|2021. 12. 26.

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를 구성함으로써 연속적인 카지돈 전이 정리를 증명하고, π(A(x,y))xi = yi 를 만족하는 연산자 선택을 보장한다. 여기서 (x,y)는 선형 독립적인 n-튜플이다.
• 기저 공간 Y 위에 기반을 두고, 각각의 C*-대수 섬유 Ay의 순수 상태 공간을 섬유로 갖는 위상수학적 다발 P(A) → Y를 구성한다.
• 각 순수 상태 ω에 대해 GNS 힐버트 공간 Hω와 갈판드 이상수 Nω를 섬유로 갖는 힐버트 다발 H → P(A)와 이상수 다발 N → P(A)를 정의한다.
• C*-대수 다발 p: A → Y가 매끄럽다면, 다발 P(A) → Y와 H → P(A)도 매끄러운 다발임을 보이며, 이는 ∗-자기동형사상의 반바나흐-라이 군 구조에 기반한다.
• 순수 상태 공간 위의 카이러 만만드의 기하학적 구조를 이용하여, 노름 위상과 호환되는 복소기하학적 및 리만 기하학적 기하학적 구조를 정의한다.
• 무한차원 다각형과 다발에 관한 결과를 적용하여, 반바나흐 다각형 위의 접선 다발과 텐서 다발의 매끄러운 구조를 다룬다.

실험 결과

연구 질문

• RQ1 힐베르트 공간 표현에서 초기 벡터 튜플의 연속적 변화에 따라 카지돈 전이 정리가 연속적인 연산자 선택을 생성할 수 있는가?
• RQ2 GNS 구성이 상태의 가중치로 일반화될 수 있으며, 기저 공간 위의 매개변수화된 C*-대수 다발 위에서 연속적이거나 매끄러운 다발을 생성할 수 있는가?
• RQ3 C*-대수의 순수 상태 공간의 기하학적 구조는 무엇이며, 이를 통해 연속적이고 매끄러운 구성이 어떻게 가능해지는가?
• RQ4 C*-대수의 ∗-자기동형사상의 군은 반바나흐-라이 군인가? 이는 GNS 구성에서 매끄러운 다발의 구조를 가능하게 하는가?
• RQ5 UHF 대수와 같은 C*-대수의 유니터리 군의 호모토피 군은 연속적인 GNS 및 카지돈 구성 하에서 어떻게 행동하는가?

주요 결과

• 선형 독립적인 성분을 갖는 n-튜플들의 공간 X에서, 모든 i = 1, ..., n 및 모든 (x,y) ∈ X에 대해 π(A(x,y))xi = yi 를 만족하는 연속적 선택 사상 A: X → A 가 존재한다.
• 자기수반 연산자에 대해서는, Xsa ⊂ X에서 자그리스 연산자가 존재하는 부분집합에서, 동일한 매핑 성질을 만족하는 연속적 사상 A: Xsa → Asa 가 존재한다.
• 유니터리 연산자에 대해서는, O ⊂ Xu 에서 정의된 이웃 영역 O 위에서 π(A(x,y))xi = yi 를 만족하는 연속적 사상 A: O → U(A) 가 존재한다.
• 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 설정에서 매끄러운 다발의 구조를 가능하게 한다.