フォン・ノイマン環

フォン・ノイマン環とは、ヒルベルト空間上の有界線型作用素たちのなす C*-環のうちで恒等作用素を含み作用素の弱収束位相について閉じているもののことである。一般の C*-環と並ぶ作用素環論の主要な研究対象であり、理論の創始者の一人ジョン・フォン・ノイマンにちなんでこの名前がついている。可換なフォン・ノイマン環の重要な例として、σ-有限な測度空間 //X// 上の //L//∞ 級関数全体のなす環があげられる。

1. 定義
-----

//H// をヒルベルト空間、//B// を //H// 上の有界線型作用素全体のなす C*-環とする。//B// の部分 C*-環 //M// は次の二つの条件を満たすときフォン・ノイマン環とよばれる。

//M// は //H// 上の恒等作用素を含む。
//M// は作用素の弱収束位相について閉じている。つまり、//B// を //H// 上の連続な半双線型形式の空間と同一視したときの各点収束位相について閉じている。//M//が上記の第二の条件のみを満たすときは、//H//のある閉部分空間//K//について//K//の上への射影子が//M//の乗法単位元になっていて、//M//を//K//上のフォン・ノイマン環と見なすことができる。

C*-環 //A// で、あるフォン・ノイマン環と同型であるようなものは W*-環  とよばれる。

1.1. フォン・ノイマン環の特徴づけ
-------------------

フォン ノイマンの再交換団定理  によって、ヒルベルト空間 //H// 上のフォン・ノイマン環について次の二種類の特徴づけができる。

作用素の強収束位相について閉じていて、恒等作用素を含むような //B// の部分 *-環
//B// の任意の部分集合 //X// に対してその交換団 ∀//x// ∈ //X// : //xy// = //yx//} を //X//′ と書くことにするとき、//M// = //M//′′ かつ対合について閉じているものW*-環は、C*-環のうちバナッハ空間の双対になっているようなものとして特徴づけられる。このバナッハ空間は各W*-環に対して一意に決まる。

1.2. σ-弱収束位相
------------

//M//をヒルベルト空間//H//上のフォン・ノイマン環とする。作用素の弱収束位相について連続な線型形式とは //T// →  の形の線型形式たちの一次結合である。これらの線型形式たちが //M//の双対//M//*の中で張る閉部分空間 //M//*は //M//の前双対とよばれる。標準的なペアリングによって //M// は //M//* の双対空間と同一視される。この、//M//*とのペアリングによる //M// 上の弱収束位相はσ-弱収束位相とよばれる。

//M// と //N// がフォン・ノイマン環のとき、//M// から //N// への *-準同型 //f// で作用素のσ-弱収束位相について連続であるようなものは正規な *-準同型ともいわれる。正規な*-準同型の像は作用素の弱収束位相でとじている。フォン・ノイマン環の間の *-準同型には正規でないものも存在する。とくに //H// が無限次元ヒルベルト空間のとき、//B// の部分 C*-環 //A// が W*-環であったとしても、それが //H// 上のフォン・ノイマン環であるとは限らない。

2. 非可換な測度空間
-----------

可分なヒルベルト空間上の可換フォン・ノイマン環とは //L//∞ 関数環だと見なせるが、一方で//L//∞ 関数環からは元の空間の可測集合が「復元」できる。さらにσ-弱連続な線型形式たちは//L//1関数を表していると考えられる。したがって一般のフォン・ノイマン環は測度空間のある種の変形を表していると考えることができる。実際、エゴロフの定理、ルジンの定理など測度論の諸定理が可換とは限らないフォン・ノイマン環について有効な言明に置き換え証明できる。また、葉層など「歪んだ」空間上の測度論も非可換なフォン・ノイマン環によって表現できる。

3. 構造の分類
--------

フォン・ノイマン環 //M// の射影子たちの間に順序関係 //e// ≤ //f// ≡ //ef// = //e// を考えるとき、//M// の射影子全体の集合は完備束をなす。この射影子束の構造をもちいて I, II, III 型のフォン・ノイマン環が定義される。任意のフォン・ノイマン環 //M// についてフォン・ノイマン環 //M//I, //M//II, //M//III でそれぞれ I, II, III 型であるものが同型をのぞき一意に定まり、//M// は //M//I - //M//IIIの直和と同型になる。

3.1. 因子
-------

フォン・ノイマン環 //M// で、その中心 //M// ∩ //M//′ が単位元の張る C 上一次元の部分空間になっているものは因子とよばれる。因子とは W*-環の直和への分解が自明なものに限るようなフォン・ノイマン環のことである。可分なヒルベルト空間上の任意のフォン・ノイマン環は因子の直積分に分解できる。

4. フォン・ノイマン環の構成
---------------

//B// //H// をヒルベルト空間とするとき //B// は I 型のフォン・ノイマン環で、因子でもある。逆に任意の I 型因子はある //B// に同型になる。 //L//∞ μ をパラコンパクト空間 //X// 上のラドン測度とする。//L//∞ の任意の元 φ は、ヒルベルト空間 //L//2 上の有界線型作用素 //M//φ: //f// → φ.//f// と同一視できる。このとき //L//∞ は //L//2 上の可換なフォン・ノイマン環になる。逆に、可分なヒルベルト空間上の可換フォン・ノイマン環はこのタイプのものと同型になる。 群フォン・ノイマン環 //G// を局所コンパクト群、μ を //G// の右ハール測度とする。//G// の任意の元 //g// はヒルベルト空間 //L//2 上のユニタリ作用素 //u////g//: //f// → //f// と同一視できる。 //g// ∈ //G//} を含むような //L//2 上のフォン・ノイマン環のうちで最小のものは //G// の群フォン・ノイマン環とよばれる。//G// が有限群のとき、//G// の群フォン・ノイマン環は //G// の群環 C[//G//] と同型になる。 葉層のフォン・ノイマン環 //V//を可微分多様体、 を//V//上の葉層構造でほとんど全ての葉が自明なホロノミーを持つものとする。このとき、それぞれの葉 //l// の上で、自乗可積分な半密度は「反変的なエルミートバンドル」を定める。その切断たちは「局所座標系によらない」ヒルベルト空間 //L//2 をなす。各葉 //l// に対し //L//2 上の有界線型作用素 //q////l// を対応させる写像 //q// のうちで一定の「有界性」および「可測性」を満たすもののなす代数をフォン・ノイマン環と見なすことができる。こうして構成される葉層のフォン・ノイマン環 W について、その中心は葉の空間 //X//
の、通常の位相空間の商空間としての測度構造を表現している。 二つのフォン・ノイマン環のテンソル積 //M// と //N// がそれぞれヒルベルト空間 //H// および //K// 上のフォン・ノイマン環のだとする。ヒルベルト空間のテンソル積 //H// ⊗ //K// 上の有界線型作用素 //S// ⊗ //T// たちによって生成されるフォン・ノイマン環 //M// ⊗ //N// は//M//と//N//のとしてのテンソル積とよばれる。 群作用から導かれる接合積 //A// がヒルベルト空間 //H//上の可換フォン・ノイマン環、局所コンパクト群//G//が//A//上に左から作用しているとする。//A//の表現πと//G//のユニタリ表現 //u//で、//u//π//u//* = π を満たす普遍的なフォン・ノイマン環が次のように構成され、//A//と//G//の接合積とよばれる：//G//のユニタリ表現μ を//G// の右ハール測度とするとき、ヒルベルト空間のテンソル積 //H// ⊗ //L//2 は //G//上の//H//値自乗可積分関数の空間 //L//2 と見なせる。群フォンノイマン環と同様にしてこの上に//G//のユニタリ表現//u//が得られる。//A//の表現πを.f) = .fによって与え、πと//u//によって生成されるフォン・ノイマン環を//A//と//G//の接合積とする。

5. 他の分野への応用
-----------

表現論、結び目理論、トポロジー、統計力学、確率論、共形場理論、場の量子論

6. 脚注
-----