[論文レビュー] Non-commutative width and Gopakumar-Vafa invariants

Yukinobu Toda|arXiv (Cornell University)|Nov 6, 2014

Algebraic Geometry and Number Theory参考文献 7被引用数 4

ひとこと要約

本稿は、3次元多様体におけるフロッピング曲線のDonovan-Wemyssの非可換幅と、KatzのGenus-zero Gopakumar-Vafa不変量との間の明確な関係を確立する。非可換幅が、曲線類 $ j[C] $ における $ j^2 \cdot n_j $ の和に等しく、可換幅が $ n_1 $ に等しいことを証明する。ここで $ n_j $ は1次元安定層の仮想的数である。この結果により、変形理論と自己同型の変形を介して、非可換不変量が可換な数え上げ不変量として特定される。

ABSTRACT

We show that the non-commutative widths for flopping curves on smooth 3-folds introduced by Donovan-Wemyss are described by Katz's genus zero Gopakumar-Vafa invariants.

研究の動機と目的

• Donovan-Wemyssの非可換幅と可換幅を、数え上げ不変量の観点から解釈すること。
• これらの幅が、3次元多様体上の1次元安定層の数え上げを表すGenus-zero Gopakumar-Vafa不変量 $ n_j $ によって決定されることを示すこと。
• フロップ-フロップ自己同型の変形を通じて、非可換代数幾何学と数え上げ幾何学の橋渡しをすること。
• 先行研究におけるフロップ-フロップ自己同型と一般化されたねじれファンクターとの関係に関する符号の誤りを是正すること。

提案手法

• Donovan-Wemyssの主結果、すなわちBridgeland-Chenのフロップ-フロップ自己同型を実現する非可換ねじれファンクターを用いる。
• フロッピング収縮 $ f: X \to Y $ を、$(-1,-1)$-曲線の族に変形し、類 $ j[C] $ におけるその数が $ n_j $ に等しくなるようにする。
• 非可換ねじれファンクターの変形を、$(-1,-1)$-曲線に沿ったSeidel-Thomasの球面的ねじれファンクターの合成に解析する。
• 非可換ねじれファンクターの核のヒルベルト多項式と、変形された球面的ねじれファンクター合成のヒルベルト多項式との関係を特定する。
• Grothendieckの双対性と核の同型の一意性を適用し、変形されたファンクターの核を同定する。
• 先行研究におけるフロップ-フロップ自己同型に関する誤った記述を是正し、それが一般化されたねじれファンクター $ T_{\mathcal{E}} $ の逆であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Donovan-Wemyssの非可換幅は、フロッピング曲線に関してGopakumar-Vafa不変量とどのように関係しているか？
• RQ2 非可換幅は、純粋に可換な数え上げ不変量によって計算可能か？
• RQ3 収縮代数とGenus-zero GV不変量との正確な関係は何か？
• RQ4 なぜフロップ-フロップ自己同型は、以前の研究で示唆されたように一般化されたねじれファンクターと同型でないのか？
• RQ5 収縮 $ f $ が複数の $(-1,-1)$-曲線に変形されるとき、その変形が不変量 $ n_j $ にどのように反映されるか？

主な発見

• 非可換幅 $ \mathrm{wid}(C) $ は $ \sum_{j=1}^{l} j^2 \cdot n_j $ に等しく、ここで $ l $ は特異点上のファイバーのスキーム的長さである。
• 可換幅 $ \mathrm{cwid}(C) $ は $ n_1 $ に等しく、これは類 $ [C] $ に対するGenus-zero Gopakumar-Vafa不変量である。
• $ R_k = \mathbb{C}[u,v,x,y]/(u^2 + v^2 y = x(x^2 + y^{2k+1})) $ の $ (1,-3) $-曲線の例では、$ \mathrm{wid}(C) = 3(2k+1) $ かつ $ \mathrm{cwid}(C) = 2k+3 $ であり、$ n_1 = 2k+3 $、$ n_2 = k $ であることが示唆される。
• この結果により、$ \mathrm{wid}(C) \geq \sum_{j=1}^{l} j^2 $ という、以前に知られていたものより強い下界が得られる。
• フロップ-フロップ自己同型は一般化されたねじれファンクター $ T_{\mathcal{E}} $ と同型でないが、その逆 $ T_{\mathcal{E}}^{-1} $ と同型である。これは先行研究の誤りを是正する。
• 非可換ねじれファンクターの核は、球面的ねじれファンクターの合成に変形され、それらのヒルベルト多項式が一致する。これにより、$ \mathrm{wid}(C) $ の公式が裏付けられる。