[논문 리뷰] Donaldson-Witten theory, surface operators and mock modular forms

Georgios Korpas|arXiv (Cornell University)|2018. 10. 16.

Black Holes and Theoretical Physics참고 문헌 46인용 수 6

한 줄 요약

이 논문은 도널드슨-위튼 이론의 u-평면 적분을 표면 연산자를 포함하여 재해석하며, $\bar{\nabla}$-정확한 변형을 도입하여 적분자를 무한도 함수의 전미분 형태로 표현한다—특히 혼합 모크 모듈라 형식인 불확정성 테타 함수의 형태로 표현된다. 카일러 표면에서 코다이라 차원이 $-\infty$ 인 경우, 적분은 코울럼 브랜치의 무한대에 있는 캐스프에 국소화되며, 이는 위상적 불변량과 모크 모듈라 형식 사이의 깊은 연결을 드러낸다.

ABSTRACT

We revisit the $u$-plane integral of the topologically twisted $\mathcal{N}=2$ super Yang-Mills theory, the Donaldson-Witten theory, on a closed four-manifold $X$ with embedded surfaces that support supersymmetric surface operators. This integral mathematically corresponds to the generating function of the ramified Donaldson invariants of $X$. By including a $\overline{\mathcal{Q}}$-exact deformation to the $u$-plane integral we are able to re-express its integrand in terms of a total derivative with respect to an indefinite theta function, a special kind of mock modular form. We show that for specific Kähler surfaces of Kodaira dimension $-\infty$ the integral localizes at the cusp at infinity of the Coulomb branch of the theory.

연구 동기 및 목표

• 도널드슨-위튼 이론의 표면 연산자를 포함한 u-평면 적분을 $\bar{\nabla}$-정확한 변형을 통해 재구성하는 것.
• 변형된 적분자의 전미분 형태로 표현하며, 이는 부정정 테타 함수—특히 혼합 모크 모듈라 형식인 형태—를 포함한다.
• 결과로 얻어진 대상의 모듈라 성질과 $\sigma L(2,\mathbb{Z})$에 대한 그림자 성질을 분석하는 것.
• 카일러 표면에서 코다이라 차원이 $-\infty$ 인 경우, u-평면 적분이 무한대에 있는 캐스프에 국소화됨을 보이는 것.
• 오차 함수와 그 해석적 계속성의 역할을 분석하여 테타 함수의 수렴성과 모듈라 완성성에 기여하는 것.

제안 방법

• 위상적으로 휘어진 $\chi=2$ 초양미스 이론의 u-평면 적분에 $\bar{\nabla}$-정확한 변형을 도입하는 것.
• 변형된 적분자를 부정정 테타 함수의 전미분 형태로 재표현하며, 이는 서명 $(1,1)$의 혼합 모크 모듈라 형식인 부정정 테타 함수이다.
• 오차 함수 $E(u)$를 정의하여 테타 함수의 모듈라 완성을 확보하며, 이는 $E(u) = 2\int_0^u e^{-\pi t^2} dt$ 로 정의된다.
• 완성된 테타 함수의 $\mathrm{SL}(2,\mathbb{Z})$에 대한 모듈라 변환 성질을 생성자 $T$와 $S$에 대해 유도하며, 위상 인자와 이동을 포함한 변환 법칙을 보여주는 것.
• 완성된 테타 함수의 그림자를 두 개의 시에겔-나라인 테타 함수의 차이로 식별한다: $\Psi_{\bm{\mu}}^J - \Psi_{\bm{\mu}}^{J'}$로, 이는 비해석적 행동을 지배한다.
• $\tau_2 \to \infty$의 극한을 분석하며, 오차 함수가 부호 함수로 간소화되고, 테타 함수는 $J$와 $J'$로 정의된 양의 원뿔 내의 격자 점에 대한 합으로 단순화됨을 보여주는 것.

실험 결과

연구 질문

• RQ1 도널드슨-위튼 이론의 u-평면 적분은 어떻게 $\pi$-정확한 변형을 통해 재표현될 수 있으며, 이로 인해 모듈라 성질이 드러나는가?
• RQ2 오차 함수 완성과 함께 사용되는 부정정 테타 함수는 램프된 도널드슨 불변량의 생성 함수를 기술하는 데 어떤 역할을 하는가?
• RQ3 완성된 테타 함수의 모듈라 변환 성질은 이론의 물리적 코울럼 브랜치의 구조와 어떻게 관련되어 있는가?
• RQ4 u-평면 적분이 언제 무한대에 있는 캐스프에 국소화되며, 이 국소화는 코다이라 차원이 $-\infty$ 인 카일러 표면에 대해 어떤 의미를 지닌다?
• RQ5 이 맥락에서 모크 모듈라 형식의 그림자와 시에겔-나라인 테타 함수 사이의 정확한 관계는 무엇인가?

주요 결과

• 코다이라 차원이 $-\infty$ 인 카일러 표면의 경우, u-평면 적분은 코울럼 브랜치의 무한대에 있는 캐스프에 국소화되며, 이는 주로 큰 복소 구조 극한에서 기여가 발생함을 시사한다.
• u-평면 적분의 integrand는 완성된 부정정 테타 함수의 전미분 형태로 재표현되며, 이는 오차 함수 $E(u)$를 포함한 혼합 모크 모듈라 형식이다.
• 완성된 테타 함수의 그림자는 $\partial_{\bar{\tau}}\widehat{\Theta}_{\bm{\mu}}^{JJ'} = \Psi_{\bm{\mu}}^J - \Psi_{\bm{\mu}}^{J'}$ 로 주어지며, 여기서 $\Psi_{\bm{\mu}}^J$ 는 격자 $\Lambda$와 관련된 시에겔-나라인 테타 함수이다.
• 격자 $\Lambda$에 영 벡터 $J'$가 존재하여 $Q(J') = 0$ 를 만족하는 경우, $\tau_2 \to \infty$ 극한에서 오차 함수는 부호 함수로 단순화되며, 완성된 테타 함수의 표현이 단순화된다.
• 완성된 테타 함수의 모듈라 변환 성질은 명시적으로 유도되었으며, $T$와 $S$는 각각 $\bm{\mu}$와 $K$를 포함한 위상 이동과 인자 변환을 통해 작용한다.
• 시리즈는 오직 $J'$ 가 $\Lambda$의 격자 벡터일 때에만 수렴하며, 이외의 경우 완성이 수렴하지 않음을 [71, 부록 B.3] 에서 보여주었다.