Generic initial ideals and fibre products

Publication date 14 April 2010

Published in Osaka Journal of Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0707.0678, https://projecteuclid.org/euclid.ojm/1266586783

Theory of modules and ideals in commutative rings (13C99) Commutative rings defined by monomial ideals; Stanley-Reisner face rings; simplicial complexes (13F55) Gröbner bases; other bases for ideals and modules (e.g., Janet and border bases) (13P10)

Abstract: We study the behavior of generic initial ideals with respect to fibre products. In our main result we determine the generic initial ideal of the fibre product with respect to the reverse lexicographic order. As an application we compute the symmetric algebraic shifted complex of two disjoint simplicial complexes as was conjectured by Kalai. This result is the symmetric analogue of a theorem of Nevo who determined the exterior algebraic shifted complex of two disjoint simplicial complexes as predicted by Kalai.

Review text

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\).

Recommendations

Cites work

Cited in

(8)

Describes a project that uses

Uses Software

This page was built for publication: Generic initial ideals and fibre products

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q964008)