개념완성

Type I 초끈 (Type I Superstring)

1. 오리엔티폴드 구성

Type I 초끈 이론은 Type IIB 이론에 세계면 패리티(worldsheet parity) 연산 Ω:σ2πσ\Omega: \sigma \to 2\pi - \sigma를 적용하여 구성된다. 이 연산은 좌진행과 우진행 모드를 교환하므로, Ω\Omega에 의한 사영(projection)은 좌-우 비대칭적인 상태를 제거한다.

정의3.8Type I 이론의 구성

Type I 이론은 다음 절차로 정의된다.

(i) 오리엔티폴드 사영: Type IIB의 힐베르트 공간에서 Ω\Omega-불변인 상태만 남긴다.

HType Iclosed=HIIB1+Ω\mathcal{H}_{\text{Type I}}^{\text{closed}} = \frac{\mathcal{H}_{\text{IIB}}}{1 + \Omega}

이 사영은 닫힌 끈을 방향 없는(unoriented) 끈으로 만든다.

(ii) 열린 끈 도입: 오리엔티폴드 사영은 일반적으로 타대팔 이상(tadpole anomaly)을 유발한다. 이를 소거하기 위해 적절한 수의 열린 끈(및 D9-브레인)을 도입해야 한다.

(iii) 이상 소거 조건: 타대팔이 소거되려면 첸-패턴 인자(Chan-Paton factor)의 게이지군이 SO(32)\text{SO}(32)여야 한다.

2. 닫힌 끈 섹터

Ω\Omega 사영에 의해 Type IIB의 비질량 스펙트럼 중 Ω\Omega-홀수인 상태가 제거된다.

정의3.9Type I 닫힌 끈 비질량 스펙트럼

| 원래 (IIB) | Ω\Omega 고유값 | Type I에서의 운명 | |-----------|----------------|-----------------| | GμνG_{\mu\nu} (중력자) | +1+1 | 생존 | | Φ\Phi (딜라톤) | +1+1 | 생존 | | BμνB_{\mu\nu} (NS-NS 2-형식) | 1-1 | 제거됨 | | C0C_0 (R-R 0-형식) | 1-1 | 제거됨 | | C2C_2 (R-R 2-형식) | +1+1 | 생존 | | C4+C_4^+ (R-R 자기이중 4-형식) | 1-1 | 제거됨 |

페르미온 섹터에서도 유사한 사영이 적용되어, 32개의 초대칭 생성자 중 16개만 남는다. 따라서 Type I은 N=1\mathcal{N} = 1 초대칭을 가진다.

참고$B_{\mu\nu}$의 제거와 끈의 방향성

닫힌 끈의 칼브-라몬드장 BμνB_{\mu\nu}가 제거되는 것은 물리적으로 자연스럽다. BμνB_{\mu\nu}는 끈의 세계면과 결합하는데, 방향 없는 세계면은 BμνB_{\mu\nu}에 의한 위상(phase)을 일관되게 정의할 수 없기 때문이다.

3. 열린 끈 섹터와 첸-패턴 인자

Type I은 유일하게 열린 끈(open string)을 포함하는 초끈 이론이다.

정의3.10첸-패턴 인자

열린 끈의 양 끝점에 첸-패턴 인자(Chan-Paton factor) λija\lambda^a_{ij}를 부여한다. 여기서 i,j=1,,Ni, j = 1, \ldots, NNN개의 D9-브레인을 구별하는 지표이다.

열린 끈 상태는 다음과 같이 쓰인다:

k;a=i,j=1Nλijak;ij|k; a\rangle = \sum_{i,j=1}^N \lambda^a_{ij} |k; ij\rangle

Ω\Omega는 끈의 양 끝을 교환하므로 λijλjiT\lambda_{ij} \to \lambda_{ji}^T이다. Ω\Omega-불변 조건에 의해

  • 게이지 보존: AμaA_\mu^aSO(N)\text{SO}(N)의 딸림 표현에 해당 (반대칭 행렬)
  • 타대팔 소거 조건: N=32N = 32

따라서 열린 끈의 게이지군은 SO(32)\text{SO}(32)이다.

4. 타대팔 소거

유도R-R 타대팔 소거

Type I의 1-루프 진공 진폭은 네 개의 위상(topology)으로부터 기여를 받는다:

  • 토러스 (T\mathcal{T}): 닫힌 끈 1-루프
  • 클라인 병 (K\mathcal{K}): 방향 없는 닫힌 끈 (Ω\Omega 삽입)
  • 원통 (C\mathcal{C}): 열린 끈 1-루프
  • 뫼비우스 띠 (M\mathcal{M}): 방향 없는 열린 끈

전체 진공 진폭은

Z=T+K+C+MZ = \mathcal{T} + \mathcal{K} + \mathcal{C} + \mathcal{M}

R-R 타대팔의 소거 조건은

KR-R+CR-R+MR-R=0\mathcal{K}_{\text{R-R}} + \mathcal{C}_{\text{R-R}} + \mathcal{M}_{\text{R-R}} = 0

이다. 각 기여를 횡 채널(transverse channel)로 변환하면

K~+C~+M~(32N)2\tilde{\mathcal{K}} + \tilde{\mathcal{C}} + \tilde{\mathcal{M}} \propto (32 - N)^2

이므로 N=32N = 32, 즉 게이지군 SO(32)\text{SO}(32)에서만 타대팔이 소거된다.

5. Type I의 유효 작용

정의3.11Type I 유효 작용

Type I의 낮은 에너지 유효 이론은 D=10D = 10, N=1\mathcal{N} = 1 초중력에 SO(32)\text{SO}(32) 양-밀즈 이론이 결합한 것이다.

SType I=12κ102d10xG[e2Φ(R+4(Φ)2)12F32]14gYM2d10xGeΦtrF22S_{\text{Type I}} = \frac{1}{2\kappa_{10}^2} \int d^{10}x \, \sqrt{-G} \left[ e^{-2\Phi}\left(R + 4(\partial\Phi)^2\right) - \frac{1}{2}|F_3|^2 \right] - \frac{1}{4g_{\text{YM}}^2} \int d^{10}x \, \sqrt{-G} \, e^{-\Phi} \, \text{tr}|F_2|^2

여기서 주목할 점은 딜라톤 결합의 차이이다:

  • 중력 항은 e2Φe^{-2\Phi} (닫힌 끈 나무 수준: 구)
  • 양-밀즈 항은 eΦe^{-\Phi} (열린 끈 나무 수준: 원판)

이는 닫힌 끈과 열린 끈의 오일러 특성(Euler characteristic)이 다르기 때문이다: χ()=2\chi(\text{구}) = 2, χ(원판)=1\chi(\text{원판}) = 1.

6. Type I과 SO(32)\text{SO}(32) 이종 끈의 S-이중성

법칙3.4Type I — Heterotic $\text{SO}(32)$ S-이중성

Type I 이론과 SO(32)\text{SO}(32) 이종 끈 이론은 S-이중성(S-duality)으로 연결된다:

ΦI=ΦHet,gs,I=1gs,Het\Phi_{\text{I}} = -\Phi_{\text{Het}}, \quad g_{s,\text{I}} = \frac{1}{g_{s,\text{Het}}}

즉, 한 이론의 강결합(strong coupling) 영역은 다른 이론의 약결합(weak coupling) 영역에 해당한다. 또한 아인슈타인 틀(Einstein frame)에서의 계량은

GμνI=eΦHetGμνHetG_{\mu\nu}^{\text{I}} = e^{-\Phi_{\text{Het}}} G_{\mu\nu}^{\text{Het}}

로 연결된다. 이 이중성은 BPS 상태의 질량 공식, 유효 작용의 구조, 그리고 이상 소거 메커니즘의 일치로부터 강력히 지지된다.

예제5가지 초끈 이론의 비교

10차원에서의 5가지 일관된 초끈 이론을 요약하면:

| 이론 | 끈의 종류 | 초대칭 (N\mathcal{N}) | 게이지군 | 임계 차원 | |------|----------|---------------------|---------|----------| | Type IIA | 닫힌, 방향 있음 | N=2\mathcal{N} = 2 (비카이랄) | 없음 | 10 | | Type IIB | 닫힌, 방향 있음 | N=2\mathcal{N} = 2 (카이랄) | 없음 | 10 | | Type I | 닫힌+열린, 방향 없음 | N=1\mathcal{N} = 1 | SO(32)\text{SO}(32) | 10 | | Het E8×E8E_8 \times E_8 | 닫힌, 방향 있음 | N=1\mathcal{N} = 1 | E8×E8E_8 \times E_8 | 10 | | Het SO(32)\text{SO}(32) | 닫힌, 방향 있음 | N=1\mathcal{N} = 1 | SO(32)\text{SO}(32) | 10 |

이 다섯 이론은 이중성 관계로 연결되며, 궁극적으로 하나의 11차원 이론 — M-이론 — 의 서로 다른 극한으로 이해된다.