Asymptotic behavior of integer programming and the stability of the Castelnuovo-Mumford regularity (Q2133412)

The paper is devoted to a problem in integer programming that appeared from commutative algebra. The Castelnuovo-Mumford regularity \(reg(R/I)\), extended to the integral closure \(\bar{I}\) in reals of monomial ideal \(I\) is reduced to a system on quasi-linear invariants \(a_i(R/\overline{I^n})\) with same slope for large \(n\) in local cohomology \(H^i_{\mathfrak m}(R/\overline{I^n})\). The latter is reduced to the following linear integer program \((I\mathcal Q_n)\): \(\mathbf{d}^T.\mathbf{x}=d_1x_1 + \dots + d_rx_r \to \max = M_n\), subject to the constraints: \(\mathbf{x} \in \mathcal Q_n \cap \mathbb N^r: \sum_j a_{ij}x_j \leq nb_i + c_i, i \leq s\), \(x_j\geq 0\), where \(a_{ij},b_i,c_i,d_i\in \mathbb Z\). The main results are stated in Theorems 2.12, 3.11, 3.13 that for large enough \(n\) the invariants \(a_i(R/\overline{I^n})\) are quasi-linear functions with the same slope. The results give a further application of linear programming methods to commutative algebra.