Generic initial ideals and fibre products (Q964008)

Let \(K\) be a field of characteristic \(0, S=K[x_1, \dots, x_n]\) and \(I\) be a graded ideal of \(S\). Let \(>\) be the degree reverse lexicographical ordering on the monomials of \(S\). The generic initial ideal \(\text{gin}(I)\) is defined as the ideal of initial terms of \(\varphi(I)\) where \(\varphi\) is a generic element of \(Gl_n(K)\). The following theorem is proved: Let \(I\subset K[x_1, \dots, x_n]\) and \(J\subset[x_{n+1}, \dots, x_{n+m}]\) be graded ideals then \(\text{gin}(F(I,J))=\text{gin}(F(\text{gin}(I), \text{gin}(J))\). Here \(F(I, J)=I+J+Q\) with \(Q=\langle x_i|1\leq i\leq n\rangle\cdot \langle x_j|n+1\leq j\leq n+m\rangle\). If \(I\subseteq \langle x_1, \dots, x_n\rangle^2, J\subseteq\langle x_{n+1}, \dots, x_{n+m}\rangle^2\), \(I\) and \(J\) are componentwise linear if and only if \(F(I,J)\) is componentwise linear. Here an graded ideal \(L\) is called componentwise linear if for all \(k\) the ideal \(L_{(k)}\) has a \(k\)-linear resolution, i.e. \(\text{Tor}_i(L_{(k)}, K)_{i+j}=0\) for \(j\neq k\). Here \(L_{(k)}\) is the ideal generated by all elements of degree \(k\) of \(L\).