[논문 리뷰] A predicted distribution for Galois groups of maximal unramified extensions

Yuan Liu, Melanie Matchett Wood외 1명|arXiv (Cornell University)|2019. 07. 11.

Algebraic Geometry and Number Theory참고 문헌 47인용 수 9

한 줄 요약

이 논문은 수론적 성질인 Property E와 프로파인 군 구조를 이용하여, $\mathbb{F}_q(t)$ 위의 전체 실수 $\Gamma$-확장에 대한 최대 무분할 확장의 갈루아 군을 모델링하는 새로운 확률 분포를 제안한다. $q \to \infty$일 때 이러한 갈루아 군의 모멘트가 예측된 분포와 일치함을 증명하여, 근의 단위근이 제거된 함수장 설정에서 Cohen–Lenstra–Martinet 히ュ리스틱스의 타당성을 강력히 뒷받침한다.

ABSTRACT

We consider the distribution of the Galois groups $\operatorname{Gal}(K^{\operatorname{un}}/K)$ of maximal unramified extensions as $K$ ranges over $Γ$-extensions of $\mathbb{Q}$ or $\mathbb{F}_q(t)$. We prove two properties of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ coming from number theory, which we use as motivation to build a probability distribution on profinite groups with these properties. In Part I, we build such a distribution as a limit of distributions on $n$-generated profinite groups. In Part II, we prove as $q ightarrow\infty$, agreement of $\operatorname{Gal}(K^{\operatorname{un}}/K)$ as $K$ varies over totally real $Γ$-extensions of $\mathbb{F}_q(t)$ with our distribution from Part I, in the moments that are relatively prime to $q(q-1)|Γ|$. In particular, we prove for every finite group $Γ$, in the $q ightarrow\infty$ limit, the prime-to-$q(q-1)|Γ|$-moments of the distribution of class groups of totally real $Γ$-extensions of $\mathbb{F}_q(t)$ agree with the prediction of the Cohen--Lenstra--Martinet heuristics.

연구 동기 및 목표

• 전체 실수 $\Gamma$-확장 $K$에 대한 $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$의 기대 구조를 반영하는 프로파인 군 위의 확률 분포를 구성하는 것.
• 이 설정에서 최대 무분할 확장의 갈루아 군을 특징짓는 수론적 성질—특히 Property E—를 규명하는 것.
• 분포의 모멘트가 $q(q-1)|\Gamma|$에 대해 서로소인 순서로 제한되었을 때, 이러한 갈루아 군의 모멘트가 제안된 무작위 군 분포의 모멘트와 일치함을 보이는 것.
• 기저 체에서 단위근이 제거되고, 분할된 소수들의 곱에 따라 필드가 순서지어질 때, Cohen–Lenstra–Martinet 히ュ리스틱스가 함수장 설정에서 올바른가에 대한 증거를 제공하는 것.

제안 방법

• 생성자가 $n$ 개인 자유 광역 $\Gamma$-군 $\mathcal{F}_n$을 구성하여 무작위 군 모델의 기초 대상으로 삼는다.
• Property E를 $\Gamma$-군의 비분할 중심 확장에서, $\mathbb{Z}/p\mathbb{Z}$에 대한 자명한 $\Gamma$-작용을 갖는 경우의 올림성질로 정의하고, $\mathcal{F}_n$의 특정 부분군에 의해 생성된 몫으로서의 특징을 보여준다.
• 무작위 부분집합 $S \subset \mathcal{F}_n$에 대해 무작위 군 $X_{\Gamma,n} := \mathcal{F}_n / \langle r^{-1}\gamma(r) \mid r \in S, \gamma \in \Gamma \rangle$를 정의하여 프로파인 군 위의 확률 측도를 형성한다.
• 클라스 필드 이론과 슈어 커버의 구조를 이용하여 함수 $b(G,c,q,n)$를 통해 클래스 군의 분포와 무작위 군의 모멘트를 연결한다.
• 군 $G^{\operatorname{ab}}$로의 사상의 핵들과 함수 $W^{i}_{q^{-1}}$를 포함하는 가환 다이어그램을 수립하여, 동형인 군들 간의 $q^{-1}$-근의 호환성을 확보한다.
• 호환되는 슈어 커버링 하에서 동형인 쌍에 대해 $b(G_1,c_1,q,n) = b(G_2,c_2,q,n)$임을 증명하여, 동형류에 따라 모멘트 수의 불변성을 확보한다.

실험 결과

연구 질문

• RQ1 전체 실수 $\Gamma$-확장에 대한 $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$의 수론적 성질을 반영하는 프로파인 군 위의 확률 분포를 구성할 수 있는가?
• RQ2 함수장 설정에서 $q \to \infty$일 때, $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$의 분포가 제안된 무작위 군 모델의 모멘트와 일치하는가?
• RQ3 기저 체에서 단위근이 없을 경우, 이 설정에서 모멘트의 일치가 Cohen–Lenstra–Martinet 히ュ리스틱스의 타당성을 어느 정도 뒷받침하는가?
• RQ4 모멘트는 동형에 대해 어떻게 행동하며, 그 분포를 지배하는 불변량은 무엇인가?
• RQ5 호환되는 슈어 커버링이 동형인 군들 간에 모멘트 수를 유지하는 데 어떤 역할을 하는가?

주요 결과

• 논문은 $X_{\Gamma,n} := \mathcal{F}_n / \langle r^{-1}\gamma(r) \mid r \in S, \gamma \in \Gamma \rangle$의 몫을 통해 잘 정의된 프로파인 군 위의 확률 분포를 구성하였으며, 이는 유효한 무작위 군임을 입증하였다.
• 갈루아 군 $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$는 Property E를 만족하며, 이는 $r^{-1}\gamma(r)$에 의해 생성된 특정 부분군에 의해 생성된 $\mathcal{F}_n$의 몫으로서 특징지어진다.
• $q \to \infty$일 때, $\mathbb{F}_q(t)$ 위의 전체 실수 $\Gamma$-확장에 대한 $\operatorname{Gal}(K^{\operatorname{un},2|\Gamma|^\prime}/K)$의 $q$-진 모멘트가 제안된 무작위 군 분포의 모멘트와 일치한다.
• 이 일치는 $q(q-1)|\Gamma|$에 대해 서로소인 모든 모멘트에 대해 성립하여, 함수장 설정에서 예측된 행동과 분포가 일치함을 확인한다.
• 증명을 통해 호환되는 슈어 커버링 하에서 동형인 쌍에 대해 $b(G_1,c_1,q,n) = b(G_2,c_2,q,n)$임을 보였으며, 이는 모멘트 수의 동형류에 대한 불변성을 보장한다.
• 결과적으로, 기저 체에서 단위근이 제거되고 분할된 소수들의 곱에 따라 필드가 순서지어질 때, 함수장 설정에서 Cohen–Lenstra–Martinet 히ュ리스틱스가 올바르다는 강력한 증거를 제공한다.