[논문 리뷰] Profinite complexes of curves, their automorphisms and anabelian properties of moduli stacks of curves

Marco Boggi, Pierre Lochak|arXiv (Cornell University)|2007. 06. 06.

Algebraic Geometry and Number Theory참고 문헌 22인용 수 4

한 줄 요약

이 논문은 유한하고 연결된 Deligne-Mumford 모듈리 스택 $\mathcal{M}_{g,[n]}$의 에테일 쌍대 덮개가 부분-$p$-adic 체 위에서 '거의 아벨리안'임을 확립한다. 이는 Mochizuki의 아벨리안 결과를 곡선의 모듈리 스택으로 확장하며, 이러한 덮개의 기하학적 자기동형군과 그 기하학적 기본군의 $G_k$-동차, 경계를 보존하는 외부 자기동형군 사이의 자연스러운 동형사상이 존재함을 증명한다.

ABSTRACT

Let ${\cal M}_{g,[n]}$, for $2g-2+n>0$, be the D-M moduli stack of smooth curves of genus $g$ labeled by $n$ unordered distinct points. The main result of the paper is that a finite, connected étale cover ${\cal M}^ł$ of ${\cal M}_{g,[n]}$, defined over a sub-$p$-adic field $k$, is "almost" anabelian in the sense conjectured by Grothendieck for curves and their moduli spaces. The precise result is the following. Let $π_1({\cal M}^ł_{\ol{k}})$ be the geometric algebraic fundamental group of ${\cal M}^ł$ and let ${Out}^*(π_1({\cal M}^ł_{\ol{k}}))$ be the group of its exterior automorphisms which preserve the conjugacy classes of elements corresponding to simple loops around the Deligne-Mumford boundary of ${\cal M}^ł$ (this is the "$\ast$-condition" motivating the "almost" above). Let us denote by ${Out}^*_{G_k}(π_1({\cal M}^ł_{\ol{k}}))$ the subgroup consisting of elements which commute with the natural action of the absolute Galois group $G_k$ of $k$. Let us assume, moreover, that the generic point of the D-M stack ${\cal M}^ł$ has a trivial automorphisms group. Then, there is a natural isomorphism: $${Aut}_k({\cal M}^ł)\cong{Out}^*_{G_k}(π_1({\cal M}^ł_{\ol{k}})).$$ This partially extends to moduli spaces of curves the anabelian properties proved by Mochizuki for hyperbolic curves over sub-$p$-adic fields.

연구 동기 및 목표

• 초타원곡선에 대한 Mochizuki의 아벨리안 결과를 표시된 점을 가진 곡선의 모듈리 스택으로 확장하기 위해.
• 유한 에테일 덮개의 기하학적 기본군이 덮개의 자기동형군을 얼마나 정확히 결정하는지 조사하기 위해.
• 덮개의 자기동형군과 그 기하학적 기본군의 $G_k$-동차, 경계를 보존하는 외부 자기동형군 사이의 정확한 연결 고리를 확립하기 위해.
• 기저 체와 일반점에 대한 특정 조건 하에서, Grothendieck의 아벨리안 추측을 새로운 기하적 맥락—모듈리 스택의 곡선—에서 검증하기 위해.

제안 방법

• 서브-$p$-adic 체 $k$ 위에서 정의된 Deligne-Mumford 모듈리 스택 $\mathcal{M}_{g,[n]}$의 유한하고 연결된 에테일 덮개 $\mathcal{M}^ł$을 고려한다.
• 기하학적 대수적 기본군 $\pi_1(\mathcal{M}^ł_{\overline{k}})$ 와 그 군 $\mathrm{Out}^*(\pi_1(\mathcal{M}^ł_{\overline{k}}))$ 을 분석하며, 이는 Deligne-Mumford 경계 주위의 단순 루프들의 공轭류를 보존하는 외부 자기동형군이다.
• $G_k$-작용과 가환하는 자기동형군의 부분군인 $\mathrm{Out}^*_{G_k}(\pi_1(\mathcal{M}^ł_{\overline{k}}))$ 로 제한한다.
• 덮개가 기하학적으로 강성(geometrically rigid)이 되도록 덮개의 일반점의 자동사상 군이 자명함을 가정한다.
• 기본군으로부터의 군론적 재구성 기법을 통해 자연스러운 동형사상 $\mathrm{Aut}_k(\mathcal{M}^ł) \cong \mathrm{Out}^*_{G_k}(\pi_1(\mathcal{M}^ł_{\overline{k}}))$ 를 확립한다.
• $\ast$-조건을 사용하여 자동사상이 경계의 위상적 구조를 존중하도록 보장함으로써, 아벨리안 철학—기하학적 정보를 산술적 자료로부터 재구성하는 것—과 일치시킨다.

실험 결과

연구 질문

• RQ1 모듈리 스택 $\mathcal{M}_{g,[n]}$의 유한 에테일 덮개의 자동사상 군은 그 기하학적 기본군으로부터 얼마나 정확히 재구성될 수 있는가?
• RQ2 기본군의 $G_k$-동차, 경계를 보존하는 외부 자기동형군 군이 부분-$p$-adic 체 위에서 덮개의 전체 자동사상 군을 포괄하는가?
• RQ3 일반점의 자동사상 군이 자명하다는 가정은 모듈리 스택의 아벨리안 재구성에 어떤 영향을 미치는가?
• RQ4 Mochizuki의 초타원곡선에 대한 아벨리안 기법을 표시된 점과 경계 구조를 가진 모듈리 스택 설정으로 일반화할 수 있는가?
• RQ5 Deligne-Mumford 경계는 곡선의 모듈리 스택의 아벨리안 재구성에서 어떤 역할을 하는가?

주요 결과

• 기하학적 자동사상 군 $\mathrm{Aut}_k(\mathcal{M}^ł)$ 과 기본군의 $G_k$-동차, 경계를 보존하는 외부 자기동형군 군 $\mathrm{Out}^*_{G_k}(\pi_1(\mathcal{M}^ł_{\overline{k}}))$ 사이에 자연스러운 동형사상이 존재한다.
• $\ast$-조건은 자동사상이 Deligne-Mumford 경계의 위상적 구조를 존중하도록 보장하며, 이는 재구성이 기하학적으로 의미 있는 데 필수적이다.
• 결과는 모듈리 스택 $\mathcal{M}^ł$ 이 Grothendieck의 의미에서 '거의 아벨리안'임을 확인한다. 즉, 그 기하학은 주로 그 산술적 기본군에 의해 결정된다.
• 이 동형사상은 덮개의 일반점의 자동사상 군이 자명함을 전제로 하여 성립하며, 이는 재구성 과정을 방해하는 추가 대칭이 없음을 보장한다.
• 이 방법은 Mochizuki의 아벨리안 결과를 개별 초타원곡선에서 모듈리 스택의 곡선으로 확장하여 아벨리안 기하학의 적용 범위를 넓힌다.
• 결과는 기본군이 갈로아-동차 외부 자기동형군을 통해 전체 자동사상 군을 캐릭터화하는, 고차원 모듈리 공간에서의 아벨리안 기하학의 새로운 사례를 제공한다.