[논문 리뷰] Stabilization of the Regularity of Powers of An Ideal

David Eisenbud, Bernd Ulrich|arXiv (Cornell University)|2010. 12. 04.

Commutative Algebra and Its Applications참고 문헌 10인용 수 8

한 줄 요약

이 논문은 $I$ 가 단일 차수에서 생성되고 $M/IM$ 이 유한 길이를 가질 조건 하에서, 아이디얼 $I$ 의 거듭제곱에 대한 Castelnuovo-Mumford 정규성의 안정화에 대한 명시적 상한을 확립한다. $I^mM$ 의 정규성이 $m \geq$ Rees 대수 ${\mathcal{R}}(I,M)$ 의 $(0,1)$-정규성일 때 선형 함수 $dm + e$ 로 안정화됨을 증명하고, 이 안정화 시점에 대한 상한을 제공하며, 이는 이전 연구를 확장하고 이전 제안보다 더 날카로운 추정을 제공한다.

ABSTRACT

When M is a finitely generated graded module over a standard graded algebra S and I is an ideal of S, it is known from work of Cutkosky, Herzog, Kodiyalam, Römer, Trung and Wang that the Castelnuovo-Mumford regularity of I^mM has the form dm+e when m >> 0. We give an explicit bound on the m$for which this is true, under the hypotheses that I is generated in a single degree and M/IM has finite length, and we explore the phenomena that occur when these hypotheses are not satisfied. Finally, we prove a regularity bound for a reduced, equidimensional projective scheme of codimension 2 that is similar to the bound in the Eisenbud-Goto conjecture [1984], under the additional hypotheses that the scheme lies on a quadric and has nice singularities.

연구 동기 및 목표

• 단일 차수에서 생성되고 $M/IM$ 이 유한 길이를 갖는 조건 하에서, $I^mM$ 의 정규성이 선형 함수 $dm + e$ 로 안정화되는 명시적 상한 $m_0$ 을 결정하는 것.
• 수열 $e_m = \operatorname{reg}I^mM - dm$ 과 그 차분의 행동을 조사하고, 특히 이 수열이 약하게 감소하는지 여부를 조사하는 것.
• 단일 차수 생성 가정을 초월한 분석을 확장하여, $J$ 가 단일 차수에서 생성되고 $I = J + (x_0,\dots,x_n)^D$ 인 경우 $e_m$ 의 공식을 제공하는 것.
• 비특이성 조건이 약간 있는 2차원 코디멘전의 축소되고 등차원적인 프로젝티브 스킴에 대해 Eisenbud-Goto 추측과 유사한 정규성 상한을 증명하는 것.

제안 방법

• Rees 대수 ${\mathcal{R}}(I,M)$ 의 $(0,1)$-정규성을 $T = S[y_0,\dots,y_r]$ 위의 이중등급 최소 자유 해체에서 차수 $(-a, -i-j)$ 를 갖는 자유 합성의 존재를 보장하는 최대 $j$ 로 정의한다. 여기서 $\deg x_i = (1,0)$, $\deg y_i = (0,1)$ 이다.
• Rees 대수 ${\mathcal{R}}(I,M) = S[It]M$ 을 $T$ 위의 이중등급 모듈로 간주하고, 그 해체를 분석하여 안정화 상한을 도출한다.
• 스펙트럴 시퀀스 기법과 국소 코hom로 관련된 순서환 $G = \mathfrak{gr}_I S_X$ 의 정규성을 분석하고 $\operatorname{reg}_y {\mathcal{R}}(I,S_X)$ 와의 관계를 규명한다.
• 일반적인 선형 형식 $x$ 에 대해 $S_X = {\mathcal{F}} + {\mathcal{F}}x$ 이고 $x^2 \in I$ 이므로 $x^2 G = 0$ 이다. 이를 통해 $G$ 와 그 몫의 구조를 분석한다.
• 유리 특이점과 쌍대화 모듈러에 관한 결과를 활용: 특성 0 이고 고립된 비유리 특이점이 있을 경우 $\operatorname{reg} \omega_{S_X} \leq \dim S_X = n-1$ 이다.
• 등식 $G/(0:_{G}x) \cong {\mathcal{F}}/({\mathcal{F}}:_{\mathcal{F}}S_X)$ 를 이용하여 $G$ 의 정규성과 ${\mathcal{F}}$ 및 그 콜론 이상의 정규성 간의 관계를 규명한다.

실험 결과

연구 질문

• RQ1 단일 차수에서 생성되고 $M/IM$ 이 유한 길이를 갖는 조건 하에서, $\operatorname{reg}I^mM$ 의 안정화에 대한 날카로운 명시적 상한 $m_0$ 은 무엇인가?
• RQ2 동일한 가정 하에서 수열 $e_m - e_{m+1}$ 이 약하게 감소하는가?
• RQ3 단일 차수에서 생성되지 않을 경우, 특히 $J$ 가 단일 차수에서 생성되고 $I = J + (x_0,\dots,x_n)^D$ 인 경우 $I^mM$ 의 정규성은 어떻게 행동하는가?
• RQ4 고립된 비유리 특이점만을 가지며 2차원 코디멘전의 축소되고 등차원적인 프로젝티브 스킴에 대해 Eisenbud-Goto 추측과 유사한 정규성 상한을 확립할 수 있는가?
• RQ5 이러한 기하적 제약 조건 하에서, 동차 좌표환 $S_X$ 의 정규성과 $X$ 의 차수 사이의 관계는 무엇인가?

주요 결과

• $I^mM$ 의 정규성은 $\operatorname{reg}_{(0,1)}{\mathcal{R}}(I,M)$ 보다 크거나 같은 모든 $m$ 에 대해 $dm + e$ 로 안정화되며, 이는 $I$ 가 단일 차수에서 생성되고 $M/IM$ 이 유한 길이를 갖는 조건 하에서 명시적이고 날카로운 상한이다.
• 점 渐진 정규성 $e$ 는 $I$ 가 정의하는 사상의 섬유에 제한된 $M$ 과 관련된 선다의 정규성과 일치하며 기하학적 해석을 제공한다.
• $e_m = \operatorname{reg}I^mM - dm$ 수열은 약하게 감소하며 $m_0 = \operatorname{reg}_{(0,1)}{\mathcal{R}}(I,M)$ 에서 $e$ 로 안정화되며, 이 상한은 이전 제안보다 더 날카롭다.
• 특성 0 체 위의 축소되고 등차원적인 프로젝티브 스킴 $X$ 가 2차원 코디멘전을 가지며, 유일한 고립된 비유리 특이점만을 갖고 2차 곡면 위에 놓여 있을 경우 $\operatorname{reg}S_X \leq \deg X$ 이다.
• $x_1,\dots,x_n$ 이 일반적인 선형 형식으로 구성된 아이디얼 $I$ 를 생성한다면 $\operatorname{reg}_y {\mathcal{R}}(I,S_X) \leq \deg X - \operatorname{codim}X + 1 = \deg X - 1$ 이며, 이는 Eisenbud-Goto 추측과 유사하지만 더 약한 가정 하에서 성립한다.
• $G = \mathfrak{gr}_I S_X$ 의 정규성은 $\operatorname{reg}G \leq \deg S_X - 1$ 를 만족하며, 이는 $\operatorname{reg}({\mathcal{F}}:_{\mathcal{F}}S_X)$ 와 $\operatorname{reg}{\mathcal{F}}$ 의 상한에서 유도되며, ${\mathcal{F}} \cong G/xG$ 이다.