Betti-linear ideals (Q1634860): Difference between revisions

Let $B$ be the Betti poset of the monomial ideal $I$ with minimal free resolution $\mathcal{F}=(F_k, \phi_k)$. Thus, $B$ is the set of monomial degrees of the basis elements of $\mathcal{F}$ ordered by divisibility. The author defines that the ideal $I$ is Betti-linear if we can fix homogeneous bases $B_k$ of the free modules $F_k$ for all $k$ so that for any $i\geq 1$ and any $\tau\in B_i$, the element $\phi_i(\tau)=\sum_{\gamma\in B_{i-1}}[\tau:\gamma].\gamma$ has the property that if $[\tau:\gamma]\neq 0$ then the monomial degree of $\gamma$ is covered in the poset $B$ by that of $\tau$. \par The structure of this paper under review is as follows: In Section 2, the author introduces the notion of Betti linearity, examine a few examples, and he states as main theorem that $I$ is Betti-linear if and only if $F$ can be recovered from the poset construction applied to the Betti poset of the ideal $I$. In Section 3 he discusses the poset construction in detail. Section 4 he provides a few key properties of the Betti poset. Finally, in Section 5 the author gives a proof of our main theorem.