격자점 세기로 밝히는 Zp 타워의 고차 a수

초록

본 논문은 소수 p와 정수 d( d∣p‑1 )에 대해, 무한히 이어지는 Zp‑타워의 r번째 고차 a‑수 a_r(X_n)를 정확히 계산한다. 기존에 제시된 근사식 α(n)p^{2n}+β(n)p^{n}+λ_r(n)n+ν_r(n)에서 α,β,ν,λ_r이 n에 대해 주기함수임을 증명하고, 그 주기의 최소값을 격자점 개수와 Ehrhart 다항식 분석을 통해 구한다.

상세 분석

논문은 먼저 Zp‑타워 X_n을 정의하고, d가 p‑1을 나눌 때의 특수성을 이용한다. 이 경우 첫 번째 곡선 X_1의 a‑수와 뉴턴 다각형이 d에 의해 완전히 결정되므로, 전체 타워의 고차 a‑수도 d에만 의존한다는 점이 핵심이다. 저자들은 BCKU24에서 제시된 복잡한 평면 영역 Δ_n의 격자점 개수를 a_r(X_n)와 직접 연결시키는 공식을 재정리한다(정리 1.6). 여기서 μ(i)와 δ(i)라는 두 보조함수를 도입해, Δ_n의 경계가 y=τx(τ=(p+1)/d)와 y=γx(γ=(p‑1)r/d+τ) 사이의 삼각형 P_n과 어떻게 차이 나는지를 정확히 기술한다.

다음 단계에서는 μ(i)와 δ(i)의 주기성을 분석한다. μ(i)는 i의 p진법 전개에 따라 결정되며, δ(i)는 “올림/내림” 선택을 나타내는 0‑1 함수이다. 저자들은 δ(i)가 일정한 주기 L을 갖는 완전 주기함수임을 보이고, 그 평균값 f̄를 구한다. 이 평균값은 삼각형 P_n 내부와 외부에 존재하는 격자점 수 차이를 보정하는 역할을 한다.

그 후 Ehrhart 이론을 활용해 P_n의 격자점 수를 다항식 형태로 전개한다. P_n은 정수 스케일 p^n에 의해 확대된 유리 꼭짓점을 가진 삼각형이므로, 격자점 수는 p^{2n}·Area(P_0)+p^{n}·(boundary term)+constant term 형태가 된다. 여기서 Area(P_0)=τ·γ/2가 주요 계수 α에 해당하고, 경계 항이 β에 대응한다.

핵심 결과인 정리 1.7은 위 계산을 종합해 a_r(X_n)=α·p^{2n}+λ_r·n+ν_r(n) (n≫0) 형태를 얻는다. α는 d, r, p의 명시적 유리수이며, λ_r와 ν_r(n)은 각각 상수와 주기함수이다. ν_r(n)의 최소 주기는 D_r(=denominator of d/(r(p‑1)+(p+1)))와 2의 최소공배수, 그리고 p modulo D_r의 위수에 의해 결정된다. 이는 Lemma 3.15에서 구체적인 식으로 제시된다.

또한 저자들은 몇 가지 구체적인 예(p=3,5 등)를 통해 ν_r(n)의 실제 주기가 이론적 최소값보다 클 수 있음을 보여준다. 특히 r=1인 경우에는 기존 연구와 일치하는 간단한 식 a_1(X_n)=d(p‑1)·p^{2n}/