[논문 리뷰] Hilbert-Kunz density function and Hilbert-Kunz multiplicity

V. Trivedi|arXiv (Cornell University)|2015. 10. 12.

Functional Equations Stability Results참고 문헌 8인용 수 4

한 줄 요약

이 논문은 양의 특성에서의 등급화된 환과 가군에 대한 새로운 불변량인 힐버트-쿠른츠 밀도 함수(HKd)를 도입하며, 적분 공식을 통해 힐버트-쿠른츠 다중성과 연관시킨다. HKd가 세그레 곱에 대해 가환적이고 곱셈적임을 증명함으로써, 임의의 유한한 프로젝티브 곡선의 세그레 곱의 힐버트-쿠른츠 다중성이 유리수임을 보이는 핵심 결과를 도출한다.

ABSTRACT

For a pair $(M, I)$, where $M$ is finitely generated graded module over a standard graded ring $R$ of dimension $d$, and $I$ is a graded ideal with $\ell(R/I) < \infty$, we introduce a new invariant $HKd(M, I)$ called the {\em Hilbert-Kunz density function}. In Theorem 1.1, we relate this to the Hilbert-Kunz multiplicity $e_{HK}(M,I)$ by an integral formula. We prove that the Hilbert-Kunz density function is additive. Moreover it satisfies a multiplicative formula for a Segre product of rings. This gives a formula for $e_{HK}$ of the Segre product of rings in terms of the HKd of the rings involved. As a corollary, $e_{HK}$ of the Segre product of any finite number of Projective curves is a rational number. As an another application we see that $e_{HK}(R, {\bf m}^k) - e(R, {\bf m}^k)/d!$ grows at least as a fixed positive multiple of $k^{d-1}$ as $k o \infty$.

연구 동기 및 목표

• 등급화된 환의 양의 특성에서의 쌍 (M, I)에 대해 새로운 불변량인 힐버트-쿠른츠 밀도 함수(HKd)를 정의한다.
• HKd를 표준 힐버트-쿠른츠 다중성 e_HK와 적분 공식을 통해 연결한다.
• 세그레 곱에 대한 환에서 HKd의 가환성과 곱셈 공식을 확립한다.
• 임의의 유한한 프로젝티브 곡선의 세그레 곱의 힐버트-쿠른츠 다중성이 유리수임을 증명한다.
• HKd가 하드러-나라시마누 혼합 기울기와 싸지 보드의 랭크와 같은 내재 불변량을 포함하고 있음을 보여준다.

제안 방법

• q = p^n일 때, g_n(x) = (1/q^{d-1}) ℓ(M / I^{[q]}M)_{⌊xq⌋}로 정의된 조각별 선형 함수의 점별 극한으로 HKd(M, I)(x)를 정의한다.
• 등급화된 가군과 프로베누스 거듭제곱의 성질을 이용하여 {g_n}이 컴act하게 지지된 연속 함수 f(x) = HKd(M, I)(x)로 균일 수렴함을 증명한다.
• HKd와 표준 힐버트-쿠른츠 다중성 사이의 관계를 나타내는 적분 공식 e_HK(M, I) = ∫ℝ f(x) dx를 확립한다.
• 세그레 곱에 대한 HKd의 곱셈 공식을 유도한다: HKd(R#S, I#J)(x) = [e₀(R)/(d₁−1)!]x^{d₁−1}g(x) + [e₀(S)/(d₂−1)!]x^{d₂−1}f(x) − f(x)g(x), 여기서 f = HKd(R,I), g = HKd(S,J).
• 이 곱셈 공식을 사용하여 세그레 곱의 e_HK를 인자들의 HKd 함수로 표현한다.
• 프로젝티브 공간과 비특이 프로젝티브 곡선에 대해 HKd를 명시적으로 계산하며, 이는 유리수 계수를 가진 조각별 선형 다항식이며, 정규화된 HN 기울기에서 특이점을 가짐을 보여준다.

실험 결과

연구 질문

• RQ1 힐버트-쿠른츠 다중성을 기능적이고 연속적인 형태로 포괄하는 새로운 불변량을 정의할 수 있는가?
• RQ2 등급화된 환의 세그레 곱에서 힐버트-쿠른츠 밀도 함수는 어떻게 행동하는가?
• RQ3 프로젝티브 곡선의 세그레 곱의 힐버트-쿠른츠 다중성은 항상 유리수인가?
• RQ4 곡선의 하드러-나라시마누 데이터는 그 힐버트-쿠른츠 밀도 함수로부터 복원 가능한가?
• RQ5 HKd 함수는 e_HK의 가환성과 유사한 곱셈적 성질을 만족하는가?

주요 결과

• 힐버트-쿠른츠 밀도 함수 HKd(M, I)는 컴팩트하게 지지된 연속적인 조각별 선형 함수이며, 유리수 계수를 가지며, 조각별 선형 근사의 균일한 극한이다.
• 힐버트-쿠른츠 다중성 e_HK(M, I)는 HKd(M, I)를 ℝ 전역에서 적분한 값과 같다. 이는 e_HK의 기능적 표현을 제공한다.
• HKd는 가환적이다: M = M₁ ⊕ M₂이면 HKd(M, I) = HKd(M₁, I) + HKd(M₂, I)이다.
• 세그레 곱에 대해서는 HKd(R#S, I#J)가 환 R, S의 Hilbert-Samuel 다중성 e₀(R), e₀(S)와 개별 HKd 함수 f, g를 포함하는 곱셈 공식을 만족한다.
• 임의의 유한한 프로젝티브 곡선의 세그레 곱의 힐버트-쿠른츠 다중성은 유리수이다. 이는 코로나리 3.5에 의해 보여진다.
• 도수 d의 비특이 프로젝티브 곡선에 대해 HN 데이터 (d, {r_i}, {a_i})가 주어졌을 때, HKd 함수는 정확히 {1 − a_i/d}에서 특이점을 가지며, 랭크 {r_i}와 기울기 {a_i}는 HKd로부터 복원 가능하다.