[논문 리뷰] Lectures on Moduli Spaces of Elliptic Curves

Richard Hain|arXiv (Cornell University)|2008. 12. 09.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 29

한 줄 요약

이 논문은 타원곡선의 모듈리 공간을 기초적인 예시로 삼아 오비폴드, 스택, 관련 기하학적 및 위상수학적 개념을 접근하기 쉽게 소개한다. 이는 모듈리 공간 $\mathcal{M}_{1,1}$ 과 그 딜리그레-머담 컴actsification $\overline{\mathcal{M}}_{1,1}$ 을 오비폴드로 구성하고, 모듈러 형식이 휘도 번들의 단면으로서 어떻게 나타나는지 보이며, 그들의 피카르 군과 호모토피 유형을 계산한다. 이 과정에서 스택의 필요성을 명백하고 기본적인 구성 방식을 통해 동기화한다.

ABSTRACT

These informal notes are an expanded version of lectures on the moduli space of elliptic curves given at Zhejiang University in July, 2008. Their goal is to introduce and motivate basic concepts and constructions (such as orbifolds and stacks) important in the study of moduli spaces of curves and abelian varieties through the example of elliptic curves. The reason for working with elliptic curves is that most constructions are elementary and explicit in this case. All four approaches to moduli spaces of curves -- complex analytic, topological, algebro-geometric, and number theoretic -- are considered. Topics covered reflect my own biases. Very little, if anything, in these notes is original, except perhaps the selection of topics and the point of view.

연구 동기 및 목표

• 타원곡선이라는 구체적이고 다루기 쉬운 예를 통해 곡선의 모듈리 공간을 소개하기 위해.
• $\mathcal{M}_{1,1}$ 과 $\overline{\mathcal{M}}_{1,1}$ 를 명시적으로 구성함으로써 오비폴드와 스택의 사용를 동기화하기 위해.
• $\overline{\mathcal{M}}_{1,1}$ 위에서 휘도 번들의 휘도로 자연스럽게 나타나는 모듈러 형식의 기원을 보여주기 위해.
• 명시적인 기하학적 및 위상수학적 방법을 사용하여 $\mathcal{M}_{1,1}$ 과 $\overline{\mathcal{M}}_{1,1}$ 의 피카르 군과 호모토피 유형을 계산하기 위해.
• 복잡한 해석기하학, 위상수학,代수기하학, 그리고 수론적 관점 간의 연결을 통해 모듈리 이론의 고급 주제에 대한 교육적 기초를 제공하기 위해.

제안 방법

• 상반평면 $\mathfrak{h}$ 에서 $\mathrm{SL}_2(\mathbb{Z})$ 의 작용을 이용하여 오비폴드로 $\mathcal{M}_{1,1}$ 을 구성한다.
• 경계에 안정적인 타원곡선을 추가하여 딜리그레-머담 컴팩티피케이션 $\overline{\mathcal{M}}_{1,1}$ 을 스택 몫 구성으로 정의한다.
• 오비폴드 이론을 사용하여 스택의 정의를 동기화하며, 특히 $\mathrm{SL}_2(\mathbb{Z})$ 가 $\mathfrak{h}$ 에 작용하는 방식과 $m \geq 3$ 에 대해 $\mathrm{SL}_2(\mathbb{Z}/m\mathbb{Z})$ 가 $\overline{\mathcal{M}}_{1,1}[m]$ 에 작용하는 방식을 통해 설명한다.
• 보편 타원곡선 $\mathcal{E} \to \mathcal{M}_{1,1}$ 을 구성하고, 휘도 번들의 단면으로서 모듈러 형식을 사용하여 $\overline{\mathcal{E}} \to \overline{\mathcal{M}}_{1,1}$ 으로 확장한다.
• 선다발과 모듈러 형식을 사용하여 $\mathcal{M}_{1,1}$ 의 피카르 군을 $\mathbb{Z}/12\mathbb{Z}$, $\overline{\mathcal{M}}_{1,1}$ 의 피카르 군을 $\mathbb{Z}$ 로 계산한다.
• 오비폴드 구조와 기본군을 통해 $\overline{\mathcal{M}}_{1,1}$ 의 호모토피 유형을 분석하고, 이와 모듈러 군의 기본군과의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 상반평면에 대한 $\mathrm{SL}_2(\mathbb{Z})$ 의 작용을 이용하여 타원곡선의 모듈리 공간을 오비폴드로 어떻게 구성할 수 있는가?
• RQ2 모듈러 형식은 $\overline{\mathcal{M}}_{1,1}$ 위에서 휘도 번들의 휘도로 어떻게 자연스럽게 나타나는가?
• RQ3 $\mathcal{M}_{1,1}$ 과 $\overline{\mathcal{M}}_{1,1}$ 의 피카르 군의 구조는 무엇이며, 모듈러 형식을 통해 어떻게 계산되는가?
• RQ4 스택 이론적 시각은 오비폴드의 맥락에서 모듈리 공간의 기하학을 어떻게 명확히 하는가?
• RQ5 $\mathcal{M}_{1,1}$ 과 $\overline{\mathcal{M}}_{1,1}$ 의 호모토피 유형은 무엇이며, 이는 모듈러 군의 기본군과 어떻게 관련되어 있는가?

주요 결과

• 모듈리 공간 $\mathcal{M}_{1,1}$ 은 오비폴드 $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathfrak{h}$ 와 동형이며, 차수 2와 차수 3인 오비폴드 점이 각각 하나씩 존재한다.
• 딜리그레-머담 컴팩티피케이션 $\overline{\mathcal{M}}_{1,1}$ 은 프로젝티브 선인 $\mathbb{P}^1$ 과 동형이며, $j$-불변량 값 0, $12^3$, 및 $\infty$ 에 대응하는 세 개의 오비폴드 점을 가진다.
• $\mathcal{M}_{1,1}$ 의 피카르 군은 $\mathbb{Z}/12\mathbb{Z}$ 이며, 휘도 번들의 생성자로 생성되고, $\overline{\mathcal{M}}_{1,1}$ 의 피카르 군은 $\mathbb{Z}$ 이며, 선다발 $\mathcal{O}(1)$ 으로 생성된다.
• 무게 $k$ 의 모듈러 형식은 $\overline{\mathcal{M}}_{1,1}$ 위에서 휘도 번들의 $k$ 제곱 텐서곱의 휘도로 정확히 대응된다.
• $\overline{\mathcal{M}}_{1,1}$ 의 호모토피 유형은 $K(\mathrm{SL}_2(\mathbb{Z}),1)$ 공간과 같으며, 기본군이 $\mathrm{SL}_2(\mathbb{Z})$ 이고, 그 코homology 는 모듈러 형식의 구조를 반영한다.
• 보편 타원곡선 $\mathcal{E} \to \mathcal{M}_{1,1}$ 은 모듈러 형식을 사용한 구성으로 안정적인 가족 $\overline{\mathcal{E}} \to \overline{\mathcal{M}}_{1,1}$ 으로 확장되며, 이는 컴팩티피케이션된 보편 곡선을 안정 곡선의 가족으로 실현한다.