[논문 리뷰] Invariants of Cohen-Macaulay rings associated to their canonical ideals

Laura Ghezzi, Shirô Gotô외 2명|arXiv (Cornell University)|2017. 01. 19.

Commutative Algebra and Its Applications인용 수 5

한 줄 요약

이 논문은 코hen-맥컬레이 근원에서 코어널 아이디얼을 갖는 경우를 대상으로 하여, 리스 대수를 기반으로 한 새로운 불변량인 표준 차수, 근, 그리고 표준 차수를 도입한다. 표준 차수는 코어널 아이디얼의 선택에 관계없이 정의되며, 그 값이 0이 되는 것은 정확히 그 링이 고렌스타인임을 의미함으로써, 전통적인 불변량인 유형과 감소 수를 고렌스타인성에서의 이탈 정도를 측정하는 데로 확장한다.

ABSTRACT

The purpose of this paper is to introduce new invariants of Cohen-Macaulay local rings. Our focus is the class of Cohen-Macaulay local rings that admit a canonical ideal. Attached to each such ring R with a canonical ideal C, there are integers--the type of R, the reduction number of C--that provide valuable metrics to express the deviation of R from being a Gorenstein ring. We enlarge this list with other integers--the roots of R and several canonical degrees. The latter are multiplicity based functions of the Rees algebra of C.

연구 동기 및 목표

• 코어널 아이디얼을 갖는 코헨-맥컬레이 국소 링에 대해 기존의 불변량인 유형과 감소 수를 개선하는 새로운 수치 불변량을 정의하는 것.
• 코어널 아이디얼의 리스 대수에서 유도된 다중도 기반 불변량인 표준 차수를 도입하는 것.
• 모든 분수 아이디얼 L이 L^n ≅ C를 만족하는 양의 정수 n의 집합으로서 링의 루트셋을 정의하고, 그 구조를 연구하는 것.
• 완비화, 다항식 확장, 초평면 절단과 같은 링 연산에 대해 표준 차수의 행동을 조사하는 것.
• 표준 차수를 차원 ≥ 2인 링으로 확장하고, 관련된 정의를 제안하며, 특히 관련된 순서환을 통한 정의를 포함하는 것.

제안 방법

• 높이 1의 소수에 대한 합으로서 표준 차수 cdeg(R)를 정의한다: cdeg(R) = Σ [e₀(Cₚ) − λ((R/C)ₚ)] ⋅ deg(R/p), 이는 코어널 아이디얼 C의 선택에 관계없이 불변이다.
• 힐베르트 계수 e₀(I)와 길이 함수 λ를 사용하여 높이 1의 소수에서의 국소 데이터를 통해 표준 차수를 계산한다.
• C가 최소 감소수 (a)와 등차수성을 갖는 경우, cdeg(R) = deg(C/(a)) = e₀(m, C/(a))임을 증명하며, 표준 다중도 이론과 연결한다.
• 관련된 순서환을 통한 표준 차수 ∗를 정의한다: cdeg∗_C(R) = deg(gr_C(R)) − deg(R/C), 그리고 C가 등차수성을 갖는 경우 cdeg(R)와 동일함을 증명한다.
• 모노미얼 링에 이 이론을 적용하고, 특정 예제에서 Macaulay2를 사용하여 계산적 검증을 수행한다.
• 코어널 아이디얼 C에 대한 상대 표준 차수 cdeg♯_C(R) = min{cdeg(R/(x))}를 정의하고, x가 C에 대한 매개변수 체계일 때, 이 값이 0이 되는 것은 정확히 R가 고렌스타인일 때뿐임을 보여준다.

실험 결과

연구 질문

• RQ1 표준 차수는 코어널 아이디얼의 선택에 관계없이 정의될 수 있는 방식으로 어떻게 정의할 수 있는가?
• RQ2 표준 차수와 전통적인 불변량인 유형과 감소 수 사이의 관계는 무엇인가?
• RQ3 표준 차수는 차원 ≥ 2인 링으로 의미 있게 확장될 수 있으며, 그 데에는 어떤 장애 요소가 존재하는가?
• RQ4 코어널 아이디얼을 갖는 코헨-맥컬레이 링의 루트셋의 구조는 무엇이며, 이는 유형과 어떤 관련이 있는가?
• RQ5 표준 차수가 0이 되는 것은 정확히 링이 고렌스타인일 때뿐이며, 이는 상대적 설정으로 일반화될 수 있는가?

주요 결과

• 표준 차수 cdeg(R)는 높이 1의 소수에 대한 잘 정의된 유한한 합이며, 코어널 아이디얼 C의 선택에 관계없이 불변이다.
• C가 최소 감소수 (a)와 등차수성을 갖는 경우, cdeg(R) = deg(C/(a)) = e₀(m, C/(a))이며, 이는 계산 가능한 표현식을 제공한다.
• cdeg(R) ≥ r(R) − 1이며, 등호가 성립하는 것은 정확히 R가 약간의 고렌스타인 링일 때뿐이다.
• cdeg(R) = 0이 되는 것은 정확히 R가 고렌스타인일 때뿐임을 증명하여 고렌스타인 성질에 대한 날카로운 기준을 확립한다.
• 관련된 순서환을 통한 표준 차수 ∗는 C가 등차수성을 갖는 경우 cdeg(R)와 동일하며, 이는 C의 선택에 관계없이 불변이다.
• 코어널 아이디얼 C를 갖는 링 R에 대해, 상대 표준 차수 cdeg♯_C(R)는 정확히 R가 고렌스타인일 때만 0이 된다.