[論文レビュー] Hodge filtration and Hodge ideals for $\mathbb{Q}$-divisors with weighted homogeneous isolated singularities

Mingyi Zhang|arXiv (Cornell University)|Oct 15, 2018

Algebraic Geometry and Number Theory参考文献 8被引用数 7

ひとこと要約

本稿は、孤立特異点をもつ重み付き同次的超曲面 $Z=(f=0)$ と、$\mathbb{Q}$-除法 $D=\alpha\cdot Z$ に付随する $\mathscr{D}_{X}$-加群 $\mathcal{O}_{X}(*Z)f^{1-\alpha}$ におけるホッジフィルトレーションの明示的公式を提供する。主な結果は、Saitoのホッジフィルトレーションの公式を $\alpha \in (0,1]$ の有理指数に一般化し、この設定におけるホッジイデアルと生成レベルの明確な記述をもたらす。

ABSTRACT

We give an explicit formula for the Hodge filtration on the $\mathscr{D}_X$-module $O_X(*Z)f^{1-α}$ associated to the effective $\mathbb{Q}$-divisor $D=α\cdot Z$, where $0

研究の動機と目的

• Saitoの $\mathcal{O}_X(*Z)$ 上のホッジフィルトレーションの明示的公式を、$0<\alpha\leq1$ の $\mathbb{Q}$-除法 $D=\alpha\cdot Z$ の場合に拡張すること。
• 重み付き同次的孤立特異点の設定において、ホッジイデアル $I_k(D)$ の明示的公式を導出すること。
• このような $\mathbb{Q}$-除法におけるホッジフィルトレーションの生成レベルを特定すること。
• 主な結果を、便利かつ非退化ニュートン境界をもつ正則関数の局所的型へと拡張すること。

提案手法

• Saitoの公式 (2) を $\alpha=1$ の場合から $\alpha\in(0,1]$ に一般化し、$V$-フィルトレーションとねじれ局所化加群 $\mathcal{M}(f^{1-\alpha})=\mathcal{O}_X(*Z)f^{1-\alpha}$ を用いる。
• 局所環 $\mathcal{O}$ 上に重み関数 $\rho(g)$ を定義し、重み付き次数で要素をフィルター化することで、部分空間 $\mathcal{O}^{\geq k}$ および $\mathcal{O}^{>k}$ を得る。
• $\mathcal{M}(f^{1-\alpha})$ 上のフィルター付き $\mathscr{D}_X$-加群構造を導入し、微分作用素 $D\in\mathrm{Der}_{\mathbb{C}}\mathcal{O}_X$ に対して $D\cdot(wf^{1-\alpha}) = \left(D(w) + w\frac{(1-\alpha)D(f)}{f}\right)f^{1-\alpha}$ と作用させる。
• 主公式の証明：$F_k\mathcal{M}(f^{1-\alpha}) = \sum_{i=0}^k F_{k-i}\mathscr{D}_X \cdot \left( \frac{\mathcal{O}^{\geq \alpha+i}}{f^{i+1}} f^{1-\alpha} \right)$ であり、$\alpha=1$ のときSaitoの公式を回復する。
• 同様のフィルトレーション技法と重みに基づく議論を用いて、便利かつ非退化ニュートン境界をもつ正則関数の局所的型へと結果を拡張する。
• ジャコビアン代数 $\mathcal{A}_f = \mathbb{C}\{x_1,\dots,x_n\}/(\partial_1 f, \dots, \partial_n f)$ の有限次元性と単項式基底の議論を用いて、フィルトレーションのレベルを分析する。

実験結果

リサーチクエスチョン

• RQ1 Saitoの $\mathcal{O}_X(*Z)$ 上のホッジフィルトレーションの明示的公式は、$0<\alpha\leq1$ の $\mathbb{Q}$-除法 $D=\alpha\cdot Z$ に一般化可能か？
• RQ2 重み付き同次的設定におけるこのような $\mathbb{Q}$-除法のホッジイデアル $I_k(D)$ の明確な構造は何か？
• RQ3 この文脈におけるホッジフィルトレーションの生成レベルは何か？また、$\alpha$ と $f$ の重みにどのように依存するか？
• RQ4 この公式は、重み付き同次多項式を超えて、非退化ニュートン境界および便利な台をもつ関数の局所的型へと拡張可能か？

主な発見

• ホッジフィルトレーション $\mathcal{M}(f^{1-\alpha})$ は明示的に $F_k\mathcal{M}(f^{1-\alpha}) = \sum_{i=0}^k F_{k-i}\mathscr{D}_X \cdot \left( \frac{\mathcal{O}^{\geq \alpha+i}}{f^{i+1}} f^{1-\alpha} \right)$ と与えられ、Saitoの公式が有理指数に一般化される。
• $\alpha=1$ のとき、この公式はSaitoの元の結果（単純除法の場合）を回復する。
• $D=\alpha\cdot Z$ に対するホッジイデアル $I_k(D)$ は、公式 $F_k\mathcal{O}_X(*D) = I_k(D) \otimes \mathcal{O}_X((k+1)D)$ によって決定され、フィルトレーションから明示的な生成元が得られる。
• ホッジフィルトレーションの生成レベルは $\mathrm{gl}(D) = \lceil \mathrm{ord}_f(\omega) \rceil$ として明示的に計算され、重み付き同次的ケースでは $\lceil \alpha + \sum w_i \rceil - n$ に等しいことが示される。
• 公式は、$f$ が便利かつ非退化ニュートン境界をもつ場合へと拡張可能であり、修正された重み関数 $\tilde{\rho}$ を用いた同じフィルトレーション構造が有効である。
• 証明はフィルトレーションレベルに関する帰納法と、ジャコビアン代数の有限次元性に依拠しており、高重量の要素が低レベルの項を法として簡約可能であることを示し、フィルトレーションが適切に定義されていることを保証する。