[論文レビュー] Powers of Ideals and Fibers of Morphisms

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

Commutative Algebra and Its Applications参考文献 10被引用数 3

ひとこと要約

この論文は、有限被覆の纤维のCastelnuovo-Mumford正則性と被覆の全局的不変量との間の公式を確立し、特に、十分大きな $ t $ に対して $ \mathfrak{m}^{t+\epsilon} \subset I^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 $ の幾何的・代数的意味を解明すること（長らく謎とされてきた）。
• 有限被覆の纤维の正則性を、特に層論的コホホロジーの消失を用いた言いかえを通じて、全局的データと関連付けること。
• イデアル $ 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 $ の纤维の最大正則性は、$ \mathfrak{m}^{t+\epsilon} \subset I^t $ がすべての十分大きな $ t $ に対して成り立つような最小の $ \epsilon $ に対して、その $ \epsilon $ に1を加えたものに一致する。ここで $ I $ は $ \phi $ を定義する一次型によって生成されるイデアルである。
• $ F[x,y] $ における次数 $ d $ の型で生成され、$ \gcd(V) = 1 $ であるイデアル $ 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 $ に対して、その $ \epsilon $ に1を加えたものに一致する。これは $ H^0(\mathcal{O}_{\mathbb{P}^n}(\epsilon)) \to H^0(\mathcal{O}_Z(\epsilon)) $ の全射性と同値である。