소수 거듭 제곱에 대한 아이젠슈타인 급수의 동치식

초록

소수 (p\ge5)와 ((p-1)\nmid k)인 짝수 (k\ge4)에 대해, 저자들은 아이젠슈타인 급수 (G_k)와 정규화된 아이젠슈타인 급수 (E_k)를 소수 거듭 제곱 (p^m) 모듈러 동치식으로 기술한다. 핵심 결과는 가중치가 최대 (mp) 이하인 모듈라 형식으로의 표현이며, 이를 통해 “팩터 필터”의 상한을 얻는다. 주요 도구는 베르누이 수에 대한 Sun의 합동식, Kummer 합동식, 그리고 다중 파라미터 조합 항등식이다.

상세 분석

논문은 먼저 전통적인 아이젠슈타인 급수 (G_k)와 (E_k)의 (p)‑정수성(즉, ((p-1)\nmid k)이면 (G_k)는 (p)‑정수, ((p-1)\mid k)이면 (E_k\equiv1\pmod p))을 상기한다. 이후 저자들은 이 합동을 (p^m)까지 끌어올리기 위해 두 가지 주요 전략을 사용한다. 첫 번째는 Sun이 증명한 베르누이 다항식에 대한 합동식(정리 2.3)으로, 이는 임의의 함수 (f)가 “(p)-regular”이면 (\displaystyle f(\alpha)=\sum_{r=0}^{m-1}H(m,\alpha,r)f(r)\pmod{p^m}) 라는 형태로 전개될 수 있음을 보인다. 여기서 (H(m,\alpha,r))는 이항계수를 이용해 정의된 정수 계수다.

두 번째는 이러한 (p)-regular성에 기반한 다중 파라미터 조합 항등식(정리 3.2)이다. 저자들은 Sigma 패키지를 이용해 창의적 텔레스코핑을 수행하고, 복잡한 이항합을 재귀적으로 0으로 소멸시키는 항등식을 도출한다. 이 과정에서 (\displaystyle \sum_{r=s}^{m-1}(\alpha-m)F(m,r)+(m-s)F(m+1,r)=0) 형태의 관계식이 핵심이 된다.

정리 1.1은 (\displaystyle G_{\alpha(p-1)+k^}\equiv\sum_{r=0}^{m-1}H(m,\alpha,r)G_{r(p-1)+k^}E_{,\alpha-r}^{,p-1}\pmod{p^m}) 를 증명한다. 여기서 (k^>m)이며 ((p-1)\nmid k^)이다. 이 식은 (\alpha)가 (0\le\alpha\le m-1)일 때는 자명하고, (\alpha\ge m)일 때는 오른쪽 항들의 가중치가 모두 (\le mp)임을 보인다. 따라서 모든 (G_k)는 (p^m) 모듈러 동치식에서 가중치 (\le mp)인 모듈라 형식으로 대체될 수 있다.

정리 1.2는 ((p-1)\mid k)인 경우, 즉 정규화된 아이젠슈타인 급수 (E_k)에 대해 (m<p)일 때 (\displaystyle E_{\alpha(p-1)}\equiv\sum_{r=0}^{m-1}H(m,\alpha,r)E_{r(p-1)}E_{,\alpha-r}^{,p-1}\pmod{p^m}) 를 얻는다. 여기서는 베르누이 수에 대한 새로운 합동식(정리 4.1)을 증명하고, 이를 이용해 상수항과 비상수항을 각각 맞춘다.

이러한 합동식들을 이용해 “팩터 필터” (\omega_{p^m}(f)) 를 정의하고, (G_k)와 (E_k)에 대한 상한을 구한다. 특히 코롤라리 1.3은 (\omega_{p^m}(G_k)\le (m-1)(p-1)+k_0(m)) 를, 코롤라리 1.4는 (\omega_{p^m}(E_k)\le (m-1)(p-1)) (단, (m\le p-1)) 를 보여준다. 여기서 (k_0(m))는 (k)를 (p-1)으로 나눈 최소 잔여값보다 큰 최소 정수를 의미한다. 저자들은 Mathematica를 이용해 구체적인 예시를 제시하고, 이 상한이 실제로 날카롭다는 것을 확인한다.

마지막 섹션에서는 (m\ge p)인 경우에 대한 추측과, 베르누이 수와 관련된 미증명 합동식(섹션 6)을 논의한다. 전체적으로 이 논문은 고전적인 아이젠슈타인 급수의 합동 이론을 소수 거듭 제곱까지 일반화하고, 이를 통해 모듈라 형식의 가중치 필터링에 새로운 도구를 제공한다.