[論文レビュー] Homological algebra related to surfaces with boundary

Kai Cieliebak, Kenji Fukaya+1 more|arXiv (Cornell University)|Aug 11, 2015

Algebraic structures and combinatorial models参考文献 10被引用数 24

ひとこと要約

本稿は、ストリングトポロジー、シンプレクティック場理論、および高 genus のラグランジュフローリー理論に由来するホモロジー的構造を符号化するための普遍的な代数的枠組みである IBL∞-代数のホモトピー論を導入し、発展させる。同稿は、準同型およびホモトピーの体系的な障害理論を確立し、ホモトピックな準同型の合成が再びホモトピックであることを証明するとともに、境界を持つリーマン面のモジュライ空間に内在する代数的構造を明示的に記述する。

ABSTRACT

In this article we describe an algebraic framework which can be used in three related but different contexts: string topology, symplectic field theory, and Lagrangian Floer theory of higher genus. It turns out that the relevant algebraic structure for all three contexts is a homotopy version of involutive bi-Lie algebras, which we call IBL$_\infty$-algebras.

研究の動機と目的

• ストリングトポロジー、シンプレクティック場理論、および高 genus のラグランジュフローリー理論という3つの独立的だが関連する分野を統一する代数的枠組みを構築すること。
• 境界および特異点をもつリーマン面に関連するホモロジー的作用素に内在する代数的構造を形式化すること。
• 障害理論を用いて IBL∞-代数のホモトピー論を確立し、補助的データの選択に依存しない代数的構造の独立性を研究可能にする。
• 準同型のホモトピーが同値関係を定め、ホモトピックな準同型の合成が再びホモトピックであることを証明すること。
• 幾何的応用における不変性を示すために不可欠な、代数的作用素およびそのホモトピーの明示的公式を提供すること。

提案手法

• IBL∞-代数を、形式的和 $\hat{\mathfrak{p}} = \sum \hat{\mathfrak{p}}_{k,\ell,g} \hbar^{k+g-1} \tau^{k+\ell+2g-2}$ で定義される、自己作用が 0 である（$\hat{\mathfrak{p}} \circ \hat{\mathfrak{p}} = 0$）インボリューション的リーダブル代数のホモトピー版として導入する。
• 対称バーバー複体 $EC = \bigoplus_{k \geq 1} E_k C$ を、次数 $k$ の微分作用素構造を持つ基底となる次数付きモジュールとして用いる。
• 部分構造や準同型を拡張するにあたり、帰納的に障害理論を適用し、障害をコホロロジー群に特定する。
• チェーンホモトピーの公式を用いて、準同型のホモトピーを定義し、ホモトピーが同値関係であることを示す。
• スパニングツリーと双対性を用いて、リボングラフに関連するチェーン複体の向きの符号規則を明示的に構成する。
• 代数的構造を微分的ウェイリ代数およびモーラー＝カルタン要素と関連づけ、物理学および非可換幾何学と接続する。

実験結果

リサーチクエスチョン

• RQ1 ストリングトポロジー、シンプレクティック場理論、および高 genus のラグランジュフローリー理論における作用素を記述するための統一的代数的枠組みをどのように構築できるか？
• RQ2 境界を持つリーマン面のモジュライ空間の組合せ論的およびホモロジー的データを符号化する正確な代数的構造は何か？
• RQ3 このような代数的構造間のホモトピーを体系的に定義し、分類するにはどうすればよいか？
• RQ4 部分代数的構造や準同型を拡張する際の障害は何か？ そしてそれらはどのように計算できるか？
• RQ5 リボングラフに関連するチェーン複体の向きの規則が、得られる代数的作用素における符号にどのように影響するか？

主な発見

• 本稿は、境界を持つ曲面に由来する作用素を普遍的に記述するための $\mathrm{IBL}_{\infty}$-代数が、インボリューション的リーダブル代数をホモトピー的設定に一般化する枠組みを提供することを確立した。
• IBL∞-代数間の準同型のホモトピーが同値関係を定め、かつホモトピックな準同型の合成が再びホモトピックであることを証明した。
• 部分構造や準同型の拡張のための障害理論は帰納的に構築され、障害は特定のコホロロジー群に位置づけられる。
• スパニングツリーと双対性を用いて、リボングラフに関連するチェーン複体の向きの符号規則を明示的に導出した。符号 $\eta_3(\Gamma)$ は向きの整合性によって決定される。
• エッジの反転、エッジの順序付け、境界成分の再順序付けといった操作が符号 $\eta_3$ を 1 変化させることを示し、明確な符号則を提供した。
• この枠組みは、シンプレクティック場理論およびラグランジュフローリー理論における既知の構造と整合しており、ウェイリ代数およびモーラー＝カルタン形式的表現を用いて形式化された。