자이베르그-위튼 이론

이론물리학에서, 자이베르크-위튼 이론(영어: Seiberg–Witten theory)는 4차원 ${\mathcal {N}}=2$ 초대칭 게이지 이론의 낮은 에너지 유효 이론을 다루는 이론이다. 이 이론은 수학에서 4차원 미분다양체의 위상수학을 다루는 데 사용된다. 끈 이론과도 밀접한 관련이 있다.

역사

나탄 자이베르크와 에드워드 위튼이 1994년에 도입하였다.

전개

4차원 𝒩=2 초대칭 이론

4차원 ${\mathcal {N}}=2$ 초대칭 게이지 이론은 16개의 초전하(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 )={\frac {1}{g^{2}}}\operatorname {tr} [\phi ,\phi ]$

따라서, 게이지 군의 카르탕 부분군(영어: Cartan subgroup, 최대 가환 부분군)을 따라서는 퍼텐셜이 평탄하며, 이 방향으로 진공 기댓값이 존재할 수 있다. 이 경우를 쿨롱 가지(영어: Coulomb branch)라고 한다. 또한, 하이퍼 초다중항의 초퍼텐셜이 특별한 꼴을 가질 경우 (예를 들어, 두 질량이 서로 같은 경우), 하이퍼 초다중항의 스칼라장도 진공 기댓값을 가질 수 있다. 이를 힉스 가지(영어: Higgs branch)라고 한다. ${\mathcal {N}}=2$ 초대칭 게이지 이론의 진공 모듈러스 공간은 국소적으로 쿨롱 가지와 힉스 가지의 곱이다.

진공 모듈러스 공간의 임의의 위치에서, (대전된) 하이퍼 초다중항들은 모두 질량을 얻게 되고, 게이지 군은 아벨 부분군으로 깨진다. (힉스 가지에 있지 않은 경우, 이 군은 게이지 군의 카르탕 부분군이다.) 남아 있는 무질량 벡터 초다중항의 스칼라장은 아벨 게이지 군의 딸림표현으로, 대전되어 있지 않다. 따라서, ${\mathcal {N}}=2$ 게이지 이론의 낮은 에너지 (윌슨) 유효 이론은 이 장들의 시그마 모형으로 나타내어진다.

자이베르크-위튼 이론

자이베르크-위튼 이론은 다음과 같이 전개된다. 편의상 SU(2) 게이지 군을 생각하자.

1. ${\mathcal {N}}=2$ 초대칭의 중심 전하(central charge)는 $a$ ($\langle \phi \rangle =a\sigma _{3}$)와 $a_{D}=\partial F/\partial a$ 두 개이다.
2. 양자 초대칭 게이지 이론의 모듈러스 공간은 게이지 불변 카시미르 연산자$u=2a^{2}=\operatorname {tr} (\phi ^{2})$로 좌표를 잡을 수 있는 리만 곡면이다.
3. $u$ 공간 위에서 프리퍼텐셜은 다음 세 곳에서 특이점을 가진다.
   1. $u=\infty$는 반고전적 근사가 유효한 구역이며, 이 곳에서 복소 결합 상수 $\tau (a)=\partial ^{2}F(a)/\partial a^{2}=\partial a_{D}/\partial a$는 발산한다. 이 곳에서는 $a\to \infty$이다.
   2. 프리퍼텐셜 $F$는 반고전적 근사가 유효하지 않은 $u=\Lambda ^{2}$에서도 발산한다. 이 점들에서는 자기 홀극이 가벼워지게 돼, 유효 이론은 이 자기 홀극으로 씌여지게 된다. 여기서는 $a_{D}\to 0$이며, 따라서 $1/a$ 대신 $a_{D}$로 섭동 이론을 전개한다.
   3. 프리퍼텐셜은 또한 반고전적 근사가 유효하지 않은 $u=-\Lambda ^{2}$에서도 발산한다. 이 경우는 $u=\Lambda ^{2}$와 유사하게 특정 자기 홀극들이 가벼워지지만, 대신 $a-2a_{D}\to 0$이다. 따라서 이 근처에서 자연스러운 변수는 $a-2a_{D}$이다.
4. 프리퍼텐셜이 발산하는 점 $u=\infty ,\pm \Lambda ^{2}$ 근처에서의 모노드로미는 초대칭의 성질을 통해 알 수 있다.
5. 따라서, 프리퍼텐셜 ${\mathcal {F}}$는 그 특이점과 모노드로미가 모두 알려진 정칙함수다. 이러한 함수를 찾는 문제를 리만-힐베르트 문제(영어: Riemann–Hilbert problem)이라고 하며, 이는 고전적 복소해석학을 통해 이미 그 해가 알려져 있다. 따라서 이를 사용하여 낮은 에너지에서의 ${\mathcal {N}}=2$ 초대칭 게이지 이론을 비섭동적으로 풀 수 있다.
6. $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$들의 모듈러스 공간은 모듈러 곡선(en:modular curve) $X_{0}(4)=\mathbb {H} /\Gamma _{0}(4)$가 된다. 여기서 $\mathbb {H}$는 복소 반평면(2차원 쌍곡공간)이고, $\Gamma _{0}(4)$는 모듈러 군의 합동부분군(en:congruence subgroup)의 한 종류다. 모듈러 곡선은 특정 구조를 가진 타원곡선의 모듈러스 공간이다.^:211–215 여기서 특정 구조는 타원곡선의 주어진 4차 순환부분군이다. 따라서, 이 모듈러 곡선을 자이베르크-위튼 곡선의 모듈러스 공간으로 해석한다.

참고 문헌

• Flume, R.; L. O’Raifeartaigh, I. Sachs (1996). “Brief résumé of Seiberg–Witten theory”. arXiv:hep-th/9611118. Bibcode:1996hep.th...11118F. 
• Lerche, Wolfgang (1997). “Introduction to Seiberg-Witten theory and its stringy origin”. 《Fortschritte der Physik》 45 (3–4): 293–340. arXiv:hep-th/9611190. Bibcode:1997ForPh..45..293L. doi:10.1002/prop.2190450304. ISSN 0015-8208. 
• Ketov, Sergei V. (1997). “Solitons, monopoles and duality: from sine-Gordon to Seiberg–Witten”. 《Fortschritte der Physik》 45 (3–4): 237–292. arXiv:hep-th/9611209. Bibcode:1997ForPh..45..237K. doi:10.1002/prop.2190450303. ISSN 0015-8208. 
• Álvarez-Gaumé, Luis; S. F. Hassan (1997). “Introduction to S-duality in N=2 supersymmetric gauge theories (a pedagogical review of the work of Seiberg and Witten)”. 《Fortschritte der Physik》 45 (3–4): 159–236. arXiv:hep-th/9701069. Bibcode:1997ForPh..45..159A. doi:10.1002/prop.2190450302. ISSN 0015-8208. 
• Bilal, Adel (1996). “Duality in N=2 SUSY SU(2) Yang-Mills theory: A pedagogical introduction to the work of Seiberg and Witten”. arXiv:hep-th/9601007. Bibcode:1996hep.th....1007B. 
• Klemm, Albrecht (1997). “On the geometry behind N=2 supersymmetric effective actions in four dimensions”. arXiv:hep-th/9705131. Bibcode:1997hepcbconf..120K. 
• Kiritsis, Elias (1999). “Supersymmetry and duality in field theory and string theory”. arXiv:hep-ph/9911525. Bibcode:1999hep.ph...11525K. 
• Álvarez-Gaumé, Frederic Zamora, Luis (1998). 〈Duality in quantum field theory (and string theory)〉. 《Trends in theoretical physics: CERN-Santiago de Compostela-La Plata meeting》. American Institute of Physics Conference Proceedings 419. American Institute of Physics. 1–53쪽. arXiv:hep-th/9709180. Bibcode:1998AIPC..419....1A. doi:10.1063/1.55087. ISBN 1-56396-743-X. ISSN 0094-243X. 
• Wu, Siye. 〈The geometry and physics of the Seiberg–Witten equations〉. 《Geometric Analysis and Applications to Quantum Field Theory》. Progress in Mathematics 205. Boston: Birkhäuser. 157–203쪽. doi:10.1007/978-1-4612-0067-3_7. ISBN 978-1-4612-6597-9.