歴史と動機

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

歴史と動機

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

「アーベル多様体」の記事における「歴史と動機」の解説

詳細は「多様体の歴史（英語版） 」を参照 19世紀の初頭、楕円函数の理論は楕円積分の理論に基礎を築くことに成功し、研究の方向性を明らかに指し示した。楕円積分の標準な形は、3次多項式や4次多項式の平方根を意味する。これらを高次の多項式へ置き換えたときに、いわば5次多項式に置き換えたときに、何が起きうるであろうか？ ニールス・アーベル(Niels Abel)とカール・グスタフ・ヤコブ・ヤコビ(Carl Gustav Jakob Jacobi)の仕事の中で、答えは定式化され、これは 2変数複素函数を意味し、4つ独立した 周期 （つまり、周期ベクトル）を持つ。これが、次元 2 のアーベル多様体（アーベル曲面）の最初の見方を与える（これを種数 2の超楕円曲線のヤコビ多様体と呼ぶ）。 アーベルとヤコビの後、アーベル函数の理論に寄与した最も重要なことをしたのは、ベルンハルト・リーマン(Bernhard Riemann)、カール・ワイエルシュトラス(Karl Weierstrass)、フェルディナント・ゲオルク・フロベニウス(Ferdinand Georg Frobenius)、アンリ・ポアンカレ(Henri Poincaré)、エミール・ピカール(Charles Émile Picard)である。問題となったことは当時非常に人気があり、既に多くの文献があった。 19世紀の末には、数学者たちはアーベル函数の研究に幾何学的方法を使い始めた。最終的には、1920年代にソロモン・レフシェッツ(Solomon Lefschetz)は複素トーラスのことばでアーベル函数の研究の基礎を築いた。彼はまた、「アーベル多様体」という名称を初めて使い始めた。1940年代に代数幾何学の言葉で現代的な基礎をこの主題に与えたのはアンドレ・ヴェイユ(André Weil)であった。 今日、アーベル多様体は数論や、力学系（さらにハミルトン系（英語版）の研究では特に）、代数幾何学（特にピカール多様体やアルバネーゼ多様体）では、非常に重要なツールになっている。

歴史と動機

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2017/04/20 03:46 UTC 版)

「Mozilla Persona」の記事における「歴史と動機」の解説

Personaは2011年7月にスタートし、 OpenIDやFacebook Connectのような同種の認証システムが持ついくつかの目標を共有するものだが、いくつかの異なる手法を持つ: 識別子として電子メールアドレスを使用 よりプライバシーに主眼を置き ブラウザと完全に統合することを目的とする プライバシーの目標はアイデンティティプロバイダがユーザーを識別しているウェブサイトを知らないという事実が動機付けとなっている。初公開が2011年7月でMozillaによってウェブサイト上で完全に展開されたのが2012年1月の事だった。 2014年3月7日、MozillaはMozilla Personaを担当していたフルタイムのエンジニアを他のプロジェクトに異動し、開発はコミュニティーに委託すると発表した。サービスの提供、バグ修正やサポートはMozillaによって続けられる。

歴史と動機

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

「概型」の記事における「歴史と動機」の解説

19世紀後半に生まれた代数幾何学のイタリア学派（英語版）は、代数幾何学の研究に代数多様体の「生成点（英語版）」という概念を使っていた。生成点とは、特別な性質を持たない点で、この点に対して証明されたことは例外的な点を除きすべての点に対して成り立つという性質があると説明されている。 1926年、ファン・デル・ヴェルデンは明確な代数的定義を生成点に与える。この論文では、体kの有限生成拡大体k(ξ1, ...,ξn)があったとして、多項式環k[X1, ...,Xn]の不定元Xiをξiに送る環準同型の核を𝔭とするとき、(ξ1, ...,ξn)を素イデアル𝔭の generic zero と呼んでいる。そして代数多様体の部分代数多様体に対応する素イデアルの generic zero は幾何学における部分代数多様体の生成点と同じ意味だと書いている。通常の点も部分代数多様体なので対応する素イデアルがある。この観点からは素イデアル全体の集合を考えることは自然なことである。ファン・デル・ヴェルデンのこの研究はエミー・ネーターの研究にヒントを得たものだった。ネーターも、公表はしていなかったが同じアイデアに到達していた。 第二次世界大戦が始まる前、ネーターのassociateであったヴォルフガング・クルルはこの考えに基づきパリで代数幾何学の講義を行った。その講義は任意の可換環の全ての素イデアルを点として扱うもので、ザリスキー位相も使っていた。しかしクルルは聴衆の専門家達に笑われてしまい、このアイデアを放棄してしまった。 1944年、オスカー・ザリスキーは、双有理幾何学の必要のために、抽象的ザリスキー・リーマン空間（英語版）を代数多様体の函数体から定義した。この定義は、（ブローアップの下での）通常の多様体の帰納極限のように、構成はロケール理論（英語版） (locale theory) の類似で、点としては付値環を使った[要出典]。 1946年、アンドレ・ヴェイユは『代数幾何学の基礎』（Foundations of Algebraic Geometry）と題した著作を発表する。本の序文には、代数幾何学には適切な基礎理論が無いこと、この本の目的は交差理論を確立すること、ザリスキーの影響を受けていることなどが書かれている。ヴェイユは、有限体上の一変数代数関数体に対するリーマン仮説を種数が2以上の場合に証明するために、任意の体上の任意次元の代数多様体に対して使える交差理論を必要としていた。 この本では、生成点は各座標の値が万有体（universal domain）と呼ばれる非常に大きな代数的閉体の元であるような点として定義されている。 また、この本では抽象多様体がアフィン代数多様体を貼り合わせることで定義されている。アフィン代数多様体を貼り合わせて代数幾何学の研究対象とする空間を定義するアイデアは、セールによる代数多様体の定義や現代のスキームの定義に受け継がれている。ヴェイユが抽象代数多様体を定義するまでは代数多様体とは射影空間やアフィン空間の部分集合となるようなものだけが考えられていた。ヴェイユがこのように定義された抽象多様体を必要とした理由の一つは、正標数でのヤコビ多様体が非特異射影モデルを持つかどうか不明であるためだった。 1947年時点では、次の5つの流儀が代数幾何学にはあった。 古典的なイタリア学派の流儀 ファン・デル・ヴェルデンの流儀 ヴェイユの『代数幾何学の基礎』の流儀 ザリスキーの付値論を使う流儀 一変数代数関数体を整数論的に扱う流儀 1は厳密性に欠け、2は3に吸収され、5は次元に関する制約があるので、残るは3と4であった。 1949年、ヴェイユは有限体上の一変数代数関数体に対するリーマン仮説を高次元化した予想を、関連する予想とともに提唱した。これはのちにヴェイユ予想と呼ばれることになる数論の予想である。この中でヴェイユは有限体上の代数多様体の有理点の個数から定まると予想される多項式の次数を「ベッチ数」と示唆的な名前で呼んでいる。 1950年、ヴェイユは国際数学者会議で「整数環上の幾何学」（geometry over integers）について言及する。この幾何学に向けた第一歩は数年後にクロード・シュヴァレーと永田雅宜によって踏み出される。 1955年、ジャン＝ピエール・セールは「代数的連接層」（Faisceaux algébriques cohérents）と題した論文で代数多様体の新たな定義を与える。一般にFACと呼ばれるこの論文の中でセールは（アンリ・カルタンの）局所環付き空間という概念を用いて任意標数の代数閉体上の代数多様体を定義する。局所環付き空間を使うというアイデアはスキーム論に受け継がれる。序文によれば、この論文の目的はコホモロジー論の抽象代数幾何学における有用性を示すことにあった。ヴェイユ予想への言及も見られる。この頃には、セールとグロタンディークはヴェイユ予想の証明に使えるコホモロジー論が存在することを、どのように定義すればよいかまでは分からないものの、確信していた。 同年、シュヴァレーはカルタン・セミナーで「スキーム」（Les schémas）と題した発表をする。スキームの言葉はここに現れている。この発表では、K を体（代数閉体とは仮定していない）、L を K 上有限生成な体として、包含関係K ⊂ A ⊂ Lにある環Aに対してその素イデアルによる局所化すべての集合をアフィン・スキームと呼んでいる。この集合はAの素イデアルすべての集合と自然な全単射があるので、シュヴァレーは体上の整域の（現代の意味での）アフィン・スキームを考察していたといえる。 1956年、永田はデデキント整域上の代数幾何学の基礎について論文を発表する。この論文の導入部で永田はシュヴァレーに対して謝辞を述べている。シュヴァレーは1954年1月に京都大学で講義を行い、永田はここから多くのアイデアを得たという。またこの論文の執筆に対しても多くの助言があったという。 同年、ピエール・カルティエはシュヴァレー・セミナーで「代数多様体の定義」（Définition des variétés algébriques）と題した発表をする。この発表では、体 k 上の有限生成代数 A と代数閉体 K に対して A から K への k 上の準同型全体を ΩA と書いて A のスペクトルと呼んでいる。スペクトルという言葉はここに現れている。K が k 上の代数的閉包ならこれ（をガロア群の作用で割ったもの）は極大イデアル全体の集合であり、K の k 上の超越次数が無限ならばこれ（をガロア群の作用で割ったもの）は素イデアル全体の集合である。 発表の冒頭でカルティエは「次の発表でシュヴァレー・永田のスキーム理論と関係付ける[訳語疑問点]」と言い、次に「代数多様体のスキーム」と題した発表をしている。この発表の中でカルティエは、シュヴァレーのアフィン・スキームの定義においてLに対する条件を体から半単純代数に弱めたものをアフィン・スキームと定義し、それをS(A)という記号で書いている。カルティエが定義したアフィン・スキームも、やはり体上の幾何学的対象である。 同年、セールに送った手紙の中でグロタンディークは代数的整数環のアフィン・スペクトルについて言及している。 1958年、グロタンディークは国際数学者会議で抽象代数多様体のコホモロジー論について講演する（論文の発表は1960年）。この中でグロタンディークは、永田とシュヴァレーの研究に言及したのち、「正しい定義の指針」（the principle of the right definition）はセールのFACにあると言い、任意の可換環に対するスキームの定義を現在と同じ形で述べた。 現在と同じスキームの定義に誰がどのようにして至ったかについては、様々な逸話がある。グロタンディークとデュドネは、セールが代数多様体のコホモロジー論を任意の可換環に対して書き起こすことは容易であると指摘した、と言っている。カルティエは、マルティノーがセールに彼の理論は極大イデアルを素イデアルに置き換えても成り立つことを指摘し、そしてカルティエが現在のスキームの定義と全く同じものを提案した、と言っている。セールは、スキームを発明したものはいない、完全に一般的な設定で考えてもうまくいくと考えたところにグロタンディークの独創性がある、と言っている。これらを踏まえた上で、スキームの定義は空気の中にあった、と McLarty (2003, p. 14) は総括している。 スキーム理論に対する当時の数学者の反応は様々であった。 セールは、スキーム理論を不要な仮定を代数幾何学から取り除くものでありディオファントス問題や変形理論（英語版）の研究に必要な一般化である、と評価した。 ザリスキーはスキーム理論を歓迎し、スキームを用いて代数幾何学を構築するグロタンディークの新しいやり方に深く感動した。 現在では、スキーム理論は代数幾何学の基礎理論として最適なものであることが明らかになっている。