[论文解读] 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)$ 上霍奇过滤的显式公式推广至 $\mathbb{Q}$-除子 $D=\alpha\cdot Z$ 且 $0<\alpha\leq1$ 的情形。
• 在加权齐次孤立奇点的情形下，推导霍奇理想 $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)$ 上霍奇过滤的显式公式能否推广至 $\mathbb{Q}$-除子 $D=\alpha\cdot Z$ 且 $0<\alpha\leq1$ 的情形？
• 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$，其中 $\omega$ 是一个全纯体积形式，且在加权齐次情形下，其值为 $\lceil \alpha + \sum w_i \rceil - n$。
• 该公式可推广至支撑方便且牛顿边界非退化的芽 $f$，使用修改后的权重函数 $\tilde{\rho}$ 在扭曲模上保持相同的过滤结构。
• 证明依赖于过滤层级的归纳法与雅可比代数有限维性的利用，表明高权重元素可模低层级项约化，从而确保过滤结构良好。