今北産業pedia

複素数体上の多項式写像が単射であれば、それは全射でもあるという代数幾何学の定理。

有限集合の写像に関する性質が、特定の代数多様体でも成立することを示した。

モデル理論の手法を用いて証明された、数学の異なる分野を繋ぐ例として有名である。

ミルナーK理論とガロアコホモロジーの間の同型関係を述べた、現代数学の難定理。

かつては「ブロック・加藤予想」と呼ばれ、20年以上の歳月をかけて証明された。

数論的代数幾何学における金字塔であり、多くの重要な予想の解決に繋がった。

代数体上の有理点を持つ代数曲線のうち、種数が2以上のものは有限個しか点を持たない。

1983年にゲルハルト・ファルティングスによって証明され、フィールズ賞の対象となった。

モーデル予想として知られていた難問を解決し、数論幾何学に多大な貢献をした。