Higher Topos Theory｜高次トポス理論

Higher Topos Theory（高次トポス理論）は、アレクサンドル・グロタンディークが基礎を築いた「トポス論」を、ジェイコブ・ルーリー（Jacob Lurie）が高次圏論（∞-category）の枠組みで再構築した、現代数学の最深部の一つです。

1. 誰が開発したのか？

この分野の決定的な形を作ったのは、現代数学の旗手であるジェイコブ・ルーリーです。

ジェイコブ・ルーリー: 2009年に出版された約1,000ページに及ぶ著『Higher Topos Theory (HTT)』により、それまで断片的だった高次圏の概念を、トポスという強力な基盤の上に定式化しました。
先行する貢献者: アンドレ・ジョイアル（準圏の導入）や、チャールズ・レズク（完全な計算モデルの提唱）などの研究を、ルーリーが巨大な体系へと統合しました。

Higher Topos Theoryは、以下の2つの巨大な柱を融合させています。

グロタンディーク・トポス (Grothendieck Topos):1960年代に開発された、「集合の圏」を一般化した構造。「空間」そのものを考える代わりに、その空間上の「層（Sheaf）」の集まりを考えることで、幾何学と論理学を直結させました。
(∞, 1)-category (高次圏):射の間に無限階層のホモトピー（変形）を認める構造。これにより、「厳密な等号」を「ホモトピーによる同値」に置き換えます。

「通常のトポス」では扱いきれない、ホモトピー的な情報を保存するためです。

「層」の限界: 従来のトポス理論における「層」は、集合の値を返すものでした。しかし、代数幾何学や物理学では、値を「空間（またはホモトピー型）」として持つような「スタック（Stack）」や「導来図形」を扱う必要が出てきました。
ホモトピー論の基礎付け: ホモトピー論は長らく、特定のモデル（単体集合や位相空間）に依存して計算されてきました。ルーリーは、トポス論という「圏論的な言語」を用いることで、モデルに依存しないホモトピー論の絶対的な基盤を作ろうとしました。

Higher Topos Theoryは、数学の「空間」という概念を「∞-topos」へと拡張しました。

Giraudの定理の高次化: ルーリーは、どのような条件を満たせばある高次圏が「∞-トポス」になるかを証明しました（Higher Giraud’s Theorem）。これにより、抽象的な圏論の道具を使って、具体的な幾何学の問題を解くことが可能になりました。
導来代数幾何学 (Derived Algebraic Geometry):HTTの基盤の上に、可換環を「型（ホモトピー型）」に置き換えた「導来代数幾何学」が花開きました。これにより、図形の交点計算（交点理論）などが、特異点があっても非常にスマートに扱えるようになりました。
論理学との接続:∞-トポスは、ホモトピー型理論 (HoTT) のモデル（解釈の場）を提供します。つまり、HoTTで書かれた証明が「どのような数学的世界で成り立っているか」を示す場所が、このHigher Toposなのです。