非可換トーラス A_θ：無理数回転がつくる「点のない空間」

0. この記事の要点

• 非可換トーラス（回転代数）$A_\theta$ は、2 つのユニタリ $U, V$ を $VU = e^{2\pi i\theta}UV$ という関係だけで縛って生成される普遍 C*-代数です。$\theta \in \mathbb{Z}$ のとき $C(\mathbb{T}^2)$ に一致し、それ以外では非可換になります。
• $A_\theta$ は交叉積 $C(\mathbb{T}) \rtimes_{\theta} \mathbb{Z}$ と同型で、通常の位相では潰れてしまう商空間（無理数回転の軌道空間、Kronecker 葉層の葉空間）の座標環として現れます。
• $\theta$ が無理数なら $A_\theta$ は単純であり、トレース状態はただ 1 つに限ります。これは「軌道が稠密である」という力学系の事実の、代数側での言い換えです。
• 微分 $\delta_1, \delta_2$ と滑らかな部分代数 $A_\theta^\infty$ が定まり、スペクトル次元 $2$ のスペクトル三つ組が構成できます。固有値の Weyl 漸近は可換トーラスと完全に一致し、$\theta$ に依りません。
• $K_0(A_\theta) \cong K_1(A_\theta) \cong \mathbb{Z}^2$ であり、トレースの像は $\tau_*(K_0(A_\theta)) = \mathbb{Z} + \theta\mathbb{Z}$ です。トレース値がちょうど $\theta$ の射影（Powers–Rieffel 射影）を陽に構成します。
• 帰結として、無理数 $\theta, \theta'$ に対し $A_\theta \cong A_{\theta'}$ となるのは $\theta' \equiv \pm\theta \pmod{\mathbb{Z}}$ のときに限ること、および磁場中の電子のスペクトルギャップに $\mathbb{Z} + \theta\mathbb{Z}$ のラベルが付くこと（ギャップラベル定理）が導かれます。

1. 動機：葉空間には点が足りない

ゲルファント–ナイマルクの定理（定理 4.6）［非可換幾何学への動機］ は、可換 C*-代数の圏と局所コンパクト Hausdorff 空間の圏が（射の向きを逆にして）同値であることを主張します。空間 $X$ からは関数環 $C(X)$ が、可換 C*-代数 $A$ からはその指標空間が得られ、両者は互いに逆の操作です。この辞書を出発点に「空間とは可換 C*-代数のことである」と定義し直し、可換性を外したものを空間と呼ぼう、というのが非可換幾何学の出発点でした（非可換幾何学への動機、C*-代数の基礎）。

この一般化が単なる言い換えでないことを示すには、「幾何学が実際に必要としているのに、可換な辞書に載らない空間」を挙げなければなりません。もっとも古典的な例が商空間です。

トーラス $\mathbb{T}^2 = \mathbb{R}^2/\mathbb{Z}^2$ に、傾き $\theta$ の直線の像を葉とする葉層構造 $\mathcal{F}_\theta$（Kronecker 葉層）を入れます。すなわち点 $(x, y)$ を通る葉は $\{(x + t,\, y + \theta t) : t \in \mathbb{R}\}$ の $\mathbb{T}^2$ における像です。葉空間 $\mathbb{T}^2/\mathcal{F}_\theta$、つまり「各葉を 1 点に潰した空間」を考えると、$\theta$ が無理数のとき次のことが起こります。

命題 1.1（葉空間の位相は密着位相）

$\theta$ を無理数とすると、$\mathbb{T}^2/\mathcal{F}_\theta$ の商位相の開集合は空集合と全体だけです。したがって連続関数 $\mathbb{T}^2/\mathcal{F}_\theta \to \mathbb{C}$ は定数関数に限り、$C(\mathbb{T}^2/\mathcal{F}_\theta) = \mathbb{C}$ となります。

証明（命題 1.1）

Kronecker の稠密定理より、$\theta$ が無理数のとき各葉は $\mathbb{T}^2$ で稠密です。商位相の開集合は、$\mathbb{T}^2$ の飽和した（葉の合併である）開集合に対応します。$\Omega \subseteq \mathbb{T}^2$ を飽和した空でない開集合とし、$F = \mathbb{T}^2 \setminus \Omega$ とおきます。$F$ も飽和した閉集合です。もし $F \ne \emptyset$ なら $F$ はある葉 $L'$ を丸ごと含み、$F$ が閉であることから $\overline{L'} \subseteq F$、すなわち $\mathbb{T}^2 = \overline{L'} \subseteq F$ となって $\Omega = \emptyset$ に矛盾します。ゆえに $F = \emptyset$、つまり $\Omega = \mathbb{T}^2$ です。

密着位相の空間から Hausdorff 空間への連続写像は定数です。実際、$f$ が 2 つの異なる値 $a \ne b$ を取れば、$a, b$ を分離する開集合の逆像が空でも全体でもない開集合になり、上に矛盾します。

∎

つまり、可換な辞書に葉空間を通すと情報がすべて消えます。しかし葉層そのものは豊かな幾何学的対象で、たとえば「葉に沿った微分作用素の指数」を考えたいという要求は現実にあります。Connes の処方箋は、商を取る操作を「同値関係を潰す」ではなく「同値関係（より一般には亜群）の畳み込み代数を作る」に置き換えることでした。潰す代わりに、点 $p$ と点 $q$ が同値であるという関係そのものを行列成分 $(p, q)$ として残すのです。得られる代数は非可換ですが、情報は失われていません。

本章では、この処方箋がもっとも簡単な非自明例で何を生むかを、最後まで具体的に追いかけます。生まれる代数が非可換トーラス $A_\theta$ です。同じ代数は、一様磁場中の 2 次元電子の磁気平行移動が生成する代数としても現れ、整数量子ホール効果の数学的定式化の舞台になります。ひとつの C*-代数が、微分幾何・力学系・固体物理の交点に立っているわけです。

傾き θ の Kronecker 葉層。太線は 1 本の葉で、正方形を何度も横切りながら（θ が無理数なら）稠密になる。破線は横断切断 T で、葉との交点は回転 R_θ の軌道 nθ (mod 1) を描く。

ここから先は Pro プランの内容です。

この章の続き（定義・定理・証明・例・演習）をすべて読むには Pro プランにご登録ください。無料の章は最後まで読めます。

プランを見る ログイン