[論文レビュー] Differential modules with $\infty$-simplicial faces and $A_\infty$-algebras

С. В. Лапин|arXiv (Cornell University)|Sep 6, 2018

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

ひとこと要約

この論文は、色付きコーサル双対性を用いて ∞-単体的面を備えた微分モジュールを導入し、そのホモトピー不変性を確立するとともに、Aₙ-代数と関連付ける。主な結果は、任意のAₙ-代数のB-構成が、そのテンソル微分モジュール（∞-単体的面を備える）のチェーン実現と微分コールドブルとして同型であることであり、チェーンレベルのモデルを通じてホモトピー論的構造と代数的構造を統一する。

ABSTRACT

In the present paper, by using the colored version of the Koszul duality, the concept of a differential module with $\infty$-simplicial faces is introduced. The homotopy invariance of the structure of a differential module with $\infty$-simplicial faces is proved. The relationships between differential modules with $\infty$-simplicial faces and $A_\infty$-algebras are established. The notion of a chain realization of a differential module with $\infty$-simplicial faces and the concept of a tensor product of differential modules with $\infty$-simplicial faces are introduced. It is proved that for an arbitrary $A_\infty$-algebra the chain realization of the tensor differential module with $\infty$-simplicial faces, which corresponds to this $A_\infty$-algebra, and the $B$-construction of this $A_\infty$-algebra are isomorphic differential coalgebras.

研究の動機と目的

• コロレーテッド二次代数およびコールドブルを対象として、コーサル双対性を一般化する。
• 色付きコールドブル上での微分リー・モジュールとしての、∞-単体的面を備えた微分モジュールを定義し、それらを研究する。
• B-構成と、∞-単体的面を備えたテンソル微分モジュールのチェーン実現との間のチェーンレベル同型を確立する。
• B-構成を通じて、Aₙ-代数をEₙ-コールドブル構造およびスティーナロード作用素と結びつける。
• ∞-単体的面構造を用いて、Aₙ-代数のホモトピー不変な枠組みを提供する。

提案手法

• 色付きコーサル双対性理論を用いて、単体的面の二次色付き代数の双対であるco-∞-単体的コールドブルを定義する。
• 微分モジュール（∞-単体的面を備える）を、双対色付きコールドブル（F^!, ∇）上の微分リー・モジュールとして、あるいは同値に、コールドブルのB-構成上のモジュールとして定義する。
• 微分モジュール（∞-単体的面を備える）のチェーン実現を、B-構成への自然同型を介して微分コールドブルとして定義する。
• 順序付きモジュールの色付きテンソル積を用いて、∞-単体的面を備えた微分モジュールのテンソル積を構成する。
• Aₙ-代数に標準的なB-構成を適用し、それが対応する∞-単体的面モジュールのチェーン実現と同型であることを証明する。
• 微分作用素と余乗法の整合性を保証するため、次数およびコーサルの符号規則を用いる。

実験結果

リサーチクエスチョン

• RQ1 コーサル双対性を用いて、∞-単体的面の概念を色付き代数およびコールドブルにどのように一般化できるか。
• RQ2 ∞-単体的面を備えた微分モジュールのホモトピー不変性構造は何か。また、ホモトピー的単体的面とはどのように関係するか。
• RQ3 Aₙ-代数のB-構成は、その関連するテンソル微分モジュール（∞-単体的面を備える）のチェーン実現と同型か。
• RQ4 Aₙ-代数のB-構成は、∞-単体的面モジュールのチェーンレベルモデルとして解釈可能か。
• RQ5 ∞-単体的面構造は、Eₙ-コールドブル構造を通じて、コホモロジー上でのスティーナロード作用素の実現において果たす役割は何か。

主な発見

• 任意のAₙ-代数に付随する∞-単体的面を備えたテンソル微分モジュールのチェーン実現は、そのAₙ-代数のB-構成と微分コールドブルとして同型である。
• Aₙ-代数のB-構成は、チェーン実現を通じてEₙ-コールドブル構造を引き継ぎ、そのコホモロジー上にアデム関係およびカルタンの公式を満たすスティーナロード作用素が存在することを示唆する。
• B-構成の微分コールドブル構造は、自然に∞-単体的面モジュールのチェーン実現として生じ、標準的同型が確立される。
• ∞-単体的面構造のホモトピー不変性が証明され、これにより、対応するAₙ-代数のホモトピー同値性のもとで安定性が保証される。
• 微分的結合代数（すなわちA₁-代数）の場合、B-構成は以前の研究で定義された古典的B-構成と一致し、一貫性が裏付けられる。
• 余乗法の式における符号規則は、標準的なコーサル符号規則と整合しており、微分作用素および次数付きモジュール構造との整合性が保証される。