[論文レビュー] Tensor products of representations up to homotopy

Camilo Arias Abad, Marius Crainic+1 more|arXiv (Cornell University)|Sep 29, 2010

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

ひとこと要約

この論文は、立方体の組み合わせ論と微分的可換代数（DGA）におけるMaurer-Cartan要素を用いて、$A_\infty$-構造における通常の表現の類似物としての、ホモトピー上での表現のテンソル積の明示的かつ普遍的な公式を構築する。これらの構成が、同値性の意味で一意的なモノイダル構造をホモトピー圏に与えることを証明し、普遍的なMaurer-Cartan準同型を介して、表現間の準同型へ自然に拡張されることを示す。

ABSTRACT

We study the construction of tensor products of representations up to homotopy, which are the A-infinity version of ordinary representations. We provide formulas for the construction of tensor products of representations up to homotopy and of morphisms between them, and show that these formulas give the homotopy category a monoidal structure which is uniquely defined up to equivalence.

研究の動機と目的

• ホモトピー上での表現に対する明確で標準的なテンソル積演算を確立し、$A_\infty$-構造の文脈で通常のテンソル積を一般化すること。
• オブジェクトにおけるテンソル積構成を、ホモトピー上での表現間の準同型へ自然に拡張し、自然変換と整合性を持つようにすること。
• 得られるホモトピー圏におけるモノイダル構造が同値性の意味で一意的であることを証明し、整合性と普遍性を保証すること。
• 立方体および多面体からの組み合わせ的データを用いて、厳密に結合的かつ単位的である明示的で普遍的な公式を提供すること。
• 将来の研究に備えて、ホモトピー上での表現のdgカテゴリへのモノイダル構造の持ち上げの基盤を築くこと。

提案手法

• 微分的可換代数（DGA）におけるMaurer-Cartan要素の枠組みを用いて、ホモトピー上での表現を、dgカテゴリから複体のdgカテゴリへの$A_\infty$関手として記述する。
• 単体的集合上のDB代数およびねじれコチェーンの理論を適用し、普遍的公式を介してテンソル積構成をモデル化する。
• 立方体の面と3文字の語を用いた組み合わせ的記述を用いて、高次ホモトピー情報をエンコードするテンソル積の記述を行う。
• 自然性と整合性を保証するために、普遍的Maurer-Cartan準同型を用いて、表現間の準同型のテンソル積を定義する。
• フィルター付きDGAの完全性とゲージ同値性を用いて、テンソル積が同値性の意味で一意的であることを証明する。
• 多乗法多面体と立方体に基づく多面体を、$A_\infty$-テンソル積構造の背後にある組み合わせ的制御として用い、定義域および余定義域のカテゴリにおける厳密性のおかげで一般ケースを簡略化する。

実験結果

リサーチクエスチョン

• RQ1 どのようにすれば、厳密に結合的かつ単位的である、明確で普遍的なホモトピー上での表現のテンソル積を構成できるか？
• RQ2 オブジェクトにおけるテンソル積演算を、ホモトピー上での表現間の準同型へ自然に拡張できるか？
• RQ3 ホモトピー圏における表現のテンソル積により得られるモノイダル構造は、同値性の意味で一意的か？
• RQ4 Maurer-Cartan形式的理論とDB代数は、テンソル積構造のエンコードにどのような役割を果たすか？
• RQ5 立方体の組み合わせ論および立方体の面の組み合わせ論は、テンソル積構成における高次ホモトピー情報をどのように制御するか？

主な発見

• この論文は、厳密に結合的かつ単位的である明示的で普遍的な公式を提供し、ホモトピー上での表現のテンソル積を構築する。
• 任意の2つのこのようなテンソル積演算が同値であることを証明し、ホモトピー圏におけるモノイダル構造が同値性の意味で一意的であることを確立する。
• 準同型のテンソル積の構成は、普遍的Maurer-Cartan準同型を用いて達成され、自然変換と整合性が保証される。
• テンソル積構造は、テンソル積のDB代数に関連するMaurer-Cartan要素から生じるが、立方体の面と3文字の語を用いた明示的記述が可能である。
• この方法は、フィルター付きDGAの完全性とゲージ同値性に依拠しており、テンソル積が適切に定義され、同値性の意味で一意的であることを示す。
• 結果は準同型へ拡張され、ホモトピー圏が$A_\infty$-枠組みと整合するモノイダル構造を備えることが示される。