[論文レビュー] Khovanov-Rozansky homology and higher Catalan sequences

Matthew Hogancamp|arXiv (Cornell University)|Apr 5, 2017

Geometric and Algebraic Topology参考文献 22被引用数 20

ひとこと要約

本稿は、特別なソルゲル代数の複体を用いて、$(n,nm\pm1)$および$(n,nm)$トーラスリンクの三重に重み付けられたカフマン＝ロザンスキー homology を再帰的に計算する手法を導入する。主な結果として、ガーツィの予想を証明し、最近カールソンとメリットによって証明された$m$-シャッフル予想を介して対称関数と関連づけることで、ガーツィ＝オブロムコフ＝ラスマセン＝シェンデの予想をこれらのリンクに対して確認する。

ABSTRACT

We give a simple recursion which computes the triply graded Khovanov-Rozansky homology of several infinite families of knots and links, including the $(n,nm\pm 1)$ and $(n,nm)$ torus links for $n,m\geq 1$. We interpret our results in terms of Catalan combinatorics, proving a conjecture of Gorsky's. Our computations agree with predictions coming from Hilbert schemes and rational DAHA, which also proves the Gorsky-Oblomkov-Rasmussen-Shende conjectures in these cases. Additionally, our results suggest a topological interpretation of the symmetric functions which appear in the context of the $m$-shuffle conjecture of Haglund-Haiman-Loehr-Remmel-Ulyanov.

研究の動機と目的

• 無限個のトーラス紐結びやリンクの三重に重み付けられたカフマン＝ロザンスキー homology を再帰的に計算するための手法を開発すること。
• $(n,n+1)$トーラス紐結びのホモロジーの最小$a$-次数部分の Poincaré 系列が$q,t$-カタラン多項式$C_n(q,t)$に一致するというガーツィの予想を証明すること。
• ハグランズ＝ハイマン＝ローラー＝レムエル＝ウリャノフの$m$-シャッフル予想に現れる対称関数の位相的解釈をリンクホモロジーを用いて確立すること。
• $(n,nm\pm1)$および$(n,nm)$トーラスリンクに対してガーツィ＝オブロムコフ＝ラスマセン＝シェンデの予想を、新規の再帰法および$\nabla^m e_n$に関する既知の結果を用いて確認すること。

提案手法

• 各列$v \in \{0,1,\ldots,m\}^n$に対応する特別なソルゲル代数の複体$\mathbf{C}_v^{(m)}$の族を導入する。
• $q,t,a$を変数とするKR系列$f_v^{(m)}$および$g_v^{(m)}$の再帰的公式を、$m$未満の要素数や$k$未満の要素数に基づく基本ケースおよび再帰的規則を用いて構築する。
• ハル内積および対称関数上の$\nabla^m$作用素を用いて、ホモロジーを$\nabla^m e_n$および$\nabla^m s_{i,1^{n-i}}$と関連づける。
• 最近証明された$m$-シャッフル予想（カールソン＝メリット）を適用し、ホモロジーの式がDyckパスを含む対称関数展開と一致することを示す。
• 代数的再帰法とリンクの位相的不変量を結ぶために、分類化されたヤング対称化子およびルオウイエール複体に依存する。
• GNR対応を介して、複体のKR系列と対応するリンクのホモロジーのPoincaré系列との間の対応関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 $(n,nm+1)$トーラス紐結びの三重に重み付けられたカフマン＝ロザンスキーホモロジーのPoincaré系列が、対称関数の式$\frac{1}{1-q}\sum_{k=0}^n \langle \nabla^m e_n, h_k e_{n-k} \rangle a^k$と一致するか。
• RQ2 $(n,nm)$および$(n,nm\pm1)$トーラスリンクのホモロジーが、ソルゲル代数の複体の均一な再帰的公式によって計算可能か。
• RQ3 $\nabla^m s_{i,1^{n-i}}$および$\nabla^m p_n$という対称関数の位相的解釈がリンクホモロジーの観点から存在するか。
• RQ4 $f_v^{(m)}$および$g_v^{(m)}$の再帰法が、$\nabla^m e_n$および$m$-シャッフル予想の既知の式を正しく再現するか。
• RQ5 ソルゲル代数の複体の組合せ的シャドウが、$\nabla^m$作用素の下でHall-Littlewood関数またはシュール関数と特定可能か。

主な発見

• $(n,nm+1)$トーラス紐結びのKR系列は$\frac{1}{1-q}\sum_{k=0}^n \langle \nabla^m e_n, h_k e_{n-k} \rangle a^k$で与えられ、これによりガーツィの予想がこの族に対して証明される。
• この系列の$a^0$係数は高次$q,t$-カタラン多項式$C_n^{(m)}(q,t)$であり、$a^k$係数は高次$q,t$-シュレーダー多項式である。
• $g_v^{(m)}$の再帰法により$(n,nm+1)$トーラス紐結びのホモロジーが計算可能であり、その$g_{m^n}^{(m)}$項は$m$-シャッフル予想からの対称関数展開と一致する。
• $g_v^{(m)}$の式は、特に$\nabla^m s_{i,1^{n-i}}$に対して、リンクホモロジーと$\nabla^m$作用素の間の予想される対応と整合的である。
• 新規の再帰法および$m$-シャッフル定理を用いて、$(n,nm+1)$および$(n,nm)$トーラスリンクに対してガーツィ＝オブロムコフ＝ラスマセン＝シェンデの予想を確認する。
• ホモロジーの特定の複体とHall-Littlewood関数、および$\nabla^m p_n$との関係を示す予想を提示し、$m$-シャッフル予想および対称関数の恒等式による根拠を提供する。