[論文レビュー] Euler characteristics for spaces of string links and the modular envelope of $L_\infty$

Paul Arnaud Songhafouo Tsopméné, Victor Turchin|arXiv (Cornell University)|Sep 3, 2016

Homotopy and Cohomology in Algebraic Topology被引用数 3

ひとこと要約

本稿は、グラフホモロジーを用いて、ストリングリンク空間の有理ホモロジーおよびホモトピーにおける有限次元和成分のオイラー乗数を計算し、これらの不変量の最初の既知の下界を確立する。また、ヘアドグラフ複体が $Ω$-代数のモジュラー包の構造として得られることを特定し、フェルミオン変換を用いて対称群作用のスーパー特徴標を決定することで、グラフ複体およびモジュラー代数の既存の結果を拡張する。

ABSTRACT

We make calculations in graph homology which further understanding of the topology of spaces of string links, in particular calculating the Euler characteristics of finite-dimensional summands in their homology and homotopy. In doing so, we also determine the supercharacter of the symmetric group action on the positive arity components of the modular envelope of $L_\infty$.

研究の動機と目的

• ストリングリンク空間の有理ホモロジーおよびホモトピーにおける有限次元和成分のオイラー乗数を計算すること。
• ヘアドグラフ複体が $ω$-代数のモジュラー包から生じることを特定すること。
• $\mathbf{Mod}(\mathcal{L}_\infty)$ およびそのねじれ版 $\mathbf{Mod}_{\mathrm{Det}}(\mathcal{L}_\infty)$ の正次数成分における対称群作用のスーパー特徴標を決定すること。
• これらのオイラー乗数の明示的生成関数を提供し、埋め込み空間のホモロジーおよびホモトピーに対する最初の既知の下界を提示すること。

提案手法

• グッドウィルディ-ウエイス計算を用いて、配置空間ホモロジーから構成されるコスズ複体および外部の単価頂点（ヘア）を持つヘアドグラフ複体の2種類の複体を定義する。
• グラフホモロジー技法を適用し、包含写像 $\mathrm{Emb}_c \subset \mathrm{Imm}_c$ のホモトピー纤维 $\overline{\mathrm{Emb}}_c$ のホモロジーおよびホモトピーにおける有限次元和成分のオイラー乗数を計算する。
• 有理的チェーン複体における右 $\Omega$-モジュールの射影的モデル構造に依拠し、微分がゼロのモジュールに対して導来写像空間を $\mathrm{Ext}$ 群の積として表現する。
• ヘアドグラフ複体が $d > 2\max\{m_i\} + 1$ の場合に、$\overline{\mathrm{Emb}}_c$ の有理ホモロジーおよびホモトピーを計算することを特定し、奇数 $d$ に対しては $\mathbf{Mod}(\mathcal{L}_\infty)$ の正次数成分から、偶数 $d$ に対しては $\mathbf{Mod}_{\mathrm{Det}}(\mathcal{L}_\infty)$ の正次数成分から構成される。
• ゲッツラーとカプラノフの普遍的手法を用いて、モジュラー包成分における対称群作用のスーパー特徴標を計算し、それらをフェルミオン変換 $\mathrm{F}_{\mathrm{Det}}\mathcal{C}om$ および $\mathrm{F}\mathcal{C}om$ と関連付ける。
• genus $g$、複雑さ $t$、ホッジ次数 $s_2$ によるオイラー乗数 $\chi_{s_1,s_2,t}^{\pi g}$ の表を用いて、$g=2$ および $g=3$ に対して明示的な数値結果を提供する。

実験結果

リサーチクエスチョン

• RQ1 ストリングリンク空間の有理ホモロジーおよびホモトピーにおける有限次元和成分のオイラー乗数は何か？
• RQ2 ヘアドグラフ複体は $ω$-代数のモジュラー包とどのように関係しているか？
• RQ3 $\mathbf{Mod}(\mathcal{L}_\infty)$ および $\mathbf{Mod}_{\mathrm{Det}}(\mathcal{L}_\infty)$ の正次数成分における対称群作用のスーパー特徴標は何か？
• RQ4 これらの和成分のオイラー乗数の生成関数を明示的に計算でき、埋め込み空間のホモロジーおよびホモトピーに対する下界を提供できるか？
• RQ5 これらの結果は、ヴァシレフ不変量およびチョン＝シモンズ理論の文脈において、グラフ複体およびモジュラー代数の既存の計算をどのように拡張するか？

主な発見

• $\overline{\mathrm{Emb}}_c(\coprod_{i=1}^2 \mathbb{R}^{m_i}, \mathbb{R}^d)$ の有理ホモトピーおよびホモロジーにおける有限次元和成分のオイラー乗数は、$g=2$ および $g=3$ に対して明示的に計算され、$t$ が 23 まで、ホッジ次数 $s_2$ が 23 までの表が提供されている。
• 奇数 $d$ の場合、有理ホモトピーおよびホモロジーを計算するヘアドグラフ複体は $\mathbf{Mod}(\mathcal{L}_\infty)$ の正次数成分から構成され、偶数 $d$ の場合、$\mathbf{Mod}_{\mathrm{Det}}(\mathcal{L}_\infty)$ の正次数成分から構成される。
• $\mathbf{Mod}(\mathcal{L}_\infty)$ および $\mathbf{Mod}_{\mathrm{Det}}(\mathcal{L}_\infty)$ の正次数成分における対称群作用のスーパー特徴標が決定され、それぞれ $\mathrm{F}_{\mathrm{Det}}\mathcal{C}om$ および $\mathrm{F}\mathcal{C}om$ として実現される。
• 本稿は、これらの和成分のオイラー乗数の最初の既知の生成関数を提供し、埋め込み空間の有理ホモロジーおよびホモトピーに対する下界を確立する。
• 結果は、コンツェビッチのグラフ複体に関する先行研究を一般化し、ゲッツラー＝カプラノフの普遍的手法を $ω$-代数の場合にまで拡張し、明示的な特徴標計算を可能にする。
• オイラー乗数の表は、$t$ の偶奇に応じて対称的および交代的なパターンを示し、$t$ の増加に伴い値の大きさと複雑さが増加しており、埋め込み空間のトポロジー的複雑さの増加を反映している。