Intersection Theory

ウィキペディア

交叉理論

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

数学では、交叉理論(intersection theory)（もしくは、交点理論）は、代数幾何学では代数多様体の上ので部分多様体の交叉についての分野で、 代数トポロジーではコホモロジー環の中の交叉の計算についての分野である。多様体の理論は古くからあり、曲線のベズーの定理や消去理論(elimination theory)に起源を持つ。他方、トポロジー理論では、交叉理論はより手短に定義形式へたどり着く。

トポロジカルな交叉形式

2n 次元の連結な向き付け可能多様体 M に対して、交叉形式(intersection form)は、基本類 $[M]\in H_{2n}(M,\partial M)$

直線と放物線の交叉

サイクルの交叉多重度の定義を導く原理は、ある意味では連続性にある。次のような基本的な例を考える。放物線 y = x² と x-軸 y=0 の交叉は、 2·(0,0) である。理由は、もしサイクルの一つが動いたとすると（未定義な状態であるが）、ちょうど 2つの点である交叉があって、描いた位置にサイクルが近づくと、両方とも (0,0) にまとまる。（右の図は、y=-3 の放物線の交叉がないように見えることは、明らかに誤っているが、この理由は、単に実数解に限った描写をしているからである。）

最初に満足のいく交叉の定義をしたのは、ジャン・ピエール・セール(Jean-Pierre Serre)である。周囲の多様体 X が滑らかである（もしくは、全ての局所環が正則局所環とする。さらに、V と W を 2つの（既約、被約かつ閉である）部分多様体で、交叉が固有であるとする。構成は局所的であるので、従って、X の座標環の中の 2つのイデアル I と J で（交叉）多様体が表せるかもしれない。Z を集合論的な交叉 V ∩ W の既約成分とし、z をその生成点（英語版）(generic point)とする。Z の交叉積 V · W の中の多重度は次によって定義される。

${\displaystyle \mu (Z;V,W):=\sum _{i=0}^{\infty }(-1)^{i}{\text{length}}_{{\mathcal {O}}_{X,z}}{\text{Tor}}_{{\mathcal {O}}_{X,z}}^{i}({\mathcal {O}}_{X,z}/I,{\mathcal {O}}_{X,z}/J)}$