[논문 리뷰] Hilbert-Kunz multiplicity and reduction mod p

V. Trivedi|ArXiv.org|2004. 07. 29.

Algebraic Geometry and Number Theory참고 문헌 4인용 수 4

한 줄 요약

이 논문은 특성 0의 기하학적 기하구조에서의 기하구조적 곡선의 특성 $p$로의 축소에 대해, Hilbert-Kunz 다중성의 수렴성에 대해 특성 $p \to \infty$일 때 잘 정의된 극한으로 수렴함을 증명한다. Frobenius 역상의 벡터(bundle)의 Harder-Narasimhan 분해와 정규화된 기울기의 渐近적 분석을 통해, 이 극한의 존재를 증명하며, 이 극한은 강하게 반안정적 HN 분해에서의 반안정적 몫의 기울기로 표현된다.

ABSTRACT

We show that the Hilbert-Kunz multiplicities of the reductions to positive characteristics of an irreducible projective curve in characteristic 0 have a well-defined limit as the characteristic tends to infinity.

연구 동기 및 목표

• 특성 0의 프로젝트이브 곡선의 축소가 특성 $p \to \infty$로 갈수록 Hilbert-Kunz 다중성이 수렴하는지 여부를 결정하는 것.
• 양의 특성에서 곡선의 벡터(bundle)에 대한 Harder-Narasimhan 분해를 통해 Hilbert-Kunz 다중성의 행동을 분석하는 것.
• 반복된 Frobenius 역상에서 HN 몫의 정규화된 기울기와의 관계를 통해 이러한 다중성의 잘 정의된 극한을 확립하는 것.
• 이 극한이 HN 분해의 불변량에 의해 계산 가능하며, 스프레드의 선택과 무관하게 일정함을 보이는 것.

제안 방법

• 저자들은 $\mathbb{Z}$-대수 $A$와 프로젝트이브 $A$-스킴 $X_A$를 구성하여, $\mathrm{Spec}\, A$의 임의의 닫힌 점 $s$로의 기저 변경이 원래 곡선의 양의 특성에서의 모델을 제공함을 보장한다.
• 저자들은 곡선 위의 벡터(bundle) $V$의 Frobenius 역상 $F^{k*}V$의 Harder-Narasimhan (HN) 분해를 분석하고, 부분다중체의 질량과 정규화된 차수를 사용하여 HN 다각형 $HNP_{p^k}(V)$를 정의한다.
• 특성 $p \geq 4(g-1)(\mathrm{rank}\, V)^3$일 때, $HNP_{p^{k-1}}(V)$의 꼭짓점이 $HNP_{p^k}(V)$에 유지됨을 증명하여, Frobenius 반복에 따른 다각형의 구조가 안정됨을 보장한다.
• Shepherd-Barron의 결과를 활용하여, $F^{k*}V$의 HN 분해에서 각 세그먼트의 정규화된 기울기 $\underline{\mu}(F_j)/p^k$가 $\underline{\mu}(E_i) + O(1/p)$임을 보이며, 여기서 $E_i$는 $V$의 HN 분해에서의 몫이다.
• 저자들은 $HNP_{p^k}(V)$의 면적을 계산하고, $\lim_{p \to \infty} \mathrm{Area}\, HNP_{p^k}(V) = \mathrm{Area}\, HNP(V)$임을 증명하여, 합 $\sum \widetilde{r}_i \widetilde{a}_i^2$의 수렴성을 암시한다.
• 마지막으로, $\mathrm{Spec}\, A$의 닫힌 점 $s$에 대해 $HKM(R_s, I_s)$의 극한으로서 극한 Hilbert-Kunz 다중성 $HKM(R,I)$를 정의하고, 이가 유리수이며 스프레드의 선택과 무관함을 보인다.

실험 결과

연구 질문

• RQ1 특성 0의 프로젝트이브 곡선의 축소가 특성 $p \to \infty$일 때 Hilbert-Kunz 다중성이 수렴하는가?
• RQ2 Hilbert-Kunz 다중성의 극한이 관련된 벡터(bundle)의 Harder-Narasimhan 분해로 표현될 수 있는가?
• RQ3 반복된 Frobenius 역상에서 HN 몫의 정규화된 기울기는 특성 $p \to \infty$일 때 渐近적으로 어떻게 행동하는가?
• RQ4 Hilbert-Kunz 다중성의 극한은 $\mathbb{Z}$ 위의 모델 선택과 무관한가?
• RQ5 양의 특성에서의 Hilbert-Kunz 다중성과 $p \to \infty$일 때의 극한 사이의 관계는 무엇인가?

주요 결과

• 극한 $\lim_{p \to \infty} HK(R_p)$는 존재하며, 이는 $\sum_i \widetilde{r}_i(V_s) \widetilde{a}_i(V_s)^2$와 같다. 여기서 $\widetilde{r}_i$와 $\widetilde{a}_i$는 $V_s$의 강하게 반안정적 HN 분해에서 $i$번째 몫의 정규화된 질량과 기울기이다.
• 이 극한은 유리수이며, 특성 0에서 곡선 위의 벡터(bundle)의 HN 몫의 기울기로부터 계산 가능하다.
• 큰 $p$에 대해, 정규화된 기울기 $\widetilde{a}_i(V_s)$는 원래 다중체의 HN 몫의 정규화된 기울기로 수렴하며, 오차는 $O(1/p)$이다.
• 극한 $HKM(R,I)$는 모든 $HKM(R_s, I_s)$의 하한이며, $V_s$의 HN 분해가 이미 강하게 반안정적일 때에만 등호가 성립한다.
• 수렴은 단조적이지 않다: Monsky의 예시는 $p \mod 9$에 따라 $HKM(R_p, I_p)$가 진동할 수 있음을 보이며, 예를 들어 $3$, $3 + 1/(4p^2)$, $3 + 1/(4p^4)$와 같이 $p \to \infty$일 때도 그러한 진동이 가능하다.
• 비특이 평면 곡선의 경우, degree $d$일 때 Hilbert-Kunz 다중성은 $\frac{3d}{4} + \frac{l^2}{4d p^{2s}}$로 주어지며, 여기서 $s$는 $F^{s*}V$가 반안정적이지 않은 최소 정수이고, $l \in \{0, \dots, d(d-3)\}$, $l \equiv pd \pmod{2}$이다.