Schubert determinantal ideals are Hilbertian
arXiv:2305.12558 · doi:10.1016/j.jalgebra.2025.04.005
Abstract
Abhyankar defined an ideal to be Hilbertian if its Hilbert polynomial coincides with its Hilbert function for all nonnegative integers. In 1984, he proved that the ideal of (r+1)-order minors of a generic p x q matrix is Hilbertian. We give a different proof and a generalization to the Schubert determinantal ideals introduced by Fulton in 1992. Our proof reduces to a simple upper bound for the Castelnuovo-Mumford regularity of these ideals. We further indicate the pervasiveness of the Hilbertian property in Schubert geometry.
With thanks to Allen Knutson and Jenna Rajchgot for feedback about v1, v2 contains additional results and background material. 12 pages