ヴォルフガング・ハーケン
1928–2022, ドイツ・ベルリン, アメリカ合衆国イリノイ州シャンペーン
ケネス・アペルと共に四色定理を証明(1976年)し、低次元トポロジーにおけるハーケン多様体理論を創始したドイツ系アメリカ人数学者。
ヴォルフガング・ハーケンはベルリンで生まれた。父はマックス・プランクに学んだ物理学者であった。第二次世界大戦中15歳で高射砲部隊に徴集され、戦後は農作業員として働いた後、キール大学で数学と物理学を学び直し、1953年にカール=ハインリヒ・ヴァイゼの指導で博士号を取得した。その後10年間、ミュンヘンのシーメンス社で電気技師として働きながら、余暇にトポロジー研究を続けた。
1961年、ハーケンは与えられた結び目図式が自明な結び目かどうかを判定する「非結び目問題」を解くアルゴリズムを発表し、3次元多様体における正規曲面の理論を構築して国際的な評価を得た。彼は現在ハーケン多様体と呼ばれる、非圧縮曲面を含む3次元多様体のクラスを導入し、そのような多様体が有限個の曲面による階層に沿って単純な部片に分解できることを示した。この研究はアルゴリズム的3次元多様体トポロジーの基礎となり、後にイアン・アゴルが証明した「実質的ハーケン予想」の動機となった。
1962年にイリノイ大学アーバナ・シャンペーン校に招かれたハーケンはそのまま教員として残り、ケネス・アペルとともに四色予想を1,936個の避けられない配置に帰着させ、1976年にコンピュータで検証した。この業績により二人は1979年のフルカーソン賞を共同受賞した。1976年に米国市民権を取得し、1998年にイリノイ大学を退職、2022年にシャンペーンで死去した。
所属先: シーメンス社(ミュンヘン), イリノイ大学アーバナ・シャンペーン校
ドイツ, アメリカ合衆国