[論文レビュー] Chains(R) does not admit a geometrically meaningful properadic homotopy Frobenius algebra structure

Theo Johnson-Freyd|arXiv (Cornell University)|Aug 15, 2013

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

ひとこと要約

この論文は、Chains(ℝ) が一意な準局所的双代数的作用を支持しているにもかかわらず、幾何的に意味のある適切なホモトピー Frobenius 代数的構造をもたないことを証明している。非単位的シフトされた Frobenius 代数の双代数的構造の cofibrant な分解は、ホモトピー的に一意的で幾何的に自然な方法で Chains(ℝ) に作用するが、同じ構造が、局所的性の圏における −1/12 による乗法の非正確性に起因するホモロジー的障害のため、適切な分解への拡張に失敗する。

ABSTRACT

The embedding Chains(R) into Cochains(R) as the compactly supported cochains might lead one to expect Chains(R) to carry a nonunital commutative Frobenius algebra structure, up to a degree shift and some homotopic weakening of the axioms. We prove that under reasonable "locality" conditions, a cofibrant resolution of the dioperad controlling nonunital shifted-Frobenius algebras does act on Chains(R), and in a homotopically-unique way. But we prove that this action does not extend to a homotopy Frobenius action at the level of properads or props. This gives an example of a geometrically meaningful algebraic structure on homology that does not lift in a geometrically meaningful way to the chain level.

研究の動機と目的

• ℝ のホモロジーが非単位的シフトされた Frobenius 代数的構造を持つが、これがチェーンレベルでの幾何的に意味のある構造に引き上げられるかどうかを特定すること。
• ツリー型の合成しか許さない双代数的構造とは対照的に、グラフ型の合成を許す適切な構造のレベルで、そのような引き上げが存在するかどうかを調査すること。
• チェーン複体における幾何的に意味のある代数的構造の文脈において、双代数的構造と適切な構造の分解の違いを明確にすること。
• Chains(ℝ) にそのような適切な構造が存在すると主張した先行研究 [Wil07] との矛盾を解消すること。
• ホモトピー転送理論が形式的な引き上げを保証するにもかかわらず、すべての幾何的に意味のある構造がホモロジーからチェーンレベルに拡張されないことを確立すること。

提案手法

• 操作がコンパクト台付きチェーンから非コンパクト台付きのものへ自然に拡張されることを保証する最小の幾何的条件として、準局所性の概念を導入する。
• 非単位的シフトされた Frobenius 代数の双代数的構造と適切な構造を記述する双代数的構造と適切な構造を定義し、Koszul 性を証明することで、小さな cofibrant な置換を構成する。
• Chains(ℝ) に作用する準局的かつ平行移動不変な双代数的分解の作用の、合同な空間を構成し、一意性と幾何的自然性を示す。
• ホモトピー転送理論を用いて、双代数的分解を通じて H•(ℝ) のホモロジー的 Frobenius 構造を Chains(ℝ) に引き上げる。
• 生成子がトム形式に作用する様子を分析し、準局所性の圏における −1/12 による乗法の非正確性に起因する、双代数的作用から適切な構造への拡張の障害を分析する。
• チェーンの交差による標準的乗法を強制しようとする試みは、非準局的定義された作用をもたらし、幾何的意味の条件を破ることを示す。

実験結果

リサーチクエスチョン

• RQ1 Chains(ℝ) が双代数的レベルでそのような構造を支持しているにもかかわらず、幾何的に意味のある適切なホモトピー Frobenius 代数的構造をもつかどうか。
• RQ2 H•(ℝ) のホモトピー Frobenius 構造が、局所性と幾何的合成則を尊重する形で Chains(ℝ) に引き上げられるか。
• RQ3 一意的な準局的双代数的作用があるにもかかわらず、なぜ適切な構造の分解が Chains(ℝ) に作用しないのか。
• RQ4 −1/12 による乗法の非正確性が、適切な構造への拡張を妨げる役割を果たす理由は何か。
• RQ5 適切な構造の引き上げに失敗するという事実は、ホモロジーからチェーンに代数的構造を引き上げる際の根本的な制限をどのように示しているか。

主な発見

• 非単位的シフトされた Frobenius 代数の双代数的構造の cofibrant な分解は、Chains(ℝ) に一意的かつ準局的かつ平行移動不変な方法で作用する。
• この双代数的作用は、コンパクト台付き de Rham 形式における厳密な結合的および可換な乗法（次数 −1）と、コメルテンティブな余乗法（次数 0）を拡張する。
• 同じ構造の適切な構造の分解は、Chains(ℝ) に準局的かつ、ホモロジーにおける余乗法と標準的乗法の両方を誘導する方法では作用しない。
• 障害は、準局所性の圏における −1/12 による乗法が正確でないことに起因し、適切な構造の分解から終域適切な構造の自己準同型適切な構造への適切な準同型が定義されないためである。
• チェーンの交差による標準的乗法を強制しようとする試みは、非準局的定義された作用をもたらし、幾何的意味の条件を破る。
• この結果により、[Wil07] の主張との矛盾が解消され、適切な構造の引き上げは、双代数的構造の引き上げとは異なり、幾何的に意味のあるものではないことが示された。