[論文レビュー] Hochschild homology of certain Soergel bimodules

Marko Stošić|ArXiv.org|Oct 20, 2008

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

ひとこと要約

本稿は、特定のSoergel bimodule、特に $ R_{k,l} ⑸otimes_{k+l} R_{k,l} $ のHochschildホモロジーを計算し、次数 $ 2kl $ のグレーディング付きbimodule写像の存在および一意性を確立する。この写像は、彩色HOMFLY-PTポリノミアルのカテゴリフィケーションに不可欠である。主な結果として、Hochschildホモロジーの完全な計算が得られ、Koszul複体とシュール多項式を用いて、彩色HOMFLY-PTインバリアントの計算における二角形移動公理のカテゴリフィケーションがなされる。

ABSTRACT

In this paper we compute Hochschild homology of certain Soergel bimodules. Moreover, we describe explicitly the graded bimodule maps between Soergel bimodules. This computations are motivated by the categorifications of the colored HOMFLY-PT polynomial for links via Hochschild homology of Soergel bimodules.

研究の動機と目的

• 彩色HOMFLY-PTポリノミアルのカテゴリフィケーションに現れるSoergel bimodule $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ のHochschildホモロジーを計算すること。
• 次数 $ 2kl $ のグレーディング付きbimodule写像 $ R_{k,l} \to R_{k,l} \bigotimes_{k+l} R_{k,l} $ の存在および一意性を確立し、それより低い次数にはこのような写像が存在しないことを証明すること。
• Khovanov-Rozanskyリンクインバリアントがリードマイスター移動に対して不変であるという代数的基盤を、特に2彩色の場合に提供すること。
• Khovanov-Laudaによってカテゴリフィケートされた量子群に現れるFrobenius代数における直交性と、bimodule写像の構造との関係を明らかにすること。

提案手法

• Koszul複体モデルを用いて、Hochschildホモロジーの計算を対称群作用の下での多項式環の不変式のホモロジーに還元する。
• Soergel bimoduleを多項式環の商環として表現し、生成子を基本対称多項式およびシュール多項式で与える。
• Giambelliの行列式公式を適用して、シュール多項式を基本対称多項式の形に表現する。
• 量子整数および $ q $-次元の形式的表現を用いて、ホモロジー群のグレーディング次元を計算する。
• 商環内のイデアルの自由グレーディング分解を構成し、$ \mathrm{qdim}(I_j) $ を計算する。これは最終的な恒等式に不可欠である。
• $ q $-二項係数およびKroneckerデルタの簡約を用いた組合せ的恒等式を用いて、カテゴリフィケートされた二角形移動公理を検証する。

実験結果

リサーチクエスチョン

• RQ1 次数 $ 2kl $ の $ R_{k,l} $ から $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ へのグレーディング付きbimodule写像は一意に存在し、それより低い次数には非自明な写像は存在しないか？
• RQ2 Hochschildホモロジー $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ の分解はどのように行われ、その $ q $-次元構造はどのようなものか？
• RQ3 Hochschildホモロジーの計算は、彩色HOMFLY-PTポリノミアルの計算における二角形移動公理のカテゴリフィケーションに利用できるか？
• RQ4 一意なbimodule写像は、Khovanov-Laudaのカテゴリフィケートされた量子群の計算に用いられるFrobenius代数における直交性を確立する上で果たす役割は何か？
• RQ5 Koszul複体モデルは、これらのbimoduleのホモロジーを完全かつ計算可能に記述できるか？

主な発見

• 次数 $ 2kl $ の $ R_{k,l} $ から $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ へのbimodule写像は存在し、一意的であり、それより低い次数には非自明な写像は存在しない。
• Hochschildホモロジー $ R_{k,l} \bigotimes_{k+l} R_{k,l} $ は明示的に計算され、ホモロジー群 $ H_{-i} $ は商環 $ R' \simeq R^\prime $ のイデアルの直和と同型である。
• ホモロジーの $ q $-次元は恒等式 $ \sum_{i=0}^{l} (-1)^i t^i \mathrm{qdim} H_{-i} = \mathrm{qdim} R' \cdot \prod_{i=1}^{l} (1 - t^{-1} q^{2k + 2i - 1}) $ を満たし、二角形移動公理が確認される。
• $ \mathrm{qdim}(I_j) $ の計算は自由グレーディング分解を用いてなされ、$ \mathrm{qdim} I_j = \mathrm{qdim} R' \sum_{i=j}^{l} (-1)^{i-j} q^{i(i+1+2(k-l)) + j(j-1)} \binom{i-1}{i-j}_q \binom{l}{i}_q $ を得る。
• 最終的な恒等式は、$ q $-二項係数およびKroneckerデルタの組合せ的簡約を用いて検証され、カテゴリフィケートされた関係が確認される。
• 一意なbimodule写像は、Khovanov-Laudaのカテゴリフィケートされた量子群の計算に用いられるFrobenius代数における基底の直交性の構造的役割を果たす。