끈 이론

1. 점에서 끈으로

일반상대론은 동적인 시공간 계량으로 중력을 기술하고, 양자장론은 요동하는 장과 그 입자를 기술한다. 작은 계량 요동을 양자화하는 방법은 저에너지 유효이론으로 작동하지만, 섭동 차수가 높아질수록 더 많은 고차 미분 상쇄항이 필요하다. 재규격화 불가능성이 모든 저에너지 예측을 무효로 만드는 것은 아니다. 임의로 짧은 거리까지 외삽하는 데 한계가 있다는 뜻이다. 끈 이론은 더 완전한 미시적 기술을 찾는다.

기본적인 섭동적 대상은 1차원 끈이며, 그 운동의 역사는 2차원 세계면을 그린다. 점입자의 역사가 세계선을 그리는 것과 대응한다. 서로 다른 양자 들뜸은 서로 다른 질량과 스핀을 가지며, 적절한 닫힌 끈의 스펙트럼에는 중력 상호작용을 하는 질량 없는 스핀 2 상태가 포함된다. 이는 연구 동기이지만 자연이 이 이론을 선택했다는 증거는 아니다.

세계면은 끈의 역사이며, 시공간에 두 차원을 추가하는 것이 아니다.

$\hslash =c=1$로 두고 끈 길이 척도를 ${\ell }_s=\sqrt{{\alpha }^{\prime }}$, 장력을 $T=1/(2\pi {\alpha }^{\prime })$로 정의한다. 장력은 단위 길이당 에너지이므로 ${\alpha }^{\prime }$의 차원은 길이의 제곱이다. 무차원 결합상수 $g_s$는 끈의 분리와 결합, 세계면 위상에 따른 전개를 제어하며 장력과 다르다. 기본 끈은 원자로 만든 탄성 철사도 아니다. Tong의 강의는 이 출발점을 자세히 설명한다. 1

2. 끈의 고전 동역학

남부–고토 작용

부호 규약이 $(-,+,\dots ,+)$인 평탄한 시공간에서 $X^{\mu }(\tau ,\sigma )$는 끈의 위치를 나타낸다. 유도 계량 ${\gamma }_{ab}$는 세계면 위의 거리를 측정한다.

$${\gamma }_{ab}={\partial }_a{X}^{\mu }{\partial }_b{X}^{\nu }{\eta }_{\mu \nu },S_{\mathrm{NG}}=-T\int d^2\sigma \sqrt{-\det {\gamma }_{ab}}.$$

행렬식은 좌표의 작은 영역을 물리적 면적으로 변환하며, 부호는 시간꼴 세계면임을 나타낸다. 작용의 정지 조건은 최소곡면의 상대론적 대응물을 주지만, 매 순간의 공간적 끈 길이를 최소화한다는 뜻은 아니다.

폴랴코프 작용

보조 계량 $h_{ab}$를 도입하면 작용이 미분에 대한 이차식이 된다. 이 독립적인 계량을 변분하면 세계면 에너지-운동량 텐서의 제약을 얻는다.

$$S_{\mathrm{P}}=-\frac{T}{2}\int d^2\sigma \sqrt{-h}{h}^{ab}{\partial }_a{X}^{\mu }{\partial }_b{X}_{\mu },T_{ab}={\gamma }_{ab}-\frac{1}{2}{h}_{ab}{h}^{cd}{\gamma }_{cd}=0.$$

퇴화하지 않은 곡면에서는 $h_{ab}$가 ${\gamma }_{ab}$에 비례하고, 이를 대입하면 남부–고토 작용을 되찾는다. 비례계수는 자유롭게 남는다. 국소 바일 변환 $h_{ab}\mapsto e^{2\omega }{h}_{ab}$에서 2차원의 면적 요소와 역계량의 변화가 상쇄되기 때문이다. 좌표 재매개화와 바일 대칭은 중복된 기술을 제거한다. 이는 고전적 동등성이고, 양자 측도와 변칙은 추가로 검토해야 한다. 2

3. 양자화와 모드 전개

제약을 유지하면서 국소적으로 등각 게이지 $h_{ab}={\eta }_{ab}$를 택한다. 평탄한 표적 시공간의 방정식은 다음과 같다.

$$({\partial }_{\tau }^2-{\partial }_{\sigma }^2)X^{\mu }=0.$$

이는 세계면의 파동방정식이지, 시공간이 2차원이라는 주장이 아니다. 세계면의 전역 모듈라이는 별도로 다루어야 한다.

모드의 개략적인 파형이며, 양자 끈을 촬영한 사진이 아니다.

모드 전개 (닫힌 끈)

비콤팩트 좌표에 대해 $0\le \sigma <2\pi$로 두고 주기적 경계조건을 적용한다.

$$X^{\mu }=x^{\mu }+{\alpha }^{\prime }{p}^{\mu }\tau +i\sqrt{\frac{{\alpha }^{\prime }}{2}}\sum _{n\ne 0}\frac{1}{n}\left({\alpha }_n^{\mu }{e}^{-in(\tau -\sigma )}+{\tilde{\alpha }}_n^{\mu }{e}^{-in(\tau +\sigma )}\right).$$

앞부분은 질량중심을 기술하고, 두 진동자 계열은 반대 방향으로 진행한다. 주기성 때문에 $n$은 정수다. 주기를 $\pi$로 택하면 영모드와 지수에서 계수 2의 위치가 달라지지만 물리는 변하지 않는다. 콤팩트 좌표에는 감김도 가능하다.

비라소로 제약

$T_{ab}=0$의 푸리에 성분은 고전적으로 $L_n={\tilde{L}}_n=0$을 만족한다. 양자 대수에는 중심항이 생긴다. 보손 끈의 공변 양자화에서 물리적 상태는 다음을 만족한다.

$$L_n|\psi ⟩=0(n>0),(L_0-a)|\psi ⟩=0.$$

물결표가 붙은 부문에도 대응하는 조건이 있다. 모든 양자 생성자를 연산자로서 0으로 둘 수는 없다. 물질장과 게이지 고정 유령장의 등각 변칙이 상쇄되어야 하므로, 평탄한 보손 끈에는 $D-26=0$, 표준 임계 초끈에는 $D=10$이 요구된다. 굽은 배경에서는 세계면 베타함수도 0이어야 한다. 고전적 바일 대칭만으로 일관된 양자 등각장론을 보장할 수는 없다. 3 4

4. 질량 스펙트럼

콤팩트화하지 않은 닫힌 보손 끈에서 두 영모드 조건은 다음을 준다.

$$L_0=\frac{{\alpha }^{\prime }{p}^2}{4}+N,{\tilde{L}}_0=\frac{{\alpha }^{\prime }{p}^2}{4}+\tilde{N},p^2=-M^2,$$ $$N=\tilde{N},M^2=\frac{2}{{\alpha }^{\prime }}(N+\tilde{N}-2a),a=1.$$

$N$은 진동자의 들뜸 에너지를 센다. 모드 $n$에는 가중치 $n$이 붙으며, 단순히 끈의 개수를 세는 것이 아니다. $(N,\tilde{N})=(0,0)$에서 $M^2=-4/{\alpha }^{\prime }$는 이 보손 진공의 불안정성을 뜻한다. 타키온은 이용 가능한 초광속 전령이 아니다. $(1,1)$ 준위는 질량이 없고, $(2,2)$에서는 $M=2/{\ell }_s$다. 이 예제는 전자나 양성자의 질량을 예측하지 않는다. 초끈의 부문마다 절편과 사영이 다르다. 3

특별한 상태

$(1,1)$ 준위의 두 횡방향 편극 지표는 대각합이 0인 대칭 텐서(중력자), 반대칭 텐서($B$장), 스칼라(딜라톤)로 분해된다. 열린 끈은 질량 없는 벡터 보손을 줄 수 있다. 그러나 닫힌 이종 끈에서도 게이지 보손이 나오므로, 열린 끈이 게이지 상호작용의 유일한 기원은 아니다.

중력은 스핀 이름만의 문제가 아니다. 딜라톤이 일정하고 $B$장이 0일 때, ${\alpha }^{\prime }$의 가장 낮은 차수에서 세계면의 양자 일관성은 다음을 요구한다.

$${\beta }_{\mu \nu }^G={\alpha }^{\prime }{R}_{\mu \nu }+O({\alpha }^{\prime 2})=0.$$

선도 방정식은 진공 아인슈타인 방정식 $R_{\mu \nu }=0$이다. 곡률 반경이 ${\ell }_s$에 가까워지면 고차 곡률 보정이 중요해지고, 다른 장이 있으면 항이 추가된다. 이는 제어되는 저에너지 관계이지 모든 특이점이 해결되었다는 증명은 아니다. 5

5. 다섯 초끈 이론

익숙한 다섯 이론은 10차원 초대칭 섭동 끈 이론을 분류하며, 가능한 모든 끈 배경을 분류하는 것은 아니다. 세계면 페르미온과 일관된 사영을 함께 적용하면 타키온 없는 초대칭 스펙트럼이 나오지만, 페르미온을 추가하는 것만으로는 충분하지 않다. 여기서 초대칭은 구성한 이론의 성질이며 자연에서 관측된 대칭이 아니다.

(1) I형

방향이 없는 열린 끈과 닫힌 끈으로 이루어지며, 시공간 초전하가 16개다. 변칙 상쇄는 관례적으로 $SO(32)$라고 부르는 게이지 대수를 선택한다. 열린 부문에 게이지 자유도가 있고 닫힌 부문에 중력이 있다.

(2) IIA형

방향이 있는 닫힌 끈이며, 반대 시공간 카이랄성을 가진 총 32개 초전하가 있다. 보통의 무질량 기술에는 계량, 딜라톤, $B$장 및 라몽–라몽 퍼텐셜 $C_1,C_3$가 포함되며, 그 장세기는 짝수 차수 미분형식이다.

(3) IIB형

방향이 있는 닫힌 끈이며, 같은 카이랄성의 초전하가 32개다. 라몽–라몽 퍼텐셜 $C_0,C_2,C_4$의 장세기는 홀수 차수이며, 5형식 장세기는 자기쌍대다. 퍼텐셜의 차수와 장세기의 차수는 다르다.

(4) $SO(32)$ 이종 끈

왼쪽으로 진행하는 보손 부문과 오른쪽으로 진행하는 초대칭 부문은 열 개의 표적 시공간 좌표를 공유한다. 왼쪽 부문의 추가 중심전하는 내부 자유도에서 오며, 거시적 공간 차원이 열여섯 개 더 있다는 뜻은 아니다. 관례적인 이름은 $SO(32)$지만 더 정확한 전역 군 형태는 $\mathrm{Spin}(32)/{\mathbb{Z}}_2$다.

(5) $E_8\times E_8$ 이종 끈

다른 일관된 게이지 격자는 $E_8\times E_8$를 주며, 역시 초전하가 16개다. 콤팩트화로 카이랄 게이지 이론을 만들 수 있지만, 이 이름만으로 관측된 입자와 결합이 유일하게 정해지지는 않는다. 섭동적 끈 이외의 확장된 대상도 있다. D브레인은 열린 끈의 끝이 붙을 수 있는 동적 대상이며 II형 이론에서 라몽–라몽 전하를 가진다. 6 13

6. M이론과 쌍대성

쌍대성은 서로 다른 기술의 관측량을 동일시하며, 어려운 문제를 계산 가능한 문제로 바꾸기도 한다. T쌍대성은 콤팩트 방향 운동량과 감김을 교환하고, S쌍대성은 특정 약결합 영역과 강결합 영역을 잇는다. 모든 모형이 단순한 $g_s\mapsto 1/g_s$ 대칭을 가지는 것은 아니다.

강결합 IIA형에는 $R_{11}=g_s{\ell }_s$를 만족하는 11차원 해석이 나타난다. 결합이 커지면 원이 커지고, 11차원 초중력이 저에너지 극한을 기술한다. 이런 관계가 M이론을 동기 부여하지만, 임의의 배경에 적용되는 보편적 정식화나 열한 번째 차원의 실험적 발견을 뜻하지는 않는다. 6

콤팩트화: 직접 계산할 수 있는 원

$Y\sim Y+2\pi R$로 동일시하자. 단일값 파동함수에는 $e^{ip(Y+2\pi R)}=e^{ipY}$가 필요하므로, 정수 $n$에 대해 $p=n/R$이다. 닫힌 끈은 원을 $w$번 감을 수도 있다. 장력에 길이를 곱하면 감김 에너지 $T(2\pi R|w|)=|w|R/{\alpha }^{\prime }$를 얻는다.

$$p_L=\frac{n}{R}+\frac{wR}{{\alpha }^{\prime }},p_R=\frac{n}{R}-\frac{wR}{{\alpha }^{\prime }},$$ $$M^2={\left(\frac{n}{R}\right)}^2+{\left(\frac{wR}{{\alpha }^{\prime }}\right)}^2+\frac{2}{{\alpha }^{\prime }}(N+\tilde{N}-2),N-\tilde{N}-nw=0.$$ $$M^2=p_R^2+\frac{4}{{\alpha }^{\prime }}(N-1)=p_L^2+\frac{4}{{\alpha }^{\prime }}(\tilde{N}-1).$$

여기서 $Y(\sigma +2\pi )=Y(\sigma )+2\pi wR$이며, $N$은 앞의 ${\alpha }_n$ 들뜸을, $\tilde{N}$은 ${\tilde{\alpha }}_n$ 들뜸을 센다. 마지막 등식이 준위 맞춤의 부호 규약을 고정한다. $R\leftrightarrow {\alpha }^{\prime }/R$와 $n\leftrightarrow w$를 교환해도 스펙트럼은 같다. $R=2{\ell }_s$에서 단위 운동량 기여는 $1/(2{\ell }_s)$, 한 번 감김의 기여는 $2/{\ell }_s$이며, 쌍대 반경 ${\ell }_s/2$에서는 서로 바뀐다. 이들은 질량 공식에 대한 기여이지 반드시 상태의 전체 질량은 아니다. 7

파란색은 운동량 기여 $1/R$, 주황색은 감김 기여 $R/{\alpha }^{\prime }$다. 계산 도식이며 추가 차원을 관측한 그림이 아니다.

4차원 모형을 만들 때 여섯 콤팩트 공간 차원에는 기하, 플럭스, 경우에 따라 브레인이 있다. 그 크기와 모양은 모듈라이라는 스칼라장이 된다. 이들이 자유롭게 변하면 결합을 바꾸거나 관측되지 않은 장거리 힘을 매개할 수 있으므로 안정화가 중요하다. “너무 작아서 보이지 않는다”는 설명만으로 완전한 모형이 되지 않는다.

7. AdS/CFT 대응

말다세나의 가장 많이 연구된 예는 ${\mathrm{AdS}}_5\times S^5$ 위의 IIB형 끈과 4차원 $\mathcal{N}=4$ 초대칭 양–밀스 이론을 연결한다. AdS의 우주상수는 음수다. 경계 이론에는 동적 중력이 없지만 내부의 중력계를 부호화한다고 제안된다. 8

$$Z_{\mathrm{string}}[\varphi {|}_{\partial }={\varphi }_0]={⟨\exp \left(\int d^{d}x{\varphi }_0\mathcal{O}\right)⟩}_{\mathrm{CFT}}.$$

경계값 ${\varphi }_0$는 연산자 $\mathcal{O}$의 원천이며, 원천에 대해 미분하면 상관함수가 나온다. 이 대응하에서 경계 이론은 이 특정 내부 영역의 비섭동적 정의를 제공한다. 제안된 모든 홀로그래픽 쌍대성의 일반적인 증명은 아니다. 9

기하가 유용한 근사가 되는 조건

$N_c$를 $SU(N_c)$ 게이지 이론의 색 수, $L$을 AdS 반경이라 하자. 흔히 쓰는 정규화에서

$$\lambda =g_{\mathrm{YM}}^2{N}_c,\frac{L^4}{{\alpha }^{\prime 2}}=\lambda ,g_s=\frac{\lambda }{4\pi N_c}.$$

큰 't Hooft 결합 $\lambda$는 끈 길이 보정을 억제하고, $\lambda$를 고정한 채 충분히 큰 $N_c$는 끈 고리 보정을 억제한다. 고전 초중력에는 둘 다 필요하다. 따라서 강결합 게이지 물리가 약하게 휘어진 중력과 대응할 수 있지만, 약결합 게이지 이론에는 일반적으로 같은 단순한 기하 근사가 성립하지 않는다.

원판은 공간 단면의 개략도다. 경계 원천과 내부 장은 대응하는 관측량을 기술한다. $\lambda \gg 1$과 $g_s\ll 1$은 서로 다른 보정을 제어하며 실험적 증거가 아니다.

8. 과제와 미해결 질문

세 질문을 구분해야 한다. 구성이 일관적인가? 쌍대성이 두 구성을 연결하는가? 그중 어느 것이 우리 우주를 기술하는가? 앞의 두 성공이 세 번째를 결정하지는 않는다. 우리 우주는 위의 정확한 AdS 진공이 아니며, 그 게이지 이론도 표준모형이 아니다.

랜드스케이프는 수많은 콤팩트화와 진공 후보를 뜻한다. $10^{500}$ 같은 수치는 모형에 의존하는 추정이며 모든 물리적 우주의 확정된 총수가 아니다. 플럭스 선택의 수를 세는 것만으로 안정성, 우주론적 선택이나 확률이 결정되지는 않는다. Denef와 Douglas는 구체적인 계수 문제와 가정을 명시한다. 10

증거가 보여주는 것과 보여주지 않는 것

Strominger와 Vafa는 5차원 극한 초대칭 블랙홀의 특별한 부류에서 보호되는 상태를 세어 베켄슈타인–호킹 엔트로피의 선도항을 재현했다. 이는 양자상태와 지평선 면적을 연결하지만, 관측된 천체 블랙홀의 상태를 직접 센 것이 아니며 일반적인 증발을 완전히 설명하지도 않는다. 11

Cheung과 공동연구자들이 2026년에 발표한 연구는 트리 수준의 동역학, 고에너지에서 매우 빠르게 감소하는 거동, 유수의 영점 수가 최소라는 조건 등의 가정 아래 특정 끈 산란 진폭을 유도한다. 이는 그 진폭 부류에 관한 결과이지, 가정 없이 우리 우주를 유도한 것이나 실험적 확인이 아니다. 12

검증에는 구체적인 모형이 필요하다. 추가 입자, 콤팩트화 척도, 우주끈과 우주론적 신호는 더 많은 선택에 의존한다. 거시적 결함인 우주끈이 자동으로 기본 끈인 것은 아니다. 초대칭이나 추가 차원의 발견만으로 끈 이론이 유일하게 선택되지는 않으며, 도달 가능한 한 매개변수 영역을 배제해도 모든 콤팩트화를 배제하는 것은 아니다. 끈 척도 역시 4차원 플랑크 척도에 보편적으로 고정되지 않는다.

연구 현황

2026년 10월 13일까지 확인: 끈 이론은 강력한 계산 결과와 쌍대성 증거를 가진 양자중력 후보지만, 기본 끈이 자연을 기술한다는 확립된 직접 실험 확인은 없다. 수학적 성과는 그 가정과 함께 읽고, 우주론적 주장은 관측 가능한 예측으로 판단해야 한다. 제어되는 진공과 우주의 역사를 특징적이며 검증 가능한 물리로 연결하는 것이 남은 과제다.