[논문 리뷰] Decompositions of tame profinite fundamental groups of non-archimedean curves using metrized complexes

Paul Alexander Helminck|arXiv (Cornell University)|2018. 08. 09.

Topological and Geometric Data Analysis참고 문헌 12인용 수 2

한 줄 요약

이 논문은 비아르키메데스 곡선의 정규 에탈 코버링과 그에 관련된 메트라이제이션된 복합체의 정규화된 정규 코버링 사이의 동치를 설정함으로써, 프로파인드 기본군의 그래프 이론적 해석을 가능하게 한다. 분해군과 수렴군을 정규 부분군으로 정의하고, 이들의 몫이 기저 그래프의 기본군의 프로파인드 완비화를 유도함을 보이며, 아벨화는 해석적 아벨-자기군의 토릭 및 연결 성분에서 유래하는 확장과 정확히 일치함을 보인다.

ABSTRACT

In this paper, we study a natural covering functor from the category of tame \'{e}tale coverings of a punctured curve over a complete algebraically closed non-archimedean field to the category of finite tame coverings of a metrized complex associated to the punctured curve. We enhance the latter category by adding a set of gluing data to every covering and we show that this yields an equivalence of categories. This enhanced category of so-called rigidified tame coverings then inherits the structure of a Galois category, yielding a natural notion of a profinite fundamental group for metrized complexes. Using this graph-theoretical interpretation, we define the (absolute) decomposition and inertia groups of the metrized complex in the fundamental group of a nonpunctured curve and we show that they define normal subgroups. We then show that the quotient of the fundamental group by the decomposition group is isomorphic to the profinite completion of the ordinary fundamental group of the underlying graph of the metrized complex. Furthermore, we prove that the extensions that arise from the abelianization of the decomposition and inertia quotients coincide with the extensions that arise from the toric and connected parts of the analytic Jacobian of the curve.

연구 동기 및 목표

• 구멍이 난 곡선의 정규 에탈 코버링과 그 메트라이제이션된 복합체의 유한한 정규 코버링 사이의 범주론적 동치를 수립하는 것.
• 이 강화된 코버링에 대해 갈로아 범주 구조를 정의함으로써, 메트라이제이션된 복합체에 대한 프로파인드 기본군을 도입하는 것.
• 이 기본군 내에서 분해군과 수렴군을 특성화하고, 이들이 정규 부분군임을 증명하는 것.
• 기본군을 분해군으로 나눈 몫이 기저 그래프의 기본군의 프로파인드 완비화와 동형임을 보이는 것.
• 분해군과 수렴군의 아벨화가 해석적 아벨-자기군의 토릭 및 연결 성분에서 유래하는 확장과 정확히 일치함을 보이는 것.

제안 방법

• 구멍이 난 곡선의 정규 에탈 코버링에서 메트라이제이션된 복합체의 유한한 정규 코버링으로 가는 코어빙 함수를 도입하는 것.
• 각 정점에서 국소 모노드로미와 분기의 영향을 반영하기 위해 메트라이제이션된 복합체의 코버링 범주에 접합 데이터를 추가하는 것.
• 이 강화된 강화된 정규 코버링의 범주가 원래의 정규 에탈 코버링의 범주와 동치임을 증명하는 것.
• 이 동치를 통해 강화된 코버링의 범주에 갈로아 범주 구조를 부여함으로써, 메트라이제이션된 복합체에 대한 프로파인드 기본군을 정의하는 것.
• 그래프 이론적 방법을 적용하여 기본군을 분석하고, 분해군과 수렴군을 정규 부분군으로 식별하는 것.
• 기본군을 분해군으로 나눈 몫과 기저 그래프의 기본군의 프로파인드 완비화 사이의 동형을 확립하는 것.

실험 결과

연구 질문

• RQ1 비아르키메데스 곡선의 정규 에탈 코버링은 어떻게 그에 관련된 메트라이제이션된 복합체의 코버링과系통적으로 연결될 수 있는가?
• RQ2 메트라이제이션된 복합체의 코버링으로부터 원래의 정규 에탈 코버링의 전체 범주를 복원하기 위해 추가로 필요한 데이터는 무엇인가?
• RQ3 분해군과 수렴군은 메트라이제이션된 복합체의 프로파인드 기본군 내에서 어떻게 나타나는가?
• RQ4 기본군을 분해군으로 나눈 몫의 구조는 무엇이며, 기저 그래프와 어떻게 관련되어 있는가?
• RQ5 분해군과 수렴군의 아벨화는 해석적 아벨-자기군의 토릭 및 연결 성분에서 유래하는 확장과 일치하는가?

주요 결과

• 메트라이제이션된 복합체 위의 강화된 정규 코버링의 범주는 구멍이 난 곡선의 정규 에탈 코버링의 범주와 동치이다.
• 이 동치로부터 유도된 메트라이제이션된 복합체의 기본군은 자연스러운 갈로아 범주 구조를 지닌다.
• 이 기본군 내의 분해군과 수렴군은 정규 부분군이다.
• 기본군을 분해군으로 나눈 몫은 기저 그래프의 기본군의 프로파인드 완비화와 동형이다.
• 분해군 몫의 아벨화는 해석적 아벨-자기군의 토릭 부분에서 유래하는 확장과 일치한다.
• 수렴군 몫의 아벨화는 해석적 아벨-자기군의 연결 부분에서 유래하는 확장과 일치한다.