[논문 리뷰] Topological strings, quiver varieties and Rogers-Ramanujan identities

Shengmao Zhu|arXiv (Cornell University)|2017. 07. 04.

Algebraic structures and combinatorial models참고 문헌 52인용 수 5

한 줄 요약

이 논문은 $\mathbb{C}^3$ 위의 위상적 초끈이론에서 Aganagic-Vafa 브레인을 고려할 때, Ooguri-Vafa 불변량과 $\tau \leq 0$인 Nakajima 쿠이버 다양체의 베티 수 사이의 대응을 수립한다. 이는 Rogers-Ramanujan 항등식과의 연결을 통해 이러한 불변량의 정수성을 증명하며, 특히 $\tau=1$의 경우 이들 고전적 항등식과 관련된 무한곱 공식을 도출함을 보여준다.

ABSTRACT

Motivated by some recent works on BPS invariants of open strings/knot invariants, we guess there may be a general correspondence between the Ooguri-Vafa invariants of toric Calabi-Yau 3-folds and cohomologies of Nakajima quiver varieties. In this short note, we provide a toy model to explain this correspondence. More precisely, we study the topological open string model of $\mathbb{C}^3$ with one Aganagic-Vafa brane $\mathcal{D}_τ$, and we show that, when $τ\leq 0$, its Ooguri-Vafa invariants are given by the Betti numbers of certain quiver variety. Moreover, the existence of Ooguri-Vafa invariants implies an infinite product formula. In particular, we find that the $τ=1$ case of such infinite product formula is closely related to the celebrated Rogers-Ramanujan identities.

연구 동기 및 목표

• Open 위상 끈 이론에서 $\mathbb{C}^3$에 Aganagic-Vafa 브레인을 포함한 Ooguri-Vafa 불변량과 Nakajima 쿠이버 다양체의 코homology 불변량 사이의 대응을 수립하기 위해.
• Ooguri-Vafa 불변량 $N_{m,k}(\tau)$의 정수성을 $\tau \leq 0$인 경우 쿠이버 다양체의 베티 수와의 연결을 통해 증명하기 위해.
• 분할 함수의 무한곱 구조와 Rogers-Ramanujan 항등식 사이의 연결고리, 특히 $\tau=1$의 경우를 탐구하기 위해.
• 토릭 Calabi-Yau 3-fold과 쿠이버 다양체 사이에 일반적으로 추측되는 대응의 간단한 모델을 제공하기 위해.
• 분할 함수의 $\tau=1$ 경우가 펠리스티식 로그와 Möbius 역전개를 통해 Rogers-Ramanujan 항등식과 관련된 공식을 도출함을 보여주기 위해.

제안 방법

• 프레임 매개변수 $\tau \in \mathbb{Z}$를 가진 Aganagic-Vafa 브레인 $\mathcal{D}_\tau$를 포함한 $\mathbb{C}^3$에 대한 위상 끈 분할 함수를 사용하여 개방 끈 진폭의 생성함수를 정의한다.
• Ooguri-Vafa 불변량 $f_m^\tau(q)$를 추출하기 위해 분할 함수에 펠리스티식 로그를 적용한다. 이는 $q^{1/2}$에 대한 정수 계수 라우렌트 다항식일 것으로 추측된다.
• $\tau \leq 0$인 경우 하나의 정점과 $1-\tau$개의 무한한 다리를 가진 쿠이버를 구성하고, 관련된 쿠이버 다양체의 베티 수를 불변량 $N_{m,k}(\tau)$와 연결한다.
• Schur 함수에 대한 코시 항등식과 $q^\rho$에 대한 특수화를 적용하여 $\tau=0$의 경우 분할 함수를 계산함으로써 대응의 기초 사례를 확보한다.
• p-진 값과 Möbius 역전개를 포함한 수론적 기법을 적용하여, 이항계수의 약수성에 기반해 $\tau>0$의 경우의 정수성을 증명한다.
• 레마 5.4와 레마 5.5를 사용하여, 모든 $m \geq 1$, $\tau \in \mathbb{Z}$에 대해 $\frac{1}{m^2}\sum_{d|m}\mu(m/d)(-1)^{d\tau}\binom{d(\tau+1)-1}{d-1}$ 가 정수임을 보여, $\tau > 0$인 경우의 정수성 증명을 완성한다.

실험 결과

연구 질문

• RQ1 토릭 Calabi-Yau 3-fold의 Ooguri-Vafa 불변량과 Nakajima 쿠이버 다양체의 코homology 사이에 일반적인 대응이 존재하는가?
• RQ2 $\tau \leq 0$인 경우 Ooguri-Vafa 불변량 $N_{m,k}(\tau)$는 어떤 쿠이버 다양체의 베티 수로 해석될 수 있는가?
• RQ3 $\tau=1$의 경우 분할 함수의 무한곱 공식은 Rogers-Ramanujan 항등식과 관련된가?
• RQ4 $\tau > 0$인 경우 표현식 $\frac{1}{m^2}\sum_{d|m}\mu(m/d)(-1)^{d\tau}\binom{d(\tau+1)-1}{d-1}$ 는 항상 정수인가?
• RQ5 p-진 값과 Möbius 역전개와 같은 수론적 방법을 사용하여 Ooguri-Vafa 불변량의 정수성을 증명할 수 있는가?

주요 결과

• $\tau \leq 0$인 경우, Ooguri-Vafa 불변량 $N_{m,k}(\tau)$는 하나의 정점과 $1-\tau$개의 무한한 다리를 가진 쿠이버로부터 생성된 특정 Nakajima 쿠이버 다양체의 베티 수와 같다.
• $\tau=0$의 경우 $N_{1,0}(0) = 1$이고, 모든 다른 $m,k$에 대해 $N_{m,k}(0) = 0$이며, 이는 생성함수 $\sum_{n \geq 0} \frac{(-1)^n q^{n^2/2}}{(1-q)(1-q^2)\cdots(1-q^n)} x^n$에 해당한다.
• 분할 함수에서 유도된 $\tau=1$의 경우 무한곱 공식은 펠리스티식 로그를 통해 Rogers-Ramanujan 항등식과 깊이 연결되어 있음이 입증되었다.
• $\tau > 0$인 경우 $f_m^\tau(q)$의 정수성은 $p$-진 값 기법을 통해 $\frac{1}{m^2}\sum_{d|m}\mu(m/d)(-1)^{d\tau}\binom{d(\tau+1)-1}{d-1} \in \mathbb{Z}$ 임을 보여 증명되었다.
• 이 증명은 이항계수의 차이 $(-1)^{\tau n}\binom{( au+1)n-1}{n-1} - (-1)^{\tau n/p}\binom{( au+1)n/p-1}{n/p-1}$ 가 $n = p^\alpha a$, $p \nmid a$ 인 경우 $p^{2\alpha}$로 나누어 떨어짐을 보여, Möbius 역전개를 통해 정수성을 확보한다.
• 결과적으로 모든 $\tau \in \mathbb{Z}$에 대해 추측 1.1을 확인하였으며, 개방 위상 끈 이론에서 $(\mathbb{C}^3, \mathcal{D}_\tau)$의 Ooguri-Vafa 불변량의 정수성을 수립하였다.