[论文解读] Products of residue currents of Cauchy-Fantappiè-Leray type

Elizabeth Wulcan|ArXiv.org|Dec 2, 2005

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

一句话总结

本文引入了一类通过复几何中柯西-法坦佩-勒雷型公式构造的余数电流的乘积结构。证明了在完备交情形下，单个截面对应的余数电流的乘积等于其直和的余数电流，从而推广了经典的对偶性结果；然而，在适当交情形下该等式不成立，揭示了此类乘积行为的关键差异。

ABSTRACT

With a given holomorphic section of a Hermitian vector bundle, one can associate a residue current by means of Cauchy-Fantappiè-Leray type formulas. In this paper we define products of such residue currents. We prove that, in the case of a complete intersection, the product of the residue currents of a tuple of sections coincides with the residue current of the direct sum of the sections.

研究动机与目标

• 通过柯西-法坦佩-勒雷型公式定义余数电流的有意义乘积。
• 研究与一组截面相关的余数电流的乘积是否与它们直和的余数电流相等。
• 阐明此类乘积有定义且具有几何意义的条件。
• 分析在适当交情形下该乘积恒等式失效的原因，与完备交情形形成对比。

提出的方法

• 利用柯西-法坦佩-勒雷型形式，通过 |f|^{2λ}u^f 在 λ→0 时的解析延拓来定义余数电流。
• 应用梅林变换与解析延拓技术，将电流定义为分布意义下的极限。
• 采用奇点解消方法，特别是爆破，以处理具有非横截或非完备交支撑的电流。
• 利用与 ∇_f = δ_f - ∂̄ 算子相关的双复形结构来定义电流空间及其楔积。
• 在爆破后通过局部坐标中的显式计算，比较特定例子中 R^f ∧ R^g 与 R^{f⊕g} 的结果。
• 依赖已知的余数微积分恒等式，如 ∫∂̄[1/z^p]ψ(z)dz = (2πi)/(p−1)! ∂^{p−1}ψ(0)/∂z^{p−1}，以评估不同坐标图中的贡献。

实验结果

研究问题

• RQ1 通过柯西-法坦佩-勒雷公式构造的余数电流乘积在何种条件下有定义？
• RQ2 与一组截面相关的余数电流乘积是否与它们直和的余数电流相等？
• RQ3 在适当交情形下，该乘积结构的行为如何，与完备交情形有何不同？
• RQ4 奇点解消在计算具有非横截支撑的电流乘积中起什么作用？
• RQ5 在适当交情形下，该乘积恒等式失效的情况是否可以显式计算并加以表征？

主要发现

• 在完备交情形下，余数电流 R^f₁ ∧ … ∧ R^fₘ 与截面直和的余数电流 R^{f⊕g} 相等。
• 在适当交情形下，例如 ℂ³ 中 f = (z₁, z₂) 与 g = (z₂, z₃) 的情形，乘积 R^f ∧ R^g 不等于 R^{f⊕g}。
• 在爆破 z₃ 轴后的显式计算表明，R^f ∧ R^g 包含三个不同分量，而 R^{f⊕g} 仅有两个分量，从而证明了等式的不成立。
• 差异源于爆破坐标图 Ω₁ 与 Ω₂ 中的不同贡献，最终表达式中出现了如 2/3 和 1/3 的系数。
• 结果确认，恒等式 R^f ∧ R^g = R^{f⊕g} 无法推广至完备交之外的情形。
• 本文提供了一个反例，表明当零点集不是完备交时，余数电流的乘积一般不等于其直和的余数电流。