数え上げ幾何学

数え上げ幾何学（enumerative geometry）は、数学、特に代数幾何学に属する分野です。この分野の主要な目的は、特定の幾何学的な条件を満たす対象（例えば、曲線や曲面など）がいくつ存在するか、すなわちその解の個数を決定することにあります。この「数え上げ」を行う上で中心的な役割を果たすのが、図形と図形の交わり方を調べる「交差理論」です。

歴史的な背景

数え上げ幾何学の考え方は古くから存在しており、その初期の例としては、紀元前3世紀の数学者アポロニウスが提起したとされる問題が挙げられます。この問題は、「与えられた三つの円（あるいは点や直線）全てに接する円はいくつ存在するか」を問うものです。一般的に、三つの円が与えられた場合、この問題の解となる円は8つあります。これは、各「接する」という条件が、円の空間において二次式で表現されることに起因しています。しかし、与えられた円の配置が特殊な場合、解の個数は0個から6個までの任意の値を取りうる一方で、7個になる配置は存在しないことが知られています。

主要な手法とツール

数え上げ幾何学では、問題を解くために様々な数学的なツールが用いられます。基本的なものから高度なものまで多岐にわたりますが、代表的なものとして以下が挙げられます。

次元の数え上げ: 問題の解空間の次元を解析する手法。
ベズーの定理 (Bézout's theorem): 代数多様体の交点の数を予測する基本的な定理。
シューベルトの計算 (Schubert calculus): 特殊な多様体（シューベルト多様体）の交差理論に基づき、数え上げ問題を解くための計算手法。より一般的なコホモロジー論の特性類と関連が深い。
コホモロジー論: 交点数を計算する際に、ポアンカレ双対性などの概念と共に重要な役割を果たす。
* モジュライ空間 (moduli space): 曲線や写像といった幾何学的対象の族をパラメータ化する空間の研究。しばしば量子コホモロジーとの関連で研究される。

これらのツールは、根底で交差理論と密接に結びついています。

シューベルトの計算の発展

数え上げ幾何学は、19世紀後半にヘルマン・シューベルトによって大きな進歩を遂げました。彼は「シューベルトの計算」という独自の手法を開発し、広範な数え上げ問題に対して基本的な幾何学的、位相的な値を導入しました。彼の計算は当初、この分野特有のものと見なされていましたが、1960年代から1970年代にかけて、代数幾何学全体の普遍的な枠組みの中でその重要性が再認識されるようになりました（例えば、スティーブン・クライマンによってその意義が強調されています）。

交点数の概念は、1942年から1946年にかけてアンドレ・ヴェイユによって厳密に定義され、確立されました。しかし、この厳密な定義をもってしても、数え上げ幾何学固有の複雑な問題をすべて解決できるわけではありませんでした。

課題とヒルベルトの第15問題

次元の数え上げやベズーの定理を素朴に適用すると、誤った結果を導く場合があります。これは、「退化」した解が存在する場合に問題が生じるためです。例えば、射影平面上の一般の位置にある5本の直線全てに接する円錐曲線を数える問題を考えます。ベズーの定理からは理論上多くの解が期待されますが、実際には「二重線」のような退化した円錐曲線が問題に関わってくることで、予想される数とは異なる結果が得られます。このような退化ケースを適切に扱うために、かつては曖昧な「ファッジ因子」（ぼんやりとした補正項）が導入されることがありました。

これらの「ファッジ因子」が示す、一見すると恣意的に見える補正が必要になる現象は、数学の厳密性を求める上で重要な課題でした。この問題を克服し、シューベルトの計算を含む数え上げ幾何学の基礎を厳密に確立することは、数学者ダフィット・ヒルベルトが1900年に提示した有名な23の問題の一つ、ヒルベルトの第15問題に含まれていました。

現代の発展とクレメンス予想

20世紀後半以降、数え上げ幾何学はコホモロジー論やモジュライ空間論と結びつき、さらに発展しました。1984年には、ハーバート・クレメンスが、特定の5次超曲面上の有理曲線に関する有名な予想（クレメンス予想）を提唱しました。これは、「一般の5次超曲面上には、ある次数dを持つ有理曲線は有限個しか存在しないだろう」というものです。この予想は現在も完全に解決されていませんが、低次数d（d≤9）については証明されています。

特に驚くべき進展は、1990年代に弦理論におけるミラー対称性の研究から生まれました。物理的な観点からの計算が、代数幾何学的な手法では当時未踏であった高次数の有理曲線の数を正確に予測したのです。これは、数え上げ幾何学が物理学の最先端とも関連する、現代数学の活発な研究分野であることを示しています。

もう一度検索