[論文レビュー] A closed formula for the evaluation of $\mathfrak{sl}_N$-foams

Louis‐Hadrien Robert, Emmanuel Wagner|arXiv (Cornell University)|Feb 14, 2017

Geometric and Algebraic Topology参考文献 44被引用数 17

ひとこと要約

本稿では、計算的に不切実な Kapustin-Li 公式に代わる、完全に組み合わせ論的な閉じた公式を、閉じた $\mathfrak{sl}_N$-foam の評価に提示する。評価は整数係数多項式をもたらし、MOY 計算の図式的・TQFT風の categorification を提供する。これは、部分フラッグ多様体の等置不変コホモロジーと直接結びつき、これらのコホモロジー環における明示的計算を可能にする。

ABSTRACT

We give a purely combinatorial formula for evaluating closed decorated foams. Our evaluation gives an integral polynomial and is directly connected to an integral equivariant version of the $\mathfrak{sl}_N$ link homology categorifying the $\mathfrak{sl}_N$ link polynomial. We also provide connections to the equivariant cohomology rings of partial flag manifolds.

研究の動機と目的

• 閉じた $\mathfrak{sl}_N$-foam の完全に組み合わせ論的で計算に適した評価公式を提供すること。これにより、行列因子に基づく Kapustin-Li 公式を置き換える。
• 閉じた $\mathfrak{sl}_N$-foam の評価と部分フラッグ多様体の整数係数等置不変コホモロジーとの直接的な関係を確立すること。
• MOY 計算の $\mathfrak{sl}_N$ リンク多項式に対する図式的・TQFT風の categorification を、この foams 評価を用いて提供すること。
• foam 評価を用いて、部分フラッグ多様体のコホモロジー環における逆算と明示的計算を可能にすること。
• 自己完結的で組み合わせ論的な枠組みを提供することにより、$\mathfrak{sl}_N$ リンクホモロジーに対する既存のアプローチを統一・一般化すること。

提案手法

• [$\mathfrak{sl}_N$-foam] の閉じた評価写像を、[BHMV95] にインspされた普遍的構成を用いて対称的に構築する。
• シュール多項式、リトルウッド・リチャードソン係数、およびテーブルックス上の符号付き和を含む組み合わせ論的公式を用いる。
• ラベルの相対的順序に基づく符号則 $(-1)^{|A_2 < A_1|}$ を導入し、方向性と次数シフトを処理する。
• $\nabla$-関数を用いて内積を符号化し、$\nabla(A,B)$ をラベリング間のペアリングを表す。
• $\triangle$-関数を用いて、foam の2次元的構造と境界ラベルの寄与を符号化する。
• シュール多項式の恒等式（付録A）および詳細なテーブルックス操作（付録B）を用いて、主恒等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 閉じた $\mathfrak{sl}_N$-foam の完全に組み合わせ論的で閉形式の評価公式は、行列因子に依存せずに導出可能か？
• RQ2 この評価公式は、部分フラッグ多様体の等置不変コホモロジーとどのように関係するか？
• RQ3 この foams 評価を用いて、TQFT風の構成により、$\mathfrak{sl}_N$ リンク多項式の MOY 計算を categorify できるか？
• RQ4 foam 評価の背後にある正確な組み合わせ論的構造（テーブルックス、符号、リトルウッド・リチャードソン係数を含む）は何か？
• RQ5 この枠組みを用いて、部分フラッグ多様体のコホモロジー環における明示的計算が可能か？

主な発見

• 本稿では、シュール多項式とリトルウッド・リチャードソン係数を含むテーブルックス上の符号付き和として明示的に与えられる、閉じた $\mathfrak{sl}_N$-foam の閉形式評価公式（整数係数多項式）を提供する。
• 評価が等置不変 $\mathfrak{sl}_N$ リンク多項式と等価であることが示され、部分フラッグ多様体のコホモロジーと直接的な関係が確立される。
• 主恒等式は、テーブルックスと符号の詳細な組み合わせ論的操作を通じて証明され、$c^\nu_{\alpha_1\alpha_2}$、$c^{\tau}_{\alpha_1\gamma_1}$、$c^{\beta}_{\alpha_2b\tau}$ の係数を含む対称的表現に帰着される。
• 公式は自己完結的で組み合わせ論的であり、部分フラッグ多様体のコホモロジー環における逆算と明示的計算を可能にする。
• 評価は MOY 計算の構造を尊重しており、行列因子に依存する Kapustin-Li 公式に代わる、図式的かつ計算に適した代替手段を提供する。
• Kapustin-Li 公式は行列因子に依存しており、直接計算には不適切であるが、本手法により、完全に代数的で組み合わせ論的なアプローチに置き換えられる。