指数定理への応用：アティヤ・シンガーからコンヌの局所指数公式へ

0. この記事の要点

• アティヤ・シンガーの指数定理は、コンパクト多様体上の楕円型作用素について、解析的に定まる整数（核と余核の次元差）が、主表象の K-理論類だけで決まる位相的な量に等しいと主張します。
• 指数が「二つの跡の差」として書けること（カルデロン・フェドソフの公式）が、指数を非可換幾何の言葉に翻訳する蝶番です。多様体はどこにも要りません。必要なのは代数と作用素だけです。
• コンヌは、ド・ラームホモロジーの非可換版である巡回コホモロジーを構成し、$K_0(A)$ との対によって指数を「特性類どうしの対」として表しました。$A = C^\infty(M)$ のときこれは古典的な指数定理に戻ります。
• コンヌ・モスコヴィッチの局所指数公式は、この対をゼータ関数の留数（非可換な積分）で書き下します。古典的な $\hat{A}$ 種数の公式はその特別な場合です。
• 枠組みは葉層構造・被覆空間・離散群へ拡張され、そこでは指数は整数とは限らず、たとえば $\mathbb{Z} + \theta\mathbb{Z}$ に値をとります。
• 有限次元代数を掛けた「ほとんど可換な」幾何にスペクトル作用原理を適用すると、重力と標準模型のラグランジアンが同時に出てきます。これがコンヌ・ロット模型の系譜です。

1. 動機：指数はなぜ位相的なのか

線型代数では、有限次元空間の間の線型写像 $T : V \to W$ について

$$\dim \ker T - \dim \operatorname{coker} T = \dim V - \dim W$$

が常に成り立ちます。左辺は $T$ の詳細に依存しそうな量ですが、右辺は $T$ を一切見ていません。個々の次元 $\dim\ker T$ は $T$ を動かすと跳ねますが、差は動かない。これが指数という思想の原型です。

無限次元では $\dim V - \dim W$ が意味を失います。ところが 1950 年代までに、コンパクト多様体上の楕円型微分作用素については左辺が有限確定値をとり、作用素の連続変形で不変であることが分かってきました。ゲルファントは 1960 年、この不変量は作用素の主表象のホモトピー類だけで決まるはずだと予想します。実際、リーマン・ロッホの定理、ヒルツェブルフの符号数定理、ガウス・ボンネの定理は、すべて「ある楕円型作用素の指数 = ある特性類の積分」という同じ形をしていました。個別の定理を統一する公式があるに違いない——それがアティヤとシンガーの 1963 年の定理です。

さらに一歩進んだ問いがあります。指数定理は多様体を本当に必要としているのか。指数とは結局「$T$ が可逆になり損ねる度合いの符号付き総和」であり、それを測る道具は跡（トレース）です。跡は代数と表現があれば定義できます。葉層構造の葉空間や群作用の商のような「病的な空間」は、点の集合としては潰れますが（葉空間の位相は密着位相（Proposition 1.1）［非可換トーラス A_θ］）、非可換 $C^*$-代数としては豊かな情報を保ちます（非可換幾何学への動機 を参照してください）。そうした空間の上でも指数定理を述べたい。そのためには、ド・ラームコホモロジーに代わる「非可換な特性類の理論」——巡回コホモロジー——が必要になります。

この章では、古典的な指数定理を述べたうえで、それを非可換化する道筋を、証明可能なところは証明を付けて追い、最後にこの枠組みが標準模型をどう再構成するかに触れます。

2. 準備：フレドホルム作用素と楕円型作用素

2.1. フレドホルム作用素と指数

Definition 2.1（フレドホルム作用素と指数）

$H_1, H_2$ を可分ヒルベルト空間とします。有界線型作用素 $T \in \mathcal{B}(H_1, H_2)$ がフレドホルム作用素であるとは、

1. $\dim \ker T < \infty$、
2. 値域 $\operatorname{ran} T$ が $H_2$ の閉部分空間、
3. $\dim \operatorname{coker} T = \dim (H_2 / \operatorname{ran} T) < \infty$

の三つが成り立つことをいいます。このとき

$$\operatorname{ind} T := \dim \ker T - \dim \operatorname{coker} T \in \mathbb{Z}$$

を $T$ の指数と呼びます。

条件 2 は実は 1 と 3 から従いますが、以下では最初から仮定しておきます。$H_2 = \operatorname{ran}T \oplus (\operatorname{ran}T)^{\perp}$ と分解すれば $\operatorname{coker}T \cong (\operatorname{ran}T)^{\perp} = \ker T^{*}$ なので、$\operatorname{ind} T = \dim\ker T - \dim\ker T^{*}$ とも書けます。

アトキンソンの定理により、$T$ がフレドホルムであることと、$T$ がコンパクト作用素を法として可逆であること、すなわち有界作用素 $S$ が存在して $1 - ST$ と $1 - TS$ がともにコンパクトになることは同値です。この $S$ をパラメトリックスと呼びます。指数の理論が代数的な性質（コンパクト作用素のイデアルによる商）に帰着することが、ここで既に見えています。

さて、指数を「跡」で表す公式を用意します。これがこの記事全体の要になります。

Proposition 2.2（カルデロン・フェドソフの公式）

$T \in \mathcal{B}(H_1, H_2)$、$S \in \mathcal{B}(H_2, H_1)$ とし、

$$1_{H_1} - ST \in \mathcal{L}^1(H_1), \qquad 1_{H_2} - TS \in \mathcal{L}^1(H_2)$$

がともにトレースクラスであると仮定します（$\mathcal{L}^1$ はトレースクラス作用素のイデアル）。このとき $T$ はフレドホルム作用素であり、

$$\operatorname{ind} T = \operatorname{Tr}(1 - ST) - \operatorname{Tr}(1 - TS)$$

が成り立ちます。とくに右辺はパラメトリックス $S$ の取り方に依りません。

Proof（Proposition 2.2）

トレースクラス作用素はコンパクトなので、アトキンソンの定理により $T$ はフレドホルムです。

まず擬逆元を用意します。$P$ を $\ker T$ の上への直交射影、$Q$ を $(\operatorname{ran}T)^{\perp}$ の上への直交射影とします。Definition 2.1 の条件 1・3 より $P, Q$ は有限階数です。$T$ を $(\ker T)^{\perp}$ に制限した写像 $(\ker T)^{\perp} \to \operatorname{ran} T$ は全単射で、条件 2 より $\operatorname{ran}T$ は閉、したがってヒルベルト空間ですから、開写像定理により逆写像は有界です。この逆写像を $\operatorname{ran}T$ 上で用い、$(\operatorname{ran}T)^{\perp}$ 上では $0$ と定めた作用素を $S_0 \in \mathcal{B}(H_2,H_1)$ とすると、構成から

$$S_0 T = 1 - P, \qquad T S_0 = 1 - Q$$

です。$P, Q$ は有限階数なのでトレースクラスであり、

$$\operatorname{Tr}(1 - S_0T) - \operatorname{Tr}(1 - TS_0) = \operatorname{Tr}P - \operatorname{Tr}Q = \dim\ker T - \dim\operatorname{coker}T = \operatorname{ind}T .$$

つまり $S = S_0$ のときは主張が成り立ちます。

次に一般の $S$ を扱います。$K := 1 - ST$（仮定よりトレースクラス）とおき、結合法則を二通りに使います。

$$S(TS_0) = S(1 - Q) = S - SQ, \qquad (ST)S_0 = (1-K)S_0 = S_0 - KS_0 .$$

左辺どうしは等しいので

$$R := S - S_0 = SQ - KS_0$$

を得ます。$SQ$ は有限階数（$Q$ が有限階数で $S$ が有界）、$KS_0$ はトレースクラス（$K$ がトレースクラスで $S_0$ が有界）ですから、$R$ 自身がトレースクラスです。これが証明の核心です。

すると

$$1 - ST = (1 - S_0T) - RT = P - RT, \qquad 1 - TS = (1 - TS_0) - TR = Q - TR$$

であり、$R$ がトレースクラス、$T$ が有界なので $\operatorname{Tr}(RT) = \operatorname{Tr}(TR)$ が成り立ちます（トレースクラス作用素と有界作用素の積についての跡の巡回性）。したがって

$$\operatorname{Tr}(1-ST) - \operatorname{Tr}(1-TS) = \operatorname{Tr}P - \operatorname{Tr}Q - \operatorname{Tr}(RT) + \operatorname{Tr}(TR) = \operatorname{ind}T$$

となります。

∎

Tip

この命題を一言でいえば、指数とは跡の巡回性が破れる度合いです。$S, T$ が両方ともトレースクラスなら $\operatorname{Tr}(ST) = \operatorname{Tr}(TS)$ となり右辺は $0$ です。無限次元でそうならないとき、そのズレが整数として現れる——この「異常項」が指数であり、物理でいうアノマリーと同じ現象です。

2.2. 楕円型作用素

Definition 2.3（楕円型微分作用素と主表象）

$M$ を境界のないコンパクト $C^\infty$ 多様体、$E, F \to M$ を複素ベクトル束とします。微分作用素 $D : \Gamma^\infty(E) \to \Gamma^\infty(F)$ が階数 $m$ であるとは、局所座標で

$$D = \sum_{|\alpha| \le m} a_\alpha(x)\, \partial^\alpha, \qquad a_\alpha(x) \in \operatorname{Hom}(E_x, F_x)$$

と書けることをいいます。$(x,\xi) \in T^{*}M$ に対し

$$\sigma_m(D)(x,\xi) := \sum_{|\alpha| = m} a_\alpha(x)\, (i\xi)^{\alpha} \in \operatorname{Hom}(E_x, F_x)$$

を主表象と呼びます。これは座標の取り方に依らず定まります。すべての $x \in M$ とすべての $\xi \ne 0$ に対して $\sigma_m(D)(x,\xi)$ が可逆であるとき、$D$ は楕円型であるといいます。

Proposition 2.4（楕円型作用素のフレドホルム性）

$M$ を境界のないコンパクト多様体、$D$ を上のような階数 $m$ の楕円型微分作用素とします。このとき $D$ はソボレフ空間の間の有界作用素 $D : H^{s}(E) \to H^{s-m}(F)$ に一意に延び、これはすべての $s \in \mathbb{R}$ についてフレドホルム作用素です。さらに（楕円型正則性）$\ker D$ は $s$ に依らず滑らかな切断からなる有限次元空間であり、$\operatorname{ind}D$ も $s$ に依りません。

Remark 2.5

証明は擬微分作用素の構成に基づきます。$\sigma_m(D)^{-1}$ を主表象とする階数 $-m$ の擬微分作用素 $S$ を作ると、$1 - SD$ と $1 - DS$ は階数 $-1$ 以下の擬微分作用素になり、レリッヒの定理からコンパクトです。あとはアトキンソンの定理を使います（詳細は Lawson–Michelsohn『Spin Geometry』第 III 章）。なお $S$ を改良すれば $1-SD$ の階数はいくらでも下げられ、$\dim M$ より下がればトレースクラスになるので、Proposition 2.2 がそのまま適用できます。

Definition 2.6（解析的指数）

$D$ を上の楕円型作用素とするとき、

$$\operatorname{ind}_a(D) := \dim \ker D - \dim \ker D^{*} \in \mathbb{Z}$$

を $D$ の解析的指数と呼びます。

3. アティヤ・シンガーの指数定理

3.1. 位相的指数

楕円型という条件は、主表象 $\sigma_m(D)$ が「零切断の外で $\pi^{*}E$ から $\pi^{*}F$ への同型を与える」ことと同じです（$\pi : T^{*}M \to M$ は射影）。二つの束が余接束の外側で貼り合わされている——これはまさにコンパクト台の K-理論の元を定めるデータです（K-理論入門、とくに 位相的 K-理論の定義（Definition 3.1）［K-理論入門］ を参照してください）。すなわち

$$[\sigma(D)] \in K^{0}(T^{*}M) := K^{0}(B^{*}M,\, S^{*}M)$$

が定まります（$B^{*}M, S^{*}M$ は単位余球束とその境界）。この類は $D$ の階数や係数の詳細を忘れ、ホモトピー類だけを覚えています。

$T^{*}M$ は、$T^{*}M$ 上の標準的な概複素構造（$T(T^{*}M) \cong \pi^{*}(TM \otimes \mathbb{C})$）によって、$M$ が向き付け可能かどうかに関わらず標準的に向き付けられます。この向きのもとで積分が意味をもちます。

Theorem 3.1（アティヤ・シンガーの指数定理）

$M$ を境界のない $n$ 次元コンパクト $C^\infty$ 多様体、$E, F \to M$ を複素ベクトル束、$D : \Gamma^\infty(E) \to \Gamma^\infty(F)$ を楕円型微分作用素とします。$T^{*}M$ に標準的な概複素構造から定まる向きを入れるとき、

$$\operatorname{ind}_a(D) \;=\; (-1)^{n} \int_{T^{*}M} \operatorname{ch}\bigl([\sigma(D)]\bigr) \wedge \pi^{*}\operatorname{Td}(TM \otimes \mathbb{C})$$

が成り立ちます。ここで $\operatorname{ch}$ はチャーン指標、$\operatorname{Td}$ はトッド類であり、右辺の被積分形式はコンパクト台をもちます。右辺を位相的指数 $\operatorname{ind}_t(D)$ と呼びます。

Remark 3.2

符号 $(-1)^n$ と向きの規約は文献によって異なり、ここでは Atiyah–Singer の原論文および Lawson–Michelsohn に合わせました。以下に挙げる系の形はいずれも規約に依らない標準形です。原証明は「両辺が同じ公理系（正規化条件と埋め込みに関する関手性）を満たす」ことを示す K-理論的なもので、後に熱核による局所的証明（Atiyah–Bott–Patodi、Getzler）が与えられました。Theorem 5.2 はこの局所的証明の非可換版にあたります。

指数定理が「定理の統一」として働くことを表で見ておきます。いずれも左辺は解析（微分方程式の解の個数）、右辺は位相（特性数）です。

作用素	解析的指数	位相的表示
$d + d^{*} : \Omega^{\mathrm{ev}} \to \Omega^{\mathrm{odd}}$	オイラー標数 $\chi(M)$	$\int_M e(TM)$（ガウス・ボンネ・チャーン）
符号数作用素（$\dim M = 4k$）	符号数 $\sigma(M)$	$\int_M L(TM)$（ヒルツェブルフ）
$\bar\partial + \bar\partial^{*}$（複素多様体、係数 $E$）	$\chi(M, \mathcal{O}(E))$	$\int_M \operatorname{ch}(E)\operatorname{Td}(TM)$（リーマン・ロッホ）
ツイストされたディラック作用素 $D_E$	$\dim\ker D_E^{+} - \dim\ker D_E^{-}$	$\int_M \hat{A}(TM)\operatorname{ch}(E)$

Example 3.3（ド・ラーム作用素とオイラー標数）

$M$ を向き付けられたコンパクト多様体、$\Omega^{\bullet}(M)\otimes\mathbb{C}$ に次数の偶奇による $\mathbb{Z}/2$ 次数 $\gamma = (-1)^{\deg}$ を入れ、$D = d + d^{*}$ とします。$D$ は階数 $1$ の楕円型作用素で（Definition 2.3 の規約では主表象は $i(\xi \wedge \cdot - \iota_{\xi})$ で、$\sigma(D)^2 = |\xi|^2$ より $\xi \ne 0$ で可逆）、$D^{+} : \Omega^{\mathrm{ev}} \to \Omega^{\mathrm{odd}}$ の核は調和形式のなす空間 $\bigoplus_{k} \mathcal{H}^{2k}$、余核は $\bigoplus_k \mathcal{H}^{2k+1}$ です。ホッジ理論により $\mathcal{H}^{k} \cong H^{k}_{\mathrm{dR}}(M;\mathbb{C})$ ですから

$$\operatorname{ind}_a(D^{+}) = \sum_{k} (-1)^{k} \dim H^{k}_{\mathrm{dR}}(M;\mathbb{C}) = \chi(M).$$

Theorem 3.1 の右辺を計算するとオイラー類の積分 $\int_M e(TM)$ になり、ガウス・ボンネ・チャーンの定理が復元されます。

Example 3.4（ディラック作用素とA-hat 種数の整数性）

$M$ を $n = 2k$ 次元のコンパクトスピン多様体、$S = S^{+}\oplus S^{-}$ をスピノル束、$E$ をエルミート接続付きの複素ベクトル束とし、$D_E$ をツイストされたディラック作用素とします。Theorem 3.1 は

$$\operatorname{ind}(D_E^{+}) = \int_M \hat{A}(TM)\,\operatorname{ch}(E)$$

に帰着します。ここから直ちに非自明な系が出ます。$E$ を自明束にとれば $\int_M \hat{A}(TM) \in \mathbb{Z}$ ですが、$\hat{A}$ 種数は本来ポントリャーギン数の有理数係数の組合せです。たとえば $\dim M = 4$ なら $\hat{A} = 1 - p_{1}/24$、すなわち $\int_M \hat{A}(TM) = -\tfrac{1}{24}\int_M p_{1}$ であり、スピン 4 次元多様体では $\int_M p_1 = 3\sigma(M)$（符号数定理）と合わせて $\sigma(M) \equiv 0 \pmod{16}$ が従います。これがロホリンの定理です。「微分方程式の解の個数は整数である」という当たり前の事実が、位相不変量の整除性を強制するわけです。

3.2. 熱核による表示

指数を跡で書く方法は Proposition 2.2 だけではありません。作用素が自己共役に組める場合には、次の非常に見通しのよい表示があります。これが局所指数公式への入口になります。

Proposition 3.5（マッキーン・シンガーの公式）

$H = H^{+}\oplus H^{-}$ を $\mathbb{Z}/2$ 次数付きヒルベルト空間、$\gamma = 1 \oplus (-1)$ を次数作用素とします。$D$ を $H$ 上の自己共役作用素で $D\gamma = -\gamma D$（すなわち $D = \begin{pmatrix} 0 & D^{-} \\ D^{+} & 0\end{pmatrix}$）を満たし、$D$ はコンパクトレゾルベントをもち、さらに各 $t > 0$ に対して $e^{-tD^2}$ がトレースクラスであるとします。このとき $D^{+}$ はフレドホルムであり、すべての $t > 0$ に対して

$$\operatorname{ind}(D^{+}) = \operatorname{Tr}\bigl(\gamma\, e^{-tD^{2}}\bigr)$$

が成り立ちます。同様に、$\operatorname{Re}(s)$ が十分大きいところで $\operatorname{ind}(D^{+}) = \operatorname{Tr}\bigl(\gamma\,(1+D^{2})^{-s}\bigr)$ が成り立ちます。

Proof（Proposition 3.5）

$D$ はコンパクトレゾルベントをもつので $D^2$ のスペクトルは離散的で、各固有値の重複度は有限です。$D^2$ は $\gamma$ と可換なので $D^2 = \Delta^{+}\oplus\Delta^{-}$ と分解し、$\Delta^{+} = D^{-}D^{+}$、$\Delta^{-} = D^{+}D^{-}$ です。$\lambda \ge 0$ に対して固有空間を $E^{\pm}_{\lambda} := \ker(\Delta^{\pm} - \lambda)$ と書きます。

$\lambda > 0$ とします。$v \in E^{+}_{\lambda}$ に対し $\Delta^{-}(D^{+}v) = D^{+}D^{-}D^{+}v = D^{+}(\Delta^{+}v) = \lambda D^{+}v$ なので $D^{+} : E^{+}_{\lambda} \to E^{-}_{\lambda}$ が定まります。同様に $D^{-} : E^{-}_{\lambda}\to E^{+}_{\lambda}$ が定まり、合成は $D^{-}D^{+} = \Delta^{+} = \lambda \cdot \mathrm{id}$（$E^{+}_\lambda$ 上）、$D^{+}D^{-} = \lambda\cdot\mathrm{id}$（$E^{-}_\lambda$ 上）です。$\lambda \ne 0$ だから両者は互いに逆写像の定数倍であり、$\dim E^{+}_{\lambda} = \dim E^{-}_{\lambda}$（$\lambda > 0$）が従います。

$e^{-tD^2}$ はトレースクラスなので、固有基底で跡を取ると

$$\operatorname{Tr}(\gamma e^{-tD^2}) = \sum_{\lambda \ge 0} e^{-t\lambda}\bigl(\dim E^{+}_{\lambda} - \dim E^{-}_{\lambda}\bigr)$$

と絶対収束します。$\lambda > 0$ の項はすべて消えるので、残るのは $\lambda = 0$ の項 $\dim E^{+}_{0} - \dim E^{-}_{0}$ だけです。最後に $\ker \Delta^{+} = \ker D^{-}D^{+} = \ker D^{+}$（$\|D^{+}v\|^2 = \langle \Delta^{+}v, v\rangle$ より）、同様に $\ker\Delta^{-} = \ker D^{-} = \ker (D^{+})^{*}$ ですから、右辺は $\operatorname{ind}(D^{+})$ に等しくなります。$\zeta$ 関数版も、$e^{-t\lambda}$ を $(1+\lambda)^{-s}$ に置き換えれば同じ相殺が起きるので同様です。

∎

flowchart TB
D["楕円型作用素 D"] --> A["解析的指数<br/>dim ker D - dim ker D*"]
D --> S["主表象 σ(D)<br/>が定める K-理論類"]
A --> H["跡による表示<br/>Tr(1-SD) - Tr(1-DS)<br/>Tr(γ exp(-tD²))"]
S --> T["位相的指数<br/>ch と Td の積分"]
H -- "アティヤ・シンガー" --> T

指数定理の二つの側面と、それを繋ぐ解析的な橋

4. 巡回コホモロジーと指数対

4.1. なぜ新しいコホモロジーが要るのか

Theorem 3.1 の右辺は $\operatorname{ch}$ と $\operatorname{Td}$ の積分、つまり「K-理論類とド・ラームコホモロジー類の対」です。この構図を非可換代数 $A$ に移すとき、$K_0(A)$ の側は問題なく定義できます（K-理論入門 を参照してください）。困るのは相手側で、$A$ が非可換なとき「微分形式」や「ド・ラームコホモロジー」に相当するものは何か、が問題になります。

コンヌの答えは、微分形式ではなく、微分形式に対する積分（カレント）の側を非可換化するというものでした。可換な場合、$n$ 次元カレント $C$ は $n+1$ 個の関数から数を作る多重線型汎関数

$$\varphi(a^{0}, a^{1}, \ldots, a^{n}) = \langle C,\ a^{0}\,da^{1}\wedge\cdots\wedge da^{n}\rangle$$

を定めます。$da^{1}\wedge\cdots$ の反対称性を非可換な世界で書き直すと、次の二条件になります。これが巡回コサイクルの定義です。

Definition 4.1（巡回コサイクルと巡回コホモロジー）

$A$ を（局所凸な）複素代数とします。$(n+1)$ 重線型汎関数 $\varphi : A^{\otimes(n+1)} \to \mathbb{C}$ が巡回 $n$-コサイクルであるとは、次の二条件を満たすことをいいます。

1. 巡回性: $\varphi(a^{n}, a^{0}, \ldots, a^{n-1}) = (-1)^{n}\,\varphi(a^{0}, a^{1},\ldots, a^{n})$。
2. コサイクル条件: ホッホシルト微分 $b$ について $b\varphi = 0$。ここで

$$(b\varphi)(a^{0},\ldots,a^{n+1}) = \sum_{j=0}^{n} (-1)^{j}\varphi(a^{0},\ldots,a^{j}a^{j+1},\ldots,a^{n+1}) + (-1)^{n+1}\varphi(a^{n+1}a^{0}, a^{1},\ldots,a^{n}).$$

巡回 $n$-コサイクル全体を $Z^{n}_{\lambda}(A)$、$b$ の像との商として得られるコホモロジーを巡回コホモロジー $HC^{n}(A)$ と書きます。さらに周期作用素 $S : HC^{n}(A)\to HC^{n+2}(A)$ による帰納極限を周期巡回コホモロジー $HP^{i}(A) = \varinjlim HC^{i+2k}(A)$（$i \in \mathbb{Z}/2$）と呼びます。

$n = 0$ のとき、巡回性は自動的に成り立ち、コサイクル条件は $\varphi(a^0a^1) = \varphi(a^1a^0)$、すなわち $\varphi$ が $A$ 上の跡であることを意味します。巡回コホモロジーは跡の概念の高次への一般化だと思ってください。周期作用素 $S$ の具体的な定義は Appendix にまとめました。

この定義が正しい非可換化であることの根拠が、次のコンヌの計算です。

Theorem 4.2（コンヌ：可換な場合の周期巡回コホモロジー）

$M$ を境界のないコンパクト $C^\infty$ 多様体、$A = C^{\infty}(M)$（自然なフレシェ位相を入れ、連続コチェインを考えます）とします。このとき

1. 連続ホッホシルトコホモロジー $HH^{n}(A)$ は、$M$ 上の $n$ 次元ド・ラームカレント全体 $\Omega_{n}(M)$ と自然に同型です。
2. 巡回コホモロジーは

$$HC^{n}(A) \;\cong\; Z_{n}(M)\ \oplus\ H^{\mathrm{dR}}_{n-2}(M;\mathbb{C})\ \oplus\ H^{\mathrm{dR}}_{n-4}(M;\mathbb{C})\ \oplus\ \cdots$$

です（$Z_n$ は閉カレント、$H^{\mathrm{dR}}_{k}$ はド・ラームホモロジー）。 3. とくに

$$HP^{i}(C^{\infty}(M)) \;\cong\; \bigoplus_{k \in \mathbb{Z}} H^{\mathrm{dR}}_{i+2k}(M;\mathbb{C}), \qquad i \in \mathbb{Z}/2 .$$

Remark 4.3

$M$ が向き付けられた閉多様体ならポアンカレ双対により $H^{\mathrm{dR}}_{k}(M) \cong H^{n-k}_{\mathrm{dR}}(M)$ なので、3 は「周期巡回コホモロジー $=$ ド・ラームコホモロジーの $\mathbb{Z}/2$ 次数版」と読めます。証明（Connes『Noncommutative Geometry』第 III 章）の鍵は、連続ホッホシルトコチェインをその台で局所化し、対角線の近傍で全微分の言葉に翻訳することです。

$K$-理論との対も定義できます。$\varphi \in Z^{2m}_{\lambda}(A)$ と冪等元 $e = e^{2}\in M_q(A)$ に対し、行列成分に $\varphi$ を、行列の添字に通常の跡を施した $\varphi \,\#\, \operatorname{Tr}$ を用いて

$$\langle [e], [\varphi]\rangle := \frac{1}{m!}\,(\varphi\,\#\operatorname{Tr})(\underbrace{e, e, \ldots, e}_{2m+1\ \text{個}})$$

と定めます。これは $e$ のホモトピー類・安定同値類にしか依らず、$\varphi$ のコホモロジー類にしか依りません。定数 $1/m!$ は周期作用素との両立（対が $HP^{0}$ に落ちること）を保証するために入れてあります。

Remark 4.4

$S$ の規格化と対の定数は文献によって異なり、$2\pi i$ の冪や $\sqrt{2\pi i}$ が入る流儀もあります。以下で「整数値をとる」「$\hat A$ 種数に一致する」と述べる主張は、いずれもコンヌの規約に合わせたものです。具体的な数値を扱うときは、必ず参照する文献の規約を確認してください。

4.2. フレドホルム加群とその指数公式

Definition 4.5（フレドホルム加群）

$A$ を $\mathbb{C}$-代数とします。偶フレドホルム加群 $(H, F, \gamma)$ とは、

• $\mathbb{Z}/2$ 次数付きヒルベルト空間 $H = H^{+}\oplus H^{-}$（次数作用素 $\gamma$）への $A$ の次数を保つ表現 $\rho$（以下 $\rho(a)$ を単に $a$ と書きます）、
• 有界作用素 $F$ で $F = F^{*}$、$F^{2} = 1$、$F\gamma = -\gamma F$ を満たすもの、

の組であって、すべての $a\in A$ に対し $[F, a]$ がコンパクトであるものをいいます。さらに、ある $p \ge 1$ について常に $[F,a] \in \mathcal{L}^{p}$（シャッテン $p$-クラス）であるとき、$p$-可総（$p$-summable）といいます。次数付けと $\gamma$ に関する条件を落とし、$A$ の表現と、$F=F^{*}$、$F^{2}=1$、およびすべての $a \in A$ について $[F,a]$ がコンパクトであることだけを課したものを奇フレドホルム加群と呼びます。

奇フレドホルム加群では $P := (1+F)/2$ が射影になります。$u \in A$ がユニタリのとき $PuP$ は「トープリッツ型」の作用素で、その指数が問題になります。まずこの最も簡単な場合を完全に証明します。この一つの定理に、非可換指数定理のすべての構造が凝縮されています。

Theorem 4.6（奇フレドホルム加群の指数公式）

$H$ をヒルベルト空間、$P \in \mathcal{B}(H)$ を直交射影、$u \in \mathcal{B}(H)$ をユニタリ作用素とし、交換子 $[P, u]$ がトレースクラスであると仮定します。このとき $T := PuP|_{PH} : PH \to PH$ はフレドホルム作用素であり、

$$\operatorname{ind}(T) = -\operatorname{Tr}\bigl(u^{*}[P, u]\bigr)$$

が成り立ちます。

Proof（Theorem 4.6）

$A := Pu(1-P)$、$B := (1-P)uP$ とおきます。まず $[P,u]$ の四つの隅を計算します。

$$P[P,u]P = P(Pu - uP)P = PuP - PuP = 0,$$$$(1-P)[P,u](1-P) = (1-P)(Pu-uP)(1-P) = 0 - 0 = 0$$

（$(1-P)P = 0$、$P(1-P)=0$ を使いました）。残りは

$$P[P,u](1-P) = Pu(1-P) = A, \qquad (1-P)[P,u]P = -(1-P)uP = -B .$$

したがって $[P,u] = A - B$ であり、$A$ と $B$ は仮定よりトレースクラスの作用素の隅なので、いずれもトレースクラスです。

次に $S := Pu^{*}P|_{PH}$ をパラメトリックスに取ります。$u^{*}u = uu^{*} = 1$ を使って

$$1_{PH} - ST = P - Pu^{*}PuP = Pu^{*}(1-P)uP = \bigl((1-P)uP\bigr)^{*}\bigl((1-P)uP\bigr) = B^{*}B,$$$$1_{PH} - TS = P - PuPu^{*}P = Pu(1-P)u^{*}P = \bigl(Pu(1-P)\bigr)\bigl(Pu(1-P)\bigr)^{*} = AA^{*} .$$

$A, B$ はトレースクラスですから $B^{*}B$、$AA^{*}$ もトレースクラスです。よって Proposition 2.2 が適用でき、$T$ はフレドホルムで

$$\operatorname{ind}(T) = \operatorname{Tr}(B^{*}B) - \operatorname{Tr}(AA^{*}) .$$

最後に右辺を $[P,u]$ の言葉に戻します。$A = PA(1-P)$ に注意して、跡の巡回性（$A$ がトレースクラス、他は有界）を使うと

$$\operatorname{Tr}(u^{*}A) = \operatorname{Tr}\bigl(u^{*}\,PA(1-P)\bigr) = \operatorname{Tr}\bigl((1-P)u^{*}P\cdot A\bigr) = \operatorname{Tr}(A^{*}A),$$

なぜなら $A^{*} = (1-P)u^{*}P$ だからです。同様に $B = (1-P)BP$ と $B^{*} = Pu^{*}(1-P)$ から

$$\operatorname{Tr}(u^{*}B) = \operatorname{Tr}\bigl(u^{*}(1-P)BP\bigr) = \operatorname{Tr}\bigl(Pu^{*}(1-P)\cdot B\bigr) = \operatorname{Tr}(B^{*}B).$$

$[P,u] = A - B$ と $\operatorname{Tr}(A^{*}A) = \operatorname{Tr}(AA^{*})$ を合わせて

$$\operatorname{Tr}\bigl(u^{*}[P,u]\bigr) = \operatorname{Tr}(A^{*}A) - \operatorname{Tr}(B^{*}B) = \operatorname{Tr}(AA^{*}) - \operatorname{Tr}(B^{*}B) = -\operatorname{ind}(T)$$

となり、主張が示されました。

∎

ここで右辺 $-\operatorname{Tr}(u^{*}[P,u])$ をよく見てください。これは $\varphi(a^{0}, a^{1}) := -\operatorname{Tr}\bigl(a^{0}[P, a^{1}]\bigr)$ という 2 変数の汎関数に $(u^{*}, u)$ を代入した形をしています。実際 $\varphi$ は（$[P,a]$ がトレースクラスとなる $a$ たちのなす代数上で）巡回 $1$-コサイクルになります。つまり Theorem 4.6 は

$$\text{解析的指数} \;=\; \bigl\langle\, [u] \in K_1(A),\ [\varphi] \in HC^{1}(A) \,\bigr\rangle$$

という形をしているのです（ユニタリ元が定める $K_1$ 類については C*-代数の K₁ 群（Definition 6.1）［K-理論入門］ を見てください）。これがコンヌの指数定理の原型です。

Example 4.7（円周上のトープリッツ作用素と巻き数）

$H = L^{2}(S^{1})$、$e_{n}(\theta) = e^{in\theta}$ を正規直交基底とし、$P$ をハーディ空間 $\overline{\operatorname{span}}\{e_{n} : n \ge 0\}$ への直交射影とします。$A = C^{\infty}(S^{1})$ を掛け算作用素として表現します。

（i）$[P,a]$ はトレースクラス。 $a \in C^\infty(S^1)$ に対し $B = (1-P)aP$ の行列成分は $\langle e_{m}, a e_{n}\rangle = \hat{a}(m-n)$（$m < 0 \le n$）です。これは係数列 $c_{l} = \hat{a}(-l-1)$（$l \ge 0$）をもつハンケル行列で、$\Gamma = \sum_{l\ge 0} c_{l}H_{l}$（$H_{l}$ は反対角 $j+k=l$ 上に $1$ をもつ階数 $l+1$ の行列）と分解できます。$\|H_{l}\|_{1} = l+1$ なので $\|\Gamma\|_{1} \le \sum_{l\ge0}(l+1)|\hat a(-l-1)|$ となり、$a$ の滑らかさから $\hat{a}$ は急減少、よって収束します。$A = Pa(1-P)$ も同様です。

（ii）跡の計算。 $a^{1} = e_{n}$（$n > 0$）とすると、$P e_{n}e_{j} = e_{n+j}$（$n+j\ge0$ のとき）、$e_{n}Pe_{j} = e_{n+j}$（$j \ge 0$ のとき）なので

$$[P, e_{n}]e_{j} = e_{n+j} \quad (-n \le j \le -1), \qquad [P,e_n]e_j = 0 \ \ (\text{その他}).$$

したがって $a^{0} = e_{m}$ を掛けると $e_{j}\mapsto e_{j+n+m}$（$-n\le j\le -1$）となり、対角成分が残るのは $m+n=0$ のときのみで、その重複度は $n$ です。$n < 0$ の場合も同様に計算すると符号込みで同じ式になり、

$$\operatorname{Tr}\bigl(e_{m}[P, e_{n}]\bigr) = n\,\delta_{m+n,0}.$$

一方 $\dfrac{1}{2\pi i}\displaystyle\int_{S^1} e_{m}\,d e_{n} = \dfrac{1}{2\pi i}\int_{0}^{2\pi} e^{im\theta}\,in\,e^{in\theta}d\theta = n\,\delta_{m+n,0}$ です。双線型性と急減少性から、すべての $a^{0},a^{1}\in C^\infty(S^1)$ で

$$\operatorname{Tr}\bigl(a^{0}[P,a^{1}]\bigr) = \frac{1}{2\pi i}\int_{S^{1}} a^{0}\,da^{1}.$$

（iii）結論。 $u \in C^{\infty}(S^{1})$ を $|u| = 1$ なる関数（ユニタリ）とすると Theorem 4.6 より

$$\operatorname{ind}(T_{u}) = -\operatorname{Tr}\bigl(u^{*}[P,u]\bigr) = -\frac{1}{2\pi i}\int_{S^{1}} u^{-1}\,du = -\operatorname{wind}(u).$$

検算しましょう。$u = e_{1}$ のとき $T_{u}$ は片側シフトで、$\ker T_u = 0$、$\operatorname{coker}T_u = \mathbb{C}e_{0}$ ですから $\operatorname{ind} = -1$。巻き数は $1$ なので一致します。これが 1 次元の指数定理であり、右辺は確かに「$K_1$ 類と巡回 $1$-コサイクルの対」です。

一般の次元では次が成り立ちます。証明の方針は Theorem 4.6 と同じで、Proposition 2.2 の右辺を交換子の高次の積に展開し、それが巡回コサイクルになることを確かめます。

Theorem 4.8（コンヌ：フレドホルム加群の指数定理）

$(H, F, \gamma)$ を代数 $A$ 上の $p$-可総な偶フレドホルム加群とし、$n$ を $n \ge p$ なる偶数とします。このとき

$$\operatorname{ch}^{n}_{F}(a^{0}, a^{1},\ldots,a^{n}) := \lambda_{n}\operatorname{Tr}\bigl(\gamma\,a^{0}[F,a^{1}][F,a^{2}]\cdots[F,a^{n}]\bigr)$$

（$\lambda_{n}$ は $n$ のみに依る正規化定数）は well-defined な巡回 $n$-コサイクルであり、その巡回コホモロジー類は $S$ を法として $n$ に依りません。この類 $\operatorname{ch}^{\bullet}(H,F,\gamma) \in HP^{0}(A)$ をフレドホルム加群のチャーン指標と呼びます。さらに、任意の冪等元 $e = e^{2} \in M_{q}(A)$ に対し $e F^{+} e : eH^{+}\to eH^{-}$（$F^{+}$ は $F$ の $H^{+}\to H^{-}$ 成分）はフレドホルムで

$$\operatorname{ind}\bigl(eF^{+}e\bigr) = \bigl\langle [e],\ \operatorname{ch}^{\bullet}(H,F,\gamma)\bigr\rangle$$

が成り立ちます。

Remark 4.9

$n \ge p$ という条件は本質的です。$[F,a^{j}] \in \mathcal{L}^{p}$ を $n$ 個掛けるとヘルダーの不等式から $\mathcal{L}^{p/n}$ に入り、$p/n \le 1$ のときトレースクラスとなって跡が定義されます。$n$ を $2$ 増やすたびに類は $S$ で移り合い、周期巡回コホモロジーではひとつの類に落ち着きます。証明と $\lambda_n$ の値は Connes『Noncommutative Geometry』第 IV 章にあります。

flowchart LR
K["K_0(A)（冪等元の類）"] -- "ch（冪等元のチャーン指標）" --> HPa["HP_0(A)"]
FM["フレドホルム加群 (H,F,γ)<br/>あるいはスペクトル三つ組 (A,H,D)"] -- "ch（コサイクルの構成）" --> HPb["HP^0(A)"]
HPa --> PAIR["対 ⟨ , ⟩ ∈ C<br/>= 解析的指数"]
HPb --> PAIR

非可換指数定理の構図：二つのチャーン指標の対

Example 4.10（非可換トーラスと整数量子ホール効果）

$A_{\theta}$ を非可換トーラス（非可換トーラスの定義（Definition 3.1）［非可換トーラス A_θ］、詳しくは 非可換トーラスの例 を参照してください）、$\tau$ を正規化された跡、$\delta_{1},\delta_{2}$ を標準的な二つの微分（$\delta_{j}(u_{k}) = 2\pi i\,\delta_{jk}u_{k}$）とします。

$$\varphi(a^{0},a^{1},a^{2}) := \frac{1}{2\pi i}\,\tau\bigl(a^{0}(\delta_{1}a^{1}\,\delta_{2}a^{2} - \delta_{2}a^{1}\,\delta_{1}a^{2})\bigr)$$

は巡回 $2$-コサイクルです（可換極限では $\frac{1}{2\pi i}\int_{T^2} a^0\,da^1\wedge da^2$、すなわちトーラスの基本類との対）。コンヌは、これがトーラス上のディラック作用素から作った偶フレドホルム加群のチャーン指標であることを示しました。したがって Theorem 4.8 より、任意の射影 $e \in M_{q}(A_{\theta})$ に対して

$$\langle [e], [\varphi]\rangle \in \mathbb{Z}.$$

一方、$\theta$ が無理数のとき 非可換トーラスの K 群とトレースの像（Theorem 6.1）［非可換トーラス A_θ］ により $\tau_{*}(K_{0}(A_{\theta})) = \mathbb{Z} + \theta\mathbb{Z}$ であり、$\tau(e) = p + q\theta$ と書けば（向きの規約のもとで）$\langle[e],[\varphi]\rangle = q$ となります。

これがベリサールによる整数量子ホール効果の説明です。強磁場中の 2 次元電子系のブリルアン域は非可換トーラス $A_{\theta}$ になり、フェルミ準位以下の状態のなす射影 $e$ に対して、$\tau(e)$ が状態密度、$\langle[e],[\varphi]\rangle$ がホール伝導度（$e^{2}/h$ 単位）を与えます。ホール伝導度が厳密に整数値をとるのは、それが指数だからです。 不純物があっても、射影 $e$ が連続的に動くだけなら指数は変わりません。プラトーの存在はこの離散性の帰結です。

5. 局所指数公式：留数としての特性類

Theorem 4.8 は指数を「対」として表しましたが、チャーン指標 $\operatorname{ch}^{n}_{F}$ の表示は非局所的です。$[F,a]$ は擬微分作用素としては大域的な対象で、古典的な $\int_M \hat{A}\operatorname{ch}(E)$ のような「各点で決まる密度の積分」にはなっていません。古典論で局所的な表示を与えたのは熱核の対角展開でした（Proposition 3.5 がその出発点です）。非可換の世界でこれに対応するのがコンヌ・モスコヴィッチの局所指数公式です。

道具は、$F$ ではなく非有界な作用素 $D$、すなわちスペクトル三つ組です（スペクトル三つ組の定義（Definition 3.1）［スペクトル三つ組 (A, H, D)］、および スペクトル三つ組 (A, H, D) を参照してください）。$D$ が可逆なら $F := D|D|^{-1}$ がフレドホルム加群を与えますが、$D$ 自身を保持すれば $|D|^{-z}$ によるゼータ正則化が使えます。

Definition 5.1（正則性と次元スペクトル）

$(\mathcal{A}, H, D)$ をスペクトル三つ組（$D$ は自己共役、$(1+D^{2})^{-1}$ はコンパクト、$a \in \mathcal{A}$ について $[D,a]$ は有界）とします。$\delta(T) := [\,|D|, T\,]$ とおきます。

1. 三つ組が正則であるとは、すべての $a\in\mathcal{A}$ に対して $a$ と $[D,a]$ が $\bigcap_{m \ge 1}\operatorname{Dom}(\delta^{m})$ に属することをいいます。
2. $\mathcal{B}$ を $\delta^{k}(a)$ と $\delta^{k}([D,a])$（$a\in\mathcal{A}$、$k\ge0$）が生成する代数とします。次元スペクトル $\operatorname{Sd} \subset \mathbb{C}$ とは、離散的で任意の垂直帯状領域との交わりが有限な集合であって、すべての $b \in \mathcal{B}$ に対しゼータ関数

$$\zeta_{b}(z) := \operatorname{Tr}\bigl(b\,|D|^{-z}\bigr) \qquad (\operatorname{Re}z \gg 0)$$

が $\mathbb{C}\setminus\operatorname{Sd}$ 上に有理型接続をもち、$\operatorname{Sd}$ の外では正則になるようなもののうち最小のものをいいます。すべての極が 1 位のとき、次元スペクトルは単純であるといいます。 3. 単純な次元スペクトルをもつとき、

$$\operatorname{res}(T) := \operatorname{Res}_{z=0}\operatorname{Tr}\bigl(T\,|D|^{-z}\bigr)$$

を $T$ の非可換積分と呼びます（コンヌは切れ目の入った積分記号で書きます）。

$\operatorname{res}$ が「積分」の名に値することの根拠が、コンヌの跡定理（Theorem 6.3）［スペクトル三つ組 (A, H, D)］ です。$M$ を $n$ 次元コンパクトリーマン多様体、$(\mathcal{A},H,D)$ を標準的なディラック型スペクトル三つ組とすると、階数 $-n$ の擬微分作用素 $P$ に対して

$$\operatorname{res}(P) \;=\; \operatorname{Res}_{W}(P) \;=\; \frac{1}{(2\pi)^{n}}\int_{S^{*}M}\operatorname{tr}\sigma_{-n}(P)\,d\mu$$

（ウォジツキ留数）が成り立ちます。とくに $a \in C^{\infty}(M)$ に対して $\operatorname{res}(a|D|^{-n})$ は $\int_M a\,dv$ の定数倍です。リーマン積分がスペクトルの言葉に翻訳されたわけです。

Theorem 5.2（コンヌ・モスコヴィッチの局所指数公式）

$(\mathcal{A}, H, D, \gamma)$ を偶かつ正則な有限可総スペクトル三つ組とし、次元スペクトルは離散かつ単純であるとします（簡単のため $D$ は可逆とします）。$\nabla(T) := [D^{2}, T]$、$T^{[k]} := \nabla^{k}(T)$、多重指数 $k = (k_{1},\ldots,k_{n}) \in \mathbb{N}^{n}$ に対し $|k| = k_{1}+\cdots+k_{n}$、$k! = k_{1}!\cdots k_{n}!$ と書きます。偶コチェイン $\phi = (\phi_{n})_{n\ \mathrm{even}}$ を

$$\phi_{0}(a^{0}) := \operatorname{Res}_{z=0}\ z^{-1}\operatorname{Tr}\bigl(\gamma\,a^{0}|D|^{-2z}\bigr),$$$$\phi_{n}(a^{0},\ldots,a^{n}) := \sum_{k \in \mathbb{N}^{n}} c_{n,k}\ \operatorname{Res}_{z=0}\operatorname{Tr}\Bigl(\gamma\,a^{0}\,[D,a^{1}]^{[k_{1}]}\cdots[D,a^{n}]^{[k_{n}]}\,|D|^{-n-2|k|-2z}\Bigr)\quad (n \ge 2)$$

で定めます。ここで

$$c_{n,k} = \frac{(-1)^{|k|}\ \Gamma\bigl(|k| + \tfrac{n}{2}\bigr)}{k!\,(k_{1}+1)(k_{1}+k_{2}+2)\cdots(k_{1}+\cdots+k_{n}+n)} .$$

このとき $\phi$ は $\mathcal{A}$ の $(b,B)$-双複体における偶コサイクルであり、上の和は有限和になります。さらに $[\phi] \in HP^{0}(\mathcal{A})$ はスペクトル三つ組のチャーン指標に一致し、したがって任意の冪等元 $e \in M_{q}(\mathcal{A})$ に対して

$$\operatorname{ind}\bigl(e D^{+} e\bigr) = \bigl\langle [e], [\phi]\bigr\rangle$$

が成り立ちます。

Remark 5.3

三点補足します。第一に、和が有限であるのは、正則性から $[D,a]^{[k]}$ の「階数」が $k$ とともに下がり、ある $|k|$ を超えると対応するゼータ関数が $z=0$ で正則になるためです。第二に、$\phi$ の各成分は留数、すなわち漸近展開の一つの係数だけで書かれています。これが「局所的」の意味であり、古典的な場合には留数がウォジツキ留数として表象の積分になり、被積分量は曲率から各点で決まります。第三に、定数 $c_{n,k}$ と $\phi_0$ の形は Connes–Moscovici (1995) の規約によります（奇の場合は $\sqrt{2\pi i}$ 型の因子が入る流儀もあります）。証明は、$\operatorname{ind} = \operatorname{Tr}(\gamma\,\cdot)$ 型の表示をレゾルベント展開し、各項のゼータ関数の極を拾う手続きの精密化です。

Example 5.4（古典的な場合：A-hat 種数の再現）

$M$ を $n$ 次元コンパクトスピン多様体、$\mathcal{A} = C^{\infty}(M)$、$H = L^{2}(M, S)$、$D$ をディラック作用素とします。この三つ組は正則で、次元スペクトルは $\{n, n-1, n-2, \ldots\}$（すべて単純）です。Theorem 5.2 の $\phi_{n}$ を計算すると、各留数はウォジツキ留数、すなわち表象の球面上の積分になり、ゲッツラーの再スケーリングと同じ組合せ論を経て、$\phi = (\phi_{n})$ の周期巡回類は Theorem 4.2 の同型のもとで

$$[\phi] \;\longleftrightarrow\; \hat{A}(TM) \cap [M] \ \in\ \bigoplus_{k} H^{\mathrm{dR}}_{2k}(M;\mathbb{C})$$

というド・ラームホモロジー類に対応します。したがって、束 $E$ に対応する射影 $e \in M_{q}(C^{\infty}(M))$（セール・スワンの定理（Theorem 4.1）［K-理論入門］）との対をとれば

$$\operatorname{ind}(D_{E}^{+}) = \langle [e],[\phi]\rangle = \int_{M}\hat{A}(TM)\operatorname{ch}(E)$$

となり、Example 3.4 の古典的な公式が復元されます。つまり局所指数公式はアティヤ・シンガーの定理の真の一般化であり、単なる形式的な言い換えではありません。

局所指数公式が本当に力を発揮するのは、可換な多様体が存在しない状況です。コンヌとモスコヴィッチの直接の動機は葉層構造の横断的指数定理であり、そこでは「曲率テンソル」に相当する古典的な対象が存在せず、留数の計算だけが頼りになります。

6. 一般化：被覆空間・葉層構造・高次指数

指数定理の非可換化がもたらした最大の収穫は、指数が整数でなくてもよくなったことです。核の次元を数える代わりに、フォン・ノイマン環の跡による「連続次元」を使えばよい。この視点は次の二つの定理を生みました。

Theorem 6.1（アティヤの L2-指数定理）

$M$ を境界のないコンパクト多様体、$\widetilde{M}\to M$ を離散群 $\Gamma$ をガロア群とする正規被覆、$D$ を $M$ 上の楕円型作用素、$\widetilde{D}$ をその $\widetilde{M}$ への持ち上げとします。$\widetilde{D}$ の核は一般に無限次元ですが、$\Gamma$ が作用するので $\Gamma$ のフォン・ノイマン環 $\mathcal{N}(\Gamma)$ の跡によるフォン・ノイマン次元 $\dim_{\Gamma}$ が定義されます。このとき

$$\operatorname{ind}_{\Gamma}(\widetilde{D}) := \dim_{\Gamma}\ker\widetilde{D}^{+} - \dim_{\Gamma}\ker\widetilde{D}^{-} \;=\; \operatorname{ind}(D)$$

が成り立ちます。とくに左辺は整数です。

Remark 6.2

証明は熱核による Proposition 3.5 の $\Gamma$-版です。熱核の対角成分は局所的な量なので $\widetilde M$ 上と $M$ 上で一致し、$\Gamma$-跡はその基本領域上の積分になるため、両辺が同じ積分に帰着します。系として $\operatorname{ind}(D)\ne0$ なら $\ker\widetilde{D}\ne0$、すなわち被覆空間上に $L^{2}$ 調和スピノルが存在します。

Theorem 6.3（コンヌの測度付き葉層指数定理）

$(V, F)$ をコンパクト多様体 $V$ 上の葉層構造（$F \subset TV$ は可積分部分束、$\dim F = p$）、$\Lambda$ をホロノミー不変な横断測度とします。$D$ を葉に沿った楕円型作用素とすると、$\ker D$ と $\operatorname{coker}D$ は葉層のフォン・ノイマン環の加群になり、$\Lambda$ に付随する跡によって次元 $\dim_{\Lambda}$ が定まります。このとき

$$\operatorname{ind}_{\Lambda}(D) := \dim_{\Lambda}\ker D - \dim_{\Lambda}\operatorname{coker}D \;=\; \bigl\langle \operatorname{ch}(\sigma(D))\,\operatorname{Td}(F\otimes\mathbb{C}),\ [C_{\Lambda}]\bigr\rangle$$

が（向きの規約のもとで）成り立ちます。ここで $[C_{\Lambda}]$ は $\Lambda$ に付随するリュエル・サリヴァンのカレントです。左辺は一般に整数ではなく実数です。

Example 6.4（クロネッカー葉層と有理独立な指数値）

$V = T^{2} = \mathbb{R}^{2}/\mathbb{Z}^{2}$ 上に傾き $\theta$（無理数）の直線の族による葉層 $F$ を入れます。各葉は $\mathbb{R}$ と微分同相で $T^2$ に稠密に巻きつくので、葉空間 $T^{2}/F$ は自明な位相しかもちません。ところがこの葉層のフォン・ノイマン環は II$_{1}$ 型因子環であり、対応する $C^{*}$-代数は非可換トーラス $A_{\theta}$ に他なりません。

Theorem 6.3 の右辺はリュエル・サリヴァンのカレント（葉方向のベクトル場と横断測度から作られる 1 次元カレント）との対で、その値は一般に $\mathbb{Z}$ に入りません。実際、この葉層に付随する指数の取りうる値の集合は

$$\tau_{*}\bigl(K_{0}(A_{\theta})\bigr) = \mathbb{Z} + \theta\mathbb{Z}$$

です。Example 4.10 で見た「$\tau(e) = p + q\theta$」がまさにこれです。古典的な指数定理が整数を返すのは、点からなるコンパクト空間という特殊事情の産物にすぎなかった——この認識が非可換幾何の出発点の一つになりました。

Remark 6.5

さらに進んだ一般化を三つ挙げます。

高次指数。 $\Gamma$ を離散群、$c \in H^{*}(B\Gamma;\mathbb{C})$ を群コサイクルとすると、$c$ に対応する巡回コサイクルと指数類の対として高次指数 $\operatorname{ind}_{c}(D)$ が定まります。ノビコフ予想（高次符号数のホモトピー不変性）はこの高次指数のホモトピー不変性に翻訳され、コンヌとモスコヴィッチは 1990 年、群コサイクルの巡回類を増大度条件つきの稠密部分代数まで延長する方法によって、双曲群に対する予想を証明しました。

バウム・コンヌ予想。 組立写像 $\mu : K^{\Gamma}_{*}(\underline{E}\Gamma) \to K_{*}(C^{*}_{r}\Gamma)$ が同型であるという予想で、「$\Gamma$ に付随するすべての指数は幾何学的な指数から来る」という主張です。単射性からノビコフ予想が従います。

APS 指数定理。 境界のある多様体では、境界作用素のスペクトルの非対称性を測るイータ不変量が補正項として現れ、非可換幾何ではスペクトル・フローとして、局所指数公式の奇の場合に自然に対応します。

7. 標準模型への応用：コンヌ・ロット模型とスペクトル作用

7.1. ほとんど可換な幾何

前節までで、幾何とは「スペクトル三つ組 $(\mathcal{A}, H, D)$ である」という立場が固まりました。では、可換な代数を少しだけ非可換にしたら何が現れるでしょうか。最も素直な操作は、有限次元代数を掛けることです。

Definition 7.1（ほとんど可換なスペクトル三つ組）

$M$ をコンパクトスピン多様体、$(C^{\infty}(M), L^{2}(M,S), D_{M})$ をその標準的なスペクトル三つ組とします。$(\mathcal{A}_{F}, H_{F}, D_{F})$ を有限次元のスペクトル三つ組（$\mathcal{A}_F$ は有限次元 $*$-代数、$H_F$ は有限次元ヒルベルト空間、$D_F$ はエルミート行列）とするとき、テンソル積

$$\mathcal{A} = C^{\infty}(M)\otimes \mathcal{A}_{F},\quad H = L^{2}(M,S)\otimes H_{F},\quad D = D_{M}\otimes 1 + \gamma_{M}\otimes D_{F}$$

をほとんど可換なスペクトル三つ組と呼びます。$\mathcal{A}$ は $M$ 上の $\mathcal{A}_{F}$ 値関数の代数 $C^{\infty}(M, \mathcal{A}_{F})$ に他なりません。

コンヌとロット（1990 年）の発見は、この設定でゲージ場とヒッグス場が同じ起源から出てくるというものでした。内部摂動 $D \mapsto D + A + JAJ^{-1}$（$A = \sum a_{j}[D, b_{j}]$、$J$ は実構造）を考えると、$D_{M}$ から来る部分は通常のゲージ接続を、$D_{F}$ から来る部分は $\mathcal{A}_{F}$ に値をとるスカラー場、すなわちヒッグス場を与えます。ヒッグス場は「有限方向のゲージ接続」だったのです。最初期の模型では二点集合との積を考え、二枚の紙を結ぶ差分がヒッグスになりました。

標準模型に対応する有限代数は

$$\mathcal{A}_{F} = \mathbb{C}\ \oplus\ \mathbb{H}\ \oplus\ M_{3}(\mathbb{C})$$

です（$\mathbb{H}$ は四元数体）。そのユニタリ群から標準模型のゲージ群 $U(1)\times SU(2)\times SU(3)$ がほぼそのまま出ます。$H_{F}$ は 1 世代あたり 32 次元（16 個のワイルフェルミオン $\nu_{L},e_{L},\nu_{R},e_{R}$ と 3 色のクォーク 12 個、および反粒子）、3 世代で 96 次元です。$D_{F}$ は湯川結合行列と右巻きニュートリノのマヨラナ質量を成分にもつエルミート行列で、実構造 $J$ の KO-次元は $6 \bmod 8$ に取る必要があります。

7.2. スペクトル作用原理

Theorem 7.2（シャムセディン・コンヌのスペクトル作用の漸近展開）

$(\mathcal{A}, H, D)$ を正則で、離散かつ単純な次元スペクトル $\operatorname{Sd}$ をもつスペクトル三つ組とし、$D$ は可逆とします。$f : [0,\infty) \to \mathbb{R}$ を十分滑らかで急減少な関数（カットオフ関数）とし、$\Lambda > 0$ をエネルギー・スケールとします。$\operatorname{Sd}^{+} := \operatorname{Sd}\cap\, ]0,\infty[$、$\zeta_{D}(s) = \operatorname{Tr}(|D|^{-s})$ と書くとき、$\Lambda\to\infty$ で

$$\operatorname{Tr}\,f\!\left(\frac{D}{\Lambda}\right) \;\sim\; \sum_{k\in\operatorname{Sd}^{+}} f_{k}\,\Lambda^{k}\,\operatorname{res}\bigl(|D|^{-k}\bigr) \;+\; f(0)\,\zeta_{D}(0) \;+\; o(1),$$$$f_{k} = \int_{0}^{\infty} f(v)\,v^{k-1}\,dv$$

という漸近展開が成り立ちます。ここで $\operatorname{res}$ は Definition 5.1 の非可換積分です。

スペクトル作用原理とは、物理の作用として

$$S[D] \;=\; \operatorname{Tr}\,f\!\left(\frac{D}{\Lambda}\right) \;+\; \langle \psi,\ D\psi\rangle$$

のみを許すという要請です。第一項がボゾン的作用、第二項がフェルミオン的作用で、いずれも $D$ のスペクトルにしか依らず、座標の取り方に一切依存しません。Theorem 7.2 の右辺をほとんど可換な三つ組（$\dim M = 4$）について書き下すと、$\Lambda^{4}$、$\Lambda^{2}$、$\Lambda^{0}$ の各項は熱核展開のシーリー・ドウィット係数 $a_{0}, a_{2}, a_{4}$ に対応し、次のようになります。

次数	現れる項
$\Lambda^{4}$	宇宙定数項
$\Lambda^{2}$	アインシュタイン・ヒルベルト項 $\int R\sqrt{g}$、ヒッグス質量項 $\int \|H\|^{2}$
$\Lambda^{0}$	ヤン・ミルズ項 $\int \operatorname{tr}F_{\mu\nu}F^{\mu\nu}$、ヒッグス運動項、$\|H\|^{4}$ ポテンシャル、非最小結合 $R\|H\|^{2}$、ワイル項

つまり、重力と標準模型のラグランジアンが、たった一つの幾何学的な作用から同時に導出されます。ゲージ群も、フェルミオンの表現も、ヒッグス機構も、$(\mathcal{A}_{F}, H_{F}, D_{F})$ を選んだ時点で決まってしまいます。

Example 7.3（予言とその検証）

スペクトル作用は係数の間に関係式を課すので、検証可能な予言を出します。$\Lambda$ を大統一スケールと同定すると、三つのゲージ結合定数の間に

$$g_{3}^{2} = g_{2}^{2} = \tfrac{5}{3}g_{1}^{2}$$

という関係が $\Lambda$ で成り立つことが要求されます（実際の走化ではこの一致は約 $1\%$ ずれます）。またトップクォークの湯川結合とヒッグス四点結合の間の関係から、ヒッグス質量が予言されます。

歴史的には、2007 年のシャムセディン・コンヌ・マルコリの定式化は $m_{H}\simeq 170\,\mathrm{GeV}$ を与えましたが、この値は 2011 年までにテバトロンと LHC の直接探索で排除されました。これは模型にとって明確な反証でした。2012 年、シャムセディンとコンヌは、右巻きニュートリノのマヨラナ質量に伴う実スカラー場 $\sigma$（$B-L$ 対称性の破れに対応）を正しく取り込むと四点結合が走化を変え、$m_{H}\simeq 125\,\mathrm{GeV}$ になることを示しました。同年に発見されたヒッグス粒子の質量と整合します。

誠実に評価すれば、これは「予言の的中」ではなく「反証を受けた修正が独立に確認された値と整合した」という段階であり、枠組みが実験的に確立されたわけではありません。それでも、幾何の公理だけからゲージ群と粒子の表現が決まるという構造そのものは、他に類のない結果だと思います。

Note

指数定理との関係も明示しておきます。フェルミオン作用 $\langle\psi, D\psi\rangle$ における $D$ の指数はカイラル・アノマリーそのもので、古典的には $\operatorname{ind}(D_{E}^{+}) = \int_{M}\hat{A}\operatorname{ch}(E)$（Example 3.4）がアノマリー多項式を与えます。ほとんど可換な幾何では $\hat{A}$ の代わりに Theorem 5.2 の留数コサイクルが現れ、有限部分の寄与が加わります。標準模型のアノマリー相殺条件が $\mathcal{A}_{F}$ の選び方を強く制限することは、この立場から自然に理解できます。

8. 演習

Exercise 8.1易

Example 4.7 の設定で、$u = e_{k}$（$k \in \mathbb{Z}$、$e_{k}(\theta) = e^{ik\theta}$）に対するトープリッツ作用素 $T_{u} = PuP|_{PH}$ の指数を、核と余核を直接数えることで求め、公式 $\operatorname{ind}(T_{u}) = -\operatorname{wind}(u)$ と一致することを確かめてください。

Solution

基底 $\{e_{n}\}_{n\ge0}$ に対し $T_{u}e_{n} = P e_{n+k}$ です。

$k \ge 0$ のとき、$n \ge 0$ ならば $n+k\ge0$ なので $T_{u}e_{n} = e_{n+k}$。これは $\{e_{n}\}_{n\ge0}$ を $\{e_{m}\}_{m\ge k}$ に一対一に写します。よって $\ker T_{u} = 0$、$\operatorname{ran}T_{u} = \overline{\operatorname{span}}\{e_{m} : m\ge k\}$ で余核の次元は $k$（$e_{0},\ldots,e_{k-1}$ が代表）。したがって $\operatorname{ind}(T_{u}) = 0 - k = -k$。

$k < 0$ のとき、$n+k \ge 0$ すなわち $n \ge -k$ ならば $T_{u}e_{n} = e_{n+k}$、$0\le n \le -k-1$ ならば $Pe_{n+k} = 0$。よって $\ker T_{u} = \operatorname{span}\{e_{0},\ldots,e_{-k-1}\}$ で次元は $-k$、値域は $\{e_{m}\}_{m\ge0}$ 全体を張るので余核は $0$。したがって $\operatorname{ind}(T_{u}) = -k - 0 = -k$。

いずれの場合も $\operatorname{ind}(T_{u}) = -k$ です。一方 $\operatorname{wind}(e_{k}) = \frac{1}{2\pi i}\int_{S^{1}} e^{-ik\theta}\,d(e^{ik\theta}) = \frac{1}{2\pi i}\int_{0}^{2\pi} ik\,d\theta = k$ なので、確かに $\operatorname{ind}(T_{u}) = -\operatorname{wind}(u)$ です。

Exercise 8.2標準

$M$ をコンパクトリーマン多様体、$H = L^{2}(\Omega^{\bullet}(M)\otimes\mathbb{C})$、$D = d + d^{*}$、$\gamma = (-1)^{\deg}$ とします。Proposition 3.5 を用いて、すべての $t>0$ に対し

$$\operatorname{Tr}\bigl(\gamma\,e^{-t\Delta}\bigr) = \chi(M)$$

（$\Delta = D^{2} = dd^{*}+d^{*}d$ はホッジ・ラプラシアン、$\chi$ はオイラー標数）が成り立つことを示してください。

Solution

まず Proposition 3.5 の仮定を確認します。$D = d+d^{*}$ は $L^{2}$ 上の本質的自己共役作用素で、$\gamma D = -D\gamma$ が成り立ちます（$d$ は次数を $1$ 上げ、$d^{*}$ は $1$ 下げるので、いずれも $\gamma$ と反可換）。$M$ がコンパクトなので $\Delta$ は離散スペクトルをもち、ワイルの法則により固有値は $\lambda_{j}\sim c\,j^{2/n}$ で増大するため、$e^{-t\Delta}$ は各 $t>0$ でトレースクラスです。

よって Proposition 3.5 が適用でき、

$$\operatorname{Tr}(\gamma e^{-t\Delta}) = \operatorname{ind}(D^{+}) = \dim\ker D^{+} - \dim\ker D^{-}$$

となります（$D^{\pm}$ は $\Omega^{\mathrm{ev}}\to\Omega^{\mathrm{odd}}$ とその逆向き）。

次に核を同定します。$\|Dv\|^{2} = \langle D^{2}v, v\rangle = \langle \Delta v, v\rangle$ より $\ker D = \ker\Delta = \mathcal{H}^{\bullet}$（調和形式）です。$\Delta$ は次数を保つので $\mathcal{H}^{\bullet} = \bigoplus_{k}\mathcal{H}^{k}$ と分解し、

$$\ker D^{+} = \bigoplus_{k}\mathcal{H}^{2k}, \qquad \ker D^{-} = \bigoplus_{k}\mathcal{H}^{2k+1}.$$

ホッジの定理により $\mathcal{H}^{k}\cong H^{k}_{\mathrm{dR}}(M;\mathbb{C})$ ですから

$$\operatorname{ind}(D^{+}) = \sum_{k}(-1)^{k}\dim H^{k}_{\mathrm{dR}}(M;\mathbb{C}) = \chi(M)$$

となり、主張が示されました。なお $t\to0$ での熱核の対角展開を実行すると右辺がオイラー類の積分に等しいことが出て、ガウス・ボンネ・チャーンの定理の熱核による証明になります（Example 3.3）。

Exercise 8.3標準

$X$ を K3 曲面（コンパクトな単連結複素曲面で $c_{1}(X) = 0$、$\chi(X) = 24$）とします。$X$ はスピン多様体です。$X$ 上のねじれのないディラック作用素の指数を、(i) $\hat{A}$ 種数、(ii) 正則オイラー標数（リーマン・ロッホ）の二通りで計算し、一致することを確かめてください。

Solution

(i) $\hat{A}$ 種数から。 $4$ 次元では $\hat{A} = 1 - \frac{p_{1}}{24}$ です。ヒルツェブルフの符号数定理により $\sigma(X) = \frac{1}{3}\int_{X}p_{1}$。K3 曲面の符号数は $\sigma(X) = -16$（交叉形式は $2(-E_{8})\oplus 3H$ で、正定値部分の次元 $3$、負定値部分の次元 $19$、$3-19=-16$）ですから

$$\int_{X}p_{1} = 3\sigma(X) = -48, \qquad \int_{X}\hat{A}(TX) = -\frac{-48}{24} = 2 .$$

Example 3.4 より $\operatorname{ind}(D^{+}) = 2$。

(ii) リーマン・ロッホから。 複素曲面では $\operatorname{Td} = 1 + \frac{c_{1}}{2} + \frac{c_{1}^{2}+c_{2}}{12}$ です。$c_{1}(X)=0$、$\int_{X}c_{2} = \chi(X) = 24$ なので

$$\chi(X,\mathcal{O}_{X}) = \int_{X}\operatorname{Td}(TX) = \frac{0 + 24}{12} = 2 .$$

これは実際、$h^{0,0} - h^{0,1} + h^{0,2} = 1 - 0 + 1 = 2$（K3 曲面は $h^{0,1}=0$、正則 2 形式が一意に存在するので $h^{0,2}=1$）と合います。

一致の理由。 $\operatorname{Td} = e^{c_{1}/2}\,\hat{A}$ という一般関係があり、$c_{1}=0$ のときは $\operatorname{Td} = \hat{A}$ です。念のため直接確認すると、$p_{1} = c_{1}^{2} - 2c_{2} = 0 - 48 = -48$ で (i) の値と整合しています。したがって両者はともに $2$ を与えます。

Exercise 8.4難

Proposition 2.2 を用いて、指数の乗法性を示してください。すなわち、$T_{1} \in \mathcal{B}(H_{2},H_{3})$、$T_{2}\in\mathcal{B}(H_{1},H_{2})$ がそれぞれパラメトリックス $S_{1}, S_{2}$ をもち、$K_{i} := 1 - S_{i}T_{i}$、$L_{i} := 1 - T_{i}S_{i}$ がすべてトレースクラスであるとき、

$$\operatorname{ind}(T_{1}T_{2}) = \operatorname{ind}(T_{1}) + \operatorname{ind}(T_{2})$$

が成り立つことを示してください。

Solution

$T := T_{1}T_{2}$、$S := S_{2}S_{1}$ とおきます。まず $1 - ST$ と $1-TS$ を $K_{i}, L_{i}$ で表します。

$$ST = S_{2}S_{1}T_{1}T_{2} = S_{2}(1-K_{1})T_{2} = S_{2}T_{2} - S_{2}K_{1}T_{2} = (1-K_{2}) - S_{2}K_{1}T_{2},$$$$TS = T_{1}T_{2}S_{2}S_{1} = T_{1}(1-L_{2})S_{1} = T_{1}S_{1} - T_{1}L_{2}S_{1} = (1-L_{1}) - T_{1}L_{2}S_{1}.$$

よって

$$1 - ST = K_{2} + S_{2}K_{1}T_{2}, \qquad 1 - TS = L_{1} + T_{1}L_{2}S_{1}.$$

$K_{1}, K_{2}, L_{1}, L_{2}$ はトレースクラス、$S_{i}, T_{i}$ は有界なので、両辺はトレースクラスです。したがって Proposition 2.2 が $T$ に適用でき、

$$\operatorname{ind}(T) = \operatorname{Tr}(K_{2}) + \operatorname{Tr}(S_{2}K_{1}T_{2}) - \operatorname{Tr}(L_{1}) - \operatorname{Tr}(T_{1}L_{2}S_{1}).$$

第 2 項と第 4 項を跡の巡回性（真ん中がトレースクラス、外側が有界）で書き換えます。

$$\operatorname{Tr}(S_{2}K_{1}T_{2}) = \operatorname{Tr}(K_{1}T_{2}S_{2}) = \operatorname{Tr}\bigl(K_{1}(1-L_{2})\bigr) = \operatorname{Tr}(K_{1}) - \operatorname{Tr}(K_{1}L_{2}),$$$$\operatorname{Tr}(T_{1}L_{2}S_{1}) = \operatorname{Tr}(L_{2}S_{1}T_{1}) = \operatorname{Tr}\bigl(L_{2}(1-K_{1})\bigr) = \operatorname{Tr}(L_{2}) - \operatorname{Tr}(L_{2}K_{1}).$$

$K_{1}$ と $L_{2}$ はともにトレースクラスなので $\operatorname{Tr}(K_{1}L_{2}) = \operatorname{Tr}(L_{2}K_{1})$ であり、この二つの補正項は差を取ると相殺します。したがって

$$\operatorname{ind}(T) = \bigl(\operatorname{Tr}(K_{1}) - \operatorname{Tr}(L_{1})\bigr) + \bigl(\operatorname{Tr}(K_{2}) - \operatorname{Tr}(L_{2})\bigr) = \operatorname{ind}(T_{1}) + \operatorname{ind}(T_{2})$$

となります（最後に再び Proposition 2.2 を $T_{1}$ と $T_{2}$ に使いました）。

この計算は、指数が $K$-理論的な量であることの代数的な現れです。実際、乗法性は「指数写像が群準同型 $K_{1}(\mathcal{B}/\mathcal{K}) \to \mathbb{Z}$ を与える」という事実に他なりません。

参考文献

• M. F. Atiyah and I. M. Singer, “The index of elliptic operators I”, Annals of Mathematics 87 (1968), 484–530. — K-理論による原証明。
• H. B. Lawson and M.-L. Michelsohn, Spin Geometry, Princeton University Press, 1989 — 第 III 章（指数定理とその古典的な系）。
• A. Connes, Noncommutative Geometry, Academic Press, 1994 — 第 III 章（巡回コホモロジー）、第 IV 章（量子化解析とフレドホルム加群の指数定理）。全文が著者のサイトで公開されています。
• A. Connes, “Sur la théorie non commutative de l’intégration”, in Algèbres d’opérateurs, Lecture Notes in Mathematics 725, Springer, 1979, 19–143. — 測度付き葉層の指数定理。
• A. Connes and H. Moscovici, “The local index formula in noncommutative geometry”, Geometric and Functional Analysis 5 (1995), 174–243.
• A. H. Chamseddine, A. Connes and M. Marcolli, “Gravity and the standard model with neutrino mixing”, Advances in Theoretical and Mathematical Physics 11 (2007), 991–1089. arXiv:hep-th/0610241

本文で触れた他の文献として、コンヌ・ロット模型の原論文は A. Connes and J. Lott, “Particle models and noncommutative geometry”, Nuclear Physics B (Proc. Suppl.) 18B (1991), 29–47、スペクトル作用原理は A. H. Chamseddine and A. Connes, “The spectral action principle”, Communications in Mathematical Physics 186 (1997), 731–750、ヒッグス質量の再検討は A. H. Chamseddine and A. Connes, “Resilience of the spectral standard model”, JHEP 09 (2012), 104 です。アティヤの $L^{2}$-指数定理は M. F. Atiyah, “Elliptic operators, discrete groups and von Neumann algebras”, Astérisque 32–33 (1976), 43–72 にあります。

Appendix: (b,B)-双複体と周期作用素

なぜ二つ目の複体が要るのか。 Definition 4.1 の定義は直観的ですが、巡回性という線型な拘束を課したままホモロジー代数を回すのは面倒で、計算には向きません。等価で扱いやすいのが $(b,B)$-双複体による定義です。

二つの微分。 $C^{n}(A) := \operatorname{Hom}(A^{\otimes(n+1)},\mathbb{C})$ 上に、ホッホシルト微分 $b : C^{n}\to C^{n+1}$（Definition 4.1 の式）と、コンヌの微分 $B : C^{n}\to C^{n-1}$ を置きます。$B = A_{0}B_{0}$ で、$B_{0}\varphi(a^{0},\ldots,a^{n-1}) = \varphi(1,a^{0},\ldots,a^{n-1})$、$A_{0}$ は巡回置換による反対称化です。これらは $b^{2}=0$、$B^{2}=0$、$bB + Bb = 0$ を満たし、双複体をなします。

周期巡回コホモロジー。 この双複体の全複体のコホモロジーが $HC^{\bullet}(A)$ を再現し、列を両側無限に伸ばしたもの（$\mathbb{Z}/2$ 次数付き）のコホモロジーが $HP^{\bullet}(A)$ です。周期作用素 $S : HC^{n}\to HC^{n+2}$ は、双複体では「一段ずらす」写像として実現され、$HP$ を取る操作はこのずらしに関する帰納極限そのものです。Theorem 5.2 のコサイクル $\phi = (\phi_{n})$ が「$(b,B)$-双複体のコサイクル」であるとは、$b\phi_{n} + B\phi_{n+2} = 0$ がすべての $n$ で成り立つことを意味します。個々の $\phi_{n}$ は巡回コサイクルではないので、この形でしか書けません。局所指数公式が双複体の言葉で述べられるのは、そのためです。

冪等元のチャーン指標。 双複体では、冪等元 $e\in M_{q}(A)$ のチャーン指標が明示的に書けます。$\operatorname{ch}_{0}(e) = \operatorname{Tr}(e)$、$n\ge1$ に対して

$$\operatorname{ch}_{n}(e) = (-1)^{n}\frac{(2n)!}{n!}\operatorname{Tr}\Bigl(\bigl(e - \tfrac{1}{2}\bigr)\otimes e^{\otimes 2n}\Bigr)$$

（$\operatorname{Tr}$ は行列成分についての跡と $A^{\otimes(2n+1)}$ への写像の合成）とおくと、$(\operatorname{ch}_{n}(e))_{n}$ は $(b,B)$-双複体の巡回サイクルとなり、その類が $\operatorname{ch}([e])\in HP_{0}(A)$ を与えます。§4.1 の対はこの類と $HP^{0}(A)$ の類の自然な対にほかなりません。