乗法列の種数

数学における、の**種数**とは、向き付けられた滑らかなのコボルディズム環(cobordism ring)から、他の環（大抵は有理数環）への環準同型のことを言う。

## 定義

**種数**(genus) φ は、各々の多様体 X に次の項目を満たす数値 φ(X) を対応させる。
#φ(X∪Y) = φ(X) +  φ(Y) (ここに ∪ は合併を表す)
#φ(X&times;Y) = φ(X)φ(Y)
#X が境界であれば、φ(X) = 0

多様体は特別な構造を持っているかもしれず、例えば、向きづけられているとか、スピンを持っているなどの構造が考えられる（コボルディズム論のリスト(list of cobordism theories)を参照すると多くの例があります）。数値 φ(*X*) はある環の中にあり、環は**Z**/2**Z**であったり、他のモジュラ形式の環であったりするが、環は有理数であることが多い。

φ の条件は、（与えられた構造を持つ）多様体のコボルディズム環から他の環への環準同型であるということにより、再度、定義し直すとこができる。

例：φ(X) が向きづけられた多様体 X の(signature)、φ は整数の環への向きづけられた多様体からの種数である。

## 形式的べき級数の種数

 を変数とする多項式列  が**乗法的**（multiplicative）とは、

: 1 + p_1z + p_2z^2 + \dots = (1 + q_1z + q_2z^2 + \cdots) (1 + r_1z + r_2z^2 + \cdots)

ならば

: \Sigma K_j(p_1,p_2,\cdots)z^j = \Sigma K_j (q_1,q_2,\cdots) z_j\Sigma K_k (r_1,r_2,\cdots)z_k

を満たすことを言う。 を変数とする形式的冪級数  が定数項 1 を持つとき、乗法列
: K = 1+ K_1 + K_2 + \cdots
を
: K(p_1,p_2,p_3,\cdots) = Q(z_1)Q(z_2)Q(z_3)\cdots
と置くことによって定義できる。ここに  は、不定元  たちの -次（基本対称式）である。 が向きの付いた多様体で、 を  のポントリャーギン類とするとき、 に対応する向きづけられた多様体の種数  が、

: \varphi(X) = K(p_1,p_2,p_3,\cdots)

で与えられる。このとき冪級数  は種数  の**特性冪級数** (characteristic power series)と呼ぶ。トムの定理「有理数環とコボルディズム環とのテンソル積は、正整数  に対する次数  の生成元を変数とする多項式環である」から、先の対応によって先頭項（つまり定数項）が 1 の有理係数形式的冪級数  と向きの付いた多様体の有理数値種数が一対一に対応することがわかる。

## L-種数とヒルツェブルフの符号定理
**L-種数**(L genus)は形式的べき級数
:{\sqrt{z}\over \tanh(\sqrt z)} = \sum_{k\ge 0} {2^{2k}B_{2k}z^k\over (2k)!}
 = 1 + {z \over 3} - {z^2 \over 45} +\cdots 
の種数であり、ここに B_{2k} はベルヌーイ数である。

いくつかの最初の項を挙げると、
*L_0 = 1
*L_1 = p_1/3
*L_2 = (7p_2 - p_1^2)/45.
ここで、M をポントリャーギン類  p_i = p_i(M)  を持つ閉じた向き助可能で滑らかな次元 4n の多様体とする。フリードリッヒ・ヒルツェブルフは、M の基本類 [M] を評価した次元 4n の多様体のL-種数は、 \sigma(M) に等しく、M の（つまり、M の 2n 番目のコホモロジー群の上の交叉形式の符号）
: \sigma(M) = \langle L_n(p_1(M), \dots, p_n(M)), [M]\rangle 
である。この定理が、**ヒルツェブルフの符号定理**(Hirzebruch signature theorem)（もしくは、**ヒルツェブルフの指数定理**(Hirzebruch index theorem))として知られている。ルネ・トム(René Thom)は、これに先立ち、符号がポントリャーギン類の線型結合で与えられることを証明し、ヒルツェブルフは上記の線型結合で正確な公式が得られることを発見した。

L_2 が滑らかな多様体に対して常に整数であるという事実は、ジョン・ミルナー(John Milnor)のを持たない 8 次元のの例を与えることを使って示すことができる。ポントリャーギン数が、PL多様体に対しても定義することができる。ミルナーは、このPL多様体は p2 の値が非整数の値を持つことを示し、従って、滑らかな多様体ではありえないことを示した。

## トッド種数
**トッド種数**(Todd genus)は、形式的べき級数
:\frac{z}{1-\exp(-z)} = 1 + \frac{1}{2}z+ \sum_{i=1}^\infty (-1)^{i+1}\frac{B_{2i}}{(2i)!}z^{2i} 
の種数であり、上に示したように B2k はベルヌーイ数である。最初のいくつかの値を示すと
*Td_0 = 1
*Td_1 = c_1/2
*Td_2 = (c_2 + c_1^2)/12
*Td_3 = (c_1c_2)/24
*Td_4 = (-c_1^4 + 4 c_2c_1^2+3c_2^2+c_3c_1-c_4)/720
となる。トッド種数は、すべての複素射影空間に対して数値 1 を対応させる（つまり、 \mathrm{Td}_n(\mathbb{CP}^n) = 1)という性質を持っていて、このことは、複素射影空間の算術種数が値 1 でもあるように、トッド種数は代数多様体の算術種数の値が 1 に一致していることを示すに充分である。この見方は、ヒルツェブルフ・リーマン・ロッホの定理の結果であり、実際、この定理により定式化された重要な発展の一つである。

## Â 種数
**Â 種数**(Â genus)は、次の式の特性べき級数(characteristic power series)に関連する種数である。
:Q(z) = {\sqrt z/2\over \sinh(\sqrt{z}/2)}= 1 - z/24 + 7z^2/5760 -\cdots.

（特性級数 Q(16z) に関連する Â 種数もあるが、あまり使われない。）最初の数項の値は、
*\hat{A}_0 = 1
*\hat{A}_1 = -p_1/24
*\hat{A}_2 = (-4p_2 + 7 p_1^2)/5760.
である。スピン多様体の Â 種数は整数であり、次元が 4 mod 8 であれば、偶数である（このことは次元 4 の場合のロホリンの定理を含んでいる。一般の多様体に対しては、Â 種数はいつも整数とは限らない。このことはヒルツェブルフとボレルにより証明された。この双方の結果を動機として、後日のアティヤ・シンガーの指数定理が考えられ、さらに説明付けられる。アティヤ・シンガーの定理は、スピン多様体の Â 種数とディラック作用素の指数が等しいことを示している。

ディラック（作用素）のラプラシアンに対するとこの結果を組み合わせ、アンドレ・リシュネロヴィッツは、コンパクトスピン多様体が正のスカラー計量を持つときには、Â 種数はゼロにならねばならないことを証明した。このことは、単に次元が 4 の倍数のときの正のスカラー曲率のための障害を与えただけにとどまらず、後日、ヒッチンは次元が 1 もしくは 2 mod 8 のとき、これと類似した {\mathbb Z}_2 に値を持つ障害を発見した。これらの結果は、本質的な結果である。事実、グロモフ(Gromov)、ローソン(Lawson)、ストルツ(Stolz)は、Â 種数とヒッチンの {\mathbb Z}_2 に値を持つ類似物は、5 を含むそれ以上の次元の単連結なスピン多様体上の正のスカラー曲率の存在のための障害であることを証明した。

## 楕円種数
べき級数 Q(z) = z/f(z) が定数 δ と εに対し次の条件を満たすとき、種数のことを**楕円種数**(elliptic genus)と呼ぶ。

:{f'}^2 = 1 - 2\delta f^2 + \epsilon f^4

（いつも通り、Q は種数の特性べき級数である。）

例:
*\delta = \epsilon = 1, f(z) = \tanh(z) - **L-種数**
*\delta = -1/8, \epsilon = 0, f(z) = 2\sinh(z/2) - **Â 種数**

## ウィッテン種数
**ウィッテン種数**(Witten genus)は、次の特性べき級数に関連した種数である。
:Q(z) = z/\sigma_L(z) = \exp\left(\sum_{k\ge 2} {2G_{2k}(\tau)z^{2k}\over(2k)!}\right)
ここに σL は格子 L のであり、G はアイゼンシュタイン級数の積である。

第一ポントリャーギン類がゼロとなるコンパクト向き付け可能で滑らかな 4k 次元多様体のウィッテン種数は、整数係数のウェイト 2k のモジュラ形式(modular form)である。

## 関連項目
*ヒルツェブルフ・リーマン・ロッホの定理
*アティヤ・シンガーの指数定理
*

## 参考文献
*Friedrich Hirzebruch* Topological Methods in Algebraic Geometry* ISBN 3-540-58663-6
*Friedrich Hirzebruch　代数幾何における位相的方法　竹内 勝 訳　吉岡書店 ISBN 4-8427-0303-2
* Friedrich Hirzebruch, Thomas Berger, Rainer Jung *Manifolds and Modular Forms* ISBN 3-528-06414-5
*Milnor, Stasheff, *Characteristic classes*, ISBN 0-691-08122-0
*
*