[論文レビュー] Attractor invariants, brane tilings and crystals

Sergey Mozgovoy, Boris Pioline|arXiv (Cornell University)|Dec 28, 2020

Black Holes and Theoretical Physics参考文献 102被引用数 23

ひとこと要約

本稿は、ブレーンタイリングおよびポテンシャル付きクオーバーを用いて、トーリックCalabi-Yau3-fold上のD-brane束縛状態のための特別なドナルドソン=トーマス不変量（アトラクター不変量）を計算する。アトラクター不変量は、次元ベクトルが単純表現のものであるか、歪対称化されたオイラー形式の核に属する場合に限り非ゼロであることが確立され、精錬BPSインデックスを用いた明示的公式が提示され、結晶溶融と壁交叉構造により検証されている。

ABSTRACT

Supersymmetric D-brane bound states on a Calabi-Yau threefold $X$ are counted by generalized Donaldsdon-Thomas invariants $Ω_Z(γ)$, depending on a Chern character (or electromagnetic charge) $γ\in H^*(X)$ and a stability condition (or central charge) $Z$. Attractor invariants $Ω_*(γ)$ are special instances of DT invariants, where $Z$ is the attractor stability condition $Z_γ$ (a generic perturbation of self-stability), from which DT invariants for any other stability condition can be deduced. While difficult to compute in general, these invariants become tractable when $X$ is a crepant resolution of a singular toric Calabi-Yau threefold associated to a brane tiling, and hence to a quiver with potential. We survey some known results and conjectures about framed and unframed refined DT invariants in this context, and compute attractor invariants explicitly for a variety of toric Calabi-Yau threefolds, in particular when $X$ is the total space of the canonical bundle of a smooth projective surface, or when $X$ is a crepant resolution of $C^3/G$. We check that in all these cases, $Ω_*(γ)=0$ unless $γ$ is the dimension vector of a simple representation or belongs to the kernel of the skew-symmetrized Euler form. Based on computations in small dimensions, we predict the values of all attractor invariants, thus potentially solving the problem of counting DT invariants of these threefolds in all stability chambers. We also compute the non-commutative refined DT invariants and verify that they agree with the counting of molten crystals in the unrefined limit.

研究の動機と目的

• 非コンパクトなSU(3)ホロノミーを持つCalabi-Yau3-fold上における超対称D-brane束縛状態のためのアトラクター不変量を計算すること。
• クオーバー表現とブレーンタイリングを用いて、アトラクター領域における一般化されたドナルドソン=トーマス不変量を体系的に計算する方法を確立すること。
• アトラクター不変量が、単純表現の次元ベクトルであるか、歪対称化されたオイラー形式の核に属する場合に限りゼロであることを検証すること。
• 精錬BPSインデックスを用いたすべてのアトラクター不変量の明示的公式を提示し、結晶溶融と壁交叉公式により検証すること。
• 非可換精錬DT不変量と未精錬極限における溶融結晶の数え上げを結びつけること。

提案手法

• クリープント解体のためのトーリックCalabi-Yau3-foldのブレーンタイリング構成を用い、ポテンシャル付きクオーバーを導出する。
• ジョイス=ラインェケの公式を適用し、ジャコビアン代数のフレームレススタック不変量からアトラクター不変量を計算する。
• 壁交叉構造とアトラクター木の公式を用いて、安定性の領域を越えた不変量の関係を確立する。
• コーブル・ブランチ公式を用いて不変量を検証し、物理的期待と整合性があることを確認する。
• $\tilde{Y}^{3,2}$および$Y^{3,2}$クオーバー・モデルを用い、精錬不変量を計算し、それらを結晶溶融の分配関数と一致させる。
• トーリック幾何と$\tilde{\rho}$-重み付けを用いて、クリープント解体のモチーフを計算し、それらをアトラクター不変量に関連付ける。

実験結果

リサーチクエスチョン

• RQ1 局所的ファノ面および$χ^3/G$の小規模クリープント解体に対して、D-brane束縛状態のアトラクター不変量は何か？
• RQ2 アトラクター領域における精錬ドナルドソン=トーマス不変量は、結晶溶融モデルとどのように関係するか？
• RQ3 アトラクター不変量が消える条件は何か？非ゼロとなる条件は何か？
• RQ4 アトラクター不変量は、ポテンシャル付きクオーバーの構造とそのジャコビアン代数から完全に決定可能か？
• RQ5 非可換精錬DT不変量は、未精錬の結晶溶融分配関数とどのように一致するか？

主な発見

• アトラクター不変量$Ω_*(\gamma)$は、$\gamma$が単純表現の次元ベクトルであるか、歪対称化されたオイラー形式の核に属する場合に限り非ゼロである。
• $\mathbb{C}^3/\mathbb{Z}_2 \times \mathbb{C}$に対して、アトラクター不変量は$Ω_*(e_i) = 1$および$Ω_*(n\delta) = -y^{-1}(y^4 + 3y^2 + 2)$（$n \geq 1$）であり、それ以外はすべてゼロである。
• $\mathbb{C}^3/\mathbb{Z}_5$に対して、不変量は$Ω_*(e_i) = 1$および$Ω_*(n\delta) = -y^{-1}(y^4 + 2y^2 + 2)$であり、トーリック図からのモチーフと整合的である。
• $\mathbb{C}^3/\mathbb{Z}_6$（作用$(\omega, \omega^2, \omega^3)$）に対して、$Ω_*(e_i) = 1$、$Ω_*(n\delta) = -y^{-1}(y^2 + 1)(y^2 + 2)$、および$Ω_*(e_i + e_{i+2} + e_{i+4} + n\delta) = -y$（$n \geq 0$）であり、それ以外はすべてゼロである。
• 精錬不変量は未精錬の結晶溶融分配関数と一致し、コーブル・ブランチ公式および物理的期待と整合的であることが確認された。
• 予想6.11により一般式が提示される：$Ω_*(n\delta) = (-y)^{-3}[\widetilde{\mathcal{X}}_N]$、ここで$[\widetilde{\mathcal{X}}_N]$は$\mathbb{C}^3/\mathbb{Z}_N$のクリープント解体のモチーフである。