The converse of a theorem by Bayer and Stillman

HyunBin Loh
DOI: https://doi.org/10.48550/arXiv.1410.5969
2014-11-20
Abstract:Bayer-Stillman showed that $reg(I) = reg(gin_\tau(I))$ when $\tau$ is the graded reverse lexicographic order. We show that the reverse lexicographic order is the unique monomial order $\tau$ satisfying $reg(I) = reg(gin_\tau(I))$ for all ideals $I$. We also show that if $gin_{\tau_1}(I) = gin_{\tau_2}(I)$ for all $I$, then $\tau_1 = \tau_2$.
Commutative Algebra
What problem does this paper attempt to address?