[논문 리뷰] Lectures on modular forms and strings

Eric D’Hoker, Justin Kaidi|arXiv (Cornell University)|2022. 08. 15.

Black Holes and Theoretical Physics인용 수 9

한 줄 요약

이 논문은 모듈라 형식과 그 일반화—예를 들어 마스 형식, 모크 모듈라 형식, 모듈라 그래프 함수—에 대한 종합적이고 접근하기 쉬운 소개를 제공한다. 이들은 끈 이론과 수론에서 핵심적인 역할을 하며, 복소해석학, 대수기하학, 토러스 위의 양자장 이론의 도구를 사용하여 핵심 결과를 유도한다. 모듈라 불변성은 끈 이론의 이중성과 블랙홀 미세상태수의 수를 설명하는 데 기초가 된다.

ABSTRACT

The goal of these lectures is to present an informal but precise introduction to a body of concepts and methods of interest in number theory and string theory revolving around modular forms and their generalizations. Modular invariance lies at the heart of conformal field theory, string perturbation theory, Montonen-Olive duality, Seiberg-Witten theory, and S-duality in Type IIB superstring theory. Automorphic forms with respect to higher arithmetic groups as well as mock modular forms enter in toroidal string compactifications and the counting of black hole microstates. After introducing the basic mathematical concepts including elliptic functions, modular forms, Maass forms, modular forms for congruence subgroups, vector-valued modular forms, and modular graph forms, we describe a small subset of the countless applications to problems in Mathematics and Physics, including those mentioned above.

연구 동기 및 목표

• 수학 및 이론물리학 분야의 연구자들을 대상으로 자료가 완전하고 엄밀하면서도 접근하기 쉬운 모듈라 형식과 그 일반화에 대한 독립적인 소개를 제공하는 것.
• 타원 함수, 모듈라 군, 헤케 이론과 같은 수론의 기초 개념들을 끈 이론에 응용하는 데 다가가기 위한 다리를 놓는 것.
• S-duality가 타입 IIB 끈 이론에서, 몬텐텐-올리브 이중성에서 중요한 역할을 하는 모듈라 불변성의 역할을 명확히 하는 것.
• 스테이트 함수와 슈레드 곱자 함수를 사용하여 토러스 위의 bc 및 스핀어 시스템의 상관 함수에 대한 명시적 공식을 유도하고, 이를 모듈라 성질과 연결하는 것.
• 모듈라 그래프 함수, 반복 모듈라 적분, 헬로모르픽 모듈라 형식 간의 연결 고리를 설정하여 끈 페르투르베이션 이론의 맥락에서 설명하는 것.

제안 방법

• 복소해석학과 격자 이론을 사용하여 타원 함수와 모듈라 형식 이론을 체계적으로 발전시키며, 위어스트라스 및 자코비 타원 함수를 포함한다.
• 모듈라 군 $\mathrm{SL}(2,\mathbb{Z})$ 를 통해 모듈라 불변성을 도입하고, 아이젠슈타인 급수와 $j$-불변량을 핵심 불변량으로 도출한다.
• 이론을 토러스 위의 양자장 시스템에 적용하여 그린 함수와 슈레드 커널을 사용해 bc 및 스핀어 장의 행렬식과 상관 함수를 계산한다.
• 리만 스테이트 함수와 시겔 모듈라 형식을 이용해 상관 함수의 명시적 표현을 도출하며, $\mathrm{Sp}(2g,\mathbb{Z})$ 를 통해 모듈라 변환 성질을 표현한다.
• 모듈라 그래프 함수를 모듈라 형식의 반복 적분으로 도입하고, 비홀로모르픽 아이젠슈타인 급수와 마스 형식과의 관계를 규명한다.
• 모듈라 곡선 위의 라플라스 연산자의 스펙트럼 분해를 사용하여 마스 형식을 분석하고, 고차원 아미타브 형식에서의 역할을 규명한다.

실험 결과

연구 질문

• RQ1 모듈라 형식과 그 일반화—예를 들어 모크 모듈라 형식, 모듈라 그래프 함수—는 어떻게 자연스럽게 끈 페르투르베이션 이론에 나타나는가?
• RQ2 토러스 위의 bc 및 스핀어 장의 상관 함수의 정확한 모듈라 변환 행동은 무엇이며, 이는 어떻게 스테이트 함수에 의해 표현되는가?
• RQ3 종수 $g$ 인 리만 곡면 위의 페르미온 장의 영모드는 등각장 이론에서 상관 함수의 구조에 어떻게 영향을 미치는가?
• RQ4 모듈라 그래프 함수와 반복 모듈라 적분 간의 관계는 무엇이며, 이들은 헬로모르픽 모듈라 형식과 어떻게 연결되는가?
• RQ5 고차원 모듈라 형식과 시겔 스테이트 함수는 칼라비-야우 압축의 기하학과 블랙홀 엔트로피 수의 계산에 어떻게 연결되는가?

주요 결과

• 종수 $g$ 인 리만 곡면 위의 $M$ 개의 $b$-장과 $M$ 개의 $c$-장의 상관 함수는 모듈라 변환에 대해 $\widetilde{G}_M = \det(C\Omega + D)^{-1} G_M$ 로 변환되며, 이는 심플렉틱 군 $\mathrm{Sp}(2g,\mathbb{Z})$ 를 통한 모듈라 불변성을 확인한다.
• 짝수 스핀 구조에서 $n = \frac{1}{2}$ 일 경우 상관 함수는 $\langle b(z_1)\cdots c(w_1)\rangle = \det S_\delta(z_i, w_j)$ 로 주어지며, 여기서 $S_\delta$ 는 슈레드 커널이고, 다른 표현은 스테이트 함수의 비율을 포함한다.
• 홀수 스핀 구조에서 $n = \frac{1}{2}$ 일 경우 상관 함수는 영모드 기여 $h_\nu(z)h_\nu(w)$ 를 포함하며, 일반 공식은 그린 함수 행렬의 소수들의 합으로 표현된다.
• 일반적으로 $n = 1$ 일 경우, 가장 단순한 영이 아닌 상관 함수는 $G_0 = \det \omega_I(z_i)$ 이며, 일반 형태는 $G_M = \frac{\vartheta[D](\zeta|\Omega)}{Z} \cdot \frac{\prod_{i<j} E(z_i,z_j) \prod_{a<b} E(w_a,w_b)}{\prod_{i,a} E(z_i,w_a)}$ 로 주어지며, 여기서 $\zeta = \sum z_i - \sum w_a - (2n-1)\Delta$ 이다.
• $n \geq \frac{3}{2}$ 일 경우 순수하게 헬로모르픽 상관 함수 $\langle b(z_1)\cdots b(z_\Upsilon)\rangle = \frac{\vartheta[\delta](\zeta|\Omega)}{Z} \cdot \prod_{a<b} E(z_a,z_b)^{-1} \prod_a \sigma(z_a)^{-1}$ 는 영모드에 의해 완전히 포화된다. 여기서 $\Upsilon = (2n-1)(g-1)$ 이다.
• 일중 루프에서 모듈라 그래프 함수는 비홀로모르픽 아이젠슈타인 급수로 식별되며, 이중 루프에서는 모듈라 형식의 반복 적분으로 나타나며, 다중 제타 값과 모듈라 그래프 형식 이론과 연결된다.