[논문 리뷰] The refined BPS index from stable pair invariants

Jinwon Choi, Sheldon Katz외 1명|arXiv (Cornell University)|2012. 10. 16.

Black Holes and Theoretical Physics참고 문헌 33인용 수 20

한 줄 요약

이 논문은 가상 Bialynicki-Birula 분해와 에퀴바리언트 지표를 사용하여 비콤팩트 캘라비-요 3차원 다양체에 대한 안정 쌍 불변량의 개선된 형태를 도입하며, M-이론 compactification에서의 정밀 BPS 지수를 계산하는 수학적 프레임워크를 구축한다. 정밀 불변량에 대한 곱 공식을 제안하고, 국소적 $\mathbb{P}^2$와 $\mathbb{P}^1 \times \u005cmathbb{P}^1$에서 이를 검증하며, 생성 함수가 Nekrasov의 분할 함수와 렌즈 공간 위의 정밀 Chern-Simons 이론과 연결됨을 밝힌다.

ABSTRACT

A refinement of the stable pair invariants of Pandharipande and Thomas for non-compact Calabi-Yau spaces is introduced based on a virtual Bialynicki-Birula decomposition with respect to a C* action on the stable pair moduli space, or alternatively the equivariant index of Nekrasov and Okounkov. This effectively calculates the refined index for M-theory reduced on these Calabi-Yau geometries. Based on physical expectations we propose a product formula for the refined invariants extending the motivic product formula of Morrison, Mozgovoy, Nagao, and Szendroi for local P^1. We explicitly compute refined invariants in low degree for local P^2 and local P^1 x P^1 and check that they agree with the predictions of the direct integration of the generalized holomorphic anomaly and with the product formula. The modularity of the expressions obtained in the direct integration approach allows us to relate the generating function of refined PT invariants on appropriate geometries to Nekrasov's partition function and a refinement of Chern-Simons theory on a lens space. We also relate our product formula to wallcrossing.

연구 동기 및 목표

• 비콤팩트 Calabi-Yau 3차원 다양체에서 M-이론 compactification의 정밀 BPS 지수를 계산하기 위한 기하학적, 대수기하학적 방법을 개발하는 것.
• Pandharipande-Thomas의 안정 쌍 불변량을 BPS 상태의 $\mathrm{SU}(2)_L \times \mathrm{SU}(2)_R$ 스핀 다중도를 포착하는 정밀한 형태로 확장하는 것.
• 가상 Bialynicki-Birula 분해와 에퀴바리언트 지표 이론을 통해 정밀 BPS 지수의 수학적 유도를 제공하는 것.
• 국소적 $\mathbb{P}^2$와 $\mathbb{P}^1 \times \u005cmathbb{P}^1$에서 낮은 차수에서의 직접 계산을 통해 제안된 곱 공식을 검증하는 것.
• 정밀 안정 쌍 불변량과 물리적 분할 함수 사이의 연결 고리를 확립하는 것. 이는 Nekrasov의 4차원 분할 함수와 $L(2,1)$ 위의 정밀 Chern-Simons 이론을 포함한다.

제안 방법

• 안정 쌍 모듈리 공간 위의 $\mathbb{C}^*$ 작용에 대한 가상 Bialynicki-Birula 분해를 사용하여 정밀 불변량을 정의한다.
• Nekrasov와 Okounkov의 에퀴바리언트 지표를 적용하여 M-이론 compactification의 맥락에서 정밀 BPS 지수를 계산한다.
• 일반화된 헬로모르픽 이상 방정식에 대한 직접 통합 방법을 사용하여 국소 Calabi-Yau 기하학의 정밀 BPS 불변량을 계산한다.
• 국소 $\mathbb{P}^1$에 대해 Morrison, Mozgovoy, Nagao, Szendroi의 모티브 곱 공식을 일반화한 정밀 불변량에 대한 곱 공식을 유도한다.
• Ext-군 차원과 쌍의 모듈리 공간 위의 $\mathbf{L}$-표기법을 사용한 모티브 측도를 활용하여 벽을 넘는 기여를 계산한다.
• 모듈러성에 의해 정밀 PT 불변량의 생성 함수가 Nekrasov의 분할 함수와 렌즈 공간 $L(2,1)$ 위의 정밀 Chern-Simons 이론과 연결됨을 밝힌다.

실험 결과

연구 질문

• RQ1 정밀 BPS 지수, 즉 $j_L, j_R$ 스핀 다중도를 포함하는 것을 어떻게 안정 쌍 불변량에서 수학적으로 정의할 수 있는가?
• RQ2 국소 $\mathbb{P}^2$와 $\mathbb{P}^1 \times \u005cmathbb{P}^1$에 대한 정밀 안정 쌍 불변량의 구조는 무엇이며, 일반화된 곱 공식을 만족하는가?
• RQ3 가상 Bialynicki-Birula 분해를 통해 계산된 정밀 불변량과 정밀 헬로모르픽 이상 방정식의 직접 통합을 통한 결과는 어떻게 비교되는가?
• RQ4 정밀 PT 불변량의 생성 함수는 어떻게 Nekrasov의 분할 함수와 $L(2,1)$ 위의 정밀 Chern-Simons 이론과 연결되는가?
• RQ5 벽을 넘는 현상은 정밀 안정 쌍 불변량에서 어떻게 나타나며, 모티브 측도와 Ext-군을 사용하여 명시적으로 계산할 수 있는가?

주요 결과

• 낮은 차수에서 국소적 $\mathbb{P}^2$와 $\mathbb{P}^1 \times \u005cmathbb{P}^1$에 대한 정밀 안정 쌍 불변량은 정밀 헬로모르픽 이상 방정식의 직접 통합 결과와 일치한다.
• $M^\alpha(5,1)$와 $M^\alpha(5,-1)$의 벽을 넘는 기여는 쌍의 모듈리 공간 위의 $\mathbb{P}^n$-_bundle를 통해 계산되며, 보정 항은 $-H^*(P_{-2}(X,4) \times P_3(X,1))$ 및 유사한 표현과 일치한다.
• $M^\alpha(5,1)$에 대해 $\alpha = 14$에서의 계산은 벽을 넘는 항 $-\left[1\right]_\mathbf{L}\left[7\right]_\mathbf{L}\left[1\right]_\mathbf{L}$을 얻었으며, 제안된 보정 공식과 일치한다.
• 적절한 기하학에서 정밀 PT 불변량의 생성 함수는 모듈러이며, 4차원 $N=2$ 이론에서 Nekrasov의 분할 함수 형태와 일치한다.
• 국소적 $\mathbb{P}^1 \times \u005cmathbb{P}^1$에 대한 정밀 불변량은 $L(2,1)$ 위의 정밀 Chern-Simons 분할 함수를 재현함으로써 물리적 이중성 제안을 확인한다.
• 낮은 차수 불변량에 대해 정밀 곱 공식이 검증되었으며, Morrison, Mozgovoy, Nagao, Szendroi의 모티브 곱 공식을 일반화하는 것으로 추측된다.