Sharp effective Nullstellensatz for projective Cohen-Macaulay schemes
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})^{°_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ár'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.
Related
- Local-Cohen-Macaulay DG-rings with unequal finitistic projective dimensions
- Bounds on Hilbert coefficients of Cohen-Macaulay modules having finite projective dimension
- From skew Combinatorial Nullstellensatz to sharp Ax-Katz congruences and zero counts
- Encoding-Sensitive Nullstellensatz Certificates for Syndrome Exclusion in LDPC Codes: Sharp Local Bounds and a Linear Separation
- Effective Results for Foliations on Smooth Projective Complete Intersection Surfaces
BibTeX
@misc{li2026sharp,
title = {{Sharp effective Nullstellensatz for projective Cohen-Macaulay schemes}},
author = {Zhi Li and Xiankui Meng and Xiaoyu Su and Langfeng Zhu},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.34946},
eprint = {2610.34946},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.34946},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Sharp effective Nullstellensatz for projective Cohen-Macaulay schemes
AU - Zhi Li
AU - Xiankui Meng
AU - Xiaoyu Su
AU - Langfeng Zhu
PY - 2026
DA - 2026/10/26
PB - arXiv
DO - 10.48550/arxiv.2610.34946
UR - https://arxiv.org/abs/2610.34946
AB - 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})^{°_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ár'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.
ER -