[논문 리뷰] Cohen-Lenstra distributions via random matrices over complete discrete valuation rings with finite residue fields

Gilyoung Cheong, Yifeng Huang|arXiv (Cornell University)|2018. 12. 31.

Advanced Combinatorial Mathematics참고 문헌 10인용 수 4

한 줄 요약

이 논문은 유한 잔여체를 가진 완비 이산 평가환수 위에서의 코hen-레인스트라 분포와 랜덤 행렬 이론을 연결한다. Haar 측도를 사용하여 이러한 환 위에서의 랜덤 행렬의 코어널을 분석함으로써, 저자들은 프리드먼과 워싱턴의 결과를 일반화하고, 코어널의 점근적 분포가 코헨-레인스트라 히ュ리스틱과 일치함을 증명한다. 이 확률은 자동사상군 크기의 역수에 비례한다.

ABSTRACT

Let $(R, \mathfrak{m})$ be a complete discrete valuation ring with the finite residue field $R/\mathfrak{m} = \mathbb{F}_{q}$. Given a monic polynomial $P(t) \in R[t]$ whose reduction modulo $\mathfrak{m}$ gives an irreducible polynomial $\bar{P}(t) \in \mathbb{F}_{q}[t]$, we initiate the investigation of the distribution of $\mathrm{coker}(P(A))$, where $A \in \mathrm{Mat}_{n}(R)$ is randomly chosen with respect to the Haar probability measure on the additive group $\mathrm{Mat}_{n}(R)$ of $n imes n$ $R$-matrices. One of our main results generalizes two results of Friedman and Washington. Our other results are related to the distribution of the $\bar{P}$-part of a random matrix $\bar{A} \in \mathrm{Mat}_{n}(\mathbb{F}_{q})$ with respect to the uniform distribution, and one of them generalizes a result of Fulman. We heuristically relate our results to a celebrated conjecture of Cohen and Lenstra, which predicts that given an odd prime $p$, any finite abelian $p$-group (i.e., $\mathbb{Z}_{p}$-module) $H$ occurs as the $p$-part of the class group of a random imaginary quadratic field extension of $\mathbb{Q}$ with a probability inversely proportional to $|\mathrm{Aut}_{\mathbb{Z}}(H)|$. We review three different heuristics for the conjecture of Cohen and Lenstra, and they are all related to special cases of our main conjecture, which we prove as our main theorems. For proofs, we use some concrete combinatorial connections between $\mathrm{Mat}_{n}(R)$ and $\mathrm{Mat}_{n}(\mathbb{F}_{q})$ to translate our problems about a Haar-random matrix in $\mathrm{Mat}_{n}(R)$ into problems about a random matrix in $\mathrm{Mat}_{n}(\mathbb{F}_{q})$ with respect to the uniform distribution.

연구 동기 및 목표

• 완비 이산 평가환수 $\mathbb{Z}_p$ 위에서의 랜덤 행렬 코어널 분포에 대한 프리드먼과 워싱턴의 결과를 유한 잔여체를 가진 더 일반적인 완비 이산 평가환수로 일반화하는 것.
• 유한체 $\mathbb{F}_q$ 위에서의 랜덤 행렬의 $\overline{P}$-부분이 코헨-레인스트라의 아이디얼군 분포 추측과 어떻게 관련되는지 밝히는 것.
• 코어널 통계를 통해 코헨-레인스트라 추측을 히우리스틱적으로 지지하는 새로운 랜덤 행렬 이론 프레임워크를 $R[[t]]$ 위에서 제시하는 것.
• 행렬 크기 $n \to \infty$일 때 코어널 분포의 보편적 점근적 행동을 확립하여 코헨-레인스트라 확률과 일치시킴.
• 유한체 $\mathbb{F}_q$와 유한체 위의 formal power series 환 $\mathbb{F}_q[[t]]$ 위에서의 코어널 분포 사이의 모순을 명확히 하되, 둘 다 동일한 점근적 분포로 수렴함.

제안 방법

• 유한 잔여체 $\mathbb{F}_q$를 가진 완비 이산 평가환수 $R$에 대해 $\mathrm{Mat}_n(R)$ 위의 Haar 측도를 사용하여 $n \times n$ 행렬 위의 확률 분포를 정의한다.
• 환의 사영 $R \to \mathbb{F}_q$를 활용하여 $R$ 위의 행렬의 코어널을 $\mathbb{F}_q$ 위의 행렬의 코어널과 연결함으로써, Haar-랜덤 문제를 균일-랜덤 문제로 변환한다.
• 조합론적 기법을 적용하여 $\mathrm{coker}(P(A))$가 주어진 유한 $R$-모듈러와 동형일 확률을 계산하며, 특히 $\mathfrak{m}$에 모듈로하여 $P(t)$가 기약임을 중심으로 다룬다.
• 생성함수와 제타함수 $\hat{\boldsymbol{Z}}(\{P_j\}, \mathbf{x}, 1)$를 사용하여 코어널 구조의 점근적 확률을 계산한다.
• Haar-랜덤인 $A \in \mathrm{Mat}_n(R)$에 대해 $\mathrm{coker}(A)$의 점근적 분포가 코헨-레인스트라 측도와 일치함을 증명하며, 확률은 $\frac{1}{|\mathrm{Aut}(H)|} \prod_{i=1}^\infty (1 - p^{-i})$임을 보인다.
• 두 가지 다른 코어널 확률을 비교한다: 하나는 $\mathrm{coker}(\overline{A} - tI_n)$에 대한 $\overline{A} \in \mathrm{Mat}_n(\mathbb{F}_q)$에서의 확률이고, 다른 하나는 $A \in \mathrm{Mat}_n(\mathbb{F}_q[[t]])$에서의 확률이며, 둘 다 동일한 코헨-레인스트라 한계로 수렴함을 보인다.

실험 결과

연구 질문

• RQ1 완비 이산 평가환수 $R$가 유한 잔여체를 가질 때, Haar-랜덤인 $A \in \mathrm{Mat}_n(R)$에 대해 $\mathrm{coker}(P(A))$의 분포는 코헨-레인스트라 추측과 어떻게 관련되는가?
• RQ2 기존의 $\mathbb{Z}_p$ 위에서의 프리드먼-워싱턴 결과는 유한 잔여체를 가진 임의의 완비 이산 평가환수로 일반화될 수 있는가?
• RQ3 유한체 $\mathbb{F}_q$ 위에서의 랜덤 행렬의 $\overline{P}$-부분과 코헨-레인스트라의 아이디얼군의 $p$-부분 분포 사이의 관계는 무엇인가?
• RQ4 두 가지 다른 랜덤 행렬 모델—$\mathbb{F}_q$ 위와 $\mathbb{F}_q[[t]]$ 위—는 유한 크기의 확률이 다름에도 불구하고 왜 동일한 점근적 코어널 분포를 낳는가?
• RQ5 자기사상군 크기와 제타함수는 한계에서 주어진 코어널 구조의 확률을 어떻게 캐릭터라이즈하는가?

주요 결과

• 완비 이산 평가환수 $R$의 유한 잔여체가 $\mathbb{F}_q$인 경우, Haar-랜덤인 $A \in \mathrm{Mat}_n(R)$에 대해 $\mathrm{coker}(A)$의 점근적 분포는 코헨-레인스트라 측도와 일치한다: $n \to \infty$일 때 $\mathrm{Prob}(\mathrm{coker}(A) \simeq H) = \frac{1}{|\mathrm{Aut}(H)|} \prod_{i=1}^\infty (1 - p^{-i})$.
• 다항식 $P(t) \in R[t]$의 환원 $\overline{P}(t) \in \mathbb{F}_q[t]$가 기약일 경우, $\mathrm{coker}(P(A)) \simeq H$일 확률은 $n \to \infty$일 때 $\frac{1}{|\mathrm{Aut}(H)|} \prod_{i=1}^\infty (1 - q^{-i \deg(P)})$로 수렴하며, 이는 프리드먼과 워싱턴의 $p$-adic 결과를 일반화한다.
• 균일 랜덤 행렬 $\overline{A} \in \mathrm{Mat}_n(\mathbb{F}_q)$의 $\overline{P}$-부분 분포는 $\mathbb{F}_q[t]$-모듈러에 대한 코헨-레인스트라 측도로 수렴하며, 이는 함수체의 아이디얼군에 대한 히유리스틱과 일치한다.
• 저자들은 $\mathbb{F}_q$ 위에서 $\mathrm{coker}(\overline{A} - tI_n) \simeq H$의 점근적 확률이 $n \geq \dim_{\mathbb{F}_q}(H)$일 때 $\frac{1}{|\mathrm{Aut}_{\mathbb{F}_q[t]}(H)|} \prod_{i=1}^n (1 - q^{-i})$임을 증명하며, 그 외의 경우는 0이다.
• 유한 크기의 확률이 다름에도 불구하고, $\mathbb{F}_q$-행렬 모델과 $\mathbb{F}_q[[t]]$-행렬 모델 둘 다 동일한 점근적 코어널 분포를 낳으며, 이는 보편성의 한 형태를 보여준다.
• 제타함수 $\hat{\boldsymbol{Z}}(\{P_j\}, \mathbf{x}, 1)$는 코어널 내 특정 $P_j$-부분의 점근적 확률을 캐릭터라이즈하며, 그 곱 형태는 서로 다른 소수에서의 부분들이 한계에서 독립적임을 확인한다.