English

Generic flatness of the cohomology of thickenings

Algebraic Geometry 2026-03-06 v2 Commutative Algebra

Abstract

We prove a generic flatness result for the cohomology of thickenings of a projective scheme that is smooth over a Noetherian domain containing a field of characteristic zero. Our study is motivated, in part, by a classical question in algebraic geometry: Given a set of mm distinct points in projective space over a field, and tt a positive integer, determine the least degree of a hypersurface that passes through each point with multiplicity at least tt. Related to this, it remains unresolved whether there exists a dense open set of mm-tuples of points for which this least degree is constant for each t1t\ge 1. Investigating this connection in the case of nine points in projective plane, we construct a local cohomology module that is not generically free; moreover, we show that it has infinitely many associated prime ideals.

Keywords

Cite

@article{arxiv.2602.09201,
  title  = {Generic flatness of the cohomology of thickenings},
  author = {Edoardo Ballico and Yairon Cid-Ruiz and Anurag K. Singh},
  journal= {arXiv preprint arXiv:2602.09201},
  year   = {2026}
}

Comments

19 pages; comments welcome. Section 5 is new and settles, in the negative, a conjecture regarding generic freeness raised in the previous version