トッド種数

ウィキペディア

トッド類

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/11/20 14:30 UTC 版)

トッド類（トッドるい、英:Todd class）とは、数学の中で特性類の代数的位相幾何学における理論の一部と考えられる特定の構造体である。ベクトル束のトッド類 はチャーン類理論によって定義することができ、チャーン類が存在するところで出現する。中でも微分位相幾何学における複素多様体理論と代数幾何学理論で最も顕著である。大雑把に言うと、トッド類 はチャーン類の逆数のように振る舞い、コノーマル束（conormal bundle）がノーマル束（normal bundle）になる際にチャーン類との関連が起こる。

トッド類 は、古典的なリーマン・ロッホの定理を、より高次元のヒルツェブルフ・リーマン・ロッホの定理やグロタンディーク・ヒルツェブルフ・リーマン・ロッホの定理へと一般化する際に基本的な役割を務める。

歴史

チャーン類が定義される前の1937年に、代数幾何学における特殊なケースの概念を紹介した、J. A. トッドからこの名前が付けられた。トッド類に関わる幾何学的な概念は、たまにトッド・エーガー類（Todd-Eger class）とも呼ばれる。 高次元における一般的な定義は、フリードリッヒ・ヒルツェブルフによるものである。

定義

トッド類 $\operatorname {td} (E)$を定義するためには、ここでEは位相空間X上の複素ベクトル束であるが、特性類理論の一般的な手法であるチャーン根（別名を、分裂原理）を使うことによって、通常は直線束のホイットニー和の場合にその定義を限定することができる。定義は以下、

$Q(x)={\frac {x}{1-e^{-x}}}=\sum _{i=0}^{\infty }{\frac {(-1)^{i}B_{i}}{i!}}x^{i}=1+{\dfrac {x}{2}}+{\dfrac {x^{2}}{12}}-{\dfrac {x^{4}}{720}}+\cdots$

$Q(x)^{n+1}$内の$x^{n}$ の係数が1という性質を持つ形式的冪級数（formal power series）であり、ここで$B_{i}$はi番目のベルヌーイ数を表す。総乗内の$x^{j}$の係数を考えると

$\prod _{i=1}^{m}Q(\beta _{i}x)\$

任意の$m>j$に対して。これは$\beta _{i}$内で対称、かつ重み j が均質である。そこで、$\beta _{i}$の基本対称式 'p'における多項式$\operatorname {td} _{j}(p_{1},\ldots ,p_{j})$ として表すことができる。その後に、$\operatorname {td} _{j}$ をトッド多項式（Todd polynomials）と定義する。それらは、特性類の冪級数としてQ を持つ乗法列（Multiplicative sequence）を形成する。

仮にEがチャーン根としてα_iを持つ場合、トッド類 は

$td(E)=\prod Q(\alpha _{i})$

これは"X"のコホモロジー環 （または、無限次元多様体を考慮したい場合はその完成時に）で計算される。

トッド類 はチャーン類の形式的冪級数として、次のように明示的に与えられる。

td(E) = 1 + c₁/2 + (c₁²+c₂)/12 + c₁c₂/24 + (−c₁⁴ + 4c₁²c₂ + c₁c₃ + 3c₂² − c₄)/720 + ...

ここでのコホモロジー類c_iはEのチャーン類であり、コホモロジー群H²ⁱ(X)内に存在する。もしもX が有限次元の場合は、ほとんどの項が消えて td(E) がチャーン類の多項式となる。

性質

トッド類は乗法的性質（Multiplicative）を持つ。

$Td^{*}(E\oplus F)=Td^{*}(E)\cdot Td^{*}(F).$

さて$\xi \in H^{2}({\mathbb {C} }P^{n})$ を超平面区間の基本類とする。 乗法的性質と ${\mathbb {C} }P^{n}$の接束に対するオイラー系列（Euler exact sequence）から

$0\to {\mathcal {O}}\to {\mathcal {O}}(1)^{n+1}\to T{\mathbb {C} }P^{n}\to 0,$

これが得られる 。

$Td^{*}(T{\mathbb {C} }P^{n})=\left({\dfrac {\xi }{1-e^{-\xi }}}\right)^{n+1}.$

ヒルツェブルフ・リーマン・ロッホの定理

詳細は、ヒルツェブルフ・リーマン・ロッホの定理を参照。

ヒルツェブルフ・リーマン・ロッホの定理は、コンパクトな複素多様体X上の任意の正則ベクトル束Eに対して、層係数コホモロジー内にあるEの正則オイラー標数、すなわち複素ベクトル空間としての次元の交代和を計算するために適用する。

$\chi (F):=\sum _{i=0}^{{\text{dim}}_{\mathbb {C} }M}(-1)^{i}{\text{dim}}_{\mathbb {C} }H^{i}(F),$

この定理は、E のチャーン類と X のトッド類（正しくはX の接ベクトル束のトッド類）からオイラー数 χ(X, E) が導かれることを示している。E のチャーン指標を ch(E) とおき、X のトッド類を td(X) とすると、定理は 以下のように書ける。

$\chi (X,E)=\int _{X}\operatorname {ch} (E)\operatorname {td} (X)$

ここでのtd(X)が、Xの接ベクトル束のトッド類である。

上の公式は、トッド類がある意味で特性類の逆数であるという曖昧な概念を、正確に表したものとなっている。

参考文献

• Todd, J. A. (1937), “The Arithmetical Invariants of Algebraic Loci”, Proceedings of the London Mathematical Society 43 (1): 190-225, doi:10.1112/plms/s2-43.3.190, Zbl 0017.18504 
• Friedrich Hirzebruch, Topological methods in algebraic geometry, Springer (1978)
• M.I. Voitsekhovskii (2001), "Todd class", in Hazewinkel, Michiel (ed.), Encyclopaedia of Mathematics, Springer, ISBN 978-1-55608-010-4。

関連項目

• チャーン類
• 乗法列の種数#トッド種数
• K理論

ウィキペディア小見出し辞書

トッド種数

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2019/01/29 03:31 UTC 版)

「乗法列の種数」の記事における「トッド種数」の解説

トッド種数(Todd genus)は、形式的べき級数 z 1 − exp ⁡ ( − z ) = 1 + 1 2 z + ∑ i = 1 ∞ ( − 1 ) i + 1 B 2 i ( 2 i ) ! z 2 i の種数であり、上に示したように B2k はベルヌーイ数である。最初のいくつかの値を示すと T d 0 = 1 T d 1 = c 1 / 2 T d 2 = ( c 2 + c 1 2 ) / 12 T d 3 = ( c 1 c 2 ) / 24 T d 4 = ( − c 1 4 + 4 c 2 c 1 2 + 3 c 2 2 + c 3 c 1 − c 4 ) / 720 となる。トッド種数は、すべての複素射影空間に対して数値 1 を対応させる（つまり、 T d n ( C P n ) = 1 )という性質を持っていて、このことは、複素射影空間の算術種数が値 1 でもあるように、トッド種数は代数多様体の算術種数の値が 1 に一致していることを示すに充分である。この見方は、ヒルツェブルフ・リーマン・ロッホの定理の結果であり、実際、この定理により定式化された重要な発展の一つである。