[論文レビュー] Refined invariants of finite-dimensional Jacobi algebras

Ben Davison|arXiv (Cornell University)|Mar 2, 2019

Algebraic structures and combinatorial models参考文献 37被引用数 9

ひとこと要約

本稿は、有限次元ジャコビ代数、特に収縮代数を用いた、3次元多様体内のフロッピング曲線のための洗練された Gopakumar–Vafa 不変量を、コhomological Donaldson–Thomas理論を用いて導入する。これらの不変量が、次数0に集中し、ヴェルディエ自己双対的であることを証明する。また、次元をとることで古典的 Gopakumar–Vafa 不変量が回復され、モチーフ的クラスがモノドロミー付き混合Hodge構造のGrothendieck環において有効であることを示し、正値性を確認するとともに、カテゴライズされた有理化予想を支持する。

ABSTRACT

We define and study refined Gopakumar-Vafa invariants of contractible curves in complex algebraic 3-folds, alongside the cohomological Donaldson--Thomas theory of finite-dimensional Jacobi algebras. These Gopakumar-Vafa invariants can be constructed one of two ways: as cohomological BPS invariants of contraction algebras controlling the deformation theory of these curves, as defined by Donovan and Wemyss, or by feeding the moduli spaces that Katz used to define genus zero Gopakumar-Vafa invariants into the machinery developed by Joyce et al. The conjecture that the two definitions give isomorphic results is a special case of a kind of categorified version of the strong rationality conjecture due to Pandharipande and Thomas, that we discuss and propose a means of proving. We prove the positivity of the cohomological/refined BPS invariants of all finite-dimensional Jacobi algebras. This result supports this strengthening of the strong rationality conjecture, as well as the conjecture of Brown and Wemyss stating that all finite-dimensional Jacobi algebras for appropriate symmetric quivers are isomorphic to contraction algebras.

研究の動機と目的

• 有限次元ジャコビ代数のコhomological DT理論を用いて、3次元多様体内の収縮可能曲線のための洗練された Gopakumar–Vafa 不変量を定義すること。
• 収縮代数のBPS不変量を用いて、モチーフ的DT不変量とBPSコホモロジーの関係をカテゴライズ化した形で強有理化予想を確立すること。
• すべての有限次元ジャコビ代数に対して、コhomological BPS不変量が常に有効である、すなわち、複体ではなく真のモノドロミー付き混合Hodge構造によって表されることを証明すること。
• すべての対称クーヴィーに対して有限次元ジャコビ代数が収縮代数に同型であるというBrown–Wemyss予想を支持すること。

提案手法

• 収縮代数のBPSコホモロジーとして、モノドロミー付き混合Hodge構造の圏に値をとるコホモロジー的グレーディング付き Gopakumar–Vafa 不変量を定義する。
• 消失サイクルコホモロジーと交差コホモロジーの道具立てを用いて、収縮代数の表現のモジュライから不変量を構成する。
• モチーフ的積分とプレシスティック指数を用いて、モチーフ的DT不変量とモノドロミー付き混合Hodge構造のGrothendieck環におけるBPS不変量との関係を確立する。
• 多様体のGrothendieck環におけるカットアンドパースト関係を用いて、グラスマンニアン商の極限を分析し、モチーフ的不変量への収束を確立する。
• GLγ-バンドルがZariski局所的に自明であるという事実を活用し、モチーフ的積分を計算する目的でGrothendieck環における恒等式を導出する。
• モチーフ的BPS不変量がJ写像を経由してコホモロジー的BPS不変量に写されるのを証明し、それによりGrothendieck環における有効性が確認される。

実験結果

リサーチクエスチョン

• RQ1 消失サイクルを用いて定義された有限次元ジャコビ代数のコホモロジー的BPS不変量は、次元をとることで古典的 Gopakumar–Vafa 不変量に一致するか？
• RQ2 モチーフ的DT不変量とモノドロミー付き混合Hodge構造のGrothendieck環におけるBPSコホモロジーの関係をカテゴライズ化した形で、強有理化予想のバージョンを構築できるか？
• RQ3 有限次元ジャコビ代数のBPS不変量は常に有効であるか、すなわち、複体ではなく真のモノドロミー付き混合Hodge構造によって表されるか？
• RQ4 高長さのフロッピング曲線の洗練されたDT理論は、収縮代数を用いて定義されたコホモロジー的不変量によって完全に計算可能か？
• RQ5 J写像は、モチーフ的BPS不変量をモノドロミー付き混合Hodge構造のGrothendieck環におけるコホモロジー的BPS不変量に写すか？

主な発見

• コホモロジー的 Gopakumar–Vafa 不変量 GV_{C,r,0} はコホモロジー次数0に集中しており、ヴェルディエ自己双対的である。
• GV_{C,r,0} の次元は古典的 Gopakumar–Vafa 不変量 n_{C,r} に一致するため、これらの不変量は数値不変量のカテゴライズ化である。
• モノドロミー付き混合Hodge構造のGrothendieck環における [GV_{C,r,0}] のクラスは有効であるため、不変量の正値性が確認された。
• l(C) = 1 の場合、r > 1 に対して洗練された不変量は消える。これは、アティヤのフロップやライドのパゴダに関する既知の結果と整合的である。
• モチーフ的BPS不変量 Ω_{Q,W,γ} がJ写像を経由してコホモロジー的BPS不変量 [BPS_{Q,W,γ}] に写される。これにより、モチーフ的とコホモロジー的DT理論の間の重要な接続が確立された。
• 有効性の証明は、グラスマンニアン近似によるモチーフ的積分の収束性と、Grothendieck環におけるGLγ-バンドルの特別性に依拠している。