[論文レビュー] Hodge ideals and minimal exponents of ideals

Mircea Mustaţă, Mihnea Popa|arXiv (Cornell University)|Dec 17, 2019

Algebraic Geometry and Number Theory参考文献 18被引用数 4

ひとこと要約

本稿は、滑らかな複素多様体上の整合的イデアル・シフトに対してホッジイデアルを導入し、Q-除法子に対する理論を一般化する。イデアルの一般化された最小指数を定義し、それがベルンシュタイン＝サトウ多項式の根であることを証明し、この不変量とホッジイデアルの間の明確な関係を、指数とホッジフィルトレーションのレベルに関連するイデアルの属する条件を通じて確立する。

ABSTRACT

We define and study Hodge ideals associated to a coherent ideal sheaf J on a smooth complex variety, via algebraic constructions based on the already existing concept of Hodge ideals associated to Q-divisors. We also define the generic minimal exponent of J, extending the standard invariant for hypersurfaces. We relate it to Hodge ideals, and show that it is a root of the Bernstein-Sato polynomial of J.

研究の動機と目的

• 滑らかな複素多様体上の任意の整合的イデアル・シフトに対して、Q-除法子に対するホッジイデアル理論を拡張すること。
• イデアルの一般化された最小指数を定義し、ハイパーサーフェスの最小指数の一般化として研究すること。
• ホッジイデアルと一般化された最小指数の間の明確な関係を確立し、除法子の場合に知られている関係を模倣すること。
• 一般化された最小指数がイデアルのベルンシュタイン＝サトウ多項式の根であることを証明し、ハイパーサーフェスの場合の古典的結果を拡張すること。

提案手法

• 生成子の一般線形結合のホッジイデアルを用いて、$\lambda \leq 1$ である有理数 $\lambda$ に対してホッジイデアル $I_p(\fa^\lambda)$ を定義し、生成子の選び方に依存しないように保証する。
• $X \times \bbA^r$ 上の $\cO_{X \times \bbA^r}(\ast G)$ のホッジフィルトレーションの繊維ごとの制限を用い、$G$ を $g = \sum y_i f_i$ で定義される除法子とする。このとき、$I_p(\fa^\lambda)$ を $I_p(\lambda G)$ の係数イデアルとして特徴付ける。
• 三つの定義の同値性を確立する：一般除法子を介する定義、ユニバーサル族の係数イデアルを介する定義、全空間上のホッジフィルトレーションを介する定義。
• 一般のハイパーサーフェスが点 $x$ の近傍の部分多様体 $V(\fa)$ を含むときの最小指数として、一般化された最小指数 $\bar\alpha_x(\fa)$ を定義する。
• $I_p(\fa^\lambda)_x = \sO_{X,x}$ が成り立つための必要十分条件が $p + \lambda \leq \bar\alpha_x(\fa)$ であることを証明し、除法子の場合の一般化を達成する。
• Saito と Mustata のベルンシュタイン＝サトウ多項式および $V$-フィルトレーションに関する結果を用い、$-\bar\alpha_x(\fa)$ が $b_{\fa,x}(s)$ の根であることを示す。

実験結果

リサーチクエスチョン

• RQ1 Q-除法子に対して定義されたホッジイデアル理論を、滑らかな多様体上の任意の整合的イデアル・シフトにどのように拡張できるか。
• RQ2 イデアルに対する最小指数不変量の正しい一般化は何か。また、ホッジ理論とどのように関係するか。
• RQ3 イデアルの一般化された最小指数は、ハイパーサーフェスの場合と同様に、そのベルンシュタイン＝サトウ多項式の根であるか。
• RQ4 係数イデアルや一般ファイバーへの制限といった、さまざまな幾何的構成において、ホッジイデアル $I_p(\fa^\lambda)$ を一様に特徴付けることは可能か。

主な発見

• 生成子が codimension 1 で非特異除法子を定める限り、ホッジイデアル $I_p(\fa^\lambda)$ は生成子の選び方に依存せず、正しく定義される。
• $I_p(\fa^\lambda)$ は、$X \times \bbA^r$ 上で $g = \sum y_i f_i$ で定義される除法子 $G$ に対して、$I_p(\lambda G)$ の係数イデアルに等しい。
• 一般化された最小指数 $\bar\alpha_x(\fa)$ は、$\fa$ の生成子の一般線形結合の近傍での最小指数に等しい。
• $I_p(\fa^\lambda)_x = \sO_{X,x}$ が成り立つための必要十分条件は $p + \lambda \leq \bar\alpha_x(\fa)$ であり、これは除法子の場合の一般化である。
• 一般化された最小指数の負数 $-\bar\alpha_x(\fa)$ はベルンシュタイン＝サトウ多項式 $b_{\fa,x}(s)$ の根である。これはハイパーサーフェスの場合の古典的結果を任意のイデアルへと拡張する。
• 証明は、$b_{\fa}(s) = b_g(s)/(s+1)$ であり、$b_{g,(x,\lambda)}(s)$ が $b_g(s)$ を割り切ることに依存しており、これにより $g$ からの根の情報が $\fa$ へと移行可能である。