[논문 리뷰] On linear resolution of powers of an ideal

Keivan Borna|arXiv (Cornell University)|2008. 10. 06.

Commutative Algebra and Its Applications참고 문헌 9인용 수 4

한 줄 요약

이 논문은 레스 대수를 사용하여 고차수의 계량 아이디얼이 선형 해석을 갖는지 판단하는 일반 기준을 제시한다. 특성 0에서 두 개의 특정 아이디얼 $J$와 $J_1$에 대해 $k=2$를 제외한 모든 거듭제곱이 선형 해석을 갖는 것을 증명하며, $k \neq 2$일 때 정규성 $ \mathrm{reg}(I^k) = dk$를 만족한다. 이는 점점 커지는 정규성 행동에 관한 열린 문제를 해결한다.

ABSTRACT

In this paper we give a generalization of a result of Herzog, Hibi, and Zheng providing an upper bound for regularity of powers of an ideal. As the main result of the paper, we give a simple criterion in terms of Rees algebra of a given ideal to show that high enough powers of this ideal have linear resolution. We apply the criterion to two important ideals $J,J_{1}$ for which we show that $J^{k},$ and $J_{1}^{k}$ have linear resolution if and only if $k eq 2.$ The procedures we include in this work is encoded in computer algebra package CoCoA.

연구 동기 및 목표

• 헤르츠고, 히비, 정의 아이디얼 거듭제곱의 정규성 경계에 관한 결과를 일반화하기 위해.
• 레스 대수를 기반으로 한 계산 기준을 개발하여 고차수 아이디얼이 선형 해석을 갖는지 판단하기 위해.
• 두 개의 특정 아이디얼 $J$와 $J_1$의 거듭제곱에 대한 정규성 행동에 관한 열린 문제를 해결하기 위해, 특히 $\mathrm{reg}(I^k) = 3k$가 $k \neq 2$일 때 성립하는지 여부를 밝히기 위해.
• CoCoA 패키지를 사용하여 $J^k$와 $J_1^k$의 정규성과 베티 수에 대한 명시적 계산적 검증을 제공하기 위해.

제안 방법

• 레스 대수 $R(I)$의 $x$-정규성과 $I^k$의 정규성 간의 관계를 나타내는 루머의 공식을 사용: $\mathrm{reg}(I^k) \leq kd + \mathrm{reg}_x(R(I))$.
• 레스 링의 정의 아이디얼을 분석할 수 있는 형태로 변환하기 위해 이중호모지어너스 좌표 변환 $g = g_1 \times g_2$를 적용.
• 레스 링의 정의 아이디얼 $P$의 초기 아이디얼 $\mathrm{in}(g(P))$를 계산하며, 이는 $G$와 $B$로 분해되는데, $G$는 $x$-부분을 생성하고 $B$는 $t$-부분을 생성한다.
• 특정 단항식이 $B$에 속해 있으며 $G$로 곱해질 수 있음을 확인함으로써 $I_{(k,\star)} = G_{(k,\star)}$를 $k > 2$일 때 검증함으로써 $\mathrm{reg}(I^k) = dk$를 확보.
• CoCoA 컴퓨터 대수 시스템을 사용하여 명시적 그뢰브너 기저 계산을 수행하고 선형 해석을 위한 조건을 검증.
• 다중계량 헬버트 급수의 동일성을 활용하여 $J$와 $J_1$이 모든 거듭제곱에서 동일한 베티 수를 가짐을 보임.

실험 결과

연구 질문

• RQ1 어떤 조건에서 아이디얼 $I$의 충분히 고차수 거듭제곱 $I^k$가 선형 해석을 갖는가?
• RQ2 프로젝티브 평면 $\mathbb{P}^2$의 삼등분에 대응하는 아이디얼 $J$에 대해, 모든 $k$에 대해 $J^k$의 정확한 정규성은 무엇인가?
• RQ3 정규성 $d$를 가진 아이디얼 $Q$가 존재하여 $\mathrm{reg}(Q^k) = dk$가 $k \neq 3$ 또는 $k \neq 2,3$일 때 성립하는가?
• RQ4 어떻게 아이디얼의 레스 대수를 사용하여 거듭제곱의 정규성을 알고리즘적으로 결정할 수 있는가?

주요 결과

• 6개 변수에서 10개의 삼차 단항식으로 정의된 아이디얼 $J$에 대해, 특성 0에서 $k \neq 2$일 때 $\mathrm{reg}(J^k) = 3k$가 성립한다.
• 관련된 아이디얼 $J_1$에 대해서도 $k \neq 2$일 때 $\mathrm{reg}(J_1^k) = 3k$이며, $J^k$와 동일한 정규성 행동을 보인다.
• 두 번째 거듭제곱 $J^2$는 $\mathrm{reg}(J^2) = 7 > 6 = 2 \times 3$를 만족하여 $k=2$에서 정규성 점프가 발생함을 보이며, 이는 유일한 예외이다.
• 레스 링 $J$와 $J_1$은 동일한 다중계량 헬버트 급수를 가지며, 이는 $\beta_{i,j}(J^k) = \beta_{i,j}(J_1^k)$가 모든 $i,j,k$에 대해 성립함을 의미한다.
• $\mathrm{reg}_x(R(I)) = 0$ 기반 기준은 고차수 아이디얼의 모든 거듭제곱이 선형 해석을 갖는 데 필수적이고 충분한 조건이다.
• CoCoA를 통한 계산적 검증을 통해 $J$와 $J_1$에서 $k > 2$일 때 $I_{(k,\star)} = G_{(k,\star)}$임을 확인함으로써 선형 해석 주장이 검증되었다.