キネットの定理

数学、特にホモロジー代数や代数的位相幾何学において、**キネットの定理**（キネットのていり、）、あるいは**キネットの公式**（キネットのこうしき、）、キュネスの公式とは、2つの対象のホモロジーからそれらの積のホモロジーを計算する公式、およびそれに関する一連の定理のことである。古典的には、2つの位相空間  および  の特異ホモロジーと、それらの積空間 X \times Y の特異ホモロジーを関連付ける定理を指す。最も単純な場合（体係数など）には、積空間のホモロジーは各空間のホモロジーのテンソル積と同型になるが、一般の係数環においてはTor関手などホモロジー代数の道具を用いた補正項が必要となる。

キネットの定理は、多くの異なるホモロジー理論やコホモロジー理論において成立し、その名称は一般的なものとなっている。これらの多くの結果は、ドイツの数学者にちなんで名付けられている。

## 幾何学的解釈

キネットの定理の形式的な記述に入る前に、この定理が幾何学的に何を意味しているかを概観する。

位相空間  の  次元の「穴」を表すサイクル（閉じた鎖）を 、空間  の  次元のサイクルを  とする。このとき、これらの直積  は、積空間  内の  次元のサイクルとなる。
例えば、円周 （1次元の穴を持つ）と円周  の積であるトーラス T^2 = S^1 \times S^1 を考える。
*  上の点（0次元サイクル）と  上の点（0次元サイクル）の積は、トーラス上の点（0次元サイクル）になる。
*  上のループ（1次元サイクル）と  上の点（0次元サイクル）の積は、トーラス上のループ（1次元サイクル）になる。
*  上のループ（1次元サイクル）と  上のループ（1次元サイクル）の積は、トーラス全体を覆う面（2次元サイクル）になる。

キネットの定理（特に体係数の場合）は、基本的に「積空間のホモロジー類は、このような直積によって得られるものが全てである」ということを主張している。

これをベッチ数（穴の数、ホモロジー群のランク）の言葉で言い換えると、積空間のポアンカレ多項式（係数がベッチ数である多項式）は、元の空間のポアンカレ多項式の積になることを意味する。
:p_{X \times Y}(t) = p_X(t) \cdot p_Y(t)

### 具体例
具体例として2次元トーラス を考える。これは2つの円周の積  とみなせる。円周  のベッチ数は、 であり、ポアンカレ多項式は p_{S^1}(t) = 1 + t である。

キネットの定理（あるいはポアンカレ多項式の積の公式）を用いると、トーラスのポアンカレ多項式は以下のように計算できる。
:p_{T^2}(t) = p_{S^1}(t) \cdot p_{S^1}(t) = (1+t)(1+t) = 1 + 2t + t^2
これより、トーラスのベッチ数は  であることが分かる。これは、「1つの連結成分」「2つの独立したループ」「1つの空洞」を持つという直観的な事実と一致する。

## 体係数の特異ホモロジー
 と  を2つの位相空間とする。一般には特異ホモロジーを用いるが、もし  と  がCW複体であれば、で置き換えることができる。なぜなら、胞体ホモロジーは特異ホモロジーと同型だからである。最も単純なケースは、ホモロジーの係数環が体  である場合である。この状況において、（特異ホモロジーに対する）キネットの定理は、任意の整数  に対して以下が成り立つことを主張する。

:\bigoplus_{i + j = k} H_i(X; F) \otimes H_j(Y; F) \cong H_k(X \times Y; F)

さらに、この同型は自然な同型である。この同型写像は、ホモロジー類のクロス積によって与えられる。すなわち、 上の -サイクルと  上の -サイクルから X \times Y 上の (i+j)-サイクルを生成する操作が、ホモロジー群の間の写像 H_i(X; F) \otimes H_j(Y; F) \to H_{i+j}(X \times Y; F) を誘導し、これの直和が上記の同型を与える。

この結果の帰結として、X \times Y のベッチ数（\Q 係数ホモロジーの次元）は、 と  のベッチ数から決定できる。空間  のベッチ数 b_k(Z) の数列の母関数を p_Z(t) とすれば、以下が成り立つ。

: p_{X \times Y}(t) = p_X(t) p_Y(t).

ここで、 と  のベッチ数が有限個であり、それぞれが \infty ではなく自然数である場合、これはポアンカレ多項式に関する恒等式と読み取れる。一般の場合、これらは係数が無限大になり得る形式的冪級数であり、それに応じて解釈する必要がある。さらに、上記の主張はベッチ数だけでなく、任意の体上のホモロジーの次元の母関数に対しても成立する。（もし整数係数ホモロジーが捩れなし（torsion-free）でない場合、これらの数は標準的なベッチ数とは異なる可能性がある。）

## 単項イデアル整域係数の特異ホモロジー
上記の公式が単純なのは、体上のベクトル空間が非常に制限された振る舞いをするからである。係数環がより一般的になるにつれて、関係はより複雑になる。次に単純なケースは、係数環が単項イデアル整域（PID）の場合である。整数環 \Z は PID をなすため、このケースは特に重要である。

この場合、上記の方程式はもはや常に真であるとは限らない。捩れ（torsion）現象の可能性を説明するために、補正因子が現れる。この補正因子は、テンソル積の最初の導来関手であるTor関手を用いて表現される。

 が PID の場合、キネットの定理の正しい主張は、任意の位相空間  および  に対して、以下の自然な短完全列が存在することである。

:0 \to \bigoplus_{i + j = k} H_i(X; R) \otimes_R H_j(Y; R) \to H_k(X \times Y; R) \to \bigoplus_{i + j = k-1} \mathrm{Tor}_1^R(H_i(X; R), H_j(Y; R)) \to 0

さらに、この完全列は分裂する（が、自然には分裂しない）。

この公式は一見複雑だが、実用上は以下の簡略化が重要である。もし H_i(X; R) と H_j(Y; R) の少なくとも一方が捩れなし（torsion-free）であれば、Tor項はゼロとなり、以下の単純な同型が得られる。
:\bigoplus_{i + j = k} H_i(X; R) \otimes_R H_j(Y; R) \cong H_k(X \times Y; R)
すなわち、空間のホモロジー群が自由アーベル群のみで構成される場合（例：球面やトーラスなど）は、体係数の場合と同様に計算できる。

### 例
先述の短完全列を用いると、2つの実射影平面の積 \mathbb{RP}^2 \times \mathbb{RP}^2 の整数係数ホモロジー群 H_k(\mathbb{RP}^2 \times \mathbb{RP}^2; \Z) を計算できる。\mathbb{RP}^2 のホモロジー群 H_i(\mathbb{RP}^2;\Z) を h_i と略記する。
:h_0 \cong \Z
:h_1 \cong \Z/2\Z
:h_i = 0 \quad (i \neq 0, 1)
ここで、Tor群 \mathrm{Tor}^{\Z}_1(h_i, h_j) が非ゼロとなるのは i=j=1 の場合のみであり、
:\mathrm{Tor}^{\Z}_1(h_1, h_1) \cong \mathrm{Tor}^{\Z}_1(\Z/2\Z,\Z/2\Z)\cong \Z/2\Z
となる。また、テンソル積 h_i \otimes h_j については、\Z \otimes A \cong A および \Z/2\Z \otimes \Z/2\Z \cong \Z/2\Z であることに注意する。
キネットの完全列において、各次数 k でTor項（次数 k-1 に由来）かテンソル積項（次数 k に由来）のいずれかがゼロとなるため、完全列は直和に分解する。結果は以下の通りである。
:\begin{align}
H_0 (\mathbb{RP}^2 \times \mathbb{RP}^2;\Z) &\cong h_0 \otimes h_0 \cong \Z \\
H_1 (\mathbb{RP}^2 \times \mathbb{RP}^2;\Z) &\cong (h_0 \otimes h_1) \oplus (h_1 \otimes h_0) \cong \Z/2\Z \oplus \Z/2\Z \\
H_2 (\mathbb{RP}^2 \times \mathbb{RP}^2;\Z) &\cong h_1 \otimes h_1 \cong \Z/2\Z \\
H_3 (\mathbb{RP}^2 \times \mathbb{RP}^2;\Z) &\cong \mathrm{Tor}^{\Z}_1(h_1, h_1) \cong \Z/2\Z \\
\end{align} 
なお、k \ge 4 については対応する項がすべてゼロとなるため、ホモロジー群はゼロである。

## コホモロジー環におけるキネットの定理
ホモロジー群と同様に、コホモロジー群についてもキネットの定理が成立する。特に係数環 F が体である場合、積空間のコホモロジーは、カップ積によって次数付き代数（環）の構造を持つ。このとき、キネットの定理は単なるベクトル空間の同型だけでなく、代数としての同型を与える。

:H^*(X \times Y; F) \cong H^*(X; F) \otimes_F H^*(Y; F)

ここで右辺は、次数付き代数のテンソル積である。すなわち、a \in H^i(X), b \in H^j(Y) とするとき、その積は
:(a \otimes b) \cdot (a' \otimes b') = (-1)^{(\deg b)(\deg a')} (a \smile a') \otimes (b \smile b')
によって定義される。この事実は、積空間のコホモロジー環の構造を決定する上で有用である。

## キネット・スペクトル系列
一般の可換環  に対して、 と  のホモロジーは、キネットスペクトル系列によってそれらの積のホモロジーに関連付けられる。
:E_{pq}^2 = \bigoplus_{q_1 + q_2 = q} \mathrm{Tor}^R_p(H_{q_1}(X; R), H_{q_2}(Y; R)) \Rightarrow H_{p+q}(X \times Y; R)
上述の場合において、このスペクトル系列は崩壊（collapse）し、同型または短完全列を与える。

## ホモロジー代数との関係、および証明のアイデア
空間  ×  の鎖複体は、自然な擬同型によって  と  の鎖複体に関連付けられる。
:C_*(X \times Y) \cong C_*(X) \otimes C_*(Y)
特異鎖に対して、これはである。CW複体上の胞体鎖に対しては、これは直接的な同型である。すると、右辺のテンソル積のホモロジーは、ホモロジー代数におけるスペクトル的キネット公式によって与えられる。

鎖加群の自由性は、この幾何学的なケースにおいては、いかなるや全導来テンソル積も使用する必要がないことを意味する。

上記の主張の類似は、特異コホモロジーや層コホモロジーに対しても存在する。代数多様体上の層コホモロジーについて、アレクサンドル・グロタンディークは、2つの層の鎖複体の超ホモロジー群と、それらのテンソル積の超ホモロジー群を関連付ける6つのスペクトル系列を発見した。

## 一般ホモロジー・コホモロジー理論におけるキネットの定理
位相空間に対する多くの一般（または「異常」）ホモロジーおよびコホモロジー理論が存在する。K理論やコボルディズムが最もよく知られている。通常のホモロジーやコホモロジーとは異なり、これらは典型的には鎖複体を用いて定義することはできない。したがって、キネットの定理は上記のホモロジー代数の手法によっては得られない。それにもかかわらず、全く同じ形式のキネットの定理が、様々な他の方法によって非常に多くの場合で証明されている。最初になされたのは、複素K理論に対するマイケル・アティヤのキネットの定理、およびコボルディズムにおけるとの結果である。上の加群のホモトピー論に基づいた、一般的な証明方法が登場した。そのような加群のは、ホモロジー代数における導来圏と酷似している。

## 参考文献

## 外部リンク
*