[논문 리뷰] The rationality of the Hilbert-Kunz multiplicity in graded dimension two

Holger Brenner|ArXiv.org|2004. 02. 11.

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

한 줄 요약

이 논문은 정수 계수를 가진 두 차원 표준-중심 정규 다항식환에서 대수적으로 닫힌 체의 양의 특성수를 가진 다항식환에서의 $R_+$-primary 이상에 대한 Hilbert-Kunz 계수가 유리수임을 증명한다. 관련 사영 곡선 위의 syzygy 배럴의 강한 Harder-Narasimhan 필터링을 이용하여, 유리수 공식을 기울기와 랭크의 형태로 유도함으로써, 대수기하학과 Frobenius 기법을 통해 유리수 성질을 확립한다.

ABSTRACT

We show that the Hilbert-Kunz multiplicity is a rational number for an R_+-primary homogeneous ideal I=(f_1, ..., f_n) in a two-dimensional graded domain R of finite type over an algebraically closed field of positive characteristic. Moreover we give a formula for the Hilbert-Kunz multiplicity in terms of certain rational numbers coming from the strong Harder-Narasimhan filtration of the syzygy bundle Syz(f_1, . . ., f_n) on the projective curve Y = Proj R.

연구 동기 및 목표

• 대수적으로 닫힌 양의 특성수를 가진 두 차원 그레디에이션 다항식환에서의 동차 $R_+$-primary 이상에 대한 Hilbert-Kunz 계수의 유리수 성질을 확립하는 것.
• 특히 비최대 이상에 관하여 오랫동안 미해결된 문제였던 Hilbert-Kunz 계수의 유리수 성질을 해결하는 것.
• syzygy 배럴의 강한 Harder-Narasimhan 필터링에서 유도된 기하학적 불변량—기울기와 랭크—를 이용하여 Hilbert-Kunz 계수의 공식을 제공하는 것.
• 계수가 동차 생성원의 선택에 관계없이 불변임을 보여, 이 계수가 이상 이론적 성질임을 확인하는 것.

제안 방법

• 사영 곡선 $Y = \operatorname{Proj} R$ 상의 국소 자유층의 짧은 추측열을 이용하여 $\mathcal{O}(m)$, $\bigoplus \mathcal{O}(m - qd_i)$, 그리고 syzygy 배럴 $\operatorname{Syz}(f_1^q, \ldots, f_n^q)$ 간의 관계를 활용한다.
• syzygy 배럴에 Frobenius 당김을 적용하여, $q = p^e$ 이면 $\operatorname{Syz}(f_1^q, \ldots, f_n^q)(0) = F^{e*}(\operatorname{Syz}(f_1, \ldots, f_n)(0))$ 임을 이용한다.
• A. Langer의 정리—국소 자유층의 Frobenius 당김에 대해 강한 Harder-Narasimhan 필터링이 존재하며, 몫들이 강하게 반세미안정적이며 정규화된 기울기 $\bar{\mu}_k = \mu_k / p^e$ 가 유리수임을 보장한다—를 적용한다.
• 필터링의 기울기에서 유도된 유리수 불변량 $\nu_k = -\bar{\mu}_k / \deg(Y)$ 를 정의하며, 이는 큰 $q = p^e$ 에서 일정하게 유지된다.
• 필터링을 이용하여 코homology 성장도 제어하면서, $Y$ 상의 전역 단면 수 $h^0$ 의 교대 합을 통해 Hilbert-Kunz 계수를 계산한다.
• 주요 공식 유도: $e_{HK}(I) = \frac{\deg(Y)}{2} \left( \sum_{k=1}^t r_k \nu_k^2 - \sum_{i=1}^n d_i^2 \right)$ 로, 이는 명백히 유리수임을 보여준다.

실험 결과

연구 질문

• RQ1 특성수가 양수인 두 차원 그레디에이션 다항식환에서의 동차 $R_+$-primary 이상에 대한 Hilbert-Kunz 계수는 항상 유리수인가?
• RQ2 Hilbert-Kunz 계수는 관련 사영 곡선 위의 syzygy 배럴의 기하학적 불변량으로 표현될 수 있는가?
• RQ3 syzygy 배럴의 강한 Harder-Narasimhan 필터링은 Hilbert-Kunz 함수의 점근적 행동을 제어하는가?
• RQ4 Hilbert-Kunz 계수는 이상의 동차 생성원의 선택에 관계없이 불변인가?
• RQ5 Frobenius 기법과 벡터 배럴 필터링을 사용하여 Hilbert-Kunz 계수의 유리수 성질를 확립할 수 있는가?

주요 결과

• 대수적으로 닫힌 양의 특성수를 가진 두 차원 표준-중심 정규 다항식환 $R$ 에서의 동차 $R_+$-primary 이상 $I = (f_1, \ldots, f_n)$ 에 대해, Hilbert-Kunz 계수 $e_{HK}(I)$ 는 항상 유리수이다.
• 계수는 공식 $e_{HK}(I) = \frac{\deg(Y)}{2} \left( \sum_{k=1}^t r_k \nu_k^2 - \sum_{i=1}^n d_i^2 \right)$ 로 주어지며, 여기서 $\nu_k = -\bar{\mu}_k / \deg(Y)$, $\bar{\mu}_k$ 는 강한 Harder-Narasimhan 필터링의 정규화된 기울기이며 $r_k$ 는 반세미안정 몫의 랭크이다.
• 계수는 이상의 동차 생성원의 선택과 관계없이 불변이며, 새로운 생성자를 추가해도 공식이 불변임을 보여, 이는 계수가 이상 이론적 성질임을 확인한다.
• 특수 예시로, $R = K[X,Y,Z]/(H)$, $\deg(H) = h$ 에서 $I = (X^3, XY^2, ZY^2)$ 라면, Hilbert-Kunz 계수는 $7h$ 로 계산되며, 이는 $\nu_1 = 4$, $\nu_2 = 5$, $r_1 = r_2 = 1$, $\deg(Y) = h$ 를 통해 유도된다.
• 강한 Harder-Narasimhan 필터링은 Frobenius 당김된 syzygy 배럴의 코homology 를 제어하는 안정적이고 유리수 기반의 프레임워크를 제공하며, 계수의 명시적 계산을 가능하게 한다.
• 결과적으로 Hilbert-Kunz 계수는 syzygy 배럴의 기하학적 구조와 그 필터링에 의해 결정되며, 이는 교환대수학과 대수기하학을 연결한다.