ダニエル・キレン | |
|---|---|
| 生まれる | (1940年6月22日)1940年6月22日 |
| 死亡 | 2011年4月30日(2011年4月30日)(70歳) フロリダ州ゲインズビル、米国 |
| 知られている | 代数的K理論(キレンの Q 構成)、キレン・スースリン定理、バス・キレン予想、有理ホモトピー理論、キレン行列式直線束、マタイ・キレン形式、キレンの補題、キレン計量、キレンの定理 A と B、カン・キレンモデル構造 |
| 受賞歴 | フィールズ賞(1978年)、コール賞(1975年)、パトナムフェロー(1959年) |
| 科学者としてのキャリア | |
| フィールド | 数学 |
| 論文 | 線形偏微分方程式の過剰決定系の形式的性質 (1964) |
| 博士課程の指導教員 | ラウル・ボット |
| 博士課程の学生 | ケネス・ブラウン・ヴァルギース・マタイ |
ダニエル・グレイ・キレン(1940年6月22日 - 2011年4月30日)はアメリカの数学者。高等代数K理論の「第一人者」として知られ、 1975年にコール賞、1978年にフィールズ賞を受賞した。
1984年から2006年まで、オックスフォード大学マグダレン・カレッジの純粋数学のウェインフレット教授を務めた。
クィレンはニュージャージー州オレンジに生まれ、ニューアーク・アカデミーに通った。ハーバード大学に入学し、 1961年に学士号、 1964年に博士号を取得した。博士号はラウル・ボットの指導の下、偏微分方程式に関する論文で取得した。1959年にはパトナム・フェローに選出された。 [ 1 ]
キレンは博士号取得後、マサチューセッツ工科大学に職を得た。また、他のいくつかの大学でも数年間を過ごした。フランスを2度訪れた。最初は1968年から1969年にかけてパリのスローン・フェローとして訪れ、グロタンディークから大きな影響を受けた。続いて1973年から1974年にかけてはグッゲンハイム・フェローとして訪れた。1969年から1970年にかけては、プリンストン高等研究所の客員研究員として滞在し、サー・マイケル・アティヤの影響を受けた。
1978年、キレンはヘルシンキで開催された国際数学者会議でフィールズ賞を受賞した。[ 2 ]
1984年から2006年まで、オックスフォード大学マグダレン・カレッジのウェインフレット純粋数学教授を務めた。
クィレンは2006年末に引退した。彼は2011年4月30日にアルツハイマー病の合併症により70歳で亡くなった。 [ 3 ] [ 4 ]
キレンの最もよく知られた貢献(フィールズ賞の受賞理由にも明記されている)は、1972年に高次代数K理論を定式化したことである。ホモトピー理論を用いて定式化されたこの新しいツールは、代数学、特に環論と加群論における問題の定式化と解決に有効であることが証明された。より一般的には、キレンは代数位相論のツールを他の文脈に適用するための ツール(特にモデル圏の理論、特にカン・キレンモデル構造)を開発した。
高次代数K理論の定義に着手する以前、キレンはフランク・アダムスがホモトピー理論において定式化したアダムス予想[ 5 ]に取り組んでいた。 この予想の証明には群のモジュラー表現論の手法が用いられ、後に彼はこれを群のコホモロジーや代数K理論の研究に応用した。また、彼は複素コボルディズムにも取り組み、その形式群法則が本質的に普遍法則であることを示した。
関連研究において、彼はアフィン空間上の代数的ベクトル束の自明性に関するセール予想の証明も行い、これはバス・キレン予想につながった。彼はまた、デニス・サリバンと共に有理ホモトピー理論の創始者でもあった。[ 6 ]
彼はQuillen行列式直線束とMathai-Quillen形式論を導入した。