[論文レビュー] Description and triviality of the loop products and coproducts for rational Gorenstein spaces

Shun Wakatsuki|arXiv (Cornell University)|Dec 12, 2016

Algebraic structures and combinatorial models参考文献 4被引用数 5

ひとこと要約

この論文は、Sullivanモデルを用いて、Gorenstein空間における有理ホモトピー論におけるループ積およびコプロダクトの明示的な代数的記述を提供する。半純粋Sullivan代数の概念を導入し、相対的モデルを用いてshriek写像を構成することで、これらの操作の新たな自明性結果を証明する。これは、Tamanoi、Félix–Thomas、およびNaitoの先行結果を一般化し、双対ループコプロダクトまたは積が消える条件を確立する。

ABSTRACT

Félix and Thomas extended the loop products and coproducts to simply-connected Gorenstein spaces. We explicitly describe these operations with rational coefficients in terms of Sullivan models. Moreover, by this description, we prove some results on triviality of these operations. They include a variant of the result of Tamanoi, and generalizations of that of Félix and Thomas and that of Naito.

研究の動機と目的

• 有理ホモトピー論を用いて、ループ積およびコプロダクト（ストリング演算）の代数的記述を、有理Gorenstein空間へと拡張すること。
• 特定のケース（例：オイラー標数が0の多様体、コンパクトなLie群、純粋Sullivan代数）におけるループコプロダクトおよび積の既知の自明性結果を一般化すること。
• より広範な適用可能性を可能にするために、純粋代数の一般化として半純粋Sullivan代数の概念を導入すること。
• 相対的Sullivanモデルを用いて、ループコプロダクトのためのshriek写像Δ_!を明示的に構成し、有理的設定での計算を可能にすること。
• 奇数次元生成子と偶数次元生成子の次元の差に基づいて、双対ループコプロダクトまたは積が自明になる十分条件を確立すること。

提案手法

• 特徴値が0の体上の有理ホモトピー論を、Sullivanモデルを用いて、ループ積およびコプロダクトを代数的に記述する。
• 半純粋Sullivan代数を導入し、d(V^even) ⊂ I_V（I_VはV^evenが生成するイデアル）を満たすものとして定義し、純粋代数の一般化とする。
• shriek写像Δ_!は相対的Sullivanモデルを用いて明示的に構成され、Naitoの手法を非純粋代数へと拡張する。
• 主要な技術的道具は定理1.6であり、これは、1次元生成子をもたない任意の有限型Sullivan代数が、有理的に半純粋なものと同値であることを示す。
• 構成は、最小モデル定理およびdim V^odd − dim V^evenのホモトピー不変性に依存する。
• 双対操作DlpおよびDlcopを用いて、ループ積とコプロダクトの双対性をSullivanモデル上で分析する。

実験結果

リサーチクエスチョン

• RQ1 Sullivan代数がどのような条件下で双対ループコプロダクトが自明になるか。
• RQ2 Sullivanモデルを用いて、有理Gorenstein空間のためのshriek写像Δ_!をどのように明示的に構成できるか。
• RQ3 Tamanoi、Félix–Thomas、およびNaitoの自明性結果は、有理ホモトピー論を用いて、より広いクラスの空間へ一般化可能か。
• RQ4 半純粋性は、ストリング演算におけるSullivan代数の構造において、どのように役立つか。
• RQ5 奇数次元生成子と偶数次元生成子の次元の差は、ループコプロダクトの自明性にどのように影響するか。

主な発見

• 任意の半純粋Sullivan代数(¬V, d)に対して、V = Kx ⊕ W という直和分解が存在し、|x|が奇数であり、(¬V, d)が(¬x, 0)上の相対的Sullivan代数であるとき、双対ループコプロダクトは自明である。
• 任意の半純粋Sullivan代数に対して、V = W ⊕ Kx という直和分解が存在し、|x|が偶数であり、(¬V, d)が(¬W, d)上の相対的Sullivan代数であるとき、双対ループ積は自明である。
• dim V^odd > dim V^even ならば、双対ループコプロダクトは自明であり、これはNaitoの純粋代数に対する結果を一般化する。
• 定理1.6は、V^1 = 0 である任意の有限型Sullivan代数が、有理的に半純粋なものと同値であることを示し、これにより、これらの結果をすべてのこのような代数に適用可能にする。
• 相対的モデルを用いたshriek写像Δ_!の明示的構成は、Naitoの手法を純粋でない代数へと一般化する。
• dim V^odd − dim V^even は、有限型Sullivan代数において有理ホモトピー不変量であり、自明性条件の安定性を支持する。