[논문 리뷰] Modular bootstrap for D4-D2-D0 indices on compact Calabi-Yau threefolds

Sergey Alexandrov, Nava Gaddam외 2명|arXiv (Cornell University)|2022. 04. 05.

Black Holes and Theoretical Physics인용 수 1

한 줄 요약

이 논문은 b2 = 1인 컴act Calabi-Yau 3-fold에서 D4-D2-D0 BPS 지수를 계산하기 위해 모듈라 브로드캐스트 방법을 개발하며, 생성 함수 h1(τ)의 극항(term)에 대해 랭크-1 Donaldson-Thomas 불변량을 이용한 가설을 제안한다. 13개의 허용 가능한 3-fold 중 10개에 대해 이 가설은 정수 푸리에 계수를 가진 모듈라 형식을 생성하여 무한한 수의 DT 불변량을 예측한다. 랭크-2 D4 브레인 전하 r=2의 경우, 모듈라 이상을 분리하기 위해 히르츠 허츠 클래스 수 생성함수를 이용한 비교 시리즈 h(an)2를 구성하지만, 극항은 완전한 가설이 부족하여 아직 결정되지 않았다.

ABSTRACT

We investigate the modularity constraints on the generating series $h_r( au)$ of BPS indices counting D4-D2-D0 bound states with fixed D4-brane charge $r$ in type IIA string theory compactified on complete intersection Calabi-Yau threefolds with $b_2 = 1$. For unit D4-brane, $h_1$ transforms as a (vector-valued) modular form under the action of $SL(2,Z)$ and thus is completely determined by its polar terms. We propose an Ansatz for these terms in terms of rank 1 Donaldson-Thomas invariants, which incorporates contributions from a single D6-anti-D6 pair. Using an explicit overcomplete basis of the relevant space of weakly holomorphic modular forms (valid for any $r$), we find that for 10 of the 13 allowed threefolds, the Ansatz leads to a solution for $h_1$ with integer Fourier coefficients, thereby predicting an infinite series of DT invariants.For $r > 1$, $h_r$ is mock modular and determined by its polar part together with its shadow. Restricting to $r = 2$, we use the generating series of Hurwitz class numbers to construct a series $h^{an}_2$ with exactly the same modular anomaly as $h_2$, so that the difference $h_{2}-h^{an}_2$ is an ordinary modular form fixed by its polar terms. For lack of a satisfactory Ansatz, we leave the determination of these polar terms as an open problem.

연구 동기 및 목표

• b2 = 1인 컴 pact Calabi-Yau 3-fold에서 모듈라 불변성을 이용해 D4-D2-D0 결합 상태의 BPS 지수를 결정하기.
• 직접 계산하기가 매우 어려운 랭크-0 Donaldson-Thomas 불변량을 계산하는 데 도전하는 것.
• 모듈라 제약 조건을 이용해 극항에서 생성 함수를 재구성하는 체계적인 방법을 개발하는 것.
• 랭크-1 DT 불변량과 단일 D6-D6 쌍 기여를 바탕으로 한 극항에 대한 가설의 타당성을 테스트하는 것.
• 특히 랭크-2에서 생성 함수가 모크 모듈라 형식이 되는 경우를 포함해 모듈라 브로드캐스트 프레임워크를 고랭크 D4 브레인 전하로 확장하는 것.

제안 방법

• 단일 D6-D6 쌍의 기여를 가정하여, 생성 함수 h1(τ)의 극항에 대해 랭크-1 DT 불변량을 이용한 가설을 제안한다.
• 약한 헬로모르픽 모듈라 형식의 명시적 과잉 기저를 사용하여 모듈라 제약 조건 하에서 h1(τ)를 해석한다.
• r=2의 경우, 히르츠 클래스 수 생성함수를 이용한 생성 함수 h(an)2를 구성하여 h2의 모듈라 이상을 일치시킨다.
• h2 − h(an)2를 표준 모듈라 형식으로 정의하며, 이는 극항에 의해 고정되므로 극계수를 알 경우 재구성 가능하다.
• SL(2,Z) 하에서 벡터-밸류드 모듈라 형식의 모듈라 성질을 활용하여 유한한 계수 수에 의해 전체 생성 함수를 제약한다.
• 일반화된 헤케 연산자와 스펙트럴 플로우를 적용하여 서로 다른 BPS 지수를 연결하고 모듈라 불변성과의 일致를 보장한다.

실험 결과

연구 질문

• RQ1 D4-D2-D0 생성 함수 h1(τ)의 극항은 모듈라 제약 조건과 물리적 가설을 통해 체계적으로 재구성될 수 있는가?
• RQ2 b2 = 1인 컴 pact Calabi-Yau 3-fold 중에서 제안된 극항 가설이 정수 푸리에 계수를 가진 모듈라 형식을 생성하는 경우는 어떤 것인가?
• RQ3 모듈라 브로드캐스트 방법은 랭크-2 D4 브레인 전하, 특히 생성 함수가 모크 모듈라 형식이 되는 r=2의 경우로 어떻게 확장될 수 있는가?
• RQ4 랭크-1 DT 불변량과 D6-D6 쌍은 h1(τ)의 극 항구조를 결정하는 데 어떤 역할을 하는가?
• RQ5 r=2의 극항은 왜 아직 결정되지 않았으며, 이 격차를 메우기 위해 추가적인 물리적 또는 수학적 입력이 필요한가?

주요 결과

• b2 = 1인 13개의 허용 가능한 컴 pact Calabi-Yau 3-fold 중 10개에 대해 제안된 극항 가설은 정수 푸리에 계수를 가진 모듈라 형식 h1(τ)를 도출하며, 이는 무한한 수의 랭크-0 DT 불변량을 예측한다.
• 단일 D4 브레인의 경우 생성 함수 h1(τ)는 SL(2,Z) 하에서 무게 w = -1/2b2(Y) - 1인 벡터-밸류드 모듈라 형식으로 변환되며, 극항에 의해 완전히 결정된다.
• r=2의 경우, h2(τ)의 모듈라 이상은 히르츠 클래스 수 생성함수를 이용해 구성된 시리즈 h(an)2로 일치되며, 이는 모듈라 부분 h2 − h(an)2를 분리한다.
• h2 − h(an)2는 극항에 의해 고정된 표준 모듈라 형식이므로, 극계수를 알 경우 h2(τ)를 완전히 재구성할 수 있다.
• 논문에서 제시한 [56]의 수학적 공식은 보고몰로프-지제커 조건 하에서 DT 불변량을 재현하지만, 가장 극단적인 경우를 제외하고는 가설의 극항을 재현하지 못하며, 이는 유효 범위에서의 불일치를 시사한다.
• 논문은 r=2의 극항에 대한 가설의 격차를 밝혀내며, 이는 물리적 또는 수학적 가설이 충분하지 않아 아직 해결되지 않은 문제로 남아 있다.