代数幾何学
この記事は英語版の対応するページを翻訳することにより充実させることができます。(2024年5月) 翻訳前に重要な指示を読むには右にある[表示]をクリックしてください。
|
代数幾何学(だいすうきかがく、英: algebraic geometry)とは、多項式の零点(zero)のなすような図形を代数的手法を用いて(代数多様体として)研究する数学の一分野である[1]。
概論
編集大別して、「多変数代数函数体に関する幾何学論」「射影空間上での複素多様体論」とに分けられる。前者は代数学の中の可換環論と関係が深く、後者は幾何学の中の多様体論と関係が深い。20世紀に入って外観を一新し、大きく発展した数学の分野といわれる。
ルネ・デカルトは、多項式の零点を曲線として幾何学的に扱う発想を生みだしたが、これが代数幾何学の始まりとなったといえる。例えば、x, y を実変数として "x2 + ay2 − 1" という多項式を考えると、これの零点のなす R2 の中の集合は a の正、零、負によってそれぞれ楕円、平行な2直線、双曲線になる。このように、多項式の係数と多様体の概形の関係は非常に深いものがある。
上記の例のように、代数幾何学において非常に重要な問題として「多項式の形から、多様体を分類せよ」という問題が挙げられる。曲線のような低次元の多様体の場合、分類は簡単にできると思われがちだが、低次元でも次数が高くなるとあっという間に分類が非常に複雑になる。
当然、次元が上がると更に複雑化し、4次元以上の代数多様体についてはあまり研究は進んでいない。
2次元の場合、多様体に含まれる(−1)カーブと呼ばれる曲線を除外していくことにより、特殊な物をのぞいて極小モデルと呼ばれる多様体が一意に定まるので、2次元の場合の分類問題は「極小モデルを分類せよ」という問題に帰着される。
3次元の場合も同じように極小モデルを分類していくという方針が立てられたが、3次元の場合は、その極小モデルが一意に定まるかどうかが大問題であった。しかし、1988年森重文により3次元多様体の極小モデル存在定理が証明され、以降「森のプログラム[2]」と呼ばれるプログラムに沿って分類が強力に推し進められている。
19世紀中期に、ベルンハルト・リーマンがアーベル関数論の中で双有理同値など代数幾何学の中心概念を生み出し、19世紀後半には、イタリアの直観的な代数幾何学が発展した(代数幾何学のイタリア学派)。20世紀前半には、アンドレ・ヴェイユ、オスカー・ザリスキによって、抽象的な代数幾何学の研究が進められ、1950年代以降はグロタンディークのスキーム論によって代数幾何学全体が大きく書き直された。
局所的性質
編集この節はフランス語版から大ざっぱに翻訳されたものであり、場合によっては不慣れな翻訳者や機械翻訳によって翻訳されたものかもしれません。 |
局所的問題についてきちんとした話題を与える前に、アフィン多様体における位相を定義する必要がある;もちろん、基礎体(仏: corps de base)が や の場合、通常のユークリッド的な位相の移し変えを考察することは駄目になる、だがしかしこれらはあまりにも豊富過ぎる。本質的に、私たちは多項式が連続であることの正当な必要を有する。さしあたり、私たちは基礎体における位相を自由に使えない、だがしかしそれは が閉じている事を要求し過ぎない(そして単集合について並びに一連の有限な単集合の和集合についての均質性についてもまた:以上の事は都合よく既述の共有限(フランス語: cofinie)を与える)。そういう訳で、私たちは正則関数の -環(仏: -algèbre)の要素である もしくは を共に重点的に描写する、すなわちひとつの定義された多項式はあるイデアル の要素を直ちに与える。私たちはそれらが、ザリスキ位相と呼ばれる、ある特定の位相をしっかりと巧く構成することを確かめることを得る。 において、開いた基底(仏: base d'ouverts)が豊富に備わっている事だけについて言及する、領域の周囲を成すそれらについてここに問題ではない。
大局的性質
編集この節はフランス語版から大ざっぱに翻訳されたものであり、場合によっては不慣れな翻訳者や機械翻訳によって翻訳されたものかもしれません。 |
微分幾何学で私たちがすることのようにする、しかしながら、圧倒的にアフィン多様体と局所的に似ていること更に多項式的な地図の(座標)変換における、位相空間のようなものである私たちの大域的な対象の定義を私たちはし辛くさせられる。しかしながら層におけるこれらの、私たちが選んだところの見方でのこの論点ではそうでない。私たちは、環 のいくつかのスペクトルに同型な、導かれた層を備えたところの、開いた における被覆を許す局所環における環付き空間(仏: espace annelé )全体をそのとき概型と呼ぶ。概型の間の同型は何も局所環における環付き空間の同型とは別のものでない。
計算代数幾何学
編集計算代数幾何学(英:computational algebraic geometry)の始まりは1979年6月にフランスのマルセイユで開かれたEUROSAM '79(International Symposium on Symbolic and Algebraic Manipulation)を年代として推定できるかもしれない。この会議では、
- ジョージ・E.コリンズの円柱的代数的分解(CAD)が半代数的集合(英:semi-algebraic set)の位相の計算を可能にすることをデニス・アーノン(英:Dennis S. Arnon)は示した。
- ブルーノ・ブッフベルガーはグレブナー基底とそれを計算する彼のアルゴリズムを提示した。
- ダニエル・ラザードは同次多項式の方程式の系を解くための新しいアルゴリズムを提示した。それは見込まれた解の数において本質的に多項式的であり、したがってその未知数の数において、単純に指数的なものである、計算複雑性による。このアルゴリズムはマッカーレイの多変数終結式と深く関係する。
以来、この分野での多くの結果はこれらのアルゴリズムのひとつを使用または証明することのどちらかによって、または未知数の数において単純に指数的な複雑性であるアルゴリズムの発見によって、それらの項目の一つないし幾つかと関係した。
記号的な方法を補完する数値代数幾何学と呼ばれる数学的な理論の本体は過去数十年にわたって発展してきた。その主な電子計算上の方法はホモトピー連続である。これは、例えば、代数幾何学の問題を解くための浮動小数点数の電子計算の或るモデルを支える。
他分野との関係
編集代数幾何学はそもそも、多項式の零点のなすような図形を代数多様体として研究する学問であったが、現代では数理物理学[3][4]・可積分系[5][6][7][8][9]との関係や、機械学習への応用が研究されている[10][11]。
出典
編集- ^ Rowland, Todd. "Algebraic Geometry." From MathWorld--A Wolfram Web Resource, created by Eric W. Weisstein. http://mathworld.wolfram.com/AlgebraicGeometry.html
- ^ “双有理幾何学”. www.iwanami.co.jp. 岩波書店. 2020年6月14日閲覧。
- ^ 数理物理学の観点からの代数幾何学の新展開
- ^ 数理物理と代数幾何
- ^ 可積分系と代数幾何学の入り口
- ^ 代数幾何と可積分系の融合 - 理論の深化と数学・数理物理学における新展開 -
- ^ Vanhaecke, P. (2001). Integrable systems in the realm of algebraic geometry. Springer Science & Business Media.
- ^ Integrable Systems and Algebraic Geometry, Proceedings of the Taniguchi Symposium 1997, Rokko Oriental Hotel, Kobe, 30 June – 4 July 1997, https://doi.org/10.1142/3597 (October 1998) Edited by M-H Saito (Kobe University, Japan), Y Shimizu (Kyoto University, Japan) and K Ueno (Kyoto University, Japan)
- ^ Integrable Systems and Algebraic Geometry, Edited by Ron Donagi, Cambridge University Press.
- ^ 渡辺澄夫. (2006). 代数幾何と学習理論. 森北出版.
- ^ Watanabe, S. (2009). Algebraic geometry and statistical learning theory (Vol. 25). Cambridge University Press.
参考文献
編集- Fulton, William (2008-01-28). Algebraic Curves: An Introduction to Algebraic Geometry 2021年4月22日閲覧。
- 秋月康夫,中井喜和,永田雅宜:「代数幾何学」、岩波書店、ISBN:4-00-005638-7(1987年3月20日)。
- 代数幾何学教科書類(京大RIMS)