S-이중성 (S-Duality)

1. 강-약 결합 이중성

T-이중성이 컴팩트화 반지름을 뒤집는 기하학적 대칭인 반면, S-이중성(S-duality)은 끈 결합 상수를 뒤집는 비섭동론적 대칭이다.

정의5.3S-이중성

S-이중성은 끈 결합 상수 $g_s = e^{\langle\Phi\rangle}$ 를 역수로 보내는 변환이다:

g_s \longleftrightarrow \frac{1}{g_s}

이것은 약결합(weak coupling) 영역과 강결합(strong coupling) 영역을 교환한다. S-이중성은 본질적으로 비섭동론적(non-perturbative)이며, 섭동 전개의 어떤 유한 차수에서도 확인할 수 없다.

S-이중성의 가장 완전하게 이해된 예는 Type IIB 초끈 이론과 $\mathcal{N} = 4$ 초대칭 양-밀즈 이론에서 나타난다.

2. Type IIB의 $\text{SL}(2, \mathbb{Z})$ 대칭

법칙5.3Type IIB의 $\text{SL}(2, \mathbb{Z})$ S-이중성

Type IIB 초끈 이론은 $\text{SL}(2, \mathbb{Z})$ 이중성 대칭을 가진다. 축이온-딜라톤 복소 스칼라를

\tau = C_0 + ie^{-\Phi} = C_0 + \frac{i}{g_s}

로 정의하면, $\text{SL}(2, \mathbb{Z})$ 변환은

\tau \to \frac{a\tau + b}{c\tau + d}, \quad \begin{pmatrix} a & b \\ c & d \end{pmatrix} \in \text{SL}(2, \mathbb{Z})

이다. 2-형식 장들 $(B_2, C_2)$ 는 이중항(doublet)으로 변환한다:

\begin{pmatrix} B_2 \\ C_2 \end{pmatrix} \to \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} B_2 \\ C_2 \end{pmatrix}

아인슈타인 틀의 계량 $G_{\mu\nu}^E$ 와 자기이중 4-형식 $C_4$ 는 불변이다.

특히 $\tau \to -1/\tau$ (즉 $a = d = 0$ , $b = -1$ , $c = 1$ )는 $C_0 = 0$ 일 때 $g_s \to 1/g_s$ 를 주며, 동시에 $B_2 \leftrightarrow C_2$ 를 교환한다.

3. $(p, q)$ -끈

정의5.4$(p,q)$-끈

$\text{SL}(2, \mathbb{Z})$ 대칭에 의해, 기본 끈(fundamental string, F1)과 D1-끈은 이중항의 성분이 된다. 일반적으로 $(p,q)$ -끈이 정의된다:

(p, q)\text{-끈}: \quad p \text{개의 F1과 } q \text{개의 D1의 속박 상태}

여기서 $p$ 와 $q$ 는 서로소(coprime)인 정수이다. $(p,q)$ -끈의 장력은

T_{(p,q)} = \frac{1}{2\pi\alpha'}\sqrt{p^2 + \frac{q^2}{g_s^2}}

이며, 이것은 $\text{SL}(2, \mathbb{Z})$ 변환에 대해 공변(covariant)이다.

$(1, 0)$ -끈: 기본 끈 (F1), 장력 $\propto 1$
$(0, 1)$ -끈: D1-끈, 장력 $\propto 1/g_s$
$(1, 1)$ -끈: F1-D1 속박 상태

참고$(p,q)$-끈망과 5-브레인 그물

$(p,q)$ -끈들은 꼭짓점에서 만나 끈망(string junction)을 형성할 수 있다. 꼭짓점에서의 전하 보존 조건은

\sum_i (p_i, q_i) = (0, 0)

이다. 이러한 끈망은 5차원 $\mathcal{N} = 1$ 게이지 이론의 기하학적 공학(geometric engineering)에 핵심적으로 활용된다.

4. 몬토넨-올리브 이중성

법칙5.4$\mathcal{N} = 4$ 양-밀즈의 몬토넨-올리브 이중성

4차원 $\mathcal{N} = 4$ 초대칭 양-밀즈 이론은 $\text{SL}(2, \mathbb{Z})$ S-이중성을 가진다고 추측된다. 결합 상수를 $\tau_{\text{YM}} = \frac{\theta}{2\pi} + \frac{4\pi i}{g_{\text{YM}}^2}$ 로 정의하면:

\tau_{\text{YM}} \to \frac{a\tau_{\text{YM}} + b}{c\tau_{\text{YM}} + d}

이 이중성 하에서 전기 입자와 자기 모노폴이 교환된다:

(n_e, n_m) \to \begin{pmatrix} a & b \\ c & d \end{pmatrix} \begin{pmatrix} n_e \\ n_m \end{pmatrix}

끈 이론적 실현: $N$ 개의 겹쳐진 D3-브레인 위의 세계 부피 이론이 $\mathcal{N} = 4$ $\text{U}(N)$ 양-밀즈이고, Type IIB의 $\text{SL}(2, \mathbb{Z})$ 이중성이 양-밀즈 이론의 몬토넨-올리브 이중성으로 환원된다.

5. S-이중성의 증거: BPS 스펙트럼

유도BPS 질량 공식과 $\text{SL}(2, \mathbb{Z})$ 공변성

BPS 상태의 질량은 중심 전하(central charge)에 의해 정확히 결정되므로, 결합 상수에 대한 양자 보정을 받지 않는다. 이것이 S-이중성을 검증할 수 있는 핵심적 이유이다.

$(p, q)$ -끈의 BPS 질량 공식:

M_{(p,q)} = \frac{L}{2\pi\alpha'} |p + q\tau|

여기서 $L$ 은 끈의 길이이다. 이 공식은 $\text{SL}(2, \mathbb{Z})$ 변환

(p, q) \to (p, q) \begin{pmatrix} d & -b \\ -c & a \end{pmatrix}, \quad \tau \to \frac{a\tau + b}{c\tau + d}

에 대해 불변이다.

$\mathcal{N} = 4$ 양-밀즈에서 다이온(dyon)의 BPS 질량은

M_{(n_e, n_m)} = v|n_e + n_m \tau_{\text{YM}}|

이며, 여기서 $v$ 는 힉스 진공 기대값이다. 이 스펙트럼이 $\text{SL}(2, \mathbb{Z})$ 불변이 되려면, 모든 $(n_e, n_m)$ 다이온 상태가 존재해야 한다. 센(Sen)은 특정 1/4-BPS 다이온의 존재를 직접 확인하여 이 추측에 강력한 증거를 제공하였다.

■

6. 이중성 그물과 M-이론

정의5.5이중성 그물

5가지 초끈 이론 사이의 이중성 관계를 정리하면 다음과 같다.

\text{Type IIA} \xleftrightarrow{T} \text{Type IIB} \xleftrightarrow{S} \text{Type IIB}

\text{Het } E_8 \times E_8 \xleftrightarrow{T} \text{Het SO}(32) \xleftrightarrow{S} \text{Type I}

\text{Type IIA (강결합)} \longrightarrow \text{M-이론 (11D)}

\text{Het } E_8 \times E_8 \text{ (강결합)} \longrightarrow \text{M-이론 on } S^1/\mathbb{Z}_2

이러한 이중성 그물은 5가지 초끈 이론이 하나의 11차원 이론 — M-이론 — 의 서로 다른 극한임을 강력히 시사한다.

예제Type IIA의 강결합 극한과 11번째 차원

Type IIA의 D0-브레인은 질량 $M = 1/(g_s \sqrt{\alpha'})$ 를 가진다. $n$ 개의 D0-브레인 속박 상태의 질량은

M_n = \frac{n}{g_s \sqrt{\alpha'}} = \frac{n}{R_{11}}

이며, 여기서 $R_{11} = g_s \sqrt{\alpha'}$ 이다. 이것은 칼루차-클라인 운동량 양자화 $p_{11} = n/R_{11}$ 과 정확히 일치한다.

$g_s \to \infty$ 이면 $R_{11} \to \infty$ 이므로, 추가적인 11번째 차원이 비컴팩트(decompactified)해진다. 따라서 Type IIA의 강결합 극한은 11차원 이론이며, 이것이 M-이론이다. 11차원의 낮은 에너지 유효 이론은 $D = 11$ 초중력이다.