[논문 리뷰] On the computation of Ratliff-Rush closure

Juan Elías|ArXiv.org|2003. 02. 20.

Advanced Numerical Analysis Techniques참고 문헌 5인용 수 4

한 줄 요약

이 논문은 코hen-맥컬레이 국소환에서 𝔪-primary 이상의 Ratliff-Rush 닫힘을 계산하기 위한 알고리즘적 절차를 제시한다. 이는 후생수(postulation numbers)와 표면적 시퀀스를 이용한 것으로, 포incare 다항식과 감소 이론을 활용하여 계산을 유한 개의 콜론 이상으로 줄인다. 핵심 결과는 후생수와 그 몫에 대한 표면적 시퀀스에 대해 $k$가 후생수 이상일 경우, Ratliff-Rush 닫힘이 $(I^{k+1} : (x_1^k, \dots, x_d^k))$ 와 같다는 것이다.

ABSTRACT

Let $R$ be a Cohen-Macaulay local ring with maximal ideal $\max$. In this paper we present a procedure for computing the Ratllif-Rush closure of a $\max-$primary ideal $I \subset R$.

연구 동기 및 목표

• 코헨-맥컬레이 국소환에서 𝔪-primary 이상의 Ratliff-Rush 닫힘을 계산하는 구조적 알고리즘을 개발하기 위해.
• 후생수와 최소 감소를 통해 Ratliff-Rush 닫힘의 계산을 유한한 콜론 연산으로 줄이기 위해.
• 포incare 다항식과 제거 기법을 이용한 명시적 계산 절차를 제공하여 CoCoA에서 구현 가능하도록 하기 위해.
• 계수 이상에 대한 기존 결과를 확장하여 동일한 힐버트 계수를 가진 가장 큰 이상을 체계적으로 계산하는 방법을 제공하기 위해.

제안 방법

• 이상 $I$의 포incare 다항식을 계산하여 그 차수 $e_0(I)$ 와 후생수 $pn(I)$ 를 결정한다.
• 표면적 시퀀스를 이루기 위해 $I/\mathfrak{m}I$ 에서 $d$개의 일반적인 원소 $x_1, \dots, x_d$ 를 선택하여 $\ell(R/(x_1,\dots,x_d)) = e_0(I)$ 를 만족시킨다.
• 몫 $I/(x_i)$ 의 포incare 다항식을 계산하여 $pn(I/(x_i))$ 를 결정하고, 이를 통해 $pn(I; x_1, \dots, x_d)$ 를 계산한다.
• 정리 2.1(i)를 적용: $k \geq pn(I; x_1, \dots, x_d) + 1$ 이면, Ratliff-Rush 닫힘은 $\tilde{I} = (I^{k+1} : (x_1^k, \dots, x_d^k))$ 로 주어진다.
• 만약 $I$ 가 단항 이상이라면, 계산 비용을 줄이기 위해 제거 기법과 그뢰브너 기저를 사용하지 않는 방법을 활용한다.
• Castelnuovo-Mumford 정규성 경계 $f(e_0(I), d)$ 를 활용하여 감소 수의 균일한 상한을 확보하고, 큰 $k$ 에 대해 $\tilde{I} = (I^{k+1} : I^k)$ 를 이용한 대체 계산 방법을 가능하게 한다.

실험 결과

연구 질문

• RQ1 코헨-맥컬레이 국소환에서 𝔪-primary 이상의 Ratliff-Rush 닫힘을 알고리즘적으로 어떻게 계산할 수 있는가?
• RQ2 표면적 시퀀스 $x_1, \dots, x_d$ 에 대해 $\tilde{I} = (I^{k+1} : (x_1^k, \dots, x_d^k))$ 가 성립하는 최소의 $k$ 는 무엇인가?
• RQ3 이상 $I$ 와 그 몫 $I/(x_i)$ 의 후생수를 사용하여 Ratliff-Rush 닫힘의 계산을 근거로 할 수 있는가?
• RQ4 Ratliff-Rush 닫힘과 이상 및 그 감소의 힐버트 계수 사이의 관계는 무엇인가?
• RQ5 CoCoA 와 같은 계산 대수 시스템을 사용하여 명시적인 예제에 대해 알고리즘을 어떻게 구현할 수 있는가?

주요 결과

• 모든 $k \geq pn(I; x_1, \dots, x_d) + 1$ 에 대해, 𝔪-primary 이상 $I$ 의 Ratliff-Rush 닫힘은 $(I^{k+1} : (x_1^k, \dots, x_d^k))$ 와 같다. 여기서 $x_1, \dots, x_d$ 는 표면적 시퀀스이다.
• 예제 2.4에서 $I = (x^{10}, y^5, xy^4, x^8y)$ 의 Ratliff-Rush 닫힘은 $(x^{10}, y^5, xy^4, x^7y^2, x^6y^3, x^8y)$ 로 계산되었으며, 이는 $I \subsetneq \tilde{I}$ 임을 보여준다.
• 예제 2.6의 이상에서 $I = \tilde{I}$ 이지만, $\widetilde{I^2} = I^2 + (x^{24}y^{20}, x^{20}y^{24})$ 이므로, 거듭제곱에 대해서는 닫힘이 비자명함을 나타낸다.
• 예제 2.7에서 $I = (x^8, x^3y^2, x^2y^4, y^8)$ 는 $I = \tilde{I}$ 를 만족하지만, 첫 번째 계수 이상 $I_{[1]}$ 은 $I$ 를 고로 포함하며, $I_{[1]} = (x^8, x^3y^2, x^2y^4, xy^6, y^8)$ 로 주어진다.
• 후생수 $pn(I; x_1, \dots, x_d)$ 는 $I$ 와 $I/(x_i)$ 의 포incare 다항식에서 계산 가능하며, 콜론 공식이 성립하는 최소 $k$ 를 결정한다.
• Castelnuovo-Mumford 정규성 경계 $f(e_0(I), d)$ 는 감소 수의 균일한 상한을 제공하며, $k \geq f(e_0(I), d) + 2$ 일 때 $\tilde{I} = (I^{k+1} : I^k)$ 를 위한 대체 공식을 가능하게 한다.