第14章　非可換幾何とは何をしている理論なのか

Core — 本書の問いに、比喩ではなく構造で答える。

14.1 まず、言ってはいけないこと

「すべての非可換環には、本当は点からなる空間が隠れている」という主張は正しくない。$M_n(\mathbb C)$（$n>1$）には非零characterがなく、通常の点評価だけでは何も復元できない。状態空間を点集合にすればよいわけでもない。状態空間は凸構造を持ち、同じ代数でも問題に応じて既約表現、primitive ideal、射影、加群など異なる代理物を使う。

また、非可換 $C^*$-環 $A$ だけで距離や微分構造まで決まるわけではない。同じ位相空間に多数のRiemann計量が入るのと同様、距離には $D$ などの追加データが必要である。

14.2 正確な第一段階：可換双対性を反転する

局所コンパクトHausdorff空間と可換 $C^*$-環の反変対応では、射の選び方を明示する必要がある。本書では空間側の射をproper連続写像、代数側の射を通常の $*$-準同型とする。すると

$$ XC_0(X), f:XY f^*:C_0(Y)C_0(X)

となる。propernessを落とすと、$g\in C_0(Y)$ に対する $g\circ f$ が無限遠で消えないことがある。一般の連続写像を扱う別の定式化では、multiplier algebraへの非退化 $*$-準同型を射に採用する。この定理により、「空間についての主張を関数環についての主張へ翻訳する」ことは比喩でなく厳密な操作になる。非可換幾何の第一段階は、採用した圏を明示したうえで、翻訳後の代数的表現を可換でない $A$ にも定義することである。

14.3 何が残り、何が壊れ、何を追加するか

問題	可換の場合	非可換化後
点	character $f\mapsto f(x)$	characterは不足。状態・既約表現など目的別に使う
部分集合	消滅イデアル・射影	閉イデアル・射影。ただし点集合解釈は限定的
束	$\Gamma(E)$	有限生成射影加群
位相的不変量	$K^*(X)$	$K_*(A)$
測度・積分	正汎関数・積分	状態、trace、weight
微分	$df$	$[D,a]$、導分、微分包絡
距離	Lipschitz関数	$\\|[D,a]\\|$ が定める半ノルム
コホモロジー	de Rham理論	Hochschild・巡回理論
同じ空間	homeomorphism	同型より弱いMorita同値を使う場面がある

非可換化で単一の辞書がすべてを保存するわけではない。位相には $C^*$-完備化、測度にはvon Neumann閉包、滑らかさには稠密な滑らかな部分代数、計量にはスペクトル三つ組が適する。どの圏と追加構造を選ぶかが理論の一部である。

14.4 「空間を関数から復元する」への回答

点 $x$ は、すべての関数の値を積と和を保って読み出す評価写像である。抽象可換 $C^*$-環 $A$ ではcharacter全体 $\widehat A$ を点集合とし、弱-* 位相を入れる。Gelfand変換

$$ aa,a()=(a)

は $A\cong C_0(\widehat A)$ を与える。したがって関数の加法・積・共役・ノルムを知れば、点と位相を同時に復元できる。

Hausdorff性と局所コンパクト性、$C^*$-条件は偶然の仮定ではない。それらがcharacterの存在、連続関数による点の分離、ノルムの復元を保証する。

14.5 「stateとは何か」への回答

状態は正規化された正線形汎関数

$$ :AC,(a^*a),||=1

である。$A$ が単位的なら、正線形汎関数について $\|\varphi\|=1$ は $\varphi(1)=1$ と同値である。非単位的環では単位元を仮定せず、ノルム1を正規化条件にする。可換環 $C(X)$ では確率測度による期待値 $\varphi(f)=\int f\,d\mu$ に一致し、点はDirac測度に対応する純粋状態として含まれる。非可換環では状態が各observableの期待値を一貫して与える。

GNS構成は状態からHilbert空間、表現、巡回ベクトルを作る。つまり「確率的な期待値」から「ベクトルと作用素による量子力学的表示」が導かれる。ベクトル状態は表現を選んだ後の記述であり、抽象状態の定義の方が先にある。

14.6 $C^*$-環とvon Neumann環への回答

$C^*$-環はノルム閉で、連続関数計算と位相的情報に適する。von Neumann環は具体的表現で弱作用素閉、同値に二重可換子と一致し、Borel関数計算、豊富な射影、normal状態、測度論的極限に適する。

どちらが「より一般」かという一本の序列ではなく、保持したい極限が違う。$C^*$-環 $A$ の表現 $\pi$ から $\pi(A)''$ を取ればvon Neumann環が得られるが、表現・状態によって閉包が変わり得る。

14.7 K理論が再び現れる理由への回答

ベクトル束は関数環上の有限生成射影加群であり、それは行列環上の射影で表せる。この最後の記述は非可換でも意味を持つ。したがって $K_0(A)$ は非可換空間上の「仮想ベクトル束」を分類する候補になる。$K_1(A)$ は安定ユニタリのホモトピーを測り、拡大の境界写像を通してFredholm指数とつながる。

これはK理論が作用素環に偶然輸入されたのではない。幾何的な束を代数へ翻訳した結果、射影が残り、その安定分類としてK理論が必然的に現れたのである。

14.8 Dirac作用素が幾何を持つ理由への回答

spin多様体では $D$ の主記号がRiemann計量を含み、交換子

$$ [D,f]=c(df)

が関数の一階微分をClifford作用として表す。作用素ノルムは $\sup_x\|df_x\|$、すなわちLipschitz定数になり、距離は

$$ d(x,y)={|f(x)-f(y)|:|[D,f]|}

で復元される。$|D|^{-s}$ の固有値漸近は次元、熱核やresidueは積分、Fredholm類はK-homologyの基本類を与える。

よってスペクトル三つ組は「非可換環を幾何と呼ぶ」ための飾りではなく、位相だけでは不足する微分・計量・積分・向きを作用素データへ符号化する装置である。

14.9 Morita同値を同じ空間と呼べる範囲

強Morita同値な $C^*$-環は表現圏が対応し、イデアル構造やK理論など多くの不変量を共有する。$A$ と $A\otimes K(H)$ は典型例である。そのため「同じ非可換空間を異なる座標で記述する」と読むことが有用である。

ただしMorita同値だけでは特定のスペクトル三つ組の距離、選んだtrace、力学まで自動的に一致しない。同じと呼ぶ意味は、保存したい構造と圏を明示して初めて決まる。

14.10 最終回答

非可換幾何は、非可換なものを曖昧に空間と呼ぶ理論ではない。次の三段階からなる方法である。

通常の幾何を可換関数環の言葉へ厳密に翻訳する。
そのうち可換性に依存しない構造を非可換代数へ延長する。
失われた構造には、状態、加群、K理論、巡回コホモロジー、Dirac型作用素など適切な代理・追加データを与え、その妥当性を可換の場合の復元定理と指数pairingで検証する。

したがって本書の中心式は単に

\[ \text{space}\leftrightarrow\text{algebra} \]

ではない。より正確には

\[ \boxed{ \text{幾何的概念} \xrightarrow{\text{可換環へ翻訳}} \text{代数・解析的構造} \xrightarrow{\text{非可換化}} \text{新しい幾何的不変量} } \]

である。何が残り、何が壊れ、何を追加したかを追跡できることが、「非可換幾何」を自分の言葉で説明できるということである。

14.11 最終自己評価

次の問いに、定義だけでなく具体例と式を一つずつ添えて答えよ。

なぜスペクトルは固有値より広いのか。
なぜ $C^*$-恒等式が必要か。
なぜGelfand双対の矢印は逆向きか。
stateとpointはどこで一致し、どこで分かれるか。
GNSで何を商し、なぜ表現が有界になるか。
二重可換子と弱閉包が一致する意味は何か。
I/II/III型は何の次元論か。
射影がベクトル束をどう表すか。
Calkin環の可逆性が指数をどう生むか。
$[D,a]$ が微分を表し、距離を復元する条件は何か。