[論文レビュー] On the noncommutative Donaldson-Thomas invariants arising from brane tilings

Sergey Mozgovoy, Markus Reineke|ArXiv.org|Sep 1, 2008

Algebraic structures and combinatorial models参考文献 17被引用数 32

ひとこと要約

この論文は、brane tiling から導かれるquiver potential代数の非可換Donaldson-Thomas不変量について、標準的グレーディングとトーラス作用を用いて、パスのposetにおけるイデアルの数え上げに帰着することで、組み合わせ的公式を確立する。一貫性のあるbrane tilingは3-Calabi-Yau代数をもたらすことを証明し、不変量の生成関数のp latteristic対数の有理関数性を予想する。

ABSTRACT

Given a brane tiling, that is a bipartite graph on a torus, we can associate with it a quiver potential and a quiver potential algebra. Under certain consistency conditions on a brane tiling, we prove a formula for the Donaldson-Thomas type invariants of the moduli space of framed cyclic modules over the corresponding quiver potential algebra. We relate this formula with the counting of perfect matchings of the periodic plane tiling corresponding to the brane tiling. We prove that the same consistency conditions imply that the quiver potential algebra is a 3-Calabi-Yau algebra. We also formulate a rationality conjecture for the generating functions of the Donaldson-Thomas type invariants.

研究の動機と目的

• コンパクトの非可換Donaldson-Thomas不変量を、brane tilingに由来する任意のbrane tilingに一般化すること。
• フレームド循環加群のモジュライ空間におけるトーラス固定点を用いた、DT不変量の組み合わせ的公式の確立。
• 一貫性のあるbrane tilingが、標準的グレーディングを伴う3-Calabi-Yau quiver potential代数をもたらすことを証明すること。
• 生成関数のp latteristic対数の有理関数性に関する予想を提示し、検証すること。
• 有限イデアルとパスposetの間の双対性を用いて、不変量を周期的平面タイルの完全マッチングと関連付けること。

提案手法

• 新しい頂点 * を用いたフレームドクウェイ構成により、quiver potential代数上のフレームド循環加群のモジュライ空間を構成する。
• brane tilingから得られる標準的グレーディングを導入し、有限個の固定点を持つトーラス作用を可能にする。
• 局所化技術を用いて、重み付きオイラー標跡（DT不変量）を固定点の和として表現し、パスposetにおけるイデアルの数え上げに帰着する。
• パスposetにおける有限イデアルと、無限遠における所定の振る舞いを示す周期的平面タイルの完全マッチングとの間の双対性を確立する。
• ホモロジー代数とポテンシャル理論を用いて、一貫性条件の下でquiver potential代数が3-Calabi-Yau代数であることを証明する。
• 生成関数 $ Z^i(A) $ を定義し、p latteristic指数と対数を適用してその有理関数性を分析する。既知の例（$ \mathbb{C}^3/\mathbb{Z}_n $、$ \mathbb{C}^3/(\mathbb{Z}_2\times\mathbb{Z}_2) $、コンパクト）にインスパイドされる。

実験結果

リサーチクエスチョン

• RQ1 brane tiling に由来するquiver potential代数の非可換Donaldson-Thomas不変量は、どのように計算できるか？
• RQ2 フレームド循環加群のモジュライ空間と周期的タイルの完全マッチングとの間にはどのような関係があるか？
• RQ3 brane tiling に付随するquiver potential代数が3-Calabi-Yau代数であるための条件は何か？
• RQ4 一貫性のあるbrane tilingに対して、不変量の生成関数のp latteristic対数は有理関数か？
• RQ5 一般に、不変量の生成関数はマクマホン型関数の積として表現可能か？

主な発見

• パスposetにおける有限イデアルと、無限遠で所定の振る舞いを示す周期的タイルの完全マッチングとの間の双対性を用いて、非可換DT不変量の組み合わせ的公式が導出された。
• 一貫性のあるbrane tilingに付随するquiver potential代数が3-Calabi-Yau代数であることが証明され、既知のコンパクトの場合の結果を一般化した。
• 不変量の生成関数 $ Z^i(A) $ はp latteristic操作を用いて表現可能であり、既知の例（$ \mathbb{C}^3/\mathbb{Z}_n $、$ \mathbb{C}^3/(\mathbb{Z}_2\times\mathbb{Z}_2) $、コンパクト）ではそのp latteristic対数が有理関数であることが示された。
• スパゲッティ・ピンチ・ポイントに対して、等しい変数における $ Z^1(A) $ のp latteristic対数は $ \frac{x^{11}+2x^{10}+\cdots+x}{(1-x^6)^2} $ であり、有理関数性が確認された。
• Model I の $ dP3 $ に対して、$ Z^1(A) $ のp latteristic対数は $ \frac{x^{11}+x^{10}+\cdots+x}{(1-x^6)^2} $ であり、さらに有理関数性予想を支持する。
• 有理関数性予想を提示した：任意の一貫性のあるbrane tilingに対して、等しい変数での $ \operatorname{Log}(Z^i(A)) $ は有理関数であるが、一般には成り立たない（例：$ \mathbb{C}^3/\mathbb{Z}_3 $ で $ \frac{1}{3}(1,1,1) $）。