[論文レビュー] Dualizable link homology

Alexei Oblomkov, Lev Rozansky|arXiv (Cornell University)|May 16, 2019

Geometric and Algebraic Topology参考文献 13被引用数 5

ひとこと要約

本稿は、多項式環 R(L) = C[x₁,y₁,…,xℓ,yℓ] 上の双対可能な三重に次数づけられたリンクホモロジー理論 HXY(L) を導入する。この理論には、xᵢ ↔ yᵢ を交換し、q を逆数に反転させるフーリエ双対関手 F が備わっており、q → 1/q のカテゴリカルな対称性を満たす。これにより、任意の絡み目の超多項式が回文的であることが証明される：PK(a,q,t) = PK(a,t⁻¹,t)。これは以前の構成を拡張し、HOMFLY-PT多項式の双対性をカテゴライゼーション化するものである。

ABSTRACT

We modify our previous construction of link homology in order to include a natural duality functor $\mathfrak{F}$. To a link $L$ we associate a triply-graded module $HXY(L)$ over the graded polynomial ring $R(L)=\mathbb{C}[x_1,y_1,\dots,x_\ell,y_\ell]$. The module has an involution $\mathfrak{F}$ that intertwines the Fourier transform on $R(L)$, $\mathfrak{F}(x_i)=y_i$, $\mathfrak{F}(y_i)=x_i$. In the case when $\ell=1$ the module is free over $R(L)$ and specialization to $x=y=0$ matches with the triply-graded knot homology previously constructed by the authors. Thus we show that the corresponding super-polynomial satisfies the categorical version of $q o 1/q$ symmetry. We also construct an isotopy invariant of the closure of a dichromatic braid and relate this invariant to $HXY(L)$.

研究の動機と目的

• R(L) 上の Tq,t-不変 R(L)-加群の導来圏 Dper_Tq,t(RpL)) を定義し、その上でフーリエ変換と整合する内部的な双対関手 F を備えたリンクホモロジー理論を構成すること。
• 任意の絡み目の超多項式が q → 1/q の変換のもとで回文的であることを証明し、HOMFLY-PT多項式の既知の対称性をカテゴリカルに実現すること。
• [OR18d] の三重に次数づけられたホモロジーを、マークフ・移動に関して不変で、フーリエ双対性と整合する導来圏の対象に拡張すること。
• 行列式因子化とトレース関手を用いて二色ブレイドとの関係を確立し、閉包のホモトピー不変性を示すこと。
• フラグヒルベルトスキーム、有理チャレドニク代数、およびリンク不変量の D-加群量子化との関係を予想すること。

提案手法

• R(L) = C[x₁,y₁,…,xℓ,yℓ] とおく。Tq,t-不変 R(L)-加群の導来圏 Dper_Tq,t(RpL)) を定義する。
• この圏上で、F(xᵢ) = yᵢ、F(yᵢ) = -xᵢ、F(q) = tq⁻¹、F(t) = t と作用するフーリエ関手 F を導入する。
• 二色ブレイドの群ガーディアンから行列式因子化の圏への準同型を用いて、ブレイド β の閉包に対応する導来圏内の対象 EpL(β)) を構成する。
• EpL(β)) がマークフ移動およびフーリエ関手 F に関して不変であることを証明し、したがって F(EpL)) ≅ EpL) が成り立つことを示す。
• 全体切断を適用してホモロジー加群 HXY(L) = RΓ(EpL)) を得る。これにより双対構造と回文的次数が引き継がれる。
• 行列式因子化上のトレース関手を用いて、閉じられる二色ブレイドの不変量を定義し、閉包のホモトピー不変性を証明する。

実験結果

リサーチクエスチョン

• RQ1 [OR18d] の三重に次数づけられた絡み目のホモロジーは、カテゴリカルな q → 1/q 対称性を有するか。これは、HOMFLY-PT多項式の既知の双対性をカテゴリカルに実現するか。
• RQ2 R(L) 上の加群の導来圏に、フーリエ変換と整合し、リンク不変量を保存する双対関手 F を定義できるか。
• RQ3 任意の絡み目の超多項式は、t → t⁻¹ の変換のもとで回文的か。ただし q と a は固定する。
• RQ4 拡張されたホモロジー HXY(L) は、y=0 と代入することで元の三重に次数づけられたホモロジー HpL) を回復するか。また、HXY(L) は絡み目に対して R(L) 上で自由かつ有限生成か。
• RQ5 閉じられる二色ブレイドのリンク不変量は、行列式因子化上のトレース関手を用いて構成可能であり、そのホモトピー不変性を示せるか。

主な発見

• 任意の絡み目 K について、超多項式 PK(a,q,t) = PK(a,t⁻¹,t) を満たし、[DGR06] で予想された回文的対称性が証明された。
• リンク閉包に対応する導来圏の対象 EpL) はフーリエ関手 F に関して不変であり、F(EpL)) ≅ EpL) が成り立つ。
• 絡み目に対して、加群 HXY(K) は R(K) = C[x,y) 上で自由かつ有限生成であり、y=0 と代入することで元の三重に次数づけられたホモロジー HpK) に specialize される。
• 閉じられる二色ブレイド β の行列式因子化不変量のトレースは、Dper(Cℓ) 内の対象 T r(β) ∈ Dper(Cℓ) を与え、これは EpL(β)) の導来全体切断と同型である。
• β が純粋ブレイドであるとき、不変量 T r(β) は、その dg コherent sheaf 圏の A∞-変形を介してフラグヒルベルトスキームと関係すると予想される。
• 本稿では、EpL(β)) の関数的グレーディングが回復されるフィルター付き D-加群複体 ˜EpL(β)) が存在すると予想しており、これはリンク不変量の量子化を示唆する。