[논문 리뷰] The limit as p -> infinity of the Hilbert-Kunz multiplicity of sum(x_i^(d_i))

Ira M. Gessel, Paul Monsky|arXiv (Cornell University)|2010. 07. 12.

Advanced Differential Equations and Dynamical Systems참고 문헌 1인용 수 11

한 줄 요약

이 논문은 $(\mathbb{Z}/p)[x_1,\dots,x_s]$에서 다항식 $\sum x_i^{d_i}$의 힐버트-쿤츠 계수의 극한을 $p \to \infty$일 때 계산한다. 오일러 다항식과 생성함수를 포함하는 조합 기법을 사용하여 극한에 대한 닫힌 표현식을 도출하며, 모든 $d_i = 2$인 경우 극한이 $\sec z + \tan z$의 테일러 전개에서 $z^{s-1}$의 계수에 $1$을 더한 값과 일치함을 보여준다. 이 결과는 추측을 해결하고, 동차 이차 다항식의 점근적 계수에 대해 통일된 공식을 제공한다.

ABSTRACT

Let p be a prime. The Hilbert-Kunz multiplicity, mu, of the element sum(x_i^(d_i)) of (Z/p)[x_1,..., x_s] depends on p in a complicated way. We calculate the limit of mu as p -> infinity. In particular when each d_i is 2 we show that the limit is 1 + the coefficient of z^(s-1) in the power series expansion of sec z + tan z.

연구 동기 및 목표

• 소수 $p \to \infty$일 때 $(\mathbb{Z}/p)[x_1,\dots,x_s]$에서 $\sum x_i^{d_i}$의 힐버트-쿤츠 계수의 점근적 행동을 규명하는 것.
• 조합 기법과 생성함수 기법을 사용하여 이 극한에 대한 닫힌 표현식을 제공하는 것.
• 모든 $d_i = 2$인 경우 극한이 $\sec z + \tan z$에서 $z^{s-1}$의 계수에 $1$을 더한 값과 일치한다는 추측을 해결하는 것.
• 특히 $s \geq 3$인 경우에 대해 양의 특성에서의 힐버트-쿤츠 계수에 관한 이전 결과들을 통합하고 일반화하는 것.

제안 방법

• 힐버트-쿤츠 계수 $\mu$를 유계하는 데 사용되는 몫환의 길이로 정의된 함수 $D_p(k_1,\dots,k_s)$를 사용한다.
• 레마 1.2와 레마 1.3를 적용하여 $D_p$에 대한 경계를 도출함으로써, $\mu$가 $p \to \infty$일 때 수축하는 간격 내에 있음을 보여, 수렴성을 입증한다.
• 문헌 [3]의 공식을 활용하여 $D_p(a_1,\dots,a_s)$를 $\prod \frac{1 - t^{a_i}}{1 - t}$를 포함하는 생성함수의 계수 합으로 표현한다.
• 점근적 기여를 기록하는 조합 합 $C_\lambda = \sum_{\epsilon_i = \pm 1} \left( \sum \frac{\epsilon_i}{d_i} - 2\lambda \right)^{s-1}$을 도입하며, 여기서 $\sum \frac{\epsilon_i}{d_i} > 2\lambda$를 만족하는 텀플릿에 대해 합을 구한다.
• 오일러 다항식 $A_n(T)$와 그 $T = i$에서의 평가를 사용하여 합 $\sum_a f_s(a)$를 $\sec z + \tan z$의 테일러 급수와 연결한다.
• 형식적 거듭제곱급수 항등식과 $\mathbb{C}[[T,z]]$에서의 환 준동형사를 적용하여, $A_n(i)$와 $\sec z + \tan z$를 연결하는 생성함수 항등식을 유도한다.

실험 결과

연구 질문

• RQ1 $(\mathbb{Z}/p)[x_1,\dots,x_s]$에서 $\sum x_i^{d_i}$의 힐버트-쿤츠 계수의 극한은 $p \to \infty$일 때 무엇인가?
• RQ2 모든 $d_i = 2$인 경우 이 극한을 닫힌 형태로 표현할 수 있는가?
• RQ3 왜 $d_i = 2$인 경우 극한이 $\sec z + \tan z$에서 $z^{s-1}$의 계수에 $1$을 더한 값과 일치하는가?
• RQ4 오일러 다항식은 이 맥락에서 점근적 힐버트-쿤츠 계수와 어떻게 관련이 있는가?

주요 결과

• $p \to \infty$일 때 힐버트-쿤츠 계수 $\mu$의 극한은 존재하며, $C_\lambda$를 부호 튜플에 대해 합한 $\frac{d \cdot 2^{1-s}}{(s-1)!} \sum_{\lambda \in \mathbb{Z}} C_\lambda$의 형태로 주어진다.
• 모든 $d_i = 2$인 경우 극한은 $\sec z + \tan z$의 테일러 전개에서 $z^{s-1}$의 계수에 $1$을 더한 값으로 단순화된다.
• $s = 5$인 경우 극한은 $\frac{29}{24}$이며, 논문은 $p > 2$일 때 $\mu = \frac{29p^2 + 15}{24p^2 + 12}$임을 확인하여 $p \to \infty$일 때 $\frac{29}{24}$로 수렴함을 검증한다.
• 모든 $s$에 대해 극한은 유리수이며, 공식은 $s$에 관계없이 통일되어 있으며, 오일러 다항식의 $i$에서의 평가로부터 자연스럽게 $\sec z + \tan z$의 생성함수가 유도된다.
• 이 방법은 $\mu$가 적절한 $a_i$ 선택에 대해 $p^{-1} D_p(a_1,\dots,a_s)$의 극한과 동일한 극한으로 수렴하며, 오차가 $O(1/p)$로 유계됨을 증명한다.
• 핵심 항등식 $\sum_{a \equiv s \pmod{4}} f_s(a) = 2^{s-2} \left( A_{s-1}(1) + \frac{c}{2} + \frac{\overline{c}}{2} \right)$ (여기서 $c = \frac{A_{s-1}(i)}{(1+i)^{s-2}}$)는 합을 $\sec z + \tan z$의 테일러 계수와 연결한다.