[논문 리뷰] K3 Surfaces, N=4 Dyons, and the Mathieu Group M24

Miranda C. N. Cheng|arXiv (Cornell University)|2010. 05. 28.

Black Holes and Theoretical Physics참고 문헌 18인용 수 50

한 줄 요약

이 논문은 K3 표면의 타원적 성질과 N=4 스트링 차원 축소에서 1/4-BPS 스펙트럼에 연결된 매쓰ieu 군 M24와의 새로운 무명 현상(모운십)을 제안한다. 특히 M23에 속하지 않는 M24 원소들에 의한 군의 비틀림 타원적 성질을 연구함으로써, 이러한 분할 함수의 모듈라 성질이 M24의 표현을 포함하고 있음을 보여주며, 이는 이전의 매쓰ieu 무명 현상에 양자적 및 비기하학적 대칭을 포함하여 확장된다. 이는 K3×T²에 축소된 헤테로지식 및 타입 II 스트링 이론에서 새로운 스펙트럼을 예측한다.

ABSTRACT

A close relationship between K3 surfaces and the Mathieu groups has been established in the last century. Furthermore, it has been observed recently that the elliptic genus of K3 has a natural interpretation in terms of the dimensions of representations of the largest Mathieu group M24. In this paper we first give further evidence for this possibility by studying the elliptic genus of K3 surfaces twisted by some simple symplectic automorphisms. These partition functions with insertions of elements of M24 (the McKay-Thompson series) give further information about the relevant representation. We then point out that this new "moonshine" for the largest Mathieu group is connected to an earlier observation on a moonshine of M24 through the 1/4-BPS spectrum of K3xT^2-compactified type II string theory. This insight on the symmetry of the theory sheds new light on the generalised Kac-Moody algebra structure appearing in the spectrum, and leads to predictions for new elliptic genera of K3, perturbative spectrum of the toroidally compactified heterotic string, and the index for the 1/4-BPS dyons in the d=4, N=4 string theory, twisted by elements of the group of stringy K3 isometries.

연구 동기 및 목표

• K3 표면의 타원적 성질이 매쓰ieu 군 M24의 표현 이론적 구조를 보이지만, 고전적 K3 기하학에서 실현되지 않는 대칭성에 의한 비틀림 분할 함수를 포함하여 매쓰ieu 무명 현상의 관찰를 확장한다.
• K3×T²에 축소된 타입 II 스트링 이론의 1/4-BPS 스펙트럼이 일반화된 카크-무디 대수를 실현하며, 그 루트 다중도수를 통해 M24 대칭이 어떻게 표현되는지 조사한다.
• 특히 M23에 속하지 않는 원소들에 대해 M24 원소들에 의한 K3 CFT의 비틀림 타원적 성질에 대한 명시적 공식을 유도하고, 그것이 약한 자코비 형식으로서의 모듈라 성질을 확인한다.
• 모듈라 공간에 의존하지 않는 H²*(K3,Z) ≅ Γ⁴,²⁰ 래티스와 전체 M24 군을 연결하며, 생성된 대칭에 의한 불변성으로부터 전역적 M24 무명 현상이 실현됨을 보여주며, 단일 점에서 모든 대칭이 기하학적으로 실현되지 않더라도 가능함을 밝힌다.

제안 방법

• M24의 공轭류 g ∈ M24에 대해 K3 CFT의 비틀림 타원적 성질 Z_g(τ,z)를 계산하며, Z_K3(τ,z) = θ₁²(τ,z)/η³(τ) × (24μ(τ,z) + q⁻¹/⁸(−2 + T(τ)))의 분해를 사용한다.
• 비틀림 분할 함수를 표준 약한 자코비 형식 φ₀,₁(τ,z)과 φ₋₂,₁(τ,z)의 선형 조합으로 표현하며, 계수로는 Γ₀(N)의 정형 부분형식 f_N(τ)을 갖는 정수 계수의 모듈라 형식을 포함한다.
• 각 g ∈ M24에 대해 모듈라 군 Γ₀(ord(g))를 식별하며, Z_g(τ,z)가 g ∈ M23일 때에만 약한 자코비 형식이 되지만, g ∉ M23일 때도 여전히 정수 푸리에 계수를 유지함을 보여준다.
• 헤케 고유형식과 새로운 형식(예: f₁₁(τ) = η²(τ)η²(11τ), f₂₃,₁(τ)은 ℤ + ℤ(1−√5)/2에 계수를 갖는다)을 사용하여 비틀림 성질 공식의 모듈라 계수를 구성한다.
• 고차 수준의 약한 자코비 형식 이론을 적용하여 가능한 형식을 분류하며, 무게 0, 인덱스 1인 형식들이 φ₀,₁과 f_N(τ) × φ₋₂,₁로 생성됨을 보여준다. 여기서 f_N ∈ M₂(Γ₀(N))이다.
• 모든 비틀림 케이스에서 푸리에 계수의 정수성을 검증하여, 모듈라 표현 이론적 기대와의 일관성을 확인한다.

실험 결과

연구 질문

• RQ1 M23에 속하지 않는 M24 원소들에 의해 비틀어진 K3의 타원적 성질이 여전히 모듈라 불변성과 정수성을 보이며, 더 깊은 무명 현상의 존재를 시사할 수 있는가?
• RQ2 g ∈ M24에 대해 비틀림 분할 함수 Z_g(τ,z)는 K3×T²에 축소된 타입 II 스트링 이론의 1/4-BPS 스펙트럼과 관련된 일반화된 카크-무디 대수와 어떻게 연결되는가?
• RQ3 비틀림 타원적 성질의 모듈라 군의 구조는 무엇이며, 왜 g ∈ M23일 때에만 약한 자코비 형식이 되지만, g ∉ M23일 때도 잘 정의되고 정수 계수를 갖는가?
• RQ4 고전적 K3 기하학에서 모든 M24 대칭이 실현되지 않더라도, H²*(K3,Z) 래티스에서 양자 대칭을 통해 전체 M24 무명 현상이 실현될 수 있는가?
• RQ5 이 M24 무명 현상으로부터, d=4, N=4 스트링 이론에서 헤테로지식 스트링의 미세 스펙트럼과 1/4-BPS 디온의 지표에 대해 새로운 예측은 무엇인가?

주요 결과

• 비틀림 타원적 성질 Z₁₁A(τ,z)는 수준 11의 약한 자코비 형식이며, 새로운 형식 f₁₁(τ) = η²(τ)η²(11τ)로 구성된 계수를 갖고, 정수 푸리에 계수를 갖는다.
• g = 23A에 대해 비틀림 성질 Z₂₃ₐ(τ,z)는 두 개의 새로운 형식 f₂₃,₁(τ)과 f₂₃,₂(τ)를 포함하며, 계수는 ℤ + ℤ(1−√5)/2에 속하는 대수적 계수를 갖는다. 전체 표현식은 정수 푸리에 계수를 갖는다.
• g = 2B (M23에 속하지 않음)에 대해 비틀림 성질 Z₂B(τ,z)는 16φ₋₂,₁(τ,z) q ∂q log(η(τ)η²(4τ)/η³(2τ))로 표현되며, Γ₀(2)의 자코비 형식이 아니지만 모듈라 불변성이 확인된다.
• g = 4A (M23에 속하지 않음)에 대해 비틀림 성질 Z₄ₐ(τ,z)는 8φ₋₂,₁(τ,z) q ∂q log(η(2τ)η²(8τ)/η³(4τ))로 주어지며, 정수 계수를 갖는다. 이는 고전적 기하학을 초월한 무명 현상의 지지를 한다.
• 논문은 K3×T²에 축소된 스트링 이론의 1/4-BPS 스펙트럼이 타원적 성질의 푸리에 계수에 의해 코딩되며, M24 무명 현상을 실현함을 입증한다. 루트 다중도수들은 M24의 표현으로서 변환된다.
• 전체 무명 현상은 M24 군이 기하학적 대칭으로서 모든 원소를 한 점에서 실현하지 못하더라도, 양자 래티스 H²*(K3,Z) ≅ Γ⁴,²⁰에서 전역 대칭으로서 일관되게 실현된다.