A property deducible from the generic initial ideal (Q1295711)

Let \(k\) be a field of characteristic 0, \(S=k[x_1,\dots,x_s]\) and \(S_d\) the vector space of monomials of degree \(d\) in \(S\). The author investigates the generic initial subspace \(\text{gin} (V)\) of \(S_d\), \(V\) being a subspace of \(S_d\), with respect to the reverse lexicographic order. The main result is the following: Put \(d=n+m\) and suppose \(\text{gin} (V)= W^n x_1^m\), where \(W=(x_1, \dots, x_r)\subseteq S_1\) and \(s\geq r\geq 3\). Then there exists a polynomial \(p\in S_m\) and a linear subspace \(W_n\subseteq S_n\) such that \(V=W_np\). The basics of the theory of generic initial spaces are provided.