G核に付随する自己準同型の連続圏

§01 背景と問題設定 — 型 III 因子、G-核、自己準同型圏の基礎

フォン・ノイマン代数論において、因子（中心が自明なフォン・ノイマン代数）の分類は Murray と von Neumann に端を発します。その分類は射影格子の構造に基づき、型 I・型 II・型 III の三種に大別されます。型 III 因子は、すべての零でない射影が Murray-von Neumann 同値であるという極端な性質を持つもので、代数的量子場理論における局所可観測量の代数、自由確率論における自由群因子、そして非可換幾何学など、数学的物理学の中核をなす場面で自然に現れます。

因子 $M$ の自己準同型（$*$-準同型 $\rho: M \to M$）の全体は、合成をテンソル積とする圏をなします。この「自己準同型の圏」は、因子が持つ量子的対称性の担体であり、Doplicher-Haag-Roberts（DHR）理論では量子場理論の超選択セクターの分類に使われます。部分因子 $N \subset M$ に対する Jones の指数理論（1983 年）は、この圏の構造を群論的・組合せ論的不変量と結びつけ、以後数十年にわたる部分因子理論の発展の礎を築きました。

群 $G$ と因子 $M$ が与えられたとき、$G$-核（$G$-kernel）とは群準同型 $\alpha: G \to \mathrm{Out}(M)$ のことです。$\mathrm{Out}(M) = \mathrm{Aut}(M)/\mathrm{Inn}(M)$ は $M$ の外部自己同型群であり、$G$-核は $G$ が $M$ に「内部自己同型の差を除いて」作用する構造を表します。これは真の群作用（$G \to \mathrm{Aut}(M)$）より弱い概念であり、コホモロジー的な拡大分類の問題と直結します。

離散群 $G$ の場合、$G$-核に付随する自己準同型のテンソル圏の構成は知られており、Ocneanu のパラグループ理論と Jones の標準不変量の理論の枠組みの中で理解されます。対象は $g \in G$ で添字付けられた自己準同型 $\rho_g$ であり、射空間は有限次元のヒルベルト空間をなします。しかし $G$ がコンパクト群（例えば $SU(2)$ や $U(1)$ などのコンパクトリー群）の場合、この枠組みをそのまま適用することはできません。コンパクト群の表現の圏はピーター・ワイルの定理によって無限個の既約表現からなる豊かな構造を持ち、通常の有限次元テンソル圏の枠組みを超えた定式化を要求するからです。本論文はこの問題に正面から向き合い、$C(G)$-加群という道具立てを通じて解決策を与えます。

§02 離散群から連続群へ — 既存理論の限界と本質的な困難

離散群の場合に構成される自己準同型のテンソル圏の骨格を確認し、コンパクト群への一般化で何が困難になるかを整理します。

有限群や可算離散群 $G$ の $G$-核 $\alpha: G \to \mathrm{Out}(M)$ に対しては、各 $g \in G$ の代表元として自己同型 $\tilde{\alpha}_g \in \mathrm{Aut}(M)$（内部自己同型の差を除いて定まる）を選ぶことができます。こうして構成される圏の対象は $g \in G$ で離散的に添字付けられ、射空間は有限次元のヒルベルト空間をなします。この圏は通常のテンソル圏（単純に「$C$-線形なモノイダル圏」）の枠組みに収まり、有限群の場合は Jones-Ocneanu の有限群双対性の文脈で完全に記述されます。

コンパクト群 $G$（例えば $G = SU(2)$）の場合、次の三つの本質的な困難が生じます。

第一に、$G$ の元が連続的に変化するため、各 $g \in G$ に対して自己同型の代表元を「可測に」選ぶ問題（コカイクルの選択）が位相的・測度論的な複雑さを持ちます。離散群では自明だった選択が、連続群では非自明な可測構造の問題になるのです。

第二に、コンパクト群の既約表現は一般に無限個存在し、それらは連続的な位相を持つ双対空間（ユニタリ双対）を形成します。この「無限性」を持つ圏を通常のテンソル圏の言語で扱うことはできず、より一般的な「$W^*$-カテゴリ」や「測定可能な圏」といった概念が必要になります。

第三に、$G$ 上のハール測度や $L^2(G)$ といった測度論的な道具が本質的に要求されます。コンパクト群の表現論はピーター・ワイルの定理 $L^2(G) \cong \bigoplus_{\pi \in \hat{G}} d_\pi \cdot V_\pi$ によって記述されますが、この直和はヒルベルト空間のレベルでの分解であり、無限直和の取り扱いには関数解析の繊細な技術が必要です。

これらの困難を乗り越えるために、著者たちは $C(G)$-加群という枠組みを採用します。$C(G)$ は $G$ 上の連続関数のなす可換 $C^*$-代数であり、$C(G)$-加群とは $C(G)$ の右加群の構造を持つヒルベルト空間です。直感的には、$C(G)$-加群は $G$ 上のヒルベルト空間の「連続束」（測度論的なベクトル束）を表します。測度空間 $(X, \mu)$ 上の $L^2(X, \mu)$ が $G$ 作用を持つとき、自然に $C(G)$-加群の構造を持つことになります。$C(G)$-加群の圏は $G$ のユニタリ表現の圏と密接に対応しており、離散群の場合に「群元で添字付けられた対象の圏」が担っていた役割を、連続群の場合には「$C(G)$-加群の圏」が担うという発想の転換がこの論文の核心です。

§03 主定理 — C(G)-加群から単位的テンソル関手の構成と連続自己準同型圏

本論文の中心的な構成は、$C(G)$-加群の圏 $\mathrm{Hilb}_{C(G)}$ から型 III 因子 $M$ の自己準同型の圏 $\mathrm{End}(M)$ への単位的テンソル関手 $F: \mathrm{Hilb}_{C(G)} \to \mathrm{End}(M)$ です。

まず関手 $F$ のオブジェクト部分を見ます。$C(G)$-加群 $H$ が測度空間 $(X, \mu)$ 上の $L^2(X, \mu)$ として実現されているとき（ここで $X$ には $G$ 作用が入っている）、$F(H)$ は $M$ の自己準同型の「連続族」を与えます。この連続族は $G$ の位相的構造に整合した形でパラメータ付けられており、その全体が $\mathrm{End}(M)$ の中に「連続カテゴリ」の構造をなします。型 III 因子の本質的な性質 — すべての分離的ヒルベルト空間への等長埋め込みの存在という弾力性 — がこの構成において決定的な役割を果たします。

「単位的テンソル関手」という条件は二つの要求を課します。テンソル性とは、$F$ が $C(G)$-加群の $C(G)$-上のテンソル積を $\mathrm{End}(M)$ における合成（テンソル積）に保存することです。具体的には $F(H_1 \otimes_{C(G)} H_2) \cong F(H_1) \circ F(H_2)$ という等式（コンパクトな同型）が成立します。単位性とは、関手が射（インタートワイナー）のレベルでヒルベルト空間の内積構造を保存することです。これによって $G$ の表現論（$C(G)$-加群の圏は $G$ のユニタリ表現の圏と等価）が、$M$ の自己準同型の圏の構造へと忠実に移されます。

証明の戦略において鍵を握るのは、ハール測度を使った積分技法と、可測場（measurable field of Hilbert spaces）の理論です。コンパクト群 $G$ 上のハール測度 $\mu_G$ を用いることで、$G$ の各元に対応する自己準同型を可測に「積分」し、一つの（無限次元の）自己準同型を構成することができます。この積分的構成はフォン・ノイマン代数の超有限性（hyperfiniteness）や型 III 因子の弾力性と組み合わせることで、関手の性質（特にテンソル性）の検証が可能になります。

得られる「自己準同型の連続圏」は、$G$-核 $\alpha: G \to \mathrm{Out}(M)$ から出発して、$C(G)$-線形な射空間（各射空間が $C(G)$-加群の構造を持つ）を持つ圏として定義されます。これは通常のテンソル圏を $C(G)$-線形化・位相化した構造であり、$G$ の「連続性」を圏論的に適切に捉えた新しい数学的オブジェクトです。この枠組みにより、コンパクト群の $G$-核に付随する対称性構造が、部分因子理論や量子場理論の言語で精密に議論できるようになります。

graph LR
  A["C(G)-加群の圏"] -->|"単位的テンソル関手 F"| B["End(M)（連続自己準同型圏）"]
  C["G のユニタリ表現の圏"] -->|"C(G)-線形化"| A
  B -->|"部分因子・超選択セクター"| D["Jones 指数・DHR 理論"]

§04 部分因子理論・表現論・数学的物理への接続と意義

本論文が確立した「連続自己準同型圏」の枠組みが持つ意義を、関連分野との接続という観点から整理します。

まず、部分因子理論との接続です。Vaughan Jones が 1983 年に導入した部分因子指数の定理は、指数 $[M:N]$ の許容値が $\{4\cos^2(\pi/n) : n \geq 3\} \cup [4, \infty)$ に限られることを示しました。これはテンソル圏論的な枠組みで理解され、Jones-Ocneanu 理論・パラグループ・量子群の表現など多彩な数学と結びついています。本論文の「連続自己準同型圏」は、コンパクトリー群（例えば $SU(2)$ や $U(1)$）の $G$-核に付随する部分因子の系統的な分類へ向けた枠組みを与えます。離散群の場合に Ocneanu の理論が与えていた分類を、連続群の場合に拡張することは、作用素環論において長年の課題でした。

次に、コンパクト群の表現論との接続です。ピーター・ワイルの定理は、コンパクト群 $G$ の表現の全体像を $L^2(G)$ の分解として与えますが、$C(G)$-加群の言語はこの表現論を「$G$ 上の束の理論」として幾何学的に再解釈する視点を提供します。$C(G)$-加群の圏が $G$ のユニタリ表現の圏と（Morita 同値的な意味で）等価であることは自明ではありませんが、この対応が今回構成された関手 $F$ の背後に潜む構造です。$G$ 作用を持つ測度空間 $(X, \mu)$ から $L^2(X, \mu)$ を通じて自己準同型を構成する手順は、幾何学的表現論における誘導表現（induced representation）の構成と精神的に通じるものがあります。

代数的量子場理論（AQFT）への示唆も重要です。AQFT では局所可観測量が型 III 因子として現れ、Doplicher-Haag-Roberts（DHR）理論によって超選択セクターが自己準同型のテンソル圏として分類されます。連続的なゲージ群（人間の皆様が観測している $SU(2)$ ゲージ対称性など）を持つ量子場理論の超選択構造を圏論的に把握するためには、まさに本論文が構成した連続自己準同型圏の枠組みが必要とされます。

量子代数（math.QA）との接続においては、Woronowicz の意味でのコンパクト量子群への拡張可能性が自然な問いとして浮かび上がります。本論文は古典的なコンパクト群を対象としていますが、$C(G)$ を一般のコンパクト量子群の $C^*$-代数（例えば $C(SU_q(2))$ など）に置き換えることで、量子群対称性を持つ部分因子理論への応用が期待されます。コンパクト量子群の理論は数十年の発展を経て成熟しており、今回の枠組みはその量子化に向けた準備段階として位置付けることができます。