[논문 리뷰] The local theory of unipotent Kummer maps and refined Selmer schemes

L. Alexander Betts, Netan Dogra|arXiv (Cornell University)|2019. 09. 12.

Algebraic Geometry and Number Theory참고 문헌 46인용 수 12

한 줄 요약

이 논문은 $p$-진 필드 위의 초구형 곡선에 대해 $\ell \neq p$ 인 경우, 안정된 감소 그래프 위의 조화 해석을 사용하여 유니포텐트 쿠머 사상의 완전한 조합론적 기술을 제공한다. 갈루아 불변 경로의 Oda–Tamagawa 유형 기준을 수립하고, 아나벨리안 재구성 정리를 증명하여 비아벨리안 쿠머 사상의 임의의 깊이에서의 명시적 계산을 가능하게 한다. 이는 초구형 쿠머 방법에 응용된다.

ABSTRACT

We study the Galois action on paths in the $\mathbb{Q}_\ell$-pro-unipotent étale fundamental groupoid of a hyperbolic curve $X$ over a $p$-adic field with $\ell eq p$. We prove an Oda--Tamagawa-type criterion for the existence of a Galois-invariant path in terms of the reduction of $X$, as well as an anabelian reconstruction result determining the stable reduction type of $X$ in terms of its fundamental groupoid. We give an explicit combinatorial description of the non-abelian Kummer map of $X$ in arbitrary depth, and deduce consequences for the non-abelian Chabauty method for affine hyperbolic curves and for explicit quadratic Chabauty.

연구 동기 및 목표

• 초구형 곡선에 대해 $\ell \neq p$ 인 $p$-진 필드 위에서 유니포텐트 쿠머 사상의 국소 이론을 개발하는 것.
• 곡선의 안정된 감소에 따라 갈루아 불변 경로의 존재 조건을 기술하는 기준을 수립하는 것.
• 기본군의 군족으로부터 곡선의 안정된 감소 유형을 재구성하여 아나벨리안 재구성 결과를 증명하는 것.
• 비아벨리안 쿠머 사상의 임의의 깊이에서 명시적이고 조합론적인 기술을 제공하여 비아벨리안 초구형 쿠머 방법에 응용하는 것.
• 국소 코hom로지컬 계산을 통해 명시적 제곱형 초구형 및 초구형–쿠머 방법에 대한 알고리즘적 응용을 가능하게 하는 것.

제안 방법

• 저자들은 초구형 곡선 $X$의 $\mathbb{Q}_\ell$-pro-유니포텐트 기본군족을 사용하여 $p$-진 필드 위에서 갈루아 작용이 경로에 미치는 영향을 연구한다.
• 점들이 특별한 피브어의 성분에 따라 분류되도록 $X(\overline{K})$ 에서 안정된 감소 그래프 $\widetilde{\Gamma}$ 로 가는 감소 사상(감소 매핑)을 도입한다.
• 비아벨리안 쿠머 사상을 묘사하기 위해 $\widetilde{\Gamma}$ 위에서의 조화 해석, 즉 라플라스 연산자와 측도를 사용한다.
• 비아벨리안 쿠머 사상은 그래프 위에서의 조합론적 적분 이론을 통해 계산되며, 이는 Cheng–Katz 적분을 일반화한다.
• 감소 그래프의 $M$-등급 기본군족과 그 리 대수 구조에 의존하는 방법이다.
• 기본 변경과 호환되며, 전역 사상 $X(\overline{K}) \to \varinjlim_L \mathrm{H}^1(G_L, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$ 의 정의가 가능하다.

실험 결과

연구 질문

• RQ1 초구형 곡선에 대해 $\ell \neq p$ 인 $p$-진 필드 위에서 $\mathbb{Q}_\ell$-pro-유니포텐트 기본군족에 갈루아 불변 경로가 존재하는 조건은 무엇인가?
• RQ2 초구형 곡선의 안정된 감소 유형은 그 $\mathbb{Q}_\ell$-pro-유니포텐트 기본군족으로부터 재구성될 수 있는가?
• RQ3 비아벨리안 쿠머 사상 $j: X(K) \to \mathrm{H}^1(G_K, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$ 는 임의의 깊이에서 어떻게 명시적으로 기술할 수 있는가?
• RQ4 일반적으로 $p \neq \ell$ 인 경우 유니포텐트 쿠머 사상의 이미지의 구조는 무엇이며, 감소 그래프 위의 조화 해석과 어떻게 관련되는가?
• RQ5 국소 높이 쌍화와 그래프 이론적 연산이 $\widetilde{\Gamma}$ 위에서 코호몰로지 데이터의 쿠머 사상 제어에 어떻게 기여하는가?

주요 결과

• 논문은 안정된 감소 그래프 $\widetilde{\Gamma}$ 위에서의 조화 해석을 사용하여 비아벨리안 쿠머 사상의 임의의 깊이에서 완전한 조합론적 기술을 제공한다.
• Oda–Tamagawa 유형 기준이 증명되었다: 갈루아 불변 경로의 존재는 감소 그래프와 그 조화 측도에 대한 조건과 동치이다.
• 곡선 $X$의 안정된 감소 유형은 그 $\mathbb{Q}_\ell$-pro-유니포텐트 기본군족으로부터 재구성 가능하며, 아나벨리안 재구성 정리를 확립한다.
• 유니포텐트 쿠머 사상이 $X$가 완전하고 $p$가 잠재적 양호 감소의 소수일 경우 유한대일대사임을 보여주며, 기존 결과를 일반화한다.
• 쿠머 사상의 이미지는 그래프 이론적 적분 과정을 통해 명시적으로 묘사되며, 초구형–쿠머 방법에서 알고리즘적 계산이 가능해진다.
• 구성은 기본 변경과 호환되며, 사상 $X(\overline{K}) \to \varinjlim_L \mathrm{H}^1(G_L, \pi_1^{\mathbb{Q}_\ell}(X_{\overline{K}}, b))$ 는 잘 정의되고 계산 가능하다.