代数幾何学 · 2026-10-29

Sharp effective Nullstellensatz for projective Cohen-Macaulay schemes

Cohen–Macaulay射影スキームの鋭い有効零点定理

Zhi Li, Xiankui Meng, Xiaoyu Su, Langfeng Zhu

zhi-li-1jj0m39 xiankui-meng-8yosk9 xiaoyu-su-m0zm08 langfeng-zhu-4qj722 vector-bundles-sheaves positivity algebraic-cycles-enumerative Positivity 正値性 Vector bundles and sheaves ベクトル束・層 Algebraic cycles and enumerative geometry 代数的サイクル・数え上げ幾何

arXiv Abstract

In this paper, we prove a sharp effective Nullstellensatz for projective Cohen-Macaulay schemes of pure dimension over an arbitrary field. In particular, if L is an ample line bundle on a smooth complex projective variety X and J is a coherent ideal sheaf with J\otimes L globally generated, then (\sqrt{J})^{\deg_L X}\subseteq J. This establishes the sharp bound conjectured by Ein and Lazarsfeld. More generally, we obtain sharp bounds in terms of mixed intersection numbers and a refinement involving products of powers of prime ideal sheaves associated to the irreducible components of the base locus. We also establish sharp radical power bounds for homogeneous ideals in finitely generated standard graded Cohen-Macaulay domains, extending Koll\'ar's sharp effective Nullstellensatz for polynomial rings. The proofs combine purity and cycle preservation for leading Ext sheaves with Koszul evaluation maps compatible with successive divisor cuts.

日本語要約

純次元Cohen–Macaulay射影スキーム上で、根基イデアルの冪が元のイデアルへ含まれるための鋭い指数を与える。特に豊富な線束LについてJ⊗Lが大域生成なら、指数はLに関するスキームの次数で足り、Ein–Lazarsfeldの予想を解決する。混合交点数や基点集合の成分ごとの精密化も扱い、標準次数付きCohen–Macaulay整域の斉次イデアルへ結果を拡張する。証明は主要Ext層の純性とサイクル、Koszul評価写像を組み合わせる。

In this paper, we prove a sharp effective Nullstellensatz for projective Cohen-Macaulay schemes of pure dimension over an arbitrary field. In particular, if L is an ample line bundle on a smooth complex projective variety X and J is a coherent ideal sheaf with J\otimes L globally generated, then (\sqrt{J})^{\deg_L X}\subseteq J. This establishes the sharp bound conjectured by Ein and Lazarsfeld. More generally, we obtain sharp bounds in terms of mixed intersection numbers and a refinement involving products of powers of prime ideal sheaves associated to the irreducible components of the base locus. We also establish sharp radical power bounds for homogeneous ideals in finitely generated standard graded Cohen-Macaulay domains, extending Koll\'ar's sharp effective Nullstellensatz for polynomial rings. The proofs combine purity and cycle preservation for leading Ext sheaves with Koszul evaluation maps compatible with successive divisor cuts.

射影多様体上のイデアル層に対する有効零点定理で、根基の冪指数を偏極次数まで改善する。任意の体上の純次元Cohen–Macaulayスキームへ拡張し、斉次イデアルではアフィン錐の頂点の寄与を含む鋭い上界を与える。

arXiv
2610.34946v1
初回投稿日
2026-10-26
原論文のライセンス
Creative Commons Attribution 4.0 International (CC BY 4.0)
掲載形式
Abstract・Introductionに基づく日本語要約
タグ
algebraic-geometry 2026

原論文を開く

書誌情報

要約

零点定理は、ある零点集合上で消える関数の十分高い冪が、その集合を定義するイデアルに属することを保証する。有効零点定理は「十分高い」を幾何学的な次数でどこまで小さく評価できるかを問う。

本論文は、豊富な線束$L$で$\mathcal J\otimes L$が大域生成となる場合、$\sqrt{\mathcal J}$の$\deg_LX$乗が$\mathcal J$に含まれることを示す。従来のEin–Lazarsfeldの指数$n\deg_LX$から次元因子$n$を除き、その予想した鋭い指数に到達する。

対象は滑らかな複素多様体に限られず、任意の体上の純次元Cohen–Macaulay射影スキームである。さらに斉次イデアルそのものへの包含では、射影スキーム上の層の包含だけでは制御できないアフィン錐の頂点の寄与がある。この追加項を含む第二の主定理を与える。

背景と問題設定

$\mathcal J\subset\mathcal O_X$を連接イデアル層、$B=V(\mathcal J)$とする。射影的な問題では偏極次数や混合交点数を使って消滅に必要な指数を測る。Cohen–Macaulay性は単なる技術的仮定ではなく、著者らは仮定を外すと鋭い上界が成立しない例を後続節に挙げる。

主結果

混合交点数による包含（Theorem 1.2）

$X$は体$k$上の純$n$次元Cohen–Macaulay射影スキームとする。豊富な線束$A,L_1,\ldots,L_r$と切断$s_i\in H^0(X,\mathcal J\otimes L_i)$を取り、$0\leq r\leq n$、$B_j=V(s_1,\ldots,s_j)$と置く。$\dim(B_j\setminus|B|)\leq n-j$、さらに$r<n$なら$B_r\setminus|B|=\varnothing$を仮定する。このとき

$$ d=\deg\bigl(c_1(L_1)\cdots c_1(L_r)c_1(A)^{n-r}\cap[X]\bigr),\qquad (\sqrt{\mathcal J})^d\subseteq\mathcal J $$

が成り立つ。基点集合の外側で切断が必要な次元低下を起こすことが主要な仮定である。

さらに$|B|$を覆う被約既約閉集合$W_\alpha$と正整数$m_\alpha$を選び、

$$ \prod_\alpha\mathcal I_{W_\alpha}^{m_\alpha}\subseteq\mathcal J, $$

$$ \sum_\alpha m_\alpha\deg\left(\left(\prod_{i=\operatorname{codim}_XW_\alpha+1}^{r}c_1(L_i)\right)c_1(A)^{n-r}\cap[W_\alpha]\right)\leq d $$

とできる。これは単一の根基冪だけでなく、基点集合の各成分の寄与を重み付きで制御する精密化である。

Ein–Lazarsfeld予想と生成次数の評価（Corollaries 1.3–1.5）

$L$が豊富で$\mathcal J\otimes L$が大域生成なら

$$ (\sqrt{\mathcal J})^{\deg_LX}\subseteq\mathcal J $$

となる。$m$個の切断で大域生成される場合は、$m<n$なら混合交点数$\deg(c_1(L)^mc_1(A)^{n-m}\cap[X])$を使える。

$X$が整で、$L$が豊富かつ大域生成、$L^{a_i}$の非零切断が$\mathcal J$を生成し、$a_1\geq\cdots\geq a_m\geq1$なら、指数は$m\leq n$で$\deg_LX\thinspace a_1\cdots a_m$、$m>n>1$で$\deg_LX\thinspace a_1\cdots a_{n-1}a_m$、$n=1$で$\deg_LX\thinspace a_m$となる。Introductionはこれらの上界が鋭いことを明言する。

斉次イデアルと錐の頂点（Theorem 1.6）

$S$を$S_0=k$である有限生成標準次数付きCohen–Macaulay整域とし、$Y=\operatorname{Proj}S$、$n=\dim S-1\geq1$、$I=(f_1,\ldots,f_m)$、$\deg f_i=a_i$とする。$e=\deg_{\mathcal O(1)}Y$と置くと

$$ d=\max\left\lbrace e\thinspace a_m\prod_{i=1}^{\min\lbrace m,n\rbrace -1}a_i,\ e-1+a_m+\sum_{i=1}^{\min\lbrace m-1,n\rbrace }(a_i-1)\right\rbrace $$

について$(\sqrt I)^d\subseteq I$が成り立つ。第一項は射影的な層の包含、第二項は次数付き環に残る追加の障害を制御する。多項式環の場合には生成元の次数3以上という制限なしにKollár型の上界を回復する。

アフィン版（Corollary 1.7）

射影閉包の斉次座標環がCohen–Macaulayである整アフィン多様体$V$では、非定数関数$f_i$が生成する$\mathfrak a$に対して指数$\deg V\thinspace a_m\prod_{i=1}^{\min\lbrace m,n\rbrace -1}a_i$による根基冪包含が得られる。$\mathfrak a=k[V]$なら$1=\sum_i g_if_i$を、上の$d$で$e=\deg V$とした評価$\deg g_i+a_i\leq d$を満たすように選べる。一般の座標環では積の次数と次数の和は同じでないため、この評価の形が重要である。

証明の見取り図

主要Ext層の純性とサイクルの保存を用い、基点集合上のtorsionを取り除く際の次数をannihilatorへ変換する。Koszul評価写像の像を逐次的な因子切断と両立させ、そのannihilatorを次の段階へ運ぶ。これにより次数の計数をイデアルの冪包含へ結びつける。Introductionは、この双対性に基づく方法をSkoda型除法や消去法と区別している。

原論文との対応

  • Abstractページ: 公式arXivページ
  • Introduction: PDF — Section 1, pp. 1–4
  • Introduction中で言及された主要結果: Theorems 1.2、1.6、Corollaries 1.3–1.5、1.7
  • 論文構成・証明方針: 上記Introductionで述べられた範囲に基づく。後続節の証明全体の検証は行っていない。
  • 確認したarXivバージョン: 2610.34946v1
  • 確認したライセンス: Creative Commons Attribution 4.0 International (CC BY 4.0)
  • source_scope: Abstract and Introduction