[論文レビュー] Donaldson-Thomas Transformation of Double Bruhat Cells in General Linear Groups

Daping Weng|arXiv (Cornell University)|Jun 6, 2016

Advanced Algebra and Geometry参考文献 18被引用数 4

ひとこと要約

本稿は、GoncharovとShenの予想を一般線型群 $\mathrm{GL}_n$ に対して証明し、二重商 $H\backslash\mathrm{GL}_n^{u,v}/H$ 上のDonaldson-Thomas変換が、Fomin-Zelevinskyのねじれ写像と密接に関連したクラスター変換であることを示している。唯一の差異は反自己同型にすぎない。この結果により、アービタリの合成（統合、クラスタ代数同型、$p$-写像を含む）を通じて、FockとGoncharovの双対性予想がこの場合に確認される。

ABSTRACT

Kontsevich and Soibelman defined the Donaldson-Thomas invariants of a 3d Calabi-Yau category with a stability condition. Any cluster variety can produce an example of such a category, whose corresponding Donaldson-Thomas invariants are encoded by a special formal automorphism of the cluster variety, known as the Donaldson-Thomas transformation. In this paper we prove a conjecture of Goncharov and Shen in the case of $\mathrm{GL}_n$, which describes the Donaldson-Thomas transformation of the double quotient of the double Bruhat cells $H \backslash \mathrm{GL}_n^{u,v}/H$ where $H$ is a maximal torus, as a certain explicit cluster transformation related to Fomin-Zelevinsky's twist map. Our result, combined with the work of Gross, Hacking, Keel, and Kontsevich, proves the duality conjecture of Fock and Goncharov in the case of $H\backslash \mathrm{GL}_n^{u,v}/H$.

研究の動機と目的

• $H\backslash\mathrm{GL}_n^{u,v}/H$ 上のDonaldson-Thomas変換が、Fomin-Zelevinskyのねじれ写像に関連するクラスター変換であるという、GoncharovとShenの予想を証明すること。
• クラスターDT変換とねじれ写像との間の同値性を、反自己同型 $x \mapsto x^\iota$ を除いて示すこと。
• $\chi \circ \psi \circ p$ の写像の合成がクラスターDT変換をもたらすことを確認し、FockとGoncharovの双対性予想を $H\backslash\mathrm{GL}_n^{u,v}/H$ に対して検証すること。
• クラスタ多様体、トロピカル化、ポisson構造を用いた幾何学的・代数的特徴付けを通じて、DT変換を特定すること。

提案手法

• FockとGoncharovの統合写像 $\chi$ を用い、クラスタポアンソン多様体 $\mathcal{X}$ を $H\backslash\mathrm{GL}_n^{u,v}/H$ に結びつける。
• Berenstein-Fomin-Zelevinskyの同型 $\psi$ を $\mathrm{GL}_n^{u,v}$ からクラスタ $\mathcal{A}$-多様体 $\mathcal{A}$ に適用し、$\mathcal{O}(\mathrm{GL}_n^{u,v})$ 上のクラスタ代数構造を活用する。
• FockとGoncharovの $p$-写像を用い、$\mathcal{A}$-多様体から元の $\mathcal{X}$ に戻すことで、合成 $\psi \circ \chi \circ p$ を完成させる。
• ガウス分解 $x = [x]_- [x]_0 [x]_+$ とWeyl群元の上への持ち上げ $\overline{w}$ を用いて、DT変換を明示的に表現する。
• Plücker座標におけるトロピカル化と次数計算を適用し、変換のクラスター性およびクラスタ変数への作用を検証する。
• 次数計算により $\deg_{X_f}(\psi \circ \chi)^*(X_g) = -\delta_{fg}$ が成り立つことから、合成 $\psi \circ \chi$ がクラスターDT変換として作用することを示す。

実験結果

リサーチクエスチョン

• RQ1 $H\backslash\mathrm{GL}_n^{u,v}/H$ 上のDonaldson-Thomas変換は、GoncharovとShenが予想したようにクラスター変換であるか？
• RQ2 $\mathrm{GL}_n$ の場合に、DT変換はFomin-Zelevinskyのねじれ写像とどのように関係しているか？
• RQ3 $p$-写像、$\psi$、$\chi$ の合成がクラスターDT変換をもたらすことを示せるか？
• RQ4 $H\backslash\mathrm{GL}_n^{u,v}/H$ 上のDT変換は、FockとGoncharovの双対性予想を満たすか？
• RQ5 ガウス分解とWeyl群の持ち上げを用いた場合、DT変換の明確な代数的形は何か？

主な発見

• $H\backslash\mathrm{GL}_n^{u,v}/H$ 上のDonaldson-Thomas変換は、明示的に $\mathrm{DT}: H\backslash x/H \mapsto H\backslash \left(\left[\overline{u}^{-1}x\right]_-^{-1}\overline{u}^{-1}x\overline{v^{-1}}\left[x\overline{v^{-1}}\right]_+^{-1}\right)^t / H$ で与えられる。
• DT変換は、Fomin-Zelevinskyのねじれ写像と、反自己同型 $x \mapsto x^\iota$ のみの差異を除いて同一であり、これはGoncharovとShenの対合 $i_{\mathcal{X}}$ と一致する。
• $\psi \circ \chi$ は、次数計算により $\deg_{X_f}(\psi \circ \chi)^*(X_g) = -\delta_{fg}$ が成り立つことからクラスター変換であることが確認される。
• 命題2.35の基準により、変換 $\psi \circ \chi$ はクラスターDonaldson-Thomas変換として特定される。
• この結果により、$G = \mathrm{GL}_n$ の場合にFockとGoncharovの双対性予想が証明される。
• 類似の構成により、$\mathrm{SL}_n$ および $\mathrm{PGL}_n$ に対しても同様の結果が拡張可能であるが、本稿の本筋では完全には詳細化されていない。