[논문 리뷰] The identification of three moduli spaces

Noam D. Elkies|ArXiv.org|1999. 05. 31.

Algebraic Geometry and Number Theory참고 문헌 16인용 수 5

한 줄 요약

이 논문은 2차 및 3차 특성에서 1이 아닌 체이며 세제곱근의 단위근을 포함하는 체 위에서, 삼중 피복의 2- torsion, 이중 피복의 3- torsion, 그리고 P¹ 위의 여섯 점의 구성 공간에 대한 G-피복에서 유래하는 세 개의 서로 다른 모듈리 공간이 서로 동형임을 대수적 방법으로 증명한다. 이 동형은 순서 25920인 예외적 군 G와 연결되어 있으며, 이 군은 심플렉틱 군이자 유니터리 군으로 작용하며, 6차 계수를 가진 타원 곡면 위의 Mordell-Weil 격자 E₈와도 연결된다.

ABSTRACT

It is one of the wonderful ``coincidences'' of the theory of finite groups that the simple group G of order 25920 arises as both a symplectic group in characteristic 3 and a unitary group in characteristic 2. These two realizations of G yield two G-covers of the moduli space of configurations of six points on the projective line modulo PGL_2, via the 3- and 2-torsion of the Jacobians of the double and triple cyclic covers of P^1 branched at those six points. Remarkably these two covers are isomorphic. This was proved over C by transcendental methods by Hunt and Weintraub. We give an algebraic proof valid over any field not of characteristic 2 or 3 that contains the cube roots of unity. We then explore the connection between this $G$-cover and the elliptic surface $y^2 = x^3 + sextic(t), whose Mordell-Weil lattice is E_8 with automorphisms by a central extension of G.

연구 동기 및 목표

• 다른 군 작용과 피복에서 유래하는 세 모듈리 공간 간의 동형을 대수적 방법으로 증명하는 것.
• 순서 25920인 군 G를 특성 3에서 심플렉틱 군으로, 특성 2에서 유니터리 군으로서의 기하적 실현을 통합하는 것.
• 여섯 점 구성 공간에 대한 G-피복을 타원 곡면 y² = x³ + sextic(t) 위의 Mordell-Weil 격자 E₈와 연결하는 것.
• 이전의 초월적 증명(Hunt 및 Weintraub)을 일반 체 위에서 유효한 대수적 설정으로 확장하는 것.

제안 방법

• 여섯 점에서 분 branching된 P¹의 이중 및 삼중 순환 피복을 구성하고, 그 야코비안과 토피컬 부분군을 분석한다.
• 순서 25920인 군 G가 삼중 피복의 2- torsion과 이중 피복의 3- torsion에 작용함으로써, 여섯 점 구성 공간의 모듈리 공간에 대한 두 G-피복을 정의한다.
• 특성 2 또는 3이 아니며 세제곱근의 단위근을 포함하는 모든 체 위에서 유효한 대수기하학 기법을 사용하여, 이 두 G-피복 간의 동형을 증명한다.
• 결과로 얻어진 G-피복을 타원 곡면 y² = x³ + sextic(t)과 연결하며, 이 곡면의 Mordell-Weil 격자는 자동환군이 G의 중심 확장인 E₈이다.
• 모듈리 공간, 야코비안 위의 군 작용, 토피컬 구조 등을 포함한 대수기하학 및 산술기하학 기법을 적용한다.
• 기저 체에 세제곱근의 단위근이 존재함으로써, 동형이 성립하기 위한 필수적인 대칭성과 이소지가 보장됨을 이용한다.

실험 결과

연구 질문

• RQ1 2차 피복의 2- torsion과 삼중 피복의 3- torsion에서 유도된 여섯 점 구성 공간의 모듈리 공간에 대한 G-피복은 일반 체 위에서 동형인가?
• RQ2 Hunt 및 Weintraub가 제시한 이 동형의 초월적 증명을 대수적 증명으로 대체할 수 있는가?
• RQ3 순서 25920인 예외적 군 G는 서로 다른 특성에서 심플렉틱 및 유니터리 실현을 어떻게 통합하는가?
• RQ4 G-피복과 타원 곡면 y² = x³ + sextic(t) 위의 Mordell-Weil 격자 E₈ 사이의 정확한 연결 고리는 무엇인가?
• RQ5 세 모듈리 공간 간의 동형을 가능하게 하는 세제곱근의 단위근은 어떤 역할을 하는가?

주요 결과

• 이중 피복과 삼중 피복의 야코비안의 2- torsion 및 3- torsion에서 유도된 여섯 점 구성 공간의 모듈리 공간에 대한 두 G-피복은, 특성 2 또는 3가 아니며 세제곱근의 단위근을 포함하는 모든 체 위에서 동형이다.
• 동형은 대수적 방법으로 증명되었으며, 이는 이전의 초월적 증명을 더 넓은 대수기하학적 설정으로 확장한 것이다.
• 순서 25920인 군 G는 특성 3에서 심플렉틱 군으로, 특성 2에서 유니터리 군으로 작용하며, 이는 깊이 있는 산술기하학적 공통점을 드러낸다.
• G-피복은 Mordell-Weil 격지가 E₈이며 자동환군이 G의 중심 확장인 타원 곡면 y² = x³ + sextic(t)의 보편 가속도와 동형이다.
• 기저 체에 세제곱근의 단위근이 존재함이 동형이 성립하기 위해 필수적이며, 이는 필요한 대칭성과 이소지를 보장한다.
• 이 구성은 다양한 대수적 및 산술적 맥락에서 예외적 군 G의 통합된 기하적 실현을 제공한다.