[论文解读] On Bochner-Martinelli residue currents and their annihilator ideals

Mattias Jönsson, Elizabeth Wulcan|ArXiv.org|Nov 5, 2008

Commutative Algebra and Its Applications被引用 3

一句话总结

本文对仅在原点处消失的全纯芽族所关联的Bochner-Martinelli余流提供了几何表征，将其消去理想与基础理想的相关Rees赋值联系起来。证明了消去理想等于理想本身当且仅当该理想为完全交理想，并表明非零分量恰好对应于与对数解析化中Rees除子相关的本质多指标。

ABSTRACT

We study the residue current R^f of Bochner-Martinelli type associated with a tuple f=(f_1,...,f_m) of holomorphic germs at the origin in C^n, whose common zero set equals the origin. Our main results are a geometric description of R^f in terms of the Rees valuations associated with the ideal (f) generated by f and a characterization of when the annihilator ideal of R^f equals (f).

研究动机与目标

• 理解与仅在原点处消失的全纯芽族 $ f = (f_1, \dots, f_m) $ 相关的Bochner-Martinelli余流 $ R^f $ 的消去理想。
• 确定 $ \text{ann}\,R^f = (f) $ 成立的条件，即由 $ f_i $ 生成的理想，这是余流理论中对偶性原理的核心。
• 以Rees赋值和理想 $ (f) $ 的对数解析化为框架，给出 $ R^f $ 的非零分量的几何描述。
• 澄清 $ R^f $ 及其消去理想对 $ (f) $ 生成元选择的依赖性，特别是在非完全交情形下。
• 建立 $ R^f $ 支撑与对数解析化中对应于 $ (f) $ 的Rees赋值的例外除子之间的精确联系。

提出的方法

• 利用理想 $ (f) $ 的对数解析化 $ \pi: X \to (\mathbb{C}^n, 0) $，将余流 $ R^f $ 提升至 $ X $ 以分析其结构。
• 若在某个例外除子 $ E \subset \pi^{-1}(0) $ 上，诱导映射 $ [f_{i_1} \circ \pi : \dots : f_{i_n} \circ \pi] $ 是满射，且对所有 $ k, \ell $ 满足 $ \text{ord}_E(f_{i_k}) \leq \text{ord}_E(f_\ell) $，则称多指标 $ \mathcal{I} = \{i_1, \dots, i_n\} $ 为本质的。
• 应用Hickel的结果，将理想 $ (f) $ 与 $ f $ 的雅可比行列式联系起来，从而建立代数不变量与解析不变量之间的关联。
• 利用Andersson关于余流的度量无关性结果，确保构造是理想 $ (f) $ 的内在性质，而非依赖于Hermitian度量的选择。
• 从解析化空间向 $ \mathbb{C}^n $ 推出余流，表明 $ R^f $ 的支撑位于对应于Rees赋值的例外除子上。
• 通过爆破（例如 $ \pi(\sigma, \tau) = (\sigma^2\tau, \sigma) $）计算显式例子，以确定 $ R^f $ 及其消去理想，揭示其对生成元选择和解析化结构的依赖性。

实验结果

研究问题

• RQ1 Bochner-Martinelli余流 $ R^f $ 的消去理想何时等于由全纯函数生成的理想 $ (f) $？
• RQ2 何种几何条件可确保多指标 $ \mathcal{I} $ 对应的分量 $ R^f_{\mathcal{I}} $ 非零？
• RQ3 理想 $ (f) $ 的Rees赋值如何与余流 $ R^f $ 的结构和支撑相关联？
• RQ4 在 $ (f) $ 非完全交时，消去理想 $ \text{ann}\,R^f $ 对生成元选择的依赖程度如何？
• RQ5 能否从对数解析化中各个Rees除子的贡献计算出消去理想 $ \text{ann}\,R^f $ ？

主要发现

• 消去理想满足 $ \overline{(f)^n} \subseteq \text{ann}\,R^f \subseteq (f) $，当 $ n \geq 2 $ 时左侧包含关系严格成立，右侧包含关系为等式当且仅当 $ (f) $ 为完全交理想。
• 分量 $ R^f_{\mathcal{I}} $ 非零当且仅当多指标 $ \mathcal{I} $ 为本质的，即其通过某例外除子上的满射映射与Rees赋值相关联。
• 只要理想 $ (f) $ 固定，消去理想 $ \text{ann}\,R^f $ 与生成元的选择无关，尽管单个分量 $ R^f_{\mathcal{I}} $ 可能依赖于生成元。
• 在完全交理想情形下，$ \text{ann}\,R^f = (f) $，从而确认了对偶性原理，且 $ R^f $ 是支撑于Rees除子上的余流的推出。
• 显式计算表明，$ \text{ann}\,R^f $ 可能严格小于各分量 $ R^f_{\mathcal{I}} $ 的消去理想的交集，表明不同Rees除子的贡献并非可加。
• 例如，在具有两个Rees除子 $ E_1, E_2 $ 的解析化中，有 $ \text{ann}\,R^{E_1} \cap \text{ann}\,R^{E_2} \subsetneq \text{ann}\,R^f $，表明全余流所包含的信息多于其分量之和。