GNS表現
作用素代数や数理物理学において、GNS表現(GNSひょうげん、GNS representation)、またはGelfand-Naimark-Segal表現とは、C*-代数に対し、状態と呼ばれる正値線形汎関数が与えられたときに、ヒルベルト空間上の有界作用素による表現を構成する手法。GNSの名は、1940年代にGNS表現を導入した三人の数学者ゲルファント(Gelfand)、マーク・ナイマルク(Naimark)、アービング・シーガル(Segal)の頭文字に由来する。GNS表現では、巡回ベクトルと呼ばれる特別な元に有界作用素による表現を作用させることで、表現空間であるヒルベルト空間自体を生成することができるともに、状態に対する作用素の値は、巡回ベクトルとの内積による期待値として与えられる。このことから、作用素代数に基づく場の量子論や量子統計力学の代数的なアプローチでは、物理量である作用素のなす代数から理論を構築しても、GNS表現を用いることで、通常のヒルベルト空間論に基づく理論との対応づけが可能となる。
C*-代数\mathfrak{A}において、\varphi :\mathfrak{A} \rightarrow \mathbb{C}を状態(state)、すなわち、以下の性質を満たす、\mathfrak{A}から複素数体\mathbb{C}への規格化された正値線形汎関数とする。
(1) 線形性  \varphi(\lambda A+ \mu B)=\lambda \varphi(A) +\mu  \varphi(B)
\quad {}^\forall A, B \in  \mathfrak{A}, \, {}^\forall  \lambda, \mu \in \mathbb{C}
(2) 正値性  \varphi(A^{\ast}A) \geq 0 \quad {}^\forall A \in  \mathfrak{A}
(3) 規格化条件  ||\varphi||=\sup \{ |\varphi(A)| \, | \, ||A||=1, \, A \in \mathfrak{A} \}=1
このとき、\mathfrak{A}のヒルベルト空間\mathcal{H}_{\varphi}上の表現、すなわち、\mathfrak{A}から\mathcal{H}_{\varphi}の有界作用素のなす代数\mathcal{B}(\mathcal{H}_{\varphi})への*-準同型写像 \pi_\varphi:\mathfrak{A} \rightarrow \mathcal{B}(\mathcal{H}_{\varphi})で、次の条件を満たすものを構成することができる。この表現をGNS表現と呼ぶ。
1. ある元\Omega_\varphi \in \mathcal{H}_{\varphi}が存在し、
\varphi(A)=\lang \Omega_\varphi,\pi_\varphi(A)  \Omega_\varphi \rang
\quad {}^\forall A \in  \mathfrak{A}
を満たす。但し、\lang \, , \, \rangは\mathcal{H}_{\varphi}上の内積である。
2. \Omega_\varphiは巡回ベクトル(cyclic vector)をなす。すなわち、
\pi_\varphi(\mathfrak{A})\Omega_\varphi =\{ \pi_\varphi(A)\Omega_\varphi| \, A \in \mathfrak{A} \}
はノルムによる強位相について、\mathcal{H}_{\varphi}で稠密である。
なお、1.のように内積の形式で与えられる状態をベクトル状態といい、2.のように巡回ベクトルをもつ表現を巡回表現という。
GNS表現により、状態\varphiから導入される組(\mathcal{H}_{\varphi},\pi_\varphi,\Omega_\varphi)をGNS構成と呼ぶ。GNS構成はユニタリ同値を除いて、一意的である。したがって、(\mathcal{H}_{\varphi},\pi_\varphi,\Omega_\varphi)と(\mathcal{H}'_{\varphi},\pi'_\varphi,\Omega'_\varphi)がともにGNS構成であるとき、ユニタリ作用素 U: \mathcal{H}_{\varphi}\rightarrow \mathcal{H}'_{\varphi}が存在し、
\pi_{\varphi}(A) U = U \pi'_{\varphi}(A) \quad {}^\forall A \in  \mathfrak{A}
が成り立つ。
GNS構成(\mathcal{H}_{\varphi},\pi_\varphi,\Omega_\varphi)において、巡回ベクトル\Omega_\varphiから表現空間の元\pi_\varphi(A)\Omega_\varphiが生成されることは、ちょうど場の量子論でフォック空間の元が真空から生成されることに対応している。但し、フォック空間の場合には二つの状態ベクトルは生成消滅演算子の作用により互いに移りわたれるため、任意の元が巡回ベクトルとなる。こうした性質は、表現の既約性と関連する。表現が既約表現であるとは、不変部分空間が\{0\}と表現空間\mathcal{H}のみであるときのことをいう。C*-代数の表現が既約表現であるとき、表現空間のゼロベクトルを除く任意の元が巡回ベクトルとなる。
一方、状態の観点からは、既約表現となるGNS表現を導く状態は、純粋状態(pure state)と呼ばれる特別な状態となる。状態\varphi が純粋状態であるとは、\varphiが異なる二つの状態\varphi_1、\varphi_2による凸結合\varphi=\lambda\varphi_1+(1-\lambda) \varphi_2 \, (0<\lambda<1)の形に書き表せないときのことをいう。
GNS構成(\mathcal{H}_{\varphi},\pi_\varphi,\Omega_\varphi)で、特に以下の3つの条件は同値となる。
1. (\mathcal{H}_{\varphi},\pi_\varphi)は既約表現である。
2. 状態\varphiは純粋状態である。
3. 状態\varphiは、\mathfrak{A}上の全ての状態のなす集合E_\mathfrak{A}で端点(extreme point) である。
GNS表現を構成する基本的なアイデアは、状態\varphiから内積を導入し、この内積から定まるノルムについての完備化により、ヒルベルト空間を構成することである。\varphi(A^{\ast}B)=\langle A, B \rangle と定めると状態の線形性と正値性からは、\langle , \rangleは非退化条件 \langle A, A \rangle =0 \Leftrightarrow A=0 を除いて、内積の性質を満たす。ここで、部分集合\mathfrak{N}= \{ A \in \mathfrak{A} | \, \varphi (A^\ast A)=0 \} を考えると\mathfrak{N}は左イデアルであり、同値類\xi_A=A+\mathfrak{N}による商空間\mathfrak{A}/\mathfrak{N}を考えることができる。このとき、\langle  \xi_A, \xi_B \rangle=\langle A, B \rangle は非退化条件を満たし、内積となる。この内積空間である\mathfrak{A}/\mathfrak{N}を完備化することでヒルベルト空間\mathcal{H}_{\varphi}が得られ、特に\mathfrak{A}/\mathfrak{N}は\mathcal{H}_{\varphi}で稠密である。ここで\pi_\varphiとして、\pi_\varphi(A)\xi_B=\xi_{AB}で定義すると代表元Bに依らず、well-definedな表現となる。議論を簡単にするため、\mathfrak{A}が単位元Iを持つとすると、\Omega_\varphi=\xi_{I}で定義される元は、\langle \Omega_\varphi,\pi_\varphi(A) \Omega_\varphi \rangle = \langle \xi_I, \xi_A \rangle=\omega(A)を満たすともに、\overline{\pi_\varphi(\mathfrak{A})\Omega_\varphi}=\overline{\mathfrak{A}/\mathfrak{N}=\mathcal{H}_{\varphi}であり、巡回ベクトルとなる。
GNS表現を応用することで、C*-代数の基本構造定理である「任意のC*-代数\mathfrak{A}はあるヒルベルト空間\mathcal{H}上の有界作用素のなす具体的なC*-代数\mathcal{B}(\mathcal{H})と等距離*-同型である」というゲルファント=ナイマルクの定理を導くことができる。E_\mathfrak{A}を状態全体からなる集合としたときに、GNS表現の族\{(\mathcal{H}_{\varphi},\pi_\varphi)\}_{\varphi \in E_\mathfrak{A}から直和表現
\mathcal{H}=\bigoplus_{\varphi \in E_\mathfrak{A}\mathcal{H}_{\varphi}, \,\, \pi=\bigoplus_{\varphi \in E_\mathfrak{A}\pi_{\varphi}
を構成すると、これは||\pi(A)||=||A||を満たす忠実な表現であり、\mathfrak{A}は\mathcal{B}(\mathcal{H})と等距離*-同型となる。