[논문 리뷰] The Hilbert-Kunz function in graded dimension two

Holger Brenner|arXiv (Cornell University)|2004. 05. 11.

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

한 줄 요약

이 논문은 유한체의 대수적 닫힘에서 두 차원 정규 표준-등급 도메인에 대해, 임의의 동차 $\\mathfrak{m}$-primary 이상의 힐버트-쿠른츠 함수가 $\\varphi(q) = e_{HK}(I)q^2 + \gamma(q)$ 형태를 가지며, 힐버트-쿠른츠 중량 $e_{HK}(I)$는 유리수이고, 저차항 $\gamma(q)$는 최종적으로 주기적임을 증명한다. 이 결과는 프로베누스 역행의 시지지 번들 및 그 강한 하드러-나라시마니 필터링에 의한 코homological 분석에 기반한다.

ABSTRACT

Let R denote a two-dimensional normal standard-graded domain over the algebraic closure K of a finite field of characteristic p, and let I denote a homogeneous primary ideal. We prove that the Hilbert-Kunz function of I has the form = e_{HK}(I) q^{2} + g (q) with rational Hilbert-Kunz multiplicity e_{HK}(I) and an eventually periodic function g (q).

연구 동기 및 목표

• 두 차원 정규 표준-등급 도메인에서 대수적으로 닫힌 양의 특성의 체 위에 있는 동차 $\\mathfrak{m}$-primary 이상에 대한 힐버트-쿠른츠 함수의 구조를 규명한다.
• 이전 연구를 바탕으로, 이 설정에서 힐버트-쿠른츠 중량이 유리수라는 추측을 해결한다.
• 기저 체가 유한체의 대수적 닫힘일 경우, 전개에서 $O(q^0)$-항이 최종적으로 주기적임을 보인다.
• 최대 이상 및 타원 곡선의 경우를 초월해 주기성 결과를 일반화한다.

제안 방법

• 이deals 생성자에 관련된 프로젝티브 곡선 $Y = \\operatorname{Proj} R$ 상의 복소층의 짧은 정합수열을 사용하여, 시지지 번들의 전역 단면을 통해 힐버트-쿠른츠 함수를 표현한다.
• 변수 $q = p^e$ 에 대해 $h^0(\\mathcal{S}^{q}(m))$ 를 분석하기 위해 시지지 번들 $\\operatorname{Syz}(f_1,\\ldots,f_n)$ 의 프로베누스 역행을 분석한다.
• 복합체 $\\mathcal{S}$ 의 강한 하드러-나라시마니 필터링을 적용하여 기울기가 감소하는 강하게 반가역적 몫들로 분해한다.
• 주어진 기울기의 합 $\\mu_{HK}(\\mathcal{S}) = \sum_k r_k \bar{\mu}_k^2$ 에서 $\bar{\mu}_k = \mu(\\mathcal{S}_k^{q}/\\mathcal{S}_{k-1}^{q})/q$ 를 정의하여 코homological 합의 주항항을 계산한다.
• 기저 체가 유한체의 대수적 닫힘일 경우, 분수부분 $\pi_k(q) = \lceil q\nu_k \rceil - q\nu_k$ 의 주기성으로 인해 상수항 $\gamma(q)$ 가 최종적으로 주기적임을 보인다.
• 이러한 코homological 추정치를 교차합으로 조합하여, 힐버트-쿠른츠 함수의 원하는 형태를 증명한다.

실험 결과

연구 질문

• RQ1 두 차원 정규 표준-등급 $K$-도메인에서 $\\overline{\\mathbb{F}_p}$ 위에 있는 동차 $\\mathfrak{m}$-primary 이상의 힐버트-쿠른츠 함수는 주항항이 유리수이고, 저차항이 최종적으로 주기적인가?
• RQ2 동일한 조건 하에서 힐버트-쿠른츠 함수 전개의 $O(q^0)$-항은 유계이면서 최종적으로 주기적인 함수로 표현될 수 있는가?
• RQ3 모네스키의 추측에 따르면, 전개 $\\varphi(q) = e_{HK}(I)q^2 + \beta q + O(1)$ 에서 두 번째 계수 $\beta$ 는 이 설정에서 심지어 영일까?
• RQ4 강한 하드러-나라시마니 필터링이 프로베누스 역행의 시지지 번들의 점근적 행동을 어느 정도 제어하는가?
• RQ5 기저 체의 어떤 조건에서 $O(q^0)$-항이 유계일 뿐 아니라 최종적으로 주기적이게 되는가?

주요 결과

• 유한체의 대수적 닫힘 $\\overline{\\mathbb{F}_p}$ 위의 두 차원 정규 표준-등급 도메인에서 임의의 동차 $\\mathfrak{m}$-primary 이상의 힐버트-쿠른츠 함수는 $\\varphi(q) = e_{HK}(I)q^2 + \gamma(q)$ 형태이며, $e_{HK}(I)$ 는 유리수이다.
• 저차항 $\gamma(q)$ 는 유계이지만, 특히 기저 체가 유한체의 대수적 닫힘일 경우 최종적으로 주기적이다.
• $\gamma(q)$ 의 주기성은 시지지 번들의 강한 하드러-나라시마니 필터링과 관련된 분수부분 $\pi_k(q) = \lceil q\nu_k \rceil - q\nu_k$ 의 최종 주기성에서 기인한다.
• 힐버트-쿠른츠 기울기 $\mu_{HK}(\\mathcal{S})$ 는 코homological 합의 제곱항을 지배하며, 이는 직접적으로 주항항 $e_{HK}(I)$ 에 기여한다.
• 상수항 $\gamma(q)$ 는 필터링의 강하게 반가역적 몫들로부터 온 코homological 기여의 유한한 교차합으로 표현되며, 이 중 주기적 성분은 $\pi_k(q)$ 항에서 유래한다.
• 결과적으로, 이 설정에서 $\gamma(q)$ 가 최종적으로 주기적이라는 추측을 확인하였으며, 이는 최대 이상 및 타원 곡선의 경우에 알려진 결과를 일반화한다.