[논문 리뷰] The distribution of $H_{8}$-extensions of quadratic fields

Brandon Alberts, Jack Klys|arXiv (Cornell University)|2016. 11. 17.

Coding theory and cryptography참고 문헌 6인용 수 3

한 줄 요약

이 논문은 무분지인 $H_8$-확장이 이차체에서 무한소에서 분지가 없는 경우에 대해 정규화된 수세기 함수의 모멘트를 계산하며, 이들이 점질량 분포로 수렴함을 증명한다. 정규화 인자 $g(d) = 3^{ au(d)}$를 도입하고, 정규화된 수세기 $f(d)/g(d)$의 $k$번째 모멘트가 허수 이차체의 경우 $(1/32)^k$로 수렴하고, 실수 이차체의 경우 $(1/192)^k$로 수렴함을 보이며, 이는 이차체 위의 갈루아군 $H_8$에 대한 점질량 분포를 확립한다.

ABSTRACT

We compute all the moments of a normalization of the function which counts unramified $H_{8}$-extensions of quadratic fields, where $H_{8}$ is the quaternion group of order 8, and show that the values of this function determine a constant distribution. Furthermore we propose a similar modification to the non-abelian Cohen-Lenstra heuristics for unramified G-extensions of quadratic fields for G in a large class of 2-groups, which we conjecture will give finite moments which determine a distribution. Our method additionally can be used to determine the asymptotics of the unnormalized counting function, which we also do for unramified $H_{8}$-extensions.

연구 동기 및 목표

• 이차체 위의 $H_8$-확장의 분포를 이해하는 것, 특히 모든 곳에서 무분지인 경우를 포함하여 무한소에서의 분지가 없는 경우를 중심으로 한다.
• 비아벨리언 코헨-렌스트라 히وري스틱스를 개선하기 위해, $G$가 큰 2군의 클래스에 속하는 $G$-확장에 대해 이차체 위에서 유한한 모멘트를 갖는 정규화를 제안하는 것.
• 정규화된 수세기 함수 $f(d)/g(d)$가 $g(d) = 3^{\omega(d)}$일 때, $\mathbb{R}$ 위에 점질량 분포를 결정함을 증명하며, 이는 $H_8^m$-확장의 밀도가 0임을 의미한다.
• 이전의 알버츠의 결과를 확장하여, $H_8^k \rtimes_{\sigma} C_2$-확장의 비정규화된 점근적 성질을 일반화하는 것.

제안 방법

• 이차체에서 기약판별식 $d$를 가진 모든 곳에서 무분지인 $H_8$-확장을 세는 수세기 함수 $f(d)$를 안정화하기 위해 정규화 인자 $g(d) = 3^{\omega(d)}$를 도입한다.
• 클래스 체계 이론과 갈루아 이론적 기법을 적용하여, 모든 곳에서 무분지인 $H_8$-확장을 $H_8$로의 전사 사상으로 나타내며, 이를 $G' = H_8 \rtimes C_2$를 통해 올리기 위한 방법을 사용한다.
• 특히 링킹 조건을 표현하는 행렬 $M_k$의 핵을 중심으로 다루는 $\mathbb{F}_2$-벡터 공간 위의 캐릭터 합과 가우스 합을 사용하여 정규화된 함수의 모멘트를 계산한다.
• $H_8$-확장의 $k$중 곱에 대한 재귀적 구조를 활용하며, 수세기 함수를 $\sum_{d \in \mathcal{D}_X^\pm} |\text{Sur}_\sigma(\mathrm{Gal}(K^{un}/K), H_8^k)|$로 모델링한다.
• 제곱무리수 조건과 점근 전개의 오차 항을 다루기 위해 모비우스 역전과 곱셈적 산술 함수를 적용한다.
• 최대로 분리된 집합 $\mathcal{U}$와 관련된 이차형식 $\Phi(u,v)$의 구조를 활용하여 구성의 합을 계산하며, 이는 $\ker M_k$의 잔여류 위의 합으로 감소된다.

실험 결과

연구 질문

• RQ1 정규화 인자 $3^{\omega(d)}$로 정규화된 수세기 함수의 분포는 어떻게 되는가?
• RQ2 정규화된 수세기 함수 $f(d)/g(d)$의 $k$번째 모멘트가 유한한 극한으로 수렴하는가? 만약 그렇다면, 그 극한 분포는 무엇인가?
• RQ3 비아벨리언 코헨-렌스트라 히وري스틱스는 어떤 정규화를 통해 $G$가 큰 2군의 클래스에 속하는 이차체 위의 $G$-확장에 대해 유한한 모멘트를 갖도록 개선될 수 있는가?
• RQ4 무분지가 있는 이차체 위의 $H_8^k \rtimes_{\sigma} C_2$-확장의 비정규화된 수의 점근적 성장률은 어떻게 되는가?
• RQ5 정규화된 함수 $f(d)/g(d)$는 극한에서 한 점으로 집중되는가? 이는 $H_8^m$-확장의 밀도가 0임을 의미하는가?

주요 결과

• 허수 이차체의 경우, 정규화된 함수 $f(d)/g(d)$의 $k$번째 모멘트는 $(1/32)^k$로 수렴하며, 이는 $1/32$에서 점질량 분포를 확립한다.
• 실수 이차체의 경우, 정규화된 함수 $f(d)/g(d)$의 $k$번째 모멘트는 $(1/192)^k$로 수렴하며, 이는 $1/192$에서 점질량 분포를 확립한다.
• 정규화된 함수 $f(d)/g(d)$는 $\mathbb{R}$ 위에 점질량 분포를 결정한다. 즉, $f(d)/g(d)$의 경험적 측도가 약한 수렴으로 $1/32$ 또는 $1/192$에서의 딜라크 델타 함수로 수렴한다.
• 비정규화된 $H_8^k \rtimes_{\sigma} C_2$-확장의 수세기 함수는 점근적으로 $ \sum_{d \in \mathcal{D}_X^-} |\text{Sur}_\sigma| = (1/4)^k \sum_{d \in \mathcal{D}_X^-} 3^{k\omega(d)} + O(X (\log X)^{3^k - 2 + \epsilon}) $를 만족한다.
• 허수의 경우에도 동일한 점근적 형태가 성립하며, 상수 계수를 조정하고, 캐릭터 합 추정과 모비우스 역전을 통해 오차 항을 제어한다.
• 결론 4는 정규화된 수세기의 점질량 분포로 인해, 임의의 $m \geq 1$에 대해 $\mathrm{Gal}(K^{un}/K) \cong H_8^m$인 이차체 $K$의 밀도가 0임을 확인한다.