Initial ideals of generic ideals and variations of Moreno-Soc\'{i}as conjecture

TL;DR

This paper investigates the properties of initial ideals of generic ideals, proving they are Borel-fixed for any monomial order, and introduces a new method for computing these ideals to analyze their structure and bounds.

Contribution

It extends Moreno-Socías conjecture by proving Borel-fixedness for arbitrary orders and proposes a novel computation method using stability conditions of Gröbner bases.

Findings

Initial ideals of generic ideals are Borel-fixed.

A new method for computing initial ideals using stability conditions.

Bounded the maximal degree of Gröbner bases for generic ideals.

Abstract

It is known that the initial ideals of generic ideals are the same. Moreno-Soc\'{i}as conjectured that the initial ideal of generic ideals with respect to the degree reverse lexicographic order is weakly reverse lexicographic. In the first half of this paper, we study the initial ideal of generic ideals for arbitrary monomial order and prove that the initial ideal of generic ideals is Borel-fixed. It can be considered as a weakened version of Moreno-Soc\'{i}as conjecture. In the second half, we propose a new method of the computation of the initial ideal of generic ideals using stability condition of Gr\"{o}bner bases. We apply the method in the case of lexicographic order and study the relationship between the lexsegment ideal and the initial ideal of generic ideals. This study aims to bound the maximal degree of Gr\"{o}bner basis. At the last, we propose questions that can be considered as a lexicographic analogue of Moreno-Soc\'{i}as conjecture.