[논문 리뷰] Attractor invariants, brane tilings and crystals

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

Black Holes and Theoretical Physics참고 문헌 102인용 수 23

한 줄 요약

이 논문은 브레인 타일링과 포텐셜을 가진 퀘일을 사용하여 토릭 칼라비-유오 3차원에서의 D-브레인 결합 상태에 대한 특수 도널드슨-타운스엔드 불변량인 어트랙터 불변량을 계산한다. 어트랙터 불변량은 차원 벡터가 단순 표현의 것이거나 왜곡된 오일러 형식의 핵에 속해 있지 않은 한 항상 0이 되며, 정련된 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) 호로노미를 가진 비콤팩트 칼라비-유오 3차원에서 초대칭 D-브레인 결합 상태에 대한 어트랙터 불변량을 계산하기 위해.
• 퀘일 표현과 브레인 타일링을 사용하여 어트랙터 영역에서 일반화된 도널드슨-타운스엔드 불변량을 체계적으로 계산하는 방법을 수립하기 위해.
• 어트랙터 불변량이 단순 표현의 차원 벡터이거나 왜곡된 오일러 형식의 핵에 속해 있지 않은 한 항상 0이 되는 것을 입증하기 위해.
• 정련된 BPS 지수에 대한 어트랙터 불변량의 명시적 공식을 제안하고, 결정 융해와 벽을 넘는 공식을 통해 검증하기 위해.
• 비가환 정련된 DT 불변량이 비정련한 한계에서 융해된 결정의 수를 세는 것과 어떻게 연결되는지 이해하기 위해.

제안 방법

• 크립란트 분해를 가진 토릭 칼라비-유오 3차원에 대한 브레인 타일링 구조를 활용하여 포텐셜을 가진 퀘일을 유도한다.
• 조이스-레인케 공식을 적용하여 잭비안 대수의 프레임 없는 스택 불변량에서 어트랙터 불변량을 계산한다.
• 벽을 넘는 구조와 어트랙터 트리 공식을 활용하여 안정성 영역 간의 불변량을 연결한다.
• 쿨롱 브랜치 공식을 사용하여 불변량을 확인하고 물리적 기대와의 일관성을 검증한다.
• $\tilde{Y}^{3,2}$ 및 $Y^{3,2}$ 퀘일 모델을 적용하여 정련된 불변량을 계산하고, 결정 융해 분할 함수와 일치시킨다.
• 토릭 기하학과 $\tilde{\rho}$-등급을 활용하여 크립란트 분해의 모티브를 계산하고, 이를 어트랙터 불변량과 연결한다.

실험 결과

연구 질문

• RQ1 로컬 팬오 표면과 $χ^3/G$의 소형 크립란트 분해에 대한 D-브레인 결합 상태에 대한 어트랙터 불변량은 무엇인가?
• RQ2 어트랙터 영역 내 정련된 도널드슨-타운스엔드 불변량은 결정 융해 모델과 어떻게 관련이 있는가?
• RQ3 어트랙터 불변량이 언제 0이 되고, 언제 비영이 되는가?
• RQ4 퀘일과 포텐셜의 구조 및 그 잭비안 대수로부터 어트랙터 불변량을 완전히 결정할 수 있는가?
• RQ5 비가환 정련된 DT 불변량은 비정련한 결정 융해 분할 함수와 어떻게 일치하는가?

주요 결과

• 어트랙터 불변량 $Ω_*(\gamma)$ 는 $\gamma$ 가 단순 표현의 차원 벡터이거나 왜곡된 오일러 형식의 핵에 속해 있지 않은 한 항상 0이다.
• $\mathbb{C}^3/\mathbb{Z}_2 \times \mathbb{C}$ 에서 어트랙터 불변량은 $\Omega_*(e_i) = 1$ 이고 $\Omega_*(n\delta) = -y^{-1}(y^4 + 3y^2 + 2)$ 이며 $n \geq 1$ 일 때 성립하며, 나머지는 모두 0이다.
• $\mathbb{C}^3/\mathbb{Z}_5$ 에서 불변량은 $\Omega_*(e_i) = 1$ 이고 $\Omega_*(n\delta) = -y^{-1}(y^4 + 2y^2 + 2)$ 이며, 토릭 다이어그램에서 유도된 모티브와 일치한다.
• $\mathbb{C}^3/\mathbb{Z}_6$ 에서 작용 $(\omega, \omega^2, \omega^3)$ 이면 $\Omega_*(e_i) = 1$, $\Omega_*(n\delta) = -y^{-1}(y^2 + 1)(y^2 + 2)$, 그리고 $\Omega_*(e_i + e_{i+2} + e_{i+4} + n\delta) = -y$ 이며 $n \geq 0$ 일 때 성립하며, 나머지는 모두 0이다.
• 정련된 불변량은 비정련한 결정 융해 분할 함수와 일치하여, 쿨롱 브랜치 공식과 물리적 기대와의 일관성을 확인한다.
• 추측 6.11은 일반 공식을 제공한다: $\Omega_*(n\delta) = (-y)^{-3}[\widetilde{\mathcal{X}}_N]$, 여기서 $[\widetilde{\mathcal{X}}_N]$ 은 $\mathbb{C}^3/\mathbb{Z}_N$ 의 크립란트 분해의 모티브이다.