[論文レビュー] Complete intersections and rational homotopy theory

J. P. C. Greenlees, Kathryn Hess+1 more|arXiv (Cornell University)|Jun 17, 2009

Algebraic structures and combinatorial models参考文献 23被引用数 3

ひとこと要約

本稿は、有理ホモトピー論における完全交差（ci）空間の複数のホモトピー不変な定義の同値性を確立し、ループ空間のホモトピー群の多項式的成長が、偶数次元のエイレンベルク＝マクレイン空間の直積上の反復球面ファイブレーションとしての構造的分解に帰着することを示している。主な貢献は、有理的設定におけるci条件の代数的・位相的・ホモロジー的定式化を統合する構造定理の確立である。

ABSTRACT

We investigate various homotopy invariant formulations of commutative algebra in the context of rational homotopy theory. The main subject is the complete intersection condition, where we show that a growth condition implies a structure theorem and that modules have multiply periodic resolutions.

研究の動機と目的

• 有限次元からネーター的有理ホモトピー型への完全交差条件の拡張。
• 有理ホモトピー論における完全交差条件の複数のホモトピー不変な定式化の統一。
• H_*(\Omega X) の多項式的成長が、偶数次元のエイレンベルク＝マクレイン空間の直積上のファイブレーション構造を示すことの確立。
• 完全交差空間上の加群が多重周期的分解を許容することの証明。
• ネーター条件が有理ホモトピー論に与える影響、特に構造定理と双対性との関係における考察。

提案手法

• ホモトピー不変な有限性条件と代数的構造との関係を、モリタ理論的枠組みで採用。
• 有理ホモトピー論を用いて、空間をSullivan代数およびQ上での余チェイン代数でモデル化。
• ミルナー＝ムーアの定理を適用し、H_*(\Omega X) の多項式的成長と有限次元ホモトピー群との関係を確立。
• 局所コホホロジー定理を用いて、h-ゴレンシュタイン代数のヒルベルト級数に対する関数方程式を導出。
• 正則列およびゴレンシュタイン双対性のホモトピー不変な類似物として、eci、nci、gci条​​件を導入・分析。
• F \to X \to KV の形のファイブレーションを用いた例の構成。ここでFは奇数次元球面の直積、KVは偶数次元エイレンベルク＝マクレイン空間の直積である。

実験結果

リサーチクエスチョン

• RQ1 H_*(\Omega X) の多項式的成長は、ネーター的コホモロジーを持つ有理的単連結空間について、ファイブレーション構造を示すか？
• RQ2 有理ホモトピー論において、構造的・有限生成的・成長に基づく複数のホモトピー不変な完全交差条件の定式化は同値か？
• RQ3 H^*(X) のネーター性を、構造定理を失わずに弱い有限性条件に置き換えられるか？
• RQ4 ゴレンシュタイン双対性条​​件は有理ホモトピー論においてどのような役割を果たし、完全交差条件とどのように関係するか？
• RQ5 h-ゴレンシュタイン代数のヒルベルト級数に対する関数方程式は、コhen-Macaulay欠損と局所コホモロジー構造をどのように反映するか？

主な発見

• 成長条​​件（gci）—H_*(\Omega X) が多項式的成長を示すこと—は、X が偶数次元エイレンベルク＝マクレイン空間の有限直積上の反復球面ファイブレーションであるという構造的条​​件と同値である。
• H^*(X) に対するネーター性は、構造定理を示すのに十分であり、gci と構造的条​​件の同値性を保つために不可欠である。
• 完全交差空間上の加群は、可換代数の結果を一般化した、最終的に多重周期的分解を許容する。
• 有理的完全交差空間のヒルベルト級数 p_X(t) は、Cohen-Macaulay欠損と局所コホモロジー構造を反映する δ(t) を含む関数方程式を満たす。
• S^3 \times S^3 \to X \to \mathbb{C}P^\infty \times \mathbb{C}P^\infty のファイブレーションは、H^*(X) がゴレンシュタインではないが、シフト -4 の h-ゴレンシュタインである有理的空間 X を与え、非ゴレンシュタインな h-ゴレンシュタイン例を示している。
• H^*(X) がCohen-Macaulay欠損1の場合、ヒルベルト級数は次の関数方程式を満たす：p_X(1/t) - (-t)^r t^a p_X(t) = (1+t)\delta(t) および \delta(1/t) = (-t)^{r-1} t^a \delta(t)。ここで δ(t) は H_I^{r-1}(H^*(X))^\vee のヒルベルト級数である。