[論文レビュー] Braid cobordisms, triangulated categories, and flag varieties

Mikhail Khovanov, Richard Thomas|ArXiv.org|Sep 12, 2006

Algebraic structures and combinatorial models参考文献 35被引用数 4

ひとこと要約

この論文は、トライアングレーテッドカテゴリ上のブレード群作用をブレードコーボァリズムのカテゴリへの射影的作用へ拡張し、全フラッグ多様体の余接 bundle の滑らか層の導来カテゴリに、アフィンブレード群およびブレードコーボァリズムカテゴリの忠実な作用を構成する。主な貢献は、フーリエ＝ムカイ変換と層論的関手を用いた幾何的カテゴライゼーションを通じて、ヤン＝バクスター関係およびブレードムービー移動を整合的に実現する、ブレード群表現の幾何的実現である。

ABSTRACT

We argue that various braid group actions on triangulated categories should be extended to projective actions of the category of braid cobordisms and illustrate how this works in examples. We also construct actions of both the affine braid group and the braid cobordism category on the derived category of coherent sheaves on the cotangent bundle to the full flag variety.

研究の動機と目的

• トライアングレーテッドカテゴリ上の弱いブレード群作用を、ブレードコーボァリズムのカテゴリへの真の作用へ拡張すること。
• 全フラッグ多様体の余接 bundle の滑らか層の導来カテゴリに、アフィンブレード群の射影的作用を構成すること。
• 層論的関手およびフーリエ＝ムカイ変換を用いて、ブレード群表現を幾何的に実現すること。
• 構成された関手がヤン＝バクスター方程式およびブレードムービー移動を満たすことを確認し、位相的不変性と整合することを保証すること。

提案手法

• ブレードコーボァリズムのカテゴリをモノイダルカテゴリとみなし、ブレードの同位型を対象とし、自然変換を射とする。
• フラッグ多様体およびその余接 bundle 上の特定の滑らか層に関連するフーリエ＝ムカイ変換を用いて、$D^b(T^*Fl)$ の導来カテゴリ上の関手を構成する。
• ブレード群生成子およびその関係をモデル化するため、層論的関手 $T_i$、$U_i$ 及びそれらの随伴を用いる。
• 相対コホモロジーおよびチャーン類を用いて、関手の合成および同位型における振る舞いを分析する。
• ヤン＝バクスター関係を、導来カテゴリ内での明示的同型を示すことにより確認する。
• ブレードムービー移動に対する不変性を、評価およびコ評価写像を含む図式の可換性を検証することで証明し、$l_{X_i}$ および $r_{X_i}$ の性質を用いる。

実験結果

リサーチクエスチョン

• RQ1 トライアングレーテッドカテゴリ上のブレード群作用を、ブレードコーボァリズムのカテゴリへの作用へ持ち上げることは可能か？
• RQ2 アフィンブレード群は、$T^*Fl$ の滑らか層の導来カテゴリにどのように射影的に作用するか？
• RQ3 構成された関手は、導来カテゴリにおいてヤン＝バクスター方程式およびブレードムービー移動を満たすか？
• RQ4 滑らか層およびフーリエ＝ムカイ変換を用いたブレード群表現の幾何的実現は何か？
• RQ5 フラッグ多様体の文脈において、関手 $T_i$ および $U_i$ は合成および同位型においてどのように相互作用するか？

主な発見

• アフィンブレード群は、滑らか層およびフーリエ＝ムカイ変換によって誘導される関手を通じて、$D^b(T^*Fl)$ に射影的に作用する。
• $T_i$ および $U_i$ はヤン＝バクスター関係を満たし、$T_i oxtimes T_j oxtimes T_i \to T_j \boxtimes T_i \boxtimes T_j$ が導来カテゴリ内での同型として実現される。
• 負の分岐点を含むブレードムービー移動も、$l_{X_i}$ および $r_{X_i}$ を含む同型を用いて可換であることが確認され、位相的不変性が保証される。
• 同型 $U_i \boxtimes T_j \boxtimes T_i \to T_j \boxtimes T_i \boxtimes U_j$ は評価写像をインターオンネクトし、構成の整合性を確認する。
• 合成 $ (l_{X_{i+1}} - l_{X_{i-1}})\boxtimes \text{id} $ および $ \text{id} \boxtimes (r_{X_{j+1}} - r_{X_{j-1}}) $ は等しく、負の移動13における可換性が確認される。
• この構成は、有理曲線の鎖を持つ曲面へ一般化可能であり、フラッグ多様体の文脈におけるブレード群作用の幾何的カテゴライゼーションを提供する。