[논문 리뷰] Siegel modular forms and finite symplectic groups

Francesco Dalla Piazza, Bert van Geemen|ArXiv.org|2008. 04. 23.

Advanced Algebra and Geometry참고 문헌 18인용 수 13

한 줄 요약

이 논문은 짝수 차수인 2차 수준의 시겔 모듈라 형식 공간 위에서 유한 심플렉틱군 $Sp(2g, \mathbb{F}_2)$의 작용을 연구하며, $g \leq 3$에 대해 표현을 기약 성분으로 분해한다. 슈퍼스트링 측도의 모듈라 형식 $\Xi_8[0^{(g)}]$에 대한 유일성 결과를 입증하고, 데헤커와 포잉이 연구한 336개의 6차 수준 3차 시겔 형식이 생성하는 105차원 공간의 기약성도 증명하며, 12차의 미야와키의 컷스 형식에 대한 새로운 구성법을 제공한다.

ABSTRACT

The finite symplectic group Sp(2g) over the field of two elements has a natural representation on the vector space of Siegel modular forms of given weight for the principal congruence subgroup of level two. In this paper we decompose this representation, for various (small) values of the genus and the level, into irreducible representations. As a consequence we obtain uniqueness results for certain modular forms related to the superstring measure, a better understanding of certain modular forms in genus three studied by D'Hoker and Phong as well as a new construction of Miyawaki's cusp form of weight twelve in genus three.

연구 동기 및 목표

• 2차 수준이고 짝수 차수인 시겔 모듈라 형식 공간 위에서 유한 심플렉틱군 $Sp(2g, \mathbb{F}_2)$의 표현을 이해하기 위해.
• 작은 종수 $g \leq 3$에 대해, 테타 급수와 계산 도구를 사용하여 이러한 표현을 기약 성분으로 분해하기 위해.
• 초스트링 이론과 관련된 모듈라 형식 $\Xi_8[0^{(g)}]$에 대한 유일성 결과를 확립하기 위해.
• 데헤커와 포잉이 연구한 336개의 6차 수준 3차 모듈라 형식을 분석하여, 이들이 생성하는 공간이 $Sp(6)$에 대해 기약임을 보이고, 그 차원이 105임을 입증하기 위해.
• 데헤커-포잉의 336개의 형식의 제곱의 합을 통해 3차 종수에서 12차의 미야와키의 컷스 형식을 새로운 방식으로 구성하기 위해.

제안 방법

• $Sp(2g, \mathbb{F}_2) \cong \Gamma_g / \Gamma_g(2)$의 자연스러운 작용을 2차 수준의 시겔 모듈라 형식 공간에 적용한다.
• 2차 수준에서 $g \leq 3$에 대해 테타 급수를 활용하여 모듈라 형식을 명시적으로 기술하며, 그들의 $Sp(2g)$-불변성을 이용한다.
• 군 표현 이론을 적용하여 모듈라 형식 위에서의 $Sp(2g)$-표현을 기약 성분으로 분해한다.
• 헤이젠베르크 군의 작용과 그 $\widetilde{Sp}(2g, \mathbb{Z})$로의 올림을 이용하여 모듈라 형식의 테타 특성의 변환 성질을 분석한다.
• 슈어의 보조정리(Shur's Lemma)를 적용하여, 헤이젠베르크 불변량 위에 군 올림의 작용이 표준 작용과 스칼라로 동치임을 보인다.
• 계산 도구와 특성표(예: 프레임의 표)를 활용하여 기약 표현을 식별하고 차원을 검증한다.

실험 결과

연구 질문

• RQ1 $g \leq 3$에 대해, 2차 수준이고 짝수 차수인 시겔 모듈라 형식 공간 위에서 $Sp(2g, \mathbb{F}_2)$-표현의 분해는 어떻게 되는가?
• RQ2 데헤커와 포잉이 연구한 336개의 6차 수준 3차 모듈라 형식이 생성하는 105차원 공간은 $Sp(6)$에 대해 기약인가?
• RQ3 3차 종수에서 미야와키의 12차 컷스 형식은 데헤커-포잉의 336개의 형식의 제곱의 합으로 구성될 수 있는가?
• RQ4 $g$가 작을 때, 모듈라 형식 $\Xi_8[0^{(g)}]$는 $Sp(2g, \mathbb{F}_2)$-작용 하에서 유일성 성질을 갖는가?
• RQ5 심플렉틱 군 원소의 올림은 모듈라 형식의 헤이젠베르크 불변량 위에 어떻게 작용하는가?

주요 결과

• 데헤커와 포잉이 연구한 6차 수준 3차 모듈라 형식의 공간은 차원이 105이며, $Sp(6)$에 대해 기약 표현을 지닌다.
• $Sp(6)$-표현으로서 데헤커와 포잉의 형식들이 생성하는 105차원 공간은 프레임의 특성표에서 분할 (4,4,4,4,4,4,4)로 표기된 기약 표현과 동형이다.
• 데헤커와 포잉의 6차 형식 336개의 제곱의 합은 3차 종수에서 미야와키의 12차 컷스 형식과 같다.
• 105차원 공간에 속한 모든 함수들은 컷스 형식이며, 이는 그들이 에이젠스타인 형식이 아님을 확인한다.
• 모듈라 형식 $\Xi_8[0^{(g)}]$는 $g=1,2,3$일 때, 그 차수와 수준에서 $Sp(2g, \mathbb{F}_2)$-불변인 유일한 형식으로 유일하게 결정된다.
• $Sp(2g)$의 작용은 모듈라 형식의 헤이젠베르크 불변량 위에서 스칼라 배율을 갖는 표준 심플렉틱 작용으로 나타나며, $\theta[\Delta]^4$의 변환 법칙을 통해 정확한 정규화가 검증되었다.