[論文レビュー] Motivic invariants of quivers via dimensional reduction

Andrew Morrison|arXiv (Cornell University)|Mar 19, 2011

Algebraic structures and combinatorial models参考文献 13被引用数 8

ひとこと要約

本稿では、超ポテンシャルに線形因子が存在する場合、通常の還元されたクーヴィー表現のモチーフ類を用いて仮想モチーフを表現することにより、クーヴィーのモチーフ的ドナルドソン＝トーマス不変量を計算する次元削減技術を導入する。主な結果は、$[\mathbb{C}^3/\mathbb{Z}_n]$ のオルビフォールドのモチーフ的 DT 不変量の計算を簡略化する還元公式であり、ベン・ヤングの 3D 有色分割に関する結果を refining する明示的な生成関数を与える。

ABSTRACT

We provide a reduction formula for the motivic Donaldson-Thomas invariants associated to a quiver with superpotential. The method is valid provided the superpotential has a linear factor, it allows us to compute virtual motives in terms of ordinary motivic classes of simpler quiver varieties. We outline an application, giving explicit formulas for the motivic Donaldson-Thomas invariants of the orbifolds $[\CC imes \CC^2/\ZZ_n]$.

研究の動機と目的

• 超ポテンシャルに線形因子が存在する場合の、超ポテンシャル付きクーヴィーのモチーフ的ドナルドソン＝トーマス不変量を計算する一般的手法を開発すること。
• 仮想モチーフの計算を、より単純な還元されたクーヴィー表現多様体の通常モチーフ類に還元すること。
• $[\mathbb{C}^3/\mathbb{Z}_n]$ のオルビフォールドのモチーフ的 DT 不変量を還元公式を用いて計算すること。これは幾何的に重要なカラビ＝ヤウ3次元多様体のオルビフォールドである。
• ベン・ヤングの 3D 有色分割に関する結果をモチーフ的精製することにより、これらの不変量の明示的生成関数を導出すること。

提案手法

• 本手法は次元削減に依存する：超ポテンシャル $W = L \cdot R$ が線形因子 $L$ を持つ場合、$\operatorname{Tr}W$ の臨界点集合は、$R(M) = 0$ を定義する還元されたクーヴィー多様体 $R^{Q,W}(\mathbf{v})$ と関連づけられる。
• 仮想モチーフ $[\operatorname{DT}^{Q,W}(\mathbf{v},\mathbf{f})]_{\textrm{vir}}$ は、次元ベクトル $\mathbf{w} \leq \mathbf{v}$ の和として表され、部分多様体 $Y^{Q,W}(\mathbf{v},\mathbf{w},\mathbf{f})$ および $Z^{Q,W}(\mathbf{v},\mathbf{w},\mathbf{f})$ のモチーフ類を含む。
• 還元は、グローテンディーク環 $\mathcal{M}_{\mathbb{C}}^{St}$ 上の量子化されたポアンカーレ代数 $S_Q$ において定式化され、オイラー形式 $\langle \cdot, \cdot \rangle_Q$ を用いて定義される非可換積 $\ast$ を用いる。
• 鍵となる恒等式は、還元空間のモチーフが、より小さい DT 局所の仮想モチーフおよび補数次元の還元空間のモチーフを含む和に関連することを示す。
• 手法は、Lefschetz モチーフ $\mathbb{L}^{-1/2}$ の形式的逆平方根と、グローテンディーク環における一般線形群の逆元を用いて、自己同型群を扱う。
• 本手法は、$\mathbb{C}^3$ のヒルベルトスキームに関する先行結果を一般化し、[8] のコhomological Hall 代数の還元をモチーフ的設定に拡張する。

実験結果

リサーチクエスチョン

• RQ1 超ポテンシャルに線形因子が存在する場合、どのようにして超ポテンシャル付きクーヴィーのモチーフ的ドナルドソン＝トーマス不変量を計算できるか？
• RQ2 臨界点集合の仮想モチーフ $[\operatorname{DT}^{Q,W}(\mathbf{v},\mathbf{f})]_{\textrm{vir}}$ と還元されたクーヴィー表現多様体 $R^{Q,W}(\mathbf{v})$ の通常モチーフ類との間の正確な関係は何か？
• RQ3 次元削減技法は、カラビ＝ヤウ3次元多様体上の層のモジュライ空間として現れるオルビフォールド $[\mathbb{C}^3/\mathbb{Z}_n]$ のモチーフ的 DT 不変量を計算するために適用可能か？
• RQ4 還元公式は、ベン・ヤングの 3D 有色分割に関する既知の古典的不変量をどの程度回復するか？
• RQ5 これらの不変量のモチーフ的生成関数は、還元されたデータからどのように明示的に構成できるか？

主な発見

• 本稿では、仮想モチーフ $[\operatorname{DT}^{Q,W}(\mathbf{v},\mathbf{f])}_{\textrm{vir}}$ が、還元されたクーヴィー多様体 $R^{Q,W}(\mathbf{v}-\mathbf{w})$ のモチーフ類およびより小さい DT 局所の仮想モチーフに依存する還元公式を確立した。
• $[\mathbb{C}^3/\mathbb{Z}_n]$ のオルビフォールドに対して、モチーフ的 DT 生成関数が明示的に計算され、$m \geq 1$ および $k=1,\dots,m$ の積として表され、$\mathbb{L}^{2-k+m/2}$ および $\mathbb{L}^{1-k+m/2}$ の項を含む。
• 生成関数には、$\{0,\dots,n-1\}$ の区間 $[a,b] \subset \{0,\dots,n-1\}$ における積が追加で含まれており、これは $\mathbb{Z}_n$ の表現論と $A_n$ 型クーヴィー構造を反映している。
• この公式は、ベン・ヤングの 3D 有色分割の古典的不変量に特殊化され、彼の結果のモチーフ的精製を提供する。
• 次元削減法により、$[\mathbb{C}^3/\mathbb{Z}_n]$ のモチーフ的 DT 不変量が、可換多様体とグラスマンニアンのモチーフ類に還元されることで、成功裏に計算された。
• 結果として、$[\mathbb{C}^3/\mathbb{Z}_n]$ のモチーフ的 DT 不変量が、Lefschetz モチーフ $\mathbb{L}$、次元に依存する指数、および表現インデックスに関する対称積を含む積公式に符号化されていることが確認された。