[論文レビュー] 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$ 上で局所的に有界ならば、$\sum F_j Q_j = \Phi$ を満たす多項式 $Q_j$ が存在し、$\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}$ の特異点にのみ依存し、局所的表現におけるセクション $\eta$ に対して $\mu_0 \geq n + |\alpha| + 1$ となるように選ばれる。
• 次数境界には、射影的閉包 $X$ の次数と正則性 $\operatorname{reg} X$ が含まれており、これはコhomologicalな複雑さを制御する。
• $c_{\infty} = -\infty$（無限遠に特徴的な多様体がない場合）には、$d^{c_{\infty}}$ 項は 0 と解釈され、境界が簡略化される。
• 結果は定理7.5により線形束へ拡張され、$|\phi| \leq C|f|^{\mu + \ell - 1}$ を満たす $L^{\otimes s} \otimes K_X \otimes A$ のセクション $\phi$ に対して、$\phi = \sum f^I q_I$ を満たす正則セクション $q_I$ が存在し、$s \geq \min(m,n+1) + \ell - 1$ であることを示す。