[논문 리뷰] Some extensions of Hilbert-Kunz multiplicity

Neil Epstein, Yongwei Yao|arXiv (Cornell University)|2011. 03. 24.

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

한 줄 요약

이 논문은 힐베르트-쿠른츠 차수를 확장하여 소수 특성의 링에서 중첩된 이상 또는 부분모듈이 동일한 타이트 폐쇄를 가질 조건을 수치적으로 기술한다. 0차 국소코homology와 일반화된 j-차수를 기반으로 한 상대 측도를 도입함으로써, 특히 프로베누스 거듭제곱의 길이의 liminf 및 limsup 극한을 통한 방법으로 타이트 폐쇄 동치에 대한 충분조건과 일부 경우에 필수 조건을 확립한다. 주요 결과로는 F-정규성과 추상화 조건 하에서 동치성이 성립함을 보여준다.

ABSTRACT

Let $R$ be an excellent Noetherian ring of prime characteristic. Consider an arbitrary nested pair of ideals (or more generally, a nested pair of submodules of a fixed finite module). We do \emph{not} assume that their quotient has finite length. In this paper, we develop various sufficient numerical criteria for when the tight closures of these ideals (or submodules) match. For some of the criteria we only prove sufficiency, while some are shown to be equivalent to the tight closures matching. We compare the various numerical measures (in some cases demonstrating that the different measures give truly different numerical results) and explore special cases where equivalence with matching tight closure can be shown. All of our measures derive ultimately from Hilbert-Kunz multiplicity.

연구 동기 및 목표

• 임의의 중첩된 이상 또는 부분모듈 쌍에 대해, 그 몫이 유한 길이를 가지지 않을 경우에도 상대적 설정으로 힐베르트-쿠른츠 차수를 일반화한다.
• 힐베르트-쿠른츠 이론과 j-차수에서 유도된 수치적 불변량을 개발하여 타이트 폐쇄 동치를 탐지한다.
• 프로베누스 거듭제곱의 길이 극한을 사용하여 타이트 폐쇄 동치에 대한 충분 조건과 특수한 경우에 필수 조건을 확립한다.
• 타이트 폐쇄와 국소화 사이의 관계를 탐색하며, 특히 수치적 소멸 조건의 맥락에서 분석한다.
• 국소화된 수치 불변량을 통해 모든 소수 이상에 대해 타이트 폐쇄 동치의 전역 기준을 제공한다.

제안 방법

• 0차 국소코homology 모듈의 극한인 $ \lambda(H^0_{\mathfrak{m}}(M^{[q]}_N / L^{[q]}_N)) / q^d $ 기반으로 새로운 상대 불변량 $ u_N(L,M) $ 을 정의하여 힐베르트-쿠른츠 차수를 일반화한다.
• 프로베누스 거듭제곱의 점근적 행동을 분석하기 위해 limsup 및 liminf 변형 $ u^+_N(L,M) $ 과 $ u^-_N(L,M) $ 을 도입한다.
• 0차 국소코homology 모듈을 포함하는 정확수열을 사용하여 몫 $ I^{[q]}/J^{[q]} $ 의 길이를 바ounds하고, $ f_n(I) $ 과 $ f_n(J) $ 에 관여하는 부등식을 이끌어낸다.
• 국소코homology에 의존하지 않는 타이트 폐쇄 동치에 대한 기준을 도출하기 위해 나카야마의 보조정리의 타이트 폐쇄 변형을 적용한다.
• 7절에서 j-차수를 영감으로 삼은 불변량을 구성하여, 몫의 길이가 유한한 이상의 경우 타이트 폐쇄 동치를 특징짓는다.
• 완비화에 대한 F-정규성과 추상화 조건을 가정하여 소수 이상에서 국소화함으로써 전역 동치 결과를 증명한다.

실험 결과

연구 질문

• RQ1 소수 특성의 노에테르 국소환에서 중첩된 부분모듈 $ L \subseteq M \subseteq N $ 에 대해, $ M \subseteq L^*_N $ 가 성립하는 수치적 조건은 무엇인가?
• RQ2 정규화된 길이 $ M^{[q]}_N / L^{[q]}_N $ 의 liminf 가 타이트 폐쇄 동치에 대한 필요 및 충분 조건으로 사용될 수 있는가?
• RQ3 국소코homology, j-차수, 프로베누스 거듭제곱에서 유도된 다양한 수치 불변량은 타이트 폐쇄 동치 탐지에서 어떻게 비교되는가?
• RQ4 전역 수치 불변량 $ f^{-}(J_{\mathfrak{p}}, I_{\mathfrak{p}}) $ 의 소멸이 모든 국소화에서 타이트 폐쇄 동치를 암시하는 경우는 언제인가?
• RQ5 타이트 폐쇄가 국소화와 교환되지 않을 경우, 이러한 수치 기준이 얼마나 여전히 동치로 유지되는가?

주요 결과

• 완전히 안정된 약한 시험 원소와 추상화된 완비화 조건 하에서, 상대 힐베르트-쿠른츠 측도의 liminf 형태인 $ u^-_N(L,M) $ 이 0이 되는 것은 $ M \subseteq L^*_N $ 과 동치이다.
• 몫의 길이 $ \lambda(I/J) < \infty $ 를 만족하는 이상 $ J \subseteq I $ 에 대해, $ \liminf_{n \to \infty} \frac{\lambda(I^{[p^n]}/J^{[p^n]})}{p^{nd}} = 0 $ 이라는 조건은 $ I^* = J^* $ 와 동치이며, 호크스트러-후네케의 결과를 일반화한다.
• F-정규성과 추상화 조건 하에서, 모든 소수 $ \mathfrak{p} $ 에 대해 $ f^{-}(J_{\mathfrak{p}}, I_{\mathfrak{p}}) \leq 0 $ 이면, 모든 최대 이상 $ \mathfrak{m} $ 에 대해 $ (I_{\mathfrak{m}})^* = (J_{\mathfrak{m}})^* $ 가 성립한다.
• 7절에서 제시된 j-차수 유사 불변량은 $ \lambda(I/J) < \infty $ 인 경우 타이트 폐쇄 동치에 대한 필요 및 충분 조건을 제공하며, 다른 수치 측도와는 다릅니다.
• 저자들은 j-차수 유형의 불변량과 국소코homology 기반 불변량이 일반적으로 다르다는 것을 보여주며, 서로 다른 수치 불변량이 서로 다른 결과를 낳을 수 있음을 입증한다.
• 치우침이 없는 스펙트럼에서 F-정규인 링의 경우, 모든 $ \mathfrak{p} $ 에 대해 $ f^{-}(J_{\mathfrak{p}}, I_{\mathfrak{p}}) \leq 0 $ 이면, 모든 국소화에서 타이트 폐쇄 동치가 성립한다.