[논문 리뷰] Minimal Hilbert-Kunz multiplicity

Kei-ichi Watanabe, Ken-ichi Yoshida|ArXiv.org|2003. 03. 12.

Commutative Algebra and Its Applications참고 문헌 18인용 수 3

한 줄 요약

이 논문은 양의 특성에서 국소 환에 대한 새로운 불변량으로 최소 힐버트-쿠른츠 차수를 도입하며, 길이 1의 몫을 갖는 포함 관계를 가진 이상들 사이의 힐버트-쿠른츠 차수 차이의 하한을 통해 이를 정의한다. 이 불변량에 대한 공식을 몰입 특이점과 세그레 곱에서 유도하며, 특히 허위 반사가 없는 유한군 작용의 경우 최소 힐버트-쿠른츠 차수는 $1/|G|$임을 보이고, 스틸링 수를 포함한 폐쇄형 표현식을 세그레 매장에 대해 제공한다.

ABSTRACT

In this paper, we ask the following question: what is the minimal value of the difference $e_{HK}(I) - e_{HK}(I')$ for ideals $I' \supseteq I$ with $l_A(I'/I) =1$? In order to answer to this question, we define the notion of minimal Hilbert-Kunz multiplicity for strongly F-regular rings. Moreover, we calculate this invariant for quotient singularities and for the coordinate ring of the Segre embedding: $P^{r-1} imes P^{s-1} \hookrightarrow P^{rs-1}$, respectively.

연구 동기 및 목표

• 국소 환에 대한 최소 힐버트-쿠른츠 차수를 새로운 불변량으로 정의하고 연구하기.
• 이상 $I$ 에서 길이 1의 몫을 갖는 더 큰 이상 $I'$ 로 갈 때 힐버트-쿠른츠 차수의 최소 감소량을 이해하기.
• 특히 F-정규 및 고크스틴 환의 맥락에서 몰입 특이점과 세그레 곱에서 이 불변량을 계산하기.
• Q-고크스틴 F-정규 환의 표준 코팅에 대한 최소 힐버트-쿠른츠 차수의 공식 수립하기.

제안 방법

• 이상 $I' \triangleright I$ 에 대해 $l_A(I'/I) = 1$ 인 경우에 대해 $e_{\text{HK}}(I) - e_{\text{HK}}(I')$ 의 하한으로 상대적 최소 힐버트-쿠른츠 차수를 정의한다.
• 최소 힐버트-쿠른츠 차수 $m_{\text{HK}}(A)$ 는 $z$ 가 포함된 이중화의 소클 기저일 때 $l_A(A / \text{ann}_A(F_A^e(z))) / p^{ed}$ 의 하한극한으로 정의한다.
• 페스킨-스피로 함수와 국소 코hom로의 프로베니우스 작용을 이용해 소클 기저의 프로베니우스 이미지의 영수를 계산한다.
• 맥케이 대응과 리만-뢰흐를 적용하여 두 차원 F-유계 이중점에서 힐버트-쿠른츠 차수를 계산한다.
• 제2종 스틸링 수와 이항계수를 포함한 조합 항등식을 활용해 영수의 길이의 점근적 행동을 평가한다.
• 세그레 곱 $R \# S$ 의 구조와 이중화의 분해를 이용해 $m_{\text{HK}}(A)$ 의 공식을 정수 분할 문제의 해를 포함한 형태로 유도한다.

실험 결과

연구 질문

• RQ1 이상 $I$ 에서 길이 1의 몫을 갖는 더 큰 이상 $I'$ 로 갈 때 힐버트-쿠른츠 차수의 최소 감소량은 무엇인가?
• RQ2 Q-고크스틴 F-정규 환에 대한 표준 코팅 구조에서 최소 힐버트-쿠른츠 차수는 어떻게 행동하는가?
• RQ3 유한군 $G$ 가 허위 반사가 없고 $(p,|G|)=1$ 라는 조건 하에 $k[x_1,\dots,x_d]^G$ 의 몰입 특이점에서 최소 힐버트-쿠른츠 차수의 값은 무엇인가?
• RQ4 세그레 곱 $k[x_1,\dots,x_r]\#k[y_1,\dots,y_s]$ 의 최소 힐버트-쿠른츠 차수에 대해 폐쇄형 표현식을 유도할 수 있는가?

주요 결과

• 유한군 $G$ 가 $k[x_1,\dots,x_d]$ 에 작용하며 허위 반사가 없고 $(p,|G|)=1$ 라면, 불변환 $A = k[x_1,\dots,x_d]^G$ 의 최소 힐버트-쿠른츠 차수는 $1/|G|$ 이다.
• Q-고크스틴 강력 F-정규 국소 환 $A$ 의 표준 코팅 $B$ 에 대해 $m_{\text{HK}}(B) = r \cdot m_{\text{HK}}(A)$ 를 만족하며, 여기서 $r = \text{ord}(cl(K_A))$ 이다.
• 세그레 곱 $A = k[x_1,\dots,x_r]\#k[y_1,\dots,y_s]$ 에 대해 $2 \leq r \leq s$ 라면 최소 힐버트-쿠른츠 차수는 $\frac{r!}{d!}S(d,r) + \frac{1}{d!}\sum_{k=1}^{r-1}\sum_{j=1}^{r-k}\binom{r}{k+j}\binom{s}{j}(-1)^{r+k}k^d$ 로 주어지며, 여기서 $d = r+s-1$ 이다.
• 고크스틴 경우 $r = s$ 일 때, 합 $e_{\text{HK}}(A) + m_{\text{HK}}(A)$ 는 $\frac{2 \cdot r!}{(2r-1)!} S(2r-1,r)$ 와 같다.
• 세그레 곱 $k[x_1,x_2]\#k[y_1,\dots,y_s]$ 에 대해 최소 힐버트-쿠른츠 차수는 $\frac{2^{s+1} - s - 2}{(s+1)!}$ 이다.
• 고크스틴 국소 환에서는 최소 힐버트-쿠른츠 차수 $m_{\text{HK}}(A)$ 가 상대적 최소 힐버트-쿠른츠 차수 $\text{rel.}m_{\text{HK}}(A)$ 와 같으며, 둘 다 소클 기저의 프로베니우스 이미지의 영수 길이의 극한과 일치한다.