[논문 리뷰] Plethystics and instantons on ALE spaces

Yui Noma, Toshio Nakatsu외 1명|ArXiv.org|2006. 11. 29.

Black Holes and Theoretical Physics참고 문헌 11인용 수 10

한 줄 요약

이 논문은 $\chi^{2}/K_{k}$ 위에서 $\upsilon=2$ $U(1)$ 게이지 이론에 대해 편평한 지수를 사용하여 변형된 분할 함수를 도입한다. 분할 함수는 $PE(h_k(t_1,t_2))$ 형태로 표현되며, 여기서 $h_k$ 는 오비폴드 위의 해석 함수를 코딩한다. 변형은 제다 번째 차원 둘레 $R$ 를 포함하며, $R\to 0$ 극한에서 원래의 분할 함수를 복원하고, 대칭적 제품 기하학을 통해 순간자 수세기와 BPS 연산자 수세기 사이의 연결을 맺는다.

ABSTRACT

We present an expression of a deformed partition function for N=2 U(1) gauge theory on C^2/Z_k by using plethystic exponentials.

연구 동기 및 목표

• 제다 번째 차원 둘레 $R$ 를 사용하여 $\mathcal{N}=2$ $U(1)$ 게이지 이론의 $\mathbb{C}^2/\mathbb{Z}_k$ 위에서 변형된 분할 함수를 유도한다.
• 편평한 지수를 통해 변형된 분할 함수를 표현하여, 대칭적 제품 기하학에서 BPS 연산자 수세기와 연결한다.
• 이전의 순간자 분할 함수 결과를 변형 매개변수 $R$ 를 포함하여 일반화하고, 정련된 위상 정점 기법과 연결한다.
• 변형된 분할 함수와 $\mathbb{C}^2/\mathbb{Z}_k$ 위의 해석 함수를 위한 생성 함수 $h_k(t_1,t_2)$ 의 편평한 지수 사이의 정확한 대응을 확립한다.

제안 방법

• 제다 번째 차원 둘레 $R$ 를 이론에 통합하기 위해 $t_1 = e^{\epsilon_1 R}$, $t_2 = e^{\epsilon_2 R}$, $\nu = (R\Lambda)^2$ 를 도입하여 원래의 순간자 분할 함수를 변형한다.
• 요우 맵의 $k$-핵과 $k$-몫 분해를 사용하여 분할의 합을 단지 자명한 $k$-핵을 가진 것들로 제한함으로써 오비폴드 기하학과의 일致성을 확보한다.
• 해석 함수의 수를 세는 함수로 $h_k(t_1,t_2) = \frac{1 - t_1^k t_2^k}{(1 - t_1^k)(1 - t_2^k)(1 - t_1 t_2)}$ 를 정의한다. 여기서 $U(1)$ 전하를 고려한다.
• 편평한 지수 $PE(f) = \exp\left(\sum_{n=1}^\infty \frac{\nu^n}{n} f(t_1^n, t_2^n)\right)$ 를 $h_k(t_1,t_2)$ 에 적용하여 전체 변형된 분할 함수를 도출한다.
• $k=3$ 인 경우 $\nu$ 에 대한 테일러 계수를 $\nu^2$ 차수까지 일치시켜, $Z(\epsilon_1,\epsilon_2;\Lambda,k,R) = PE(h_k(t_1,t_2))$ 의 항등식을 검증함으로써 일致성을 확인한다.

실험 결과

연구 질문

• RQ1 어떻게 $\mathcal{N}=2$ $U(1)$ 순간자 분할 함수를 $\mathbb{C}^2/\mathbb{Z}_k$ 위에서 제다 번째 차원 둘레 $R$ 를 사용하여 변형할 수 있는가?
• RQ2 편평한 지수는 오비폴드 위의 해석 함수 수세기로 표현된 변형된 분할 함수와 어떤 역할을 하는가?
• RQ3 변형된 분할 함수는 $R \to 0$ 극한에서 어떻게 원래의 분할 함수로 복원되는가?
• RQ4 생성 함수 $h_k(t_1,t_2)$ 는 $U(1)$ 전하를 가진 $S^N(\mathbb{C}^2)$ 의 BPS 연산자 수세기로 해석될 수 있는가?
• RQ5 계수 일치를 통해 $\nu$ 의 고차수 항까지도 $Z(\epsilon_1,\epsilon_2;\Lambda,k,R) = PE(h_k(t_1,t_2))$ 의 항등식이 유효한가?

주요 결과

• 변형된 분할 함수는 정확히 $h_k(t_1,t_2)$ 의 편평한 지수로 표현되며, 즉 $Z = PE(h_k(t_1,t_2))$ 로 주어져, 간결하고 대수적인 형태를 가진다.
• 생성 함수 $h_k(t_1,t_2)$ 는 $\mathbb{C}^2/\mathbb{Z}_k$ 위의 해석 함수의 $U(1)$-가중 수를 코딩하며, 전하 $(k,0), (0,k), (1,1)$ 을 가진 생성자 $X,Y,Z$ 가 $XY = Z^k$ 를 만족함으로써 기하학적 일致성을 확인한다.
• $k=3$ 인 경우, 변형된 분할 함수의 $\nu^2$ 계수는 정확히 $\frac{1}{2}h_3(t_1^2,t_2^2) + \frac{1}{2}(h_3(t_1,t_2))^2$ 와 일치하며, 이는 $\nu^2$ 차수에서 편평한 지수 항등식의 타당성을 검증한다.
• $R \to 0$ 극한에서 원래의 분할 함수 $Z(\epsilon_1,\epsilon_2;\Lambda,k)$ 가 복원되며, 이는 문헌에 기록된 이전 결과와의 일致성을 확인한다.
• $PE(h_k(t_1,t_2)) = \prod_{\substack{m,n=0 \\ m \equiv n \mod k}}^\infty \frac{1}{1 - \nu t_1^m t_2^n}$ 의 표현은 변형된 분할 함수의 명백한 대칭성과 무한곱 형태를 제공한다.
• 이 방법은 ALE 공간 위에서의 $\mathcal{N}=2$ 게이지 이론의 순간자 수세기와 편평한 지수를 통한 대칭적 제품 오비폴드의 BPS 연산자 수세기 사이의 직접적인 연결을 수립한다.