[논문 리뷰] Multiplicities Associated to Graded Families of Ideals

Steven Dale Cutkosky|arXiv (Cornell University)|2012. 06. 18.

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

한 줄 요약

이 논문은 분석적으로 분리되지 않은 동차수 국소환과 완전한 잔여체를 가진 경우, 등급 가닥의 이상에 관련된 다중도의 극한이 존재함을 증명하며, 오쿠노쿠 보디 기법을 사용한다. 이는 체적 = 다중도 공식을 증명하고, 에프사 다중도가 극한으로 존재함을 확인하며, 다중도에 대한 점근적 가법 공식을 유도하여 국소환에서의 평가 함수 성장에 관한 질문을 해결한다.

ABSTRACT

We prove that limits of multiplicities associated to graded families of ideals exist under very general conditions. Most of our results hold for analytically unramified equicharacteristic local rings, with perfect residue fields. We give a number of applications, including a "volume = multiplicity" formula, generalizing the formula of Lazarsfeld and Mustata, and a proof that the epsilon multiplicity of Ulrich and Validashti exists as a limit for ideals in rather general rings, including analytic local domains. We also prove an asymptotic "additivity formula" for limits of multiplicities, and a formula on limiting growth of valuations, which answers a question posed by the author, Kia Dalili and Olga Kashcheyeva. Our proofs are inspired by a philosophy of Okounkov, for computing limits of multiplicities as the volume of a slice of an appropriate cone generated by a semigroup determined by an appropriate filtration on a family of algebraic objects.

연구 동기 및 목표

• 넓은 대수적 조건 하에서 등급 가닥의 이상에 대한 다중도 극한의 존재를 확립하기.
• 라자르펠트와 무스타타의 체적 = 다중도 공식을 더 넓은 국소환의 범주로 일반화하기.
• 울리히와 바리다시의 에프사 다중도가 일반적인 해석적 국소 도메인에서 극한으로 존재함을 증명하기.
• 컷코스키, 달릴리, 카슈체예바가 제기한 평가 함수 세미군의 점근적 성장에 관한 질문을 해결하기.
• 등급 가닥의 이상에 대한 다중도에 대한 점근적 가법 공식을 확립하기.

제안 방법

• 다중도 극한을 필터링에서 유도된 세미군이 생성하는 원뿔의 조각의 체적으로 해석하기 위해 오쿠노쿠 보디 철학을 활용한다.
• 문제를 완전한 도메인으로 축소하고, 링을 지배하는 랭크 1, 유리수 랭크 d의 평가 함수를 구성한다.
• 정점성 조건 없이 유한성 조건을 다루기 위해 리스의 이즈우 정리의 리스 형태를 적용한다.
• 등급 가닥의 선형 체계에 관련된 Z^{d+1} 안의 세미군을 사용하여 다중도 성장 모델링하기.
• 기저 전환과 잔여체 제어를 통해 영원한 원소가 생성되지 않도록 하며, 이는 완전한 잔여체를 요구한다.
• 국소 코hom로지와 힐베르트-사무 다중도 이론에서 유도된 가법 공식을 적용하여 점근적 결과 도출하기.

실험 결과

연구 질문

• RQ1 분석적으로 분리되지 않은 동차수 국소환에서, m_R-초위의 등급 가닥의 이상에 대해 정규화된 길이 ℓ(R/I_n)/n^d 의 극한 lim_{n→∞} 이 존재하는가?
• RQ2 체적 = 다중도 공식은 대수적으로 닫힌 잔여체와 우등한 링을 초월해 일반화될 수 있는가?
• RQ3 일반적인 해석적 국소 도메인에서 이상의 에프사 다중도가 극한으로 존재하는가?
• RQ4 평가 함수 세미군의 값의 수인 φ(n) = |S^R(ω) ∩ (0,n)| 의 점근적 성장이 n^d 에 비례하는가?
• RQ5 등급 가닥의 이상에 대한 힐베르트-사무 다중도에 대해 점근적 가법 공식을 증명할 수 있는가?

주요 결과

• 분석적으로 분리되지 않은 동차수 국소환과 완전한 잔여체를 가진 임의의 등급 가닥의 m_R-초위 이상에 대해 lim_{n→∞} ℓ(R/I_n)/n^d 의 극한이 존재한다.
• 등급 가닥의 이상에 대한 체적은 다중도 극한과 같으며, 라자르펠트-무스타타 공식을 더 넓은 링의 범주로 일반화한다.
• 울리히와 바리다시의 에프사 다중도는 분석적으로 분리되지 않은 임의의 국소 도메인에서 극한으로 존재한다. 이는 정칙성과 우등성 링을 포함한다.
• 점근적 가법 공식이 증명된다: e_s(m_R, R/I_n)/n^{d−s} 의 극한은 A(I_*)의 소수 q ∈ 에 대해, e((I_k)_q)/k^{d−s} 의 극한과 e(m_R/q) 의 곱의 합과 같다.
• φ(n) = |S^R(ω) ∩ (0,n)| 의 세미군 값의 수에 대해 lim_{n→∞} φ(n)/n^d 의 극한이 존재하며, 국소환에서 평가 함수 성장에 관한 질문에 답한다.
• 대수적으로 닫힌 잔여체를 가진 정칙 또는 분석적으로 분리되지 않은 국소 도메인에서 랭크 1의 0차원 평가 함수 ω 에 대해 lim_{n→∞} φ(n)/n^d 의 극한이 존재하며, 양수이다.