[论文解读] Global effective versions of the Brian\ccon-Skoda-Huneke theorem

Mats Andersson, Elizabeth Wulcan|arXiv (Cornell University)|Jul 2, 2011

Advanced Algebra and Geometry参考文献 15被引用 6

一句话总结

本文通过使用多变量留数微积分和几何估计，建立了奇异代数簇上Briançon-Skoda-Huneke定理的全局有效版本，拓展了Hickel与Ein-Lazarsfeld的结果。研究提供了多项式解的理想成员问题的显式次数界，有效常数依赖于簇的次数、正则性以及无穷远处特征簇的余维数。

ABSTRACT

We prove global effective versions of the Brian\ccon-Skoda-Huneke theorem. Our results extend, to singular varieties, a result of Hickel on the membership problem in polynomial ideals in $\mathbf C^n$, and a related theorem of Ein and Lazarsfeld for smooth projective varieties. The proofs rely on known geometric estimates and new results on multivariable residue calculus.

研究动机与目标

• 将Briançon-Skoda-Huneke定理的有效版本从光滑簇推广到奇异代数簇。
• 为奇异簇上理想成员问题的多项式解提供显式次数界。
• 推广Hickel关于多项式理想成员问题的结果以及Ein-Lazarsfeld对光滑射影簇的定理。
• 引入诸如射影闭包的正则性及无穷远处特征簇的余维数等几何不变量。
• 建立仅依赖于簇的次数、生成元个数以及目标多项式相对于生成元的增长率的有效界。

提出的方法

• 使用多变量留数微积分构造理想成员问题的全局解。
• 应用奇异簇上全纯截面L2扩张的几何估计。
• 将簇的射影闭包的Castelnuovo-Mumford正则性作为关键不变量。
• 引入簇无穷远处部分中特征簇的余维数$c_{\infty}$以细化界。
• 通过留数电流与奇点的解析解构，构造$\bar{\partial}$-方程的光滑解。
• 利用结构形式$\widetilde{R}$控制奇点，将问题约化为在解析解构上局部的$\bar{\partial}$-问题。

实验结果

研究问题

• RQ1 能否在奇异代数簇上建立Briançon-Skoda-Huneke定理的有效次数界？
• RQ2 诸如正则性与无穷远处特征簇的余维数等几何不变量如何影响有效界？
• RQ3 Hickel与Ein-Lazarsfeld的结果在多大程度上可推广至奇异射影簇？
• RQ4 增长条件$|\phi| \leq C|F|^{\mu + \mu_0 + \ell - 1}$在确定解的次数中起什么作用？
• RQ5 如何利用留数微积分与$\bar{\partial}$-技巧在奇异情形下推导全局有效界？

主要发现

• 本文证明：若$|\Phi|/|F|^{\mu + \mu_0}$在$V$上局部有界，则存在多项式$Q_j$，使得$\sum F_j Q_j = \Phi$在$V$上成立，且满足$\deg(F_j Q_j) \leq \max(\deg\Phi + (\mu + \mu_0)d^{c_{\infty}}\deg X, (d-1)\min(m,n+1) + \operatorname{reg} X)$。
• 对于光滑簇，该界简化为$\deg(F_j Q_j) \leq \max(\deg\Phi + d^{c_{\infty}}\deg X, (d-1)\min(m,n+1) + \operatorname{reg} X)$，从而恢复已知的有效界。
• $\mu_0$仅依赖于簇$X$及留数电流$\widetilde{R}$的奇点，且选取为满足$\mu_0 \geq n + |\alpha| + 1$，以保证截面$\eta$的局部表示。
• 次数界涉及射影闭包$X$的次数与正则性$\operatorname{reg} X$，后者控制上同调复杂度。
• 当$c_{\infty} = -\infty$（无穷远处无特征簇）时，$d^{c_{\infty}}$被解释为零，从而简化界。
• 结果通过定理7.5推广至线丛情形，表明对于满足$|\phi| \leq C|f|^{\mu + \ell - 1}$的线丛$L^{\otimes s} \otimes K_X \otimes A$的截面$\phi$，存在全纯截面$q_I$，使得$\phi = \sum f^I q_I$，且满足$s \geq \min(m,n+1) + \ell - 1$。