[논문 리뷰] The automorphic NS5-brane

Boris Pioline, Daniel Persson|arXiv (Cornell University)|2009. 02. 18.

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

한 줄 요약

이 논문은 $SL(3,\mathbb{Z})$ 이중성 대칭이 타입 II 끈(compactification)에서 D5- 및 NS5-브라인 순간해의 기여를 지배함을 제안하며, $SL(3,\mathbb{R})$ 아이zen슈타인 급수의 비아벨 푸리에 전개를 통해 확장된 보편 하이퍼멀티플렛을 자동형식화함으로써 이를 달성한다. $k$ 개의 NS5-브라인에 대한 명시적 파동함수 $\Psi_{k,\ell}$ 를 유도하고, 최소 테타 급수를 통해 D(-1)-D1-D3-D5-NS5 순간해의 유한한 상태와 일치하는 지수적 보정을 규명한다.

ABSTRACT

Understanding the implications of SL(2,Z) S-duality for the hypermultiplet moduli space of type II string theories has led to much progress recently in uncovering D-instanton contributions. In this work, we suggest that the extended duality group SL(3,Z), which includes both S-duality and Ehlers symmetry, may determine the contributions of D5 and NS5-branes. We support this claim by automorphizing the perturbative corrections to the "extended universal hypermultiplet", a five-dimensional universal SL(3,R)/SO(3) subspace which includes the string coupling, overall volume, Ramond zero-form and six-form and NS axion. Using the non-Abelian Fourier expansion of the Eisenstein series attached to the principal series of SL(3,R), first worked out by Vinogradov and Takhtajan 30 years ago, we extract the contributions of D(-1)-D5 and NS5-brane instantons, corresponding to the Abelian and non-Abelian coefficients, respectively. In particular, the contributions of k NS5-branes can be summarized into a vector of wave functions Ψ_{k,l}, l=0... k-1, as expected on general grounds. We also point out that for more general models with a symmetric moduli space G/K, the minimal theta series of G generates an infinite series of exponential corrections of the form required for "small" D(-1)-D1-D3-D5-NS5 instanton bound states. As a mathematical spin-off, we make contact with earlier results in the literature about the spherical vectors for the principal series of SL(3,R) and for minimal representations.

연구 동기 및 목표

• SL(3,$\mathbb{Z}$) 이중성, 즉 S-이중성과 에플러스 대칭이 하이퍼멀티플렛 모듈리 공간에 대한 D5- 및 NS5-브라인 순간해 기여를 결정하는 데서 수행하는 역할를 이해하는 것.
• SL(2,$\mathbb{Z}$)-불변 D-瞬间해 보정의 프레임워크를 확장하여 $SL(3,\mathbb{R})$ 아이젠슈타인 급수를 통한 NS5-브라인 효과를 포함하는 것.
• SL(3,$\mathbb{R}$)의 주요 급수에 부착된 아이젠슈타인 급수의 비아벨 푸리에 전개로부터 순환 기여를 추출하고, 비에노바드, 타크타잔, 번프의 결과를 활용하는 것.
• k개의 NS5-브라인 순간해가 $\ell = 0,\dots,k-1$ 에 대해 파동함수 벡터 $\Psi_{k,\ell}$ 에 의해 암시적으로 포함됨을 보여주며, 물리적 기대와 일치함을 확인하는 것.
• G = SL(3,$\mathbb{R}$)의 최소 테타 급수가 대칭 모듈리 공간 $K\backslash G$ 에서 작은 순간해 결합 상태에 대응하는 무한한 지수적 보정의 급수를 생성함을 보여주는 것.

제안 방법

• SL(3,$\mathbb{Z}$)-불변 아이젠슈타인 급수를 사용하여 확장된 보편 하이퍼멀티플렛의 섭동 보정을 자동형식화하는 것.
• SL(3,$\mathbb{R}$)에서 아이젠슈타인 급수의 비아벨 푸리에 전개를 적용하여 D(-1)-D5 및 NS5-브라인 순간해에 대응하는 아벨 및 비아벨 푸리에 계수를 추출하는 것.
• SL(3,$\mathbb{R}$)의 주요 급수의 구면 벡터를 사용하여 k개의 NS5-브라인에 대한 파동함수 $\Psi_{k,\ell}$ 를 계산하는 것.
• p-진 구면 벡터의 곱을 통해 첨도 측도 $f_{\mathbb{Z}}(y,x_0,x_1)$ 를 도출하고, $y \to 0$ 근처에서의 행동을 분석하여 아벨 계수를 추출하는 것.
• 사다리점 근사와 수정된 베타 함수 $K_{s-1/2}$ 를 포함하는 적분 표현을 사용하여 반고전적 영역에서 아이젠슈타인 급수를 평가하는 것.
• 기존 결과와의 일관성 검증: $s_1=s_2=0$ 근처에서의 구면 벡터는 $E_6$의 최소 표현의 반고전적 구면 벡터와 일치하며, $G_2(2)$의 경우 기존 형태로 축소됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 SL(2,$\mathbb{Z}$)를 초월하여 $SL(3,\mathbb{Z})$ 이중성이 타입 II compactification에서 D5- 및 NS5-브라인 순간해 기여를 어떻게 정리할 수 있는가?
• RQ2 k개의 NS5-브라인 순간해를 기술하는 파동함수 $\Psi_{k,\ell}$ 의 정확한 수학적 구조는 무엇인가?
• RQ3 SL(3,$\mathbb{R}$) 아이젠슈타인 급수의 비아벨 푸리에 계수는 어떻게 NS5-브라인 순간해의 지수적 보정을 암시하는가?
• RQ4 SL(3,$\mathbb{R}$)의 최소 테타 급수가 D(-1)-D1-D3-D5-NS5 시스템의 작은 순간해 결합 상태에 필요한 전체 지수적 보정을 생성할 수 있는가?
• RQ5 SL(3,$\mathbb{R}$)의 주요 급수의 구면 벡터는 반고전적 근처에서 알려진 결과를 어떻게 재현하는가? 특히 $E_6$의 최소 표현과 $G_2(2)$와의 관계에서 어떻게 확인되는가?

주요 결과

• SL(3,$\mathbb{R}$) 아이젠슈타인 급수의 비아벨 푸리에 전개로부터 $k$ 개의 NS5-브라인에 대해 $\ell = 0,\dots,k-1$ 인 파동함수 $\Psi_{k,\ell}$ 가 도출되었으며, 물리적 일관성에서 예상되는 구조를 확인함.
• 아벨 푸리에 계수 $\Psi_{p,q}$ 는 구면 벡터의 $y \to 0$ 근처에서 추출되며, 특이한 위상과 측도 상쇄로 잘 정의된 표현을 얻음.
• $s_1 = s_2 = 0$ 근처에서의 구면 벡터는 $SL(3,\mathbb{R})$ 에 제한된 $E_6$의 최소 표현의 반고전적 구면 벡터와 일치하며, 접근법의 타당성을 검증함.
• 아벨 근처에서의 파동함수 $\tilde{f}_K(0,x_0,x_1)$ 는 수정된 베타 함수 $K_{s_3-1/2}$ 를 포함하는 이중 적분으로 표현되며, $x_0$ 와 $x_1$ 에 명시적인 의존성이 있음.
• 큰 $y,x_0,x_1$ 근처에서의 구면 벡터의 점근적 형태는 $G_2(2)$의 최소 표현에 대한 알려진 반고전적 표현을 재현하며, 쿼어컨 formalism 이론과의 일관성을 확인함.
• 측도 $f_{\mathbb{Z}}(y,x_0,x_1)$ 가 $d^2 \mid x_1^3$ 인 경우에만 0이 아니며, 여기서 $d = \gcd(y,x_0)$ 이며, 이는 순환 기여에 대한 수론적 제약 조건을 제공함.