[논문 리뷰] Actions of the Absolute Galois Group

Norbert A’Campo, Lizhen Ji외 1명|arXiv (Cornell University)|2016. 03. 10.

Algebraic Geometry and Number Theory참고 문헌 64인용 수 3

한 줄 요약

이 논문은 이론적 기하학적 및 위상적 대상, 특히 테이히뮐러 타워, 데신 데르 투르, 그리고 그로텐디크-테이히뮐러 군을 통한 유리수의 절대 갈루아 군을 이해하고자 하는 그로텐디크의 계획을 조망한다. 갈루아 군의 비선형 작용이 모듈리 공간의 프로파일린 fundamental 군에 대해 나타나는 방식을 통해 산술을 기하학적으로 이해할 수 있는 길을 제시하며, 핵심 추측은 갈루아 군의 프로파일린 테이히뮐러 타워에 대한 작용이 그로텐디크-테이히뮐러 군과 동형임을 시사한다.

ABSTRACT

We review some ideas of Grothendieck and others on actions of the absolute Galois group {\\Gamma} Q of Q (the automorphism group of the tower of finite extensions of Q), related to the geometry and topology of surfaces (mapping class groups, Teichm{\\"u}ller spaces and moduli spaces of Riemann surfaces). Grothendieck's motivation came in part from his desire to understand the absolute Galois group. But he was also interested in Thurston's work on surfaces, and he expressed this in his Esquisse d'un programme, his R{\\'e}coltes et semailles and on other occasions. He introduced the notions of dessin d'enfant, Teichm{\\"u}ller tower, and other related objects, he considered the actions of {\\Gamma} Q on them or on their etale fundamental groups, and he made conjectures on some natural homomorphisms between the absolute Galois group and the automor-phism groups (or outer automorphism groups) of these objects. We mention several ramifications of these ideas, due to various authors. We also report on the works of Sullivan and others on nonlinear actions of {\\Gamma} Q , in particular in homotopy theory. The final version of this paper will appear as a chapter in Volume VI of the Handbook of Teichm{\\"u}ller theory. This volume is dedicated to the memory of Alexander Grothendieck.

연구 동기 및 목표

• 모듈리 공간과 기본군과 같은 기하 대상에 대한 $\Gamma_{\mathbb{Q}}$의 비선형 작용을 통해 절대 갈루아 군 $\Gamma_{\mathbb{Q}}$를 이해하고자 하는 그로텐디크의 비전을 조망하는 것.
• 데신 데르 투르와 테이히뮐러 타워가 갈루아 작용을 이해하는 데 있어 조합론적 및 기하학적 모델로 어떻게 기능하는지 설명하는 것.
• 갈루아 군 $\Gamma_{\mathbb{Q}}$에서 프로파일린 그로텐디크-테이히뮐러 군으로의 호모모르피즘이 동형임을 추측하는 것.
• 카르타그래픽 군의 역할과 그 테이히뮐러 이론 및 표면 위상수학과의 관계를 명확히 하는 것.
• 주요 추측의 현재 상태와 이를 증명하는 데 있어 직면한 과제들을 평가하는 것, 특히 데리그의 회의론과 최근의 진전을 고려하여

제안 방법

• 모듈리 공간 $\mathcal{M}_{g,n}$ 및 그 안정적 컴actsification의 에탈 기본군에 대한 $\Gamma_{\mathbb{Q}} = \mathrm{Gal}(\overline{\mathbb{Q}}/\mathbb{Q})$의 작용을 분석한다.
• 베일리 매핑의 조합론적 실현으로서의 데신 데르 투르 이론을 탐구하며, $\overline{\mathbb{Q}}$ 위에 정의된 대수적 곡선과 리만 표면 위에 매립된 그래프 사이의 연결 고리를 설명한다.
• 테이히뮐러 타워를 $\mathcal{M}_{0,n}$의 프로파일린 기본군들의 체계로 도입하며, 붕괴에 따른 자연스러운 사상들로 구성된 프로젝티브 체계를 형성한다.
• 재구성 원리를 적용하여 표면이 이중화선의 군 작용의 안정자에 의해 결정됨을 보이며, 위상수학과 군론적 자료를 연결한다.
• 카르타그래픽 군을 테이히뮐러 공간의 조합론적 모델로 사용하며, 유한 차수의 부분군이 컴acts한 표면에 대응함을 이용한다.
• 그로텐디크-테이히뮐러 군을 테이히뮐러 타워에 작용하는 프로파일린 군으로 도입하며, $\Gamma_{\mathbb{Q}}$가 이와 동형으로 사상된다는 추측을 제기한다.

실험 결과

연구 질문

• RQ1 절대 갈루아 군 $\Gamma_{\mathbb{Q}}$는 곡선의 모듈리 공간의 에탈 기본군에 대한 작용을 통해 완전히 이해될 수 있는가?
• RQ2 그로텐디크의 추측에 따르면, $\Gamma_{\mathbb{Q}}$에서 프로파일린 그로텐디크-테이히뮐러 군으로의 호모모르피즘이 동형인가?
• RQ3 데신 데르 투르는 $\overline{\mathbb{Q}}$ 위에 정의된 대수적 곡선의 산술적 정보를 어떻게 암호화하는가?
• RQ4 카르타그래픽 군과 테이히뮐러 이론 사이의 정확한 관계는 무엇이며, 이를 통해 니엘센의 실현 문제를 조합론적으로 실현할 수 있는가?
• RQ5 왜 그로텐디크-테이히뮐러 이론의 핵심 결과 증명이 여전히 미해결 상태에 있는가? 복잡한 언어에도 불구하고 어떤 진전이 이루어졌는가?

주요 결과

• 베일리의 정리에 따라 절대 갈루아 군 $\Gamma_{\mathbb{Q}}$는 모듈리 공간 $\mathcal{M}_{0,n}$의 프로파일린 기본군에 충실하게 작용하며, 이는 산술과 기하학을 연결한다.
• 데신 데르 투르는 $\overline{\mathbb{Q}}$ 위에 정의된 대수적 곡선을 위한 조합론적 모델을 제공하며, 갈루아 군은 데신 데르 투르를 치환함으로써 작용한다.
• 테이히뮐러 타워는 $\mathcal{g,n}$의 프로파일린 기본군들의 프로젝티브 체계로서, $\Gamma_{\mathbb{Q}}$의 작용을 포함하는 보편적 대상으로 추측된다.
• 카르타그래픽 군은 표면의 이중화선에 대해 추이적으로 작용하며, 이 작용의 안정자들은 표면을 분류한다. 이는 테이히뮐러 공간의 조합론적 실현을 제공한다.
• 프로파일린 그로텐디크-테이히뮐러 군은 $\Gamma_{\mathbb{Q}}$와 동형임을 추측하고 있으나, 아직 증명되지 않았으며, 이는 중심적인 열린 문제 중 하나로 간주된다.
• 데리그의 데신 데르 투르 언어의 유용성에 대한 회의론에도 불구하고, 최근의 종합적 서적과 논문들이 나타나며 이 분야는 성숙해졌으며, 점점 더 널리 공인되고 진전이 이루어지고 있음을 시사한다.