[論文レビュー] Some remarks on Dupont contraction

Luigi Lunardon|arXiv (Cornell University)|Jul 6, 2018

Advanced Topics in Algebra参考文献 11被引用数 3

ひとこと要約

本稿は、M. Manettiが提案したがかつて未検証であった代替的単体的収縮 $ k $ が、Dupontの元来の単体的収縮 $ h $ と同値であることを確立し、Dupontの構成の計算的により単純な記述を提供する。主な結果は $ k = h $ の証明であり、これはManettiの写像が単体的 de Rham 理論における古典的Dupont収縮の等価で取り扱いやすい形式であることを裏付ける。

ABSTRACT

We present an alternative equivalent description of Dupont's simplicial contraction: it is an explicit example of a simplicial contraction between the simplicial differential graded algebra of polynomial differential forms on standard simplices and the space of Whitney elementary forms.

研究の動機と目的

• Manettiの代替的単体的収縮 $ k $ がDupontの元来の収縮 $ h $ に等しいかどうかという未解決の問題を解消すること。
• Manettiの構成を用いて、Dupontの単体的収縮の代替的でより計算可能な記述を提供すること。
• $ k $ がホモトピー的性質および微分付き代数的構造と整合することを証明することで、$ k $ が真の単体的収縮であることを検証すること。
• $ k = h $ を確立することで、Manettiの写像がホモトピー転送および $ \infty $-代数の応用において等価で有用であることを確認すること。

提案手法

• Manettiの非公開構成にインspiredされ、単体上での積分を用いて、$ s $-変数および $ dt_i $ を含む明示的な形式を用いて、単体的写像 $ k: \bigwedge^\bullet \to \bigwedge^\bullet $ を構成する。
• $ k $ を、係数に階乗および多項係数に類似した項を含む、$ \theta_p $、$ \theta_p s^l $、$ \theta_p s^{l-1} $ の形の形式の族によって定義する。
• 単体の面への引き戻しと積分を用いて $ k $ の作用を定義し、$ x_{f(i)} $、$ x_{b_i} $、および微分形式を含む明示的な式を用いる。
• 次数の議論と積分恒等式を用いて、ある種の形式が再帰写像のもとで消えることを示し、$ k_{f|_{[n-1]}}(\eta) $ の計算を簡略化する。
• 鍵となる補題（補題5.4）を用いて、形式の台にインデックス $ n $ が存在しないことにより、$ h_{f(n)}(\gamma_2) = 0 $ を示す。
• $ k $ と $ h $ の引き戻しと積分の直接計算により、$ k_{f(n)}(\eta) = h_{f(n)}(\eta) $ を示し、両写像の作用が一致することを証明する。

実験結果

リサーチクエスチョン

• RQ1 Manettiが提案した単体的収縮 $ k $ は、Dupontの元来の収縮 $ h $ と同値であるか？
• RQ2 ホモロジー的摂動理論において、$ k $ は $ h $ よりも計算的に単純な代替として使用可能か？
• RQ3 $ k $ は定義的なホモトピー関係 $ dk + kd = r - \text{id} $ を満たすか？
• RQ4 $ k $ の明確な代数的構造は何か？ そして、微分および再帰写像とどのように作用するか？
• RQ5 $ k $ は単体的構造を保存し、単体的収縮に必要な整合性条件を満たすか？

主な発見

• 本稿は、Manettiの写像 $ k $ がDupontの元来の収縮 $ h $ に等しいことを証明し、長年の未解決問題を解決した。
• $ k $ は、$ dk + kd = r - \text{id} $ を満たす単体的収縮の公理をすべて満たしており、単体的構造とも整合する。
• $ k $ の構成は、より複雑な形式の族を用いるDupontの元来の構成と同値であるが、より明確で計算に適した構造を持つことが示された。
• 証明は、多項係数を含む明示的な積分公式と次数の議論を用いて、ある種の項が消えることを示すことに依拠している。
• この結果により、$ k $ が $ h $ と等価で、$ C_\infty $ および $ L_\infty $-構造転送の応用においてより単純な計算を可能にする有効な代替であることが確認された。
• 本稿は、$ k $ が[7]および[15]の意味でwell-definedな単体的収縮を誘導することを確立し、$ \pi_m k_m = 0 $ および $ k_m^2 = 0 $ がGetzlerによって示されたように、成り立つことを示した。