数え上げ幾何学とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 数え上げ幾何学の意味・解説 

数え上げ幾何学

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2023/05/27 13:37 UTC 版)

数学では数え上げ幾何学(enumerative geometry)は代数幾何学の一分野であり、主に交叉理論により、幾何学的な問題の解の数を数え上げることに関連している。

歴史

アポロニウスの問題は、数え上げ幾何学のもっとも早い段階の例の一つである。この問題は、3つの円、点、直線が与えられたときに、それらに接する円の数と構成を問うている問題である。一般に、3つの円が与えられたときには、問題の解は 8つあり、それらの解は 23 とみることができて、各々の接する条件は円の空間上の二次式の条件で与えられる。しかし、与えられた円が特別な位置にあると、解の数は 0 (答えがない)から 6 までの任意の整数の値をとりうる。ただし、アポロニウスの問題に 7 つの解が与えられる配置というものは存在しない。

重要なツール

いくつかのツールが、基本的なものからもっと進んだものの広い範囲にわたってある。

数え上げ幾何学は交点理論に非常に密接に関連している。

シューベルトの計算

数え上げ幾何学は、19世紀の終わりにヘルマン・シューベルト英語版(Hermann Schubert)により、大きな進展がみられた。[1] このために彼は、シューベルトの計算英語版と呼ばれる方法を導入した。この計算で、彼は広い領域に基本的な幾何学的、トポロジー的な値を導入した。(当時は、)数え上げ幾何学に特別に必要なものは注目されなかったが、代数幾何学が全体で一般的な前提として、1960年代、1970年代になるとそれらが深い注目を集めるようになった。(例えば、スティーブン・クライマン英語版(Steven Kleiman)が指摘している)。アンドレ・ヴェイユにより交点数が厳密に定義されたが、これは、1942–6年にヴェイユの基本的なプログラムの一部として厳密に定義がされ、さらにその後、確立されたものである。しかし、これは、数え上げ問題の固有な領域のすべてを解決するものではなかった。

ファッジ因子とヒルベルトの第15問題

次元の数え上げとベズーの定理のナイーブな適用は、誤った結果を導く。このことを次の例で示す。これらの問題の対応として、代数幾何学者たちは曖昧な『ファッジ因子』(ぼんやりとした柔らかい因子とでも訳すべきか)を導入したが、この厳密な評価は何十年か後となってしまった。

例として、射影平面にある5本の直線が与えられたとき、この5本の直線に接する円錐曲線の数を数え上げることを考える。[2] もし点が一般の位置にあるのであれば、線形条件を通して、円錐が次元 5 の射影空間からなり、6つの係数を同次座標として持ち、5点が円錐を決定英語版する。同様にして、与えられた直線 L に接する(接するとは、多重度 2 の交叉数を持つことを意味する)ことは、二次式の条件であるから、P5 の中の二次超曲面英語版(quadric)を決定する。しかし、すべての 2次超曲面からなる因子の線形系英語版は、基本軌跡英語版(base locus)を持たない。実際、そのような各々の 2次超曲面はヴェロネーゼ曲面英語版(Veronese surface)を含んでいる。ヴェロネーゼ曲面は、次の「二重線」と呼ばれる円錐曲線をパラメトライズする。

この理由は、二重線は平面内のすべての直線と交叉するからで、射影平面内の直線は多重度 2 でほかの直線と交叉し、従って、直線に接する非退化な円錐曲線として、同じ交叉条件を満たす(交叉するときの多重度は 2)。


ベズーの定理は、5次元空間の中の 5次超曲面は 32 = 25 個の点で交叉するであろうことを言っている。しかし、適当な 2次超曲面は一般の位置にはない。32 個の中から、31 個が引き抜かれて、ヴェロネーゼ曲面に受け継がれ、正しい答へ至る(幾何学的な観点から)、すなわち 1 である。「退化」している場合との交叉に引き継がれる過程は、'fudge factor'の典型的な幾何学的導入部である。

これらが一見、任意の入り込んでしまう性質を克服するのが、ヒルベルトの問題英語版で(正確には、ヒルベルトの第15問題英語版)である。この問題は、シューベルトの計算自体の基本的問題を超えている。

クレメンス予想

1984年、H. クレメンスは、クインティックスリーフォールド の上の有理曲線の数を数え上げる問題を考察する中から、次の予想に到達した。

を一般の5次超曲面とし、d を正の整数とすると、このとき 上には d 次有理曲線は有限個しか存在しない。


この予想は一般的には未解決である。しかし現在は、 の場合は証明されている。

1991年に弦理論のミラー対称性の論文[3] で、物理的な観点から一気に一般の d についての有理曲線の数を与えることができるという予想が提出された。当時、代数幾何学では の場合が有理曲線の数を求められる最大の次数であったので、大変な驚きを持って迎えられた。

関連項目

アポロニウスの問題

参考文献

  1. ^ Schubert, H. (1979) [1879]. Kalkül der abzählenden Geometrie 
  2. ^ Fulton, William (1984). “10.4”. Intersection Theory. ISBN 0-387-12176-5 
  3. ^ * Candelas, Philip; de la Ossa, Xenia; Green, Paul; Parks, Linda (1991). “A pair of Calabi-Yau manifolds as an exactly soluble superconformal field theory”. Nuclear Physics B 359 (1): 21-74. doi:10.1016/0550-3213(91)90292-6. 

外部リンク


数え上げ幾何学

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/12 05:10 UTC 版)

ミラー対称性 (弦理論)」の記事における「数え上げ幾何学」の解説

ミラー対称性重要な数学への応用多くは、数え上げ幾何学と呼ばれる数学分野属している。数え上げ幾何学では、典型的に代数幾何学使い幾何学的な問題の解の数を数え上げることに興味がある。数え上げ幾何学のもっとも早い時期問題一つに、ギリシャ数学者アポロニウスによる紀元前200年頃提案され問題である。彼は、どのようにすれば与えられ3つの円に接す平面上のはいくつあるかが分かるかと問うた。 一般にアポロニウスの問題の解は、8つの円が存在する。右の図は黒で示した3つの与えられた円の例を示している。 数学数え上げ問題はしばしば、多項式の値がゼロとなる点として定義されるいわゆる代数多様体という幾何学的対象クラス関係している。例えば、クレブシュ3次曲面英語版)は左に図示してある4変数3次多項式により定義される19世紀数学者アーサー・ケイリー(Arthur Cayley)とジョージ・サルモン英語版)(George Salmon)の結果は、この曲面上にはちょう27 本の直線があるとのことであった。 この問題一般化すると、上に述べたカラビ・ヤウ多様体であるクインティックスリーフォールド(5次多項式記述される複素3次元多様体の上に何本の直線を描くことができるかという問題となる。この問題19世紀ドイツ数学者ヘルマン・シューベルト(英語版)(Hermann Schubert)により解かれ、彼はそのような直線はちょうど 2,875 本存在することを発見した。さらに、1986年幾何学者、セルダン・カッツ(Sheldon Katz)が、クインティックスリーフォールドに完全に入っている(円のような2次曲線の数は 609,250 個あることを証明した1991年頃には、数え上げ幾何学の古典的な問題大半解かれ、数え上げ幾何学への興味下火になり始めていた。数学者マーク・グロス(英語版)(Mark Gross)によれば、「古い問題解かれるとともに人々シューベルトの数を現代のテクニック使いチェックするほうへ戻りはしたものの、非常に古めかしいものでした。」 しかしながらこの分野は1991年5月にふたたび活発化始めたそのとき物理学者であったフィリップ・キャンデラス(英語版)(Philip Candelas)、ゼニア・デ・ラ・オッサ(Xenia de la Ossa)、ポール・グリーン(Paul Green)とリンダ・パークス(Linda Parks)は、ミラー対称性クインティックスリーフォールド含まれる3次曲線の数を数えることに使うことができるかもしれないことを示した大まかにいうと、カラビ・ヤウ多様体内部に完全に含まれる球として、3次曲線考えることができる。 キャンデラスと彼の協力者は、そのような6次元カラビ・ヤウ多様体3次曲線をちょうど 317,206,375 個含むことができること発見したクインティックスリーフォールド上の3次曲線数えることに加えて、キャンデラスと彼の協力者は、数学者たちの得た結果はるかに超える有理曲線数え上げに関するより一般的な数多く結果得た。 この仕事使われ方法理論物理学からの数学的には厳密(en:mathematical rigor)ではないアイデア基礎としていたが、数学者たちはミラー対称性予想いくつか数学的厳密に証明した。特に、ミラー対称性の数え上げ幾何学の予想は、現在では厳密に証明されている。

※この「数え上げ幾何学」の解説は、「ミラー対称性 (弦理論)」の解説の一部です。
「数え上げ幾何学」を含む「ミラー対称性 (弦理論)」の記事については、「ミラー対称性 (弦理論)」の概要を参照ください。

ウィキペディア小見出し辞書の「数え上げ幾何学」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ


英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「数え上げ幾何学」の関連用語

数え上げ幾何学のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



数え上げ幾何学のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
All text is available under the terms of the GNU Free Documentation License.
この記事は、ウィキペディアの数え上げ幾何学 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。 Weblio辞書に掲載されているウィキペディアの記事も、全てGNU Free Documentation Licenseの元に提供されております。
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaのミラー対称性 (弦理論) (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS