Hilbert's Nullstellensatz and the real Nullstellensatz for modules and sheaves
Abstract
We prove the geometric halves of Hilbert's Nullstellensatz and of the real Nullstellensatz for submodules of finitely generated modules and for coherent sheaves, complementing our earlier result that semiprime (resp. real) submodules are intersections of prime (resp. real prime) submodules. First, we pass from prime to maximal submodules: over a Jacobson ring, a prime submodule P of M is an intersection of maximal submodules whenever M/P is a torsionless R/(P:M)-module, in particular whenever M/P is finitely generated (the latter case is due to Maani Shirazi and Sharif). Consequently, if R is a finitely generated algebra over an algebraically closed field and M is finitely generated, the smallest semiprime submodule containing a submodule N of M consists of all f∈ M such that, for every point a, the value f(a) (i.e. the image of f in the fibre M/maM) lies in N(a) (i.e. the image of N in M/maM). We prove the real analogues over real Jacobson rings; for finitely generated algebras over a real closed field they are determined by the real points. The module classifications and directional vanishing formulas yield both Nullstellensätze for coherent sheaves on schemes of finite type over a field. We also prove compatibility of semiprimeness, reality and both radicals with arbitrary localization, and the resulting stalk criteria.
Related
- Real Nullstellensatz for nilpotent Lie algebras
- A fully faithful p-adic Riemann--Hilbert functor for filtered coherent D-modules
- Disjoint strong transitive operators on Hilbert C*-modules
- Bounds on Hilbert coefficients of Cohen-Macaulay modules having finite projective dimension
- Hilbert-Schmidt Norms of Self-Commutator and Cross-Commutator on Nη-type Quotient Modules in Polydisc
BibTeX
@misc{cimpric2026hilberts,
title = {{Hilbert's Nullstellensatz and the real Nullstellensatz for modules and sheaves}},
author = {Jakob Cimprič},
howpublished = {arXiv},
year = {2026},
month = oct,
doi = {10.48550/arxiv.2610.15887},
eprint = {2610.15887},
archivePrefix = {arXiv},
url = {https://arxiv.org/abs/2610.15887},
note = {CC BY 4.0},
}
RIS
TY - UNPB
TI - Hilbert's Nullstellensatz and the real Nullstellensatz for modules and sheaves
AU - Jakob Cimprič
PY - 2026
DA - 2026/10/11
PB - arXiv
DO - 10.48550/arxiv.2610.15887
UR - https://arxiv.org/abs/2610.15887
AB - We prove the geometric halves of Hilbert's Nullstellensatz and of the real Nullstellensatz for submodules of finitely generated modules and for coherent sheaves, complementing our earlier result that semiprime (resp. real) submodules are intersections of prime (resp. real prime) submodules. First, we pass from prime to maximal submodules: over a Jacobson ring, a prime submodule P of M is an intersection of maximal submodules whenever M/P is a torsionless R/(P:M)-module, in particular whenever M/P is finitely generated (the latter case is due to Maani Shirazi and Sharif). Consequently, if R is a finitely generated algebra over an algebraically closed field and M is finitely generated, the smallest semiprime submodule containing a submodule N of M consists of all f∈ M such that, for every point a, the value f(a) (i.e. the image of f in the fibre M/m_aM) lies in N(a) (i.e. the image of N in M/m_aM). We prove the real analogues over real Jacobson rings; for finitely generated algebras over a real closed field they are determined by the real points. The module classifications and directional vanishing formulas yield both Nullstellensätze for coherent sheaves on schemes of finite type over a field. We also prove compatibility of semiprimeness, reality and both radicals with arbitrary localization, and the resulting stalk criteria.
ER -