[논문 리뷰] Second Quantized Mathieu Moonshine

Daniel Persson, Roberto Volpato|arXiv (Cornell University)|2013. 12. 02.

Advanced Algebra and Geometry참고 문헌 66인용 수 9

한 줄 요약

이 논문은 일반화된 매쓰류 문스나인에서 비틀린 이중성의 생성함수의 제2량자화된 형태를 제안하며, 이러한 리프트가 무한곱 표현을 가진 시겔 모듈라 형식을 유도함을 보여준다. 이러한 형식들은 S-duality와 벽을 넘는 성질을 만족하며, 두 가지 형태의 $M_{24}$-문스나인을 조율하고, 일부는 유말 브리지에서 유래한 보르처르스 리프트로 식별된다.

ABSTRACT

We study the second quantized version of the twisted twining genera of generalized Mathieu moonshine, and prove that they give rise to Siegel modular forms with infinite product representations. Most of these forms are expected to have an interpretation as twisted partition functions counting 1/4 BPS dyons in type II superstring theory on K3 imes T^2 or in heterotic CHL-models. We show that all these Siegel modular forms, independently of their possible physical interpretation, satisfy an "S-duality" transformation and a "wall-crossing formula". The latter reproduces all the eta-products of an older version of generalized Mathieu moonshine proposed by Mason in the '90s. Surprisingly, some of the Siegel modular forms we find coincide with the multiplicative (Borcherds) lifts of Jacobi forms in umbral moonshine.

연구 동기 및 목표

• 일반화된 매쓰류 문스나인에서의 비틀린 이중성 생성함수에 대한 제2량자화된 형태를 구축하는 것.
• 이 제2량자화된 형태가 무한곱 표현을 가진 시겔 모듈라 형식임을 보여주는 것.
• 벽을 넘는 성질을 통해 일반화된 매쓰류 문스나인과 메이슨의 이전 $M_{24}$-문스나인 간의 물리적·수학적 연결 고리를 확립하는 것.
• 유도된 시겔 모듈라 형식이 S-duality와 자동형 불변성을 만족함을 보이는 것.
• 제2량자화된 리프트가 유말 문스나인에서 유래한 보르처르스 리프트와 일치하는 경우를 식별하는 것.

제안 방법

• 약한 자코비 형식 $\phi_{g,h}$ 에 비틀린 등변 헤케 연산자를 적용하여 제2량자화된 비틀린 이중성 생성함수 $\Psi_{g,h}$ 를 정의하는 것.
• 곱셈적 (보르처르스) 리프트를 사용하여 자코비 형식 $\phi_{g,h}$ 에서 시겔 모듈라 형식으로 $\Psi_{g,h}$ 를 구성하는 것.
• 군 코hom로지와 중심 확장을 활용하여 비틀린 등변 헤케 연산자를 일관되게 정의하는 것.
• g의 중심화군의 공轭류를 그 커버링 군의 공轭류로 재표기하는 절차를 도입하여 S-duality 불변성을 가능하게 하는 것.
• 메이슨의 일반화된 $M_{24}$-문스나인 에타乘의 모든 구조를 재현하는 벽을 넘는 공식을 유도하는 것.
• S-duality 변환과 $\mathrm{Sp}(2,\mathbb{Z})$ 에 대한 모듈라 불변성에 기반하여 자동형 성질을 검증하는 것.

실험 결과

연구 질문

• RQ1 일반화된 매쓰류 문스나인의 비틀린 이중성 생성함수는 어떻게 제2량자화되어 자동형 형식을 유도할 수 있는가?
• RQ2 유도된 제2량자화된 형식은 S-duality와 벽을 넘는 행동을 만족하는가?
• RQ3 벽을 넘는 공식은 메이슨의 일반화된 $M_{24}$-문스나인의 무한곱 구조를 재현할 수 있는가?
• RQ4 제2량자화된 형식과 유말 문스나인에서 유래한 보르처르스 리프트 사이에 연결 고리가 존재하는가?
• RQ5 이러한 시겔 모듈라 형식은 끈 단순화에서 어떤 물리적 해석을 가진다?

주요 결과

• 제2량자화된 비틀린 이중성 생성함수 $\Psi_{g,h}$ 는 무한곱 표현을 가진 시겔 모듈라 형식이다.
• 이 시겔 모듈라 형식은 S-duality 변환을 만족하며, $\mathrm{Sp}(2,\mathbb{Z})$-duality 불변성을 나타낸다.
• 벽을 넘는 공식은 메이슨의 일반화된 $M_{24}$-문스나인 에타乘를 모두 재현하며, 두 버전의 문스나인 간의 직접적 연결 고리를 확립한다.
• 일부 $g,h$ 공轭류에 대해 $\Psi_{g,h}$ 는 유말 문스나인의 자코비 형식에서 유래한 보르처르스 리프트와 일치한다.
• 이 구성은 모든 $M_{24}$ 공轭류에 대해 일관되며, 문스나 모듈러의 모듈라 및 군론적 구조를 유지한다.
• 제2량자화된 형식은 $K3 \times T^2$ 와 CHL 모델에서의 $1/4$ BPS 다이온을 세는 비틀린 분할 함수로 물리적으로 해석 가능하다.