[論文レビュー] Constructive Homological Algebra and Applications

Julio Rubio, Francis Sergeraert|arXiv (Cornell University)|Aug 19, 2012

Homotopy and Cohomology in Algebraic Topology参考文献 51被引用数 45

ひとこと要約

本稿は、ホモロジー的摂動補題と関数型プログラミングを用いて、古典的で非構成的なスペクトル系列および完全系列を、効果的なアルゴリズムに変換する構成的アプローチを提示する。これにより、可換代数および代数的トポロジーにおけるスペクトル系列の有効版と、計算可能な分解を提供することで、ホモロジー群およびホモトピー群のアルゴリズム的計算が可能となり、特に反復ループ空間のホモロジーを求めるアダムズの問題が解けるようになる。

ABSTRACT

This text was written and used for a MAP Summer School at the University of Genova, August 28 to September 2, 2006. Available since then on the web site of the second author, it has been used and referenced by several colleagues working in Commutative Algebra and Algebraic Topology. To make safer such references, it was suggested to place it on the Arxiv repository. It is a relatively detailed exposition of the use of the Basic Perturbation Lemma to make constructive Homological Algebra (standard Homological Algebra is not constructive) and how this technology can be used in Commutative Algebra (Koszul complexes) and Algebraic Topology (effective versions of spectral sequences).

研究の動機と目的

• 標準的なホモロジー代数が非構成的であるという根本的限界に対処し、ホモロジー群およびホモトピー群のアルゴリズム的計算を困難にしている要因を解消する。
• 未知のホモロジー群やホモトピー群の計算に古典的完全系列およびスペクトル系列が不十分であるという問題を克服し、有効的でアルゴリズム的なバージョンを導入する。
• 例えばコーサル複体のホモロジーとシジージー分解の計算といった、可換代数における古典的問題に対する構成的解法を開発する。
• エイレンバーグ＝モーアスペクトル系列の有効版を提供し、反復ループ空間のホモロジーをアルゴリズム的に計算するというアダムズの問題を解決する。
• ポストニコフ系における「不変量」という用語の基礎的混乱を明確にし、関手的不変量と一意でない構成との区別をし、自然かつ標準的なモデルの提唱を行う。

提案手法

• ホモロジー的摂動補題を適用し、スペクトル系列および完全系列の有効的でアルゴリズム的なバージョンを体系的に導出する。
• 関数型プログラミングのパラダイムを用いて、構成的ホモロジー代数を実装し、アルゴリズムの計算可能性と停止性を保証する。
• 可換代数における有効的分解を、シジージーとコーサル複体のホモロジーをアルゴリズム的に計算することで構成する。
• 特にエイレンバーグ＝モーアスペクトル系列を含む、古典的な代数的トポロジーの構成を、ループ空間のホモロジーを計算する有効なアルゴリズムに変換する。
• ホモトピー同値の下でのポストニコフ不変量の不変性を形式化する関手的枠組みを導入し、従来の定式化における曖昧さを解消する。
• 最小の単体的カンモデルを用いた関手的構成により、ポストニコフ塔を標準化し、非一意性を低減し、ホモトピー型の等価性をアルゴリズム的に検出可能にする。

実験結果

リサーチクエスチョン

• RQ1 古典的で非構成的なホモロジー代数を、ホモロジー群およびホモトピー群のアルゴリズム的計算に有効にどう変換できるか？
• RQ2 ホモロジー的摂動補題は、有効なスペクトル系列および分解を構成する上で果たす正確な役割は何か？
• RQ3 エイレンバーグ＝モーアスペクトル系列をアルゴリズム化することは可能か？ それにより、反復ループ空間のホモロジーを求めるアダムズの問題が解けるか？
• RQ4 ポストニコフk不変量の文脈において「不変量」という用語が誤解を招くのはなぜか？ そして、関手性はその構成における曖昧さをどのように解消できるか？
• RQ5 可換代数および代数的トポロジーにおける有効なホモロジー計算は、構成的ホモロジー代数を通じてどの程度統一可能か？

主な発見

• ホモロジー的摂動補題により、古典的ホモロジー代数の非構成的性質を克服し、スペクトル系列の体系的な有効的・アルゴリズム的バージョンの導出が可能になった。
• コーサル複体の分解とシジージー計算の有効的実装が可能となり、従来の非アルゴリズム的手法に対する構成的代替手段が得られた。
• エイレンバーグ＝モーアスペクトル系列の有効版が構成され、反復ループ空間のホモロジーを直接的にアルゴリズム的に計算する解決策が提供された。
• 本稿は、ポストニコフk不変量が一意に定義されるわけではないが、関手的性質を持つこと、およびその不変性が一貫した自然な構成に依存することを明確にした。これにより、長年の文献における混乱が解消された。
• 関数型プログラミングの技術が、構成的ホモロジー代数の実装において不可欠であることが示された。これにより、導出アルゴリズムの正しさ、モularity、計算可能性が保証された。
• 最小の単体的カンモデルの使用により、ポストニコフ塔の標準的構成が可能になり、非一意性が低減され、ホモトピー型の等価性のアルゴリズム的検出が可能になった。