자이베르그-위튼 이론

이론물리학에서 **자이베르그-위튼 이론**(זייברג-Witten理論, Seiberg–Witten theory)은 4차원 \mathcal N=2 초대칭 게이지 이론의 낮은 에너지 유효 이론을 다루는 이론이다.날짜=1996issn=0015-8208issn=0015-8208issn=0015-8208날짜=1996날짜=1997날짜=1999출판사=American Institute of Physics 이 이론은 수학에서 4차원 매끄러운 다양체의 위상수학을 다루는 데 사용된다.언어=en날짜=2002언어=en 끈 이론과도 밀접한 관련이 있다.언어=en
# 전개
=== 4차원 𝒩=2 초대칭 이론 === 4차원 \mathcal N=2 초대칭 게이지 이론은 8개의 초전하(supercharge)를 가지는 이론이다. \mathcal N=2 초다중항은 두 가지가 있다. * **벡터 초다중항**(vector hypermultiplet)은 벡터 게이지 보손과 복소 스칼라, 두 개의 바일 페르미온을 포함한다. 이는 \mathcal N=1 벡터 초다중항과 \mathcal N=1 손지기 초다중항(chiral supermultiplet)을 합친 것과 같다. 이는 게이지 군의 딸림표현을 따른다. * **하이퍼 초다중항**(hypermultiplet)은 두 개의 복소 스칼라와 두 개의 바일 페르미온을 포함한다.이는 두 개의 \mathcal N=1 손지기 초다중항을 합친 것과 같다. 이 이론의 낮은 에너지 유효 이론은 다음과 같은 데이터로 나타내어진다. * 벡터 초다중항의 운동항과 상호작용은 **프리퍼텐셜**(prepotential)이라는 하나의 함수 F로 나타내어진다. 프리퍼텐셜은 벡터 초다중항에 대한 정칙 함수다. * 하이퍼 초다중항의 운동항은 초켈러 다양체 계량으로 나타내어진다. 이 밖에도, 하이퍼 초다중항은 정칙 초퍼텐셜(superpotential)을 가질 수 있다. \mathcal N=2 초대칭 게이지 이론의 벡터 초다중항의 퍼텐셜은 다음과 같다. :V(\phi)=\frac1{g^2}\operatorname{tr}[\phi,\bar{\phi}]^2 따라서, 게이지 군의 카르탕 부분군(Cartan subgroup, 최대 가환 부분군)을 따라서는 퍼텐셜이 평탄하며, 이 방향으로 진공 기댓값이 존재할 수 있다. 이 경우를 **쿨롱 가지**(Coulomb branch)라고 한다. 또한, 하이퍼 초다중항의 초퍼텐셜이 특별한 꼴을 가질 경우 (예를 들어, 두 질량이 서로 같은 경우), 하이퍼 초다중항의 스칼라장도 진공 기댓값을 가질 수 있다. 이를 **힉스 가지**(Higgs branch)라고 한다. \mathcal N=2 초대칭 게이지 이론의 진공 모듈러스 공간은 국소적으로 쿨롱 가지와 힉스 가지의 곱이다. 진공 모듈러스 공간의 임의의 위치에서, (대전된) 하이퍼 초다중항들은 모두 질량을 얻게 되고, 게이지 군은 아벨 부분군으로 깨진다. (힉스 가지에 있지 않은 경우, 이 군은 게이지 군의 카르탕 부분군이다.) 남아 있는 무질량 벡터 초다중항의 스칼라장은 아벨 게이지 군의 딸림표현으로, 대전되어 있지 않다. 따라서, \mathcal N=2 게이지 이론의 낮은 에너지 (윌슨) 유효 이론은 이 장들의 시그마 모형으로 나타내어진다.
## 모듈러스 공간과 모노드로미
자이베르그-위튼 이론은 다음과 같이 전개된다. 편의상 SU(2) 게이지 군을 생각하자. # \mathcal N=2 초대칭의 중심 전하(central charge)는 a (\langle\phi\rangle=a\sigma_3)와 a_D=\partial F/\partial a 두 개이다. # 양자 초대칭 게이지 이론의 모듈러스 공간은 게이지 불변 카시미르 불변량 u=2a^2=\operatorname{tr}(\phi^2)으로 좌표를 잡을 수 있는 리만 구이다. # u 공간 위에서 프리퍼텐셜은 다음 세 곳에서 특이점을 가진다. ## u=\infty는 반고전적 근사가 유효한 구역이며, 이 곳에서 복소 결합 상수 \tau(a)=\partial^2F(a)/\partial a^2=\partial a_D/\partial a는 발산한다. 이 곳에서는 a\to\infty이다. ## 프리퍼텐셜 F는 반고전적 근사가 유효하지 않은 u=\Lambda^2에서도 발산한다. 이 점들에서는 자기 홀극이 가벼워지게 돼, 유효 이론은 이 자기 홀극으로 씌여지게 된다. 여기서는 a_D\to0이며, 따라서 1/a 대신 a_D로 섭동 이론을 전개한다. ## 프리퍼텐셜은 또한 반고전적 근사가 유효하지 않은 u=-\Lambda^2에서도 발산한다. 이 경우는 u=\Lambda^2와 유사하게 특정 자기 홀극들이 가벼워지지만, 대신 a-2a_D\to0이다. 따라서 이 근처에서 자연스러운 변수는 a-2a_D이다. # 프리퍼텐셜이 발산하는 점 u=\infty,\pm\Lambda^2 근처에서의 모노드로미는 초대칭의 성질을 통해 알 수 있다. # 따라서, 프리퍼텐셜 \mathcal F는 그 특이점과 모노드로미가 모두 알려진 정칙함수다. 이러한 함수를 찾는 문제를 **리만-힐베르트 문제**(Riemann–Hilbert problem)이라고 하며, 이는 고전적 복소해석학을 통해 이미 그 해가 알려져 있다. 따라서 이를 사용하여 낮은 에너지에서의 \mathcal N=2 초대칭 게이지 이론을 비섭동적으로 풀 수 있다. 보다 일반적으로, 게이지 군 G가 주어졌을 때, 모듈러스 공간은 G의 카르탕 부분군 T(G)\subset G의 바일 군(G의 근계의 자기동형사상군) W(G)에 대한 몫공간 T(G)/W(G)이다. 이 모듈러스 공간은 바일 군 불변, 게이지 불변 카시미르 불변량들로 좌표를 잡을 수 있다. 예를 들어, G=SU(N)인 경우, 카르탕 부분군은 N-1차원이며, 바일 군은 대칭군 S_N이다. 따라서 그 모듈러스 공간은 \mathbb C^{N-1}/S_N이며, 바일 불변 카시미르 불변량 u_2,u_3,\dots,u_N은 다음과 같다. :\det_{N\times N}(1_{N\times N}x-\phi)=x^N-u_2x^{N-2}-u_3x^{N-3}\cdots-u_{N-1}x-u_N
## 스펙트럼 곡선
u 공간에서의 모노드로미는 어떤 타원 곡선의 모듈러 군으로 해석할 수 있다. 이 타원 곡선을 **자이베르그-위튼 곡선**(Seiberg–Witten curve) 또는 **스펙트럼 곡선**(spectral curve)이라고 한다. 타원 곡선은 위상수학적으로 원환면이므로, 1차 호몰로지 H^1(\mathbb T^2)\cong\mathbb Z^2의 기저 \\{\alpha,\beta\\}를 잡자. 타원 곡선 위에 유리형 1차 미분 형식 \lambda가 존재하여, a=\int_\alpha\lambda, a_D=\int_\beta\lambda로 쓸 수 있다. 이에 따라, 주어진 u에서 가능한 복소 결합 상수 \tau들의 모듈러스 공간은 모듈러 곡선 X_0(4)=\mathbb H/\Gamma_0(4)가 된다. 여기서 \mathbb H는 복소 상반평면이고, \Gamma_0(4)는 모듈러 군의 합동 부분군의 한 종류다. 모듈러 곡선은 특정 구조를 가진 타원곡선의 모듈러스 공간이다.zbl =1040.11043211–215 여기서 특정 구조는 타원곡선의 주어진 4차 순환부분군이다. 따라서, 이 모듈러 곡선을 자이베르그-위튼 곡선의 모듈러스 공간으로 해석한다.
# 끈 이론과 M이론으로의 해석
자이베르그-위튼 이론은 끈 이론으로 자연스럽게 해석할 수 있다.언어=en언어=en 이 경우, \mathcal N=2 초대칭 게이지 이론은 D4-막과 NS5-막의 교차점에 존재한다. M이론에서는 D4-막과 NS5-막 둘 다 M5-막이 되므로, 이는 어떤 리만 곡면에 감긴 M5-막이 된다. 이 리만 곡면이 자이베르그-위튼 곡선이다. IIA형 초끈 이론에서 \mathcal N=2 초대칭 게이지 이론을 정의한다고 하자. D4-막들과 NS5-막들의 위치는 다음과 같다. :{| class="wikitable" |- ! 막 !! 0 || 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 |- | NS5 || — || — || — || — || • || • || • || — || — || • |- | D4 || — || — || — || — || • || • || • || • || • || |—| |} 즉, 012378 방향으로 위치한 NS5-막들 사이에 01239 방향으로 D4-막들이 놓여 있다. 예를 들어, 다음과 같은 꼴이다. : 여기서 세로는 (*x*7,*x*8)-방향으로 뻗은 NS5-막, 가로는 *x*9-방향으로 뻗은 D4-막을 나타낸다. 그렇다면 이 두 막들이 교차하는 0123 방향에서는 ¼-BPS, 즉 \mathcal N=2 초대칭 게이지 이론이 존재한다. 이 경우 D4-막의 겹침에 의하여 게이지군은 \mathrm{SU}(N_1)\times\mathrm{SU}(N_2)\times\cdots\times\mathrm{SU}(N_k) 꼴이 된다. (\mathrm{U}(N)이 아니라 \mathrm{SU}(N)인 이유는 NS5-막에 의하여 D4-막들이 무한히 무거워져, D4-막들 전체의 질량 중심을 나타내는 \mathrm{U}(1) 인자가 사라지기 때문이다.) 예를 들어, 위 그림의 경우 게이지 군은 \mathrm{SU}(2)이다 (\mathrm{SU}(1)은 자명군이다). 이러한 IIA형 막 배위는 M이론으로 해석할 수 있다. M이론에서는 10번째 추가 차원이 존재하고, D4-막은 이 추가 차원을 감는 M5-막으로, NS5-막은 추가 차원을 감지 않는 M5-막으로 해석한다. M5-막은 (D-막과 달리) 다른 M5-막에 붙어 있을 수 없으므로, 이는 복잡한 모양을 가진 하나의 M5-막으로 나타내어진다. 789(10) 방향을 2차원 복소 공간 \mathbb C^2로 해석한다면, M5-막은 \mathbb C^2 속에 놓인 리만 곡면 \Sigma\subset\mathbb C^2를 감게 된다. (초대칭을 보존하려면 이 곡면이 정칙 부분다양체, 즉, 리만 곡면이어야 한다.) :{| class="wikitable" |- ! 막 !! 0 || 1 !! 2 !! 3 !! 4 !! 5 !! 6 !! 7 !! 8 !! 9 !! 10 |- | M5 || — || — || — || — || • || • || • | colspan=4 | (리만 곡면) |}
# 역사
나탄 자이베르그와 에드워드 위튼이 1994년에 도입하였다.issn=0550-3213issn=0550-3213