[논문 리뷰] On S-Duality in Abelian Gauge Theory

Edward Witten|arXiv (Cornell University)|1995. 05. 31.

Mathematical and Theoretical Analysis참고 문헌 5인용 수 116

한 줄 요약

이 논문은 4차원 다양체 위에서 U(1) 게이지 이론의 분할 함수가 SL(2,\mathbb{Z}) 이중성에 따라 무게 $(u,v) = ((\chi + \sigma)/4, (\chi - \sigma)/4)$ 의 모듈라 형식으로 변환됨을 확립한다. 여기서 $\chi$ 와 $\sigma$ 는 다양체의 오일러 특성수와 시그니처이다. 경로 적분 분석과 지수 정리에 의해 유도된 이 모듈라 변환 법칙은 $N=2$ 초대칭 양-밀스 이론에 대한 핵심 일致성 검증을 제공하며, $b_2^+ \leq 1$ 인 4차원 다양체에서 도널드슨 불변량을 계산하는 데 필수적인 새로운 저에너지 효과적 상호작용을 결정한다. 이 결과는 또한 이중성과 이상성 상쇄에 있어서 두 번째 스티펠-브라운 수의 역할을 명확히 한다.

ABSTRACT

U(1) gauge theory on ${\bf R}^4$ is known to possess an electric-magnetic duality symmetry that inverts the coupling constant and extends to an action of $SL(2,{\bf Z})$. In this paper, the duality is studied on a general four-manifold and it is shown that the partition function is not a modular-invariant function but transforms as a modular form. This result plays an essential role in determining a new low-energy interaction that arises when N=2 supersymmetric Yang-Mills theory is formulated on a four-manifold; the determination of this interaction gives a new test of the solution of the model and would enter in computations of the Donaldson invariants of four-manifolds with $b_2^+\leq 1$. Certain other aspects of abelian duality, relevant to matters such as the dependence of Donaldson invariants on the second Stieffel-Whitney class, are also analyzed.

연구 동기 및 목표

• 평탄한 공간을 초월하여 아벨 게이지 이론에서의 $S$-이중성을 일반 4차원 다양체로 일반화하여 이해하기 위해.
• 일반적인 4차원 다양체 위에서 $U(1)$ 게이지 이론의 분할 함수가 $SL(2,\mathbb{Z})$ 이중성에 따라 어떻게 변하는지 규명하기 위해.
• 모듈라 변환 법칙을 $N=2$ 초대칭 양-밀스 이론에서 새로운 저에너지 효과적 상호작용을 계산하는 데 적용하기 위해.
• 이중성과 페르미온 영모드 분석을 통해 도널드슨 불변량이 두 번째 스티펠-브라운 수에 어떻게 의존하는지 명확히 하기 위해.

제안 방법

• 경로 적분 양자화를 사용하여 컴acts 4차원 다양체 $X$ 위에서 자유 $U(1)$ 게이지 이론의 분할 함수를 분석한다.
• $\tau \to -1/\tau$ 와 $\tau \to \tau + 1$ 에서의 분할 함수의 변환을 계산하여, 이가 무게 $(u,v) = ((\chi + \sigma)/4, (\chi - \sigma)/4)$ 의 모듈라 형식으로 변환됨을 보여준다.
• 지수 정리를 사용하여 페르미온 영모드 수의 차이를 캐논리컬 번들의 첫 번째 체른 클래스 $c_1(K)$ 와 2를 모듈로로 나눈 값으로 연결한다.
• 변환 법칙을 $N=2$ 휘어진 초대칭 이론에 적용하여, 질량 행렬의 부호에 따라 달라지는 $\theta$-각도 의존 항이 포함된 효과적 작용을 도출한다.
• 측도 $\mu$ 와 $\widetilde{\mu}$ 를 비교하여 효과적 이론에서 페르미온 행렬식의 부호를 유도하며, 이가 $(-1)^{c_1(K) \cdot c_1(T)}$ 에 의존함을 보여주고, 이는 2를 모듈로로 나눈 결과 두 번째 스티펠-브라운 수 $w_2(X)$ 로 줄어든다.
• 유도된 상호작용 항이 $S$-이중성과 일致하며, $b_2^+ \leq 1$ 인 다양체에서 도널드슨 불변량을 계산하는 데 필수적임을 입증한다.

실험 결과

연구 질문

• RQ1 일반적인 4차원 다양체 위에서 $U(1)$ 게이지 이론의 분할 함수는 $SL(2,\mathbb{Z})$ 이중성에 따라 어떻게 변하는가?
• RQ2 분할 함수의 모듈라 무게는 오일러 특성수 $\chi$ 와 시그니처 $\sigma$ 와 같은 위상 불변량으로 어떻게 기술되는가?
• RQ3 아벨 게이지 이론에서의 $S$-이중성 이상성은 $N=2$ 초대칭 양-밀스 이론의 효과적 작용과 어떻게 관련되는가?
• RQ4 두 번째 스티펠-브라운 수는 분할 함수의 이중성 변환에서 어떤 역할을 하는가?
• RQ5 저에너지 효과적 이론에서 페르미온 행렬식의 부호는 4차원 다양체의 위상에 따라 어떻게 달라지는가?

주요 결과

• 4차원 다양체 위에서 $U(1)$ 게이지 이론의 분할 함수 $Z(\tau)$ 는 $SL(2,\mathbb{Z})$ 이중성에 따라 무게 $(u,v) = ((\chi + \sigma)/4, (\chi - \sigma)/4)$ 의 모듈라 형식으로 변환된다.
• 변환 법칙 $Z(-1/\tau) = \tau^u \overline{\tau}^v Z(\tau)$ 는 분할 함수가 모듈라 불변이 아니며, 오일러 특성수와 시그니처에 의해 결정되는 비자명한 무게로 변환됨을 시사한다.
• 모듈라 이상성은 중력 연성 $S$-이중성 이론에서의 비최소 연성에 관련되어 있으며, 이상성을 상쇄하기 위해 $\int_X B(\tau) \, \mathrm{tr} R \wedge \widetilde{R}$ 와 같은 항이 필요하다.
• $N=2$ 초대칭 양-밀스 이론에서, 모듈라 변환 법칙은 $b_2^+ \leq 1$ 인 4차원 다양체에서 도널드슨 불변량을 계산하는 데 필수적인 새로운 저에너지 효과적 상호작용을 결정한다.
• 효과적 이론에서 페르미온 행렬식의 부호는 $(-1)^{c_1(K) \cdot c_1(T)}$ 이며, 이는 교차 형식에 의존하고 2를 모듈로로 나눈 결과 두 번째 스티펠-브라운 수 $w_2(X)$ 로 줄어든다.
• 분석은 $S$-이중성 변환이 올바르게 게이지 군과 그 이중군을 교환하며, $N=2$ 이론의 해가 일치함을 확인한다.