[논문 리뷰] Powers of Ideals and Fibers of Morphisms

David Eisenbud, Joe Harris|ArXiv.org|2008. 07. 26.

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

한 줄 요약

이 논문은 유한 피복에 대한 섬유의 Castelnuovo-Mumford 정규성과 그 피복의 전역 불변량 사이의 공식을 수립한다. 특히, $\mathfrak{m}^{t+\epsilon} \subset I^t$가 큰 $t$에 대해 성립하는 최소 $\epsilon$에 대해, 최대 섬유 정규성이 $\epsilon$보다 1만큼 큰 것을 보여준다. 이는 동차 아이디얼의 거듭제곱에 대한 점점 더 정규화된 공식 $\operatorname{reg}(I^t) = dt + \epsilon$에서 오랫동안 미스터리로 남아 있던 상수 $\epsilon$를 명확히 한다.

ABSTRACT

Let X\subset PP^n be a projective scheme over a field, and let phi:X --> Y be a finite morphism. Our main result is a formula in terms of global data for the maximum of the Castelnuovo-Mumford regularity of the fibers of ϕ, considered as subschemes of \PP^n. From an algebraic point of view, our formula is related to the theorem of Cutkosky-Herzog-Trung and Kodiyalam showing that for any homogeneous ideal I in a standard graded algebra S, the regularity of I^t can be written as dt+εfor some non-negative integers d, ε, and all large t. In the special case where I contains a power of S_+ and is generated by forms of a single degree, our formula gives an interpretation of ε: it is one less than the maximum regularity of a fiber of the morphism associated to I. These formulas have strong consequences for ideals generated by generic forms.

연구 동기 및 목표

• 동차 아이디얼의 거듭제곱에 대한 Castelnuovo-Mumford 정규성의 점점 더 정규화된 행동을 이해하기 위해.
• 오랫동안 미스터리로 남아 있던 공식 $\operatorname{reg}(I^t) = dt + \epsilon$에서 상수 $\epsilon$의 의미를 해석하기 위해.
• 유한 피복의 정규성과 전역 데이터 사이의 관계를, 특히 코homology의 소멸을 통해 층 이론적으로 기술하기 위해.
• 만약 $I$가 한 개의 차수를 가진 형식들에 의해 생성된다면, $\epsilon$의 기하학적 해석을 제공하기 위해.
• 프로젝티브 스킴의 일반적인 선형 투사의 섬유에 대한 정규성 경계에 대한 추측을 뒷받침하고 정밀화하기 위해.

제안 방법

• Serre의 소멸 정리와 Nakayama의 보조정리를 통해 $\mathbb{P}^s$에서의 전역 절단 맵의 전성과 섬유별 전성의 등가성을 사용한다.
• 정리 2.1을 적용하여 $\operatorname{Sym}_t(V) \otimes W \to H^0(\mathcal{L}^t \otimes M)$의 전성과 섬유별 절단의 전성 간의 관계를 설정한다.
• 0차원 섬유 $\phi^{-1}(p)$의 정규성을, $H^1(\mathcal{I}_Z(\epsilon)) = 0$가 성립하는 최소 $\epsilon$로 변환한다. 이는 $H^0(\mathcal{O}_{\mathbb{P}^n}(\epsilon)) \to H^0(\mathcal{O}_Z(\epsilon))$의 전성과 동치이다.
• 문제를 큰 $t$에 대해 $H^0(\mathcal{O}_{\mathbb{P}^n}(\epsilon)) \otimes \operatorname{Sym}_t(V) \to H^0(\mathcal{L}^t(\epsilon))$의 전성으로 줄여내며, 이를 아이디얼 거듭제곱 $I^t$와 연결한다.
• $\operatorname{reg}(R/I^t)$가 $\mathfrak{m}^s \not\subset I^t$인 가장 큰 $s$임을 이용하여, 정규성과 $\mathfrak{m}^{t+\epsilon} \subset I^t$의 포함관계를 연결한다.
• 특히 낮은 차원에서 안정적 맵과 섬유 차수에 관한 대수기하학 결과를 적용하여, 일반적인 형식의 경우 정규성을 유계로 제한한다.

실험 결과

연구 질문

• RQ1 동차 아이디얼의 거듭제곱에 대한 점점 더 정규화된 공식 $\operatorname{reg}(I^t) = dt + \epsilon$에서 상수 $\epsilon$의 기하학적 또는 대수적 의미는 무엇인가요?
• RQ2 유한 피복 $\phi: X \to \mathbb{P}^s$의 섬유의 최대 정규성은 피복의 전역 불변량으로 어떻게 표현될 수 있나요?
• RQ3 만약 $I$가 한 개의 차수를 가진 형식들에 의해 생성되고 비영이 아닌 약수를 포함한다면, $\epsilon$은 대수적으로나 기하학적으로 무엇을 의미합니까?
• RQ4 매끄러운 프로젝티브 다양체의 일반적인 선형 투사의 섬유 정규성은 균일하게 유계로 제한될 수 있으며, 만약 그렇다면 어떤 불변량으로 제한될 수 있나요?
• RQ5 선형 투사 $\phi$에 대해, 포함관계 $\mathfrak{m}^{t+\epsilon} \subset I^t$와 섬유 $\phi^{-1}(y)$의 정규성 사이의 정확한 관계는 무엇인가요?

주요 결과

• 유한 피복 $\phi: X \to \mathbb{P}^s$의 섬유 정규성 최댓값은, $I$가 $\phi$를 정의하는 선형 형식들에 의해 생성되는 아이디얼일 때, $\mathfrak{m}^{t+\epsilon} \subset I^t$가 모든 큰 $t$에 대해 성립하는 최소 $\epsilon$보다 1만큼 큰 값이다.
• 형식들이 차수 $d$를 가지며 $\gcd(V) = 1$인 $F[x,y]$ 내의 아이디얼 $I$에 대해, 큰 $t$에 대해 $\operatorname{reg}(I^t) = dt + r - 1$이다. 여기서 $r$은 생성 형식들의 코디멘션-1 부분공간에서의 $\gcd$의 최대 차수이다.
• 고차원에서, $I$가 $\mathfrak{m}$에 대해 주요일 경우, $\epsilon = r - 1$이며, 여기서 $r$은 코디멘션-1 부분공간 $V' \subset V$에 대해 $H^1_{\mathfrak{m}}(R/(V'))$가 비영이 되는 최대 차수이다.
• Beheshti와 Eisenbud의 추측은 $c > n$일 때 참이며, 많은 경우에서 알려져 있다. 만약 $R$이 차수 표준 환이고 차수 $n+1$이며, $n+1+c$개의 일반적인 선형 형식들에 의해 생성된 $I$라면, 큰 $t$에 대해 $\mathfrak{m}^{t+\lfloor n/c \rfloor} \subset I^t$이다.
• $R = F[x_0,\dots,x_n]$이고 $I = (f_1,\dots,f_{n+2})$이며, 일반적인 형식들이 차수 $d$를 가지며 $n \leq 14$일 경우, 안정적 맵 이론에서 유도된 섬유 차수 유계를 바탕으로, 큰 $t$에 대해 $\mathfrak{m}^{t+n} \subset I^t$이다.
• 0차원 섬유 $Z = \phi^{-1}(p)$의 정규성은, $H^1(\mathcal{I}_Z(\epsilon)) = 0$가 성립하는 최소 $\epsilon$보다 1만큼 큰 값이며, 이는 $H^0(\mathcal{O}_{\mathbb{P}^n}(\epsilon)) \to H^0(\mathcal{O}_Z(\epsilon))$의 전성과 동치이다.