[論文レビュー] The exactness of a general Skoda complex

Dano Kim|arXiv (Cornell University)|Jul 4, 2010

Geometry and complex manifolds参考文献 12被引用数 4

ひとこと要約

本稿は、任意の次元における正則的下がりの重みに対して一般化されたスコーダ複体の正確性を確立し、十分に大きな次数 $ q = \lfloor \frac{1}{4}p^2 + \frac{1}{2}p + \frac{5}{4} \rfloor $ に対して、$ p $ 個の正則関数の取りで関連する複体が正確であることを証明する。これは、一般の正則的下がりの重みを許容しても、整閉イデアルがすべて乗数イデアルでないことを示しており、ラザルスフェルトとリーの結果を拡張する。

ABSTRACT

We show that a Skoda complex with a general plurisubharmonic weight function is exact if its 'degree' is sufficiently large. This answers a question of Lazarsfeld and implies that not every integrally closed ideal is equal to a multiplier ideal even if we allow general plurisubharmonic weights for the multiplier ideal, extending the result of Lazarsfeld and Lee \cite{LL}.

研究の動機と目的

• ラザルスフェルトが提起した、一般の正則的下がりの重みを用いたスコーダ複体の正確性に関する疑問を解決すること。
• 解析的特異性を持つ場合に整閉イデアルが乗数イデアルでないことを示したラザルスフェルトとリーの結果を拡張すること。
• 任意の正則的下がりの重みを許容しても、すべての整閉イデアルが乗数イデアルとして現れるわけではないことを確立すること。
• 開口予想に依存しない、スコーダ（1972年）の $ L^2 $ メソッドを用いたスコーダ複体の正確性の新たな証明を提供すること。
• 任意の正則的下がり関数の乗数イデアルとして実現できない整閉イデアルの存在を示すこと。

提案手法

• 特異なヘルミート計量を備えたラインバンドル上の $ \overline{\partial} $ 演算子に $ L^2 $ メソッドを適用する。
• 正則的下がり関数 $ \varphi $ に関連する乗数イデアルおよび準位面イデアル層の理論を適用し、$ \mathcal{I}(\varphi) $（整閉）と $ \mathcal{J}(\varphi) $（乗数イデアル）を区別する。
• ラインバンドル $ M - mL $ でねじれた正則関数の層のコーシュー型複体としてスコーダ複体を構成し、微分写像を楔積および関数 $ g_i $ による乗算で定義する。
• 次数 $ q = \lfloor \frac{1}{4}p^2 + \frac{1}{2}p + \frac{5}{4} \rfloor $ における複体の正確性を証明し、$ 0 \leq m \leq p $ の範囲で $ m(p - m + 1) + 1 $ を最大化することで導出する。
• $ L^2 $ 評価および特定の $ \overline{\partial} $-コホモロジー類の非消滅性に依拠し、各項における全射性および正確性を確立する。
• スコーダ（1972年）の技術を一般の正則的下がりの重みの設定に適応し、開口予想の仮定を回避する。

実験結果

リサーチクエスチョン

• RQ1 開口予想が成立しない場合でも、一般の正則的下がりの重みに対してスコーダ複体は正確か？
• RQ2 すべての整閉イデアルは、ある正則的下がり関数の乗数イデアルとして実現可能か？
• RQ3 スコーダ複体が $ p $ 個の関数に対して正確となる最小の次数 $ q $ は何か？
• RQ4 高次元における開口予想の失敗が、スコーダ複体の正確性を妨げるか？
• RQ5 スコーダの $ L^2 $ メソッドは、解析的特異性のケースを超えて一般化され、正確性を示せるか？

主な発見

• 正則関数 $ g_1, \dots, g_p $ に関連するスコーダ複体は、一般の正則的下がりの重みに対しても、次数 $ q = \lfloor \frac{1}{4}p^2 + \frac{1}{2}p + \frac{5}{4} \rfloor $ で正確である。
• この $ q $ の値は、$ \max_{0 \leq m \leq p} m(p - m + 1) + 1 $ から導出され、複体内の合成関係の最大ランクを上限とする。
• 複体の正確性は、任意の正則的下がりの重みを許容しても、すべての整閉イデアルが乗数イデアルでないことを示唆する。
• この結果は、解析的特異性に限定されていたラザルスフェルトとリーの主要定理を、正則的下がり関数の全クラスにまで拡張する。
• 構成により、$ |u|^2 e^{-\varphi} $ が局所的に有界であるような正則関数の集合として定義される準位面イデアル層 $ \mathcal{I}(\varphi) $ が整閉であることが示される。
• 本稿は、すべての整閉イデアルを乗数イデアルとして実現する障害が、開口予想の範囲外に存在することを確認している。なぜなら、この結果は開口予想を仮定せずに証明されているからである。