[논문 리뷰] Counting ideals in polynomial rings

Lenny Fukshansky, Stefan Kühnlein외 1명|arXiv (Cornell University)|2017. 01. 17.

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

한 줄 요약

이 논문은 수체의 정수환 위 다항식환에서의 이상수 계수 함수의 渐近적 성장률을 제타 함수와 Delange의 Tauberian 정리로 분석한다. $\mathcal{O}_K[X]$에서 유한 지수를 가진 이상수의 수는 $O(N^2)$로 渐近적으로 성장함을 규명하며, 전통적인 Dedekind 제타 함수 결과를 일반화하고 $\mathbb{Z}^d$ 내 이상수 격자에 대한 밀도 추정치를 제공한다. 주요 기여는 $\mathcal{O}_K[X]$의 제타 함수에 대한 닫힌 형태의 곱 공식을 제시하여 그 유리형 성질과 $s=2$에서의 극을 드러내는 데 있다.

ABSTRACT

We investigate properties of zeta functions of polynomial rings and their quotients, generalizing and extending some classical results about Dedekind zeta functions of number fields. By an application of Delange's version of the Ikehara Tauberian Theorem, we are then able to determine the asymptotic order of the ideal counting function in such rings. As a result, we produce counting estimates on ideal lattices of bounded determinant coming from fixed number fields, as well as density estimates for any ideal lattices among all sublattices of $\mathbb Z^d$. We conclude with some more general speculations and open questions.

연구 동기 및 목표

• 수체의 정수환 위 다항식환에서 유한 지수를 가진 이상수의 수의 渐近적 행동을 이해한다.
• 전통적인 Dedekind 제타 함수 결과를 다항식환 $\mathcal{O}_K[X]$로 일반화한다.
• 고정된 수체로부터 유래한 유한 결정식을 가진 이상수 격자에 대한 계수 추정치를 수립한다.
• 모닉 분리 다항식 $f$에 대해 몫환 $\mathbb{Z}[X]/(f)$와 관련된 제타 함수의 해석적 성질을 분석한다.
• 모든 $\mathbb{Z}^d$의 부분격자 중에서 이상수 격자의 밀도를 추정한다.
• $\mathcal{O}_K[X]$의 제타 함수의 구조와 그 유리형 확장을 연구한다.
• 제타 함수를 통해 아벨 군 분류와 Cohen-Lenstra 히وري스틱 간의 연결 고리를 탐색한다.

제안 방법

• 논문은 다항식환에서 지수 $n$을 가진 이상수의 수를 $a_n(R)$로 세는 제타 함수 $\zeta(R,s) = \sum_{n=1}^\infty \frac{a_n(R)}{n^s}$를 활용하여 이상수 계수를 연구한다.
• Delange의 Ikehara Tauberian 정리의 변형을 적용하여 $\zeta(R,s)$의 해석적 성질로부터 $A_N(R) = \sum_{n \leq N} a_n(R)$의 합계 함수의 渐近적 성장률을 유도한다.
• $\mathcal{O}_K[X]$의 제타 함수는 $\prod_{d=1}^\infty \zeta_K(d(s-1))$로 인수분해됨을 보이며, 여기서 $\zeta_K$는 수체 $K$의 Dedekind 제타 함수이다.
• 이 곱의 극을 분석함으로써 수렴의 경계와 특이점의 위치를 결정하며, 주요 극은 $s=2$에 존재한다.
• 이상수 계수 수열 $a_n(R)$의 곱셈성은 각 소수에서 국소 분석이 가능한 오일러 곱 분해 $\zeta(R,s) = \prod_p E_p(R,s)$를 유도한다.
• 국소 제타 함수는 $\mathbb{Z}_{(p)} \otimes_{\mathbb{Z}} \mathcal{O}_K$로의 기본 체인을 통해 분석되며, 이는 국소 주이론환(-semilocal PID)이므로 기존의 PID 결과를 활용해 전역 곱 공식을 도출할 수 있다.
• 이상수 계수와 아벨 군 분류 간의 연결 고리는 $\sum a_n(\mathfrak{G})/n^s = \zeta(\mathbb{Z}[X], s+1)$로 식별되며, 이는 이상수 계수를 군론적 궤도 수와 연결한다.

실험 결과

연구 질문

• RQ1 수체 $K$의 정수환 위 다항식환 $\mathcal{O}_K[X]$에서 유한 지수를 가진 이상수의 수의 渐近적 성장률은 무엇인가?
• RQ2 제타 함수 $\zeta(\mathcal{O}_K[X], s)$의 해석적 성질은 어떻게 되며, 그 유리형 구조는 무엇인가?
• RQ3 모닉 다항식 $f$에 대해 몫환 $\mathbb{Z}[X]/(f)$로부터 유래한 $\mathbb{Z}^d$ 내 이상수 격자에서 유한 결정식을 가진 이상수의 수의 정확한 渐近적 순서는 무엇인가?
• RQ4 $\mathbb{Z}^d$ 내 이상수 격자는 모든 $\mathbb{Z}^d$의 부분격자와 비교해 어떤 밀도를 가지는가?
• RQ5 $\mathbb{Z}[X]$의 제타 함수와 유한 아벨 군 또는 그 자동형사상 하에서의 부분군 수의 세기 간의 관계는 무엇인가?
• RQ6 $\mathcal{O}_K[X]$의 제타 함수를 $\mathcal{O}_K$ 위에서의 아핀 직선의 변형의 제타 함수로 기하학적으로 해석할 수 있는가?
• RQ7 $\zeta(\mathbb{Z}[X], s)$는 어떤 성질을 만족하는 엔도모르피즘을 가진 유한 아벨 군을 세는 것으로 자연스럽게 해석될 수 있는가?

주요 결과

• $\mathcal{O}_K[X]$의 제타 함수는 $\zeta(\mathcal{O}_K[X], s) = \prod_{d=1}^\infty \zeta_K(d(s-1))$로 주어지며, 여기서 $\zeta_K$는 수체 $K$의 Dedekind 제타 함수이다.
• $\mathcal{O}_K[X]$의 제타 함수 $\zeta(\mathcal{O}_K[X], s)$는 수렴의 경계가 $\sigma = 2$이며, $s = 2$에서 단순 극을 가지며, $s = 1$에 수렴하는 추가 단순 극들이 존재한다.
• Delange의 Tauberian 정리를 적용하여 $\mathcal{O}_K[X]$에서 지수 최대 $N$인 이상수의 수는 $c \cdot N^2$로 渐近적으로 성장함을 보이며, $c > 0$인 상수 $c$는 $s = 2$에서 $\zeta(\mathcal{O}_K[X], s)$의 잔여극에 따라 결정된다.
• 모닉 다항식 $f$의 차수 $d$에 대해 몫환 $\mathbb{Z}[X]/(f)$로부터 유래한 $\mathbb{Z}^d$의 이상수 부분격자 수 역시 코로나리에 3.3에서 보듯이 $O(N^2)$로 渐近적으로 성장한다.
• $\mathbb{Z}[X]$의 제타 함수 $\zeta(\mathbb{Z}[X], s)$는 $\Re(s) > 2$에서 수렴하며, $s = 2$에서 단순 극을 가지며, 이는 $\mathbb{Z}[X]$에서 이상수 계수의 이차 성장률을 확인한다.
• $\mathbb{Z}[X]$의 제타 함수 $\zeta(\mathbb{Z}[X], s)$는 유한 아벨 군의 수에 관련되어 있으며, $\sum_{n=1}^\infty \frac{a_n(\mathfrak{G})}{n^s} = \zeta(\mathbb{Z}[X], s+1)$로 표현되며, 여기서 $a_n(\mathfrak{G})$는 순서 $n$인 아벨 군의 동형류 수를 세는 것이다.
• $\mathcal{O}_K[X]$의 제타 함수 $\zeta(\mathcal{O}_K[X], s)$의 $s = 2$에서의 잔여극은 Cohen-Lenstra 히وري스틱에 나타나는 상수 $C_\infty$와 일치하며, 이상수 계수와 무작위 유한 아벨 군 간의 깊은 연결 고리를 시사한다.