On the regularity of join-meet ideals of modular lattices (Q2074403)

Let \(L\) be a finite lattice, \(K[L]=K[x_a | a\in L]\) and \[I_L = \langle x_ax_b -x_{a\wedge b}x_{a\vee b} | a,b\in L, a,b \text{ are incomparable}\rangle,\] is the join-meet ideal associated with \(L\). The main goal of the paper under review is proving that \(\mathrm{reg}(K[L]/I_L)\geq 3\) when \(L\) is a finite modular non-distributive lattice. The author's motivation is Lemma 1.2 in [\textit{V. Ene} and \textit{T. Hibi,} J. Commut. Algebra 5, No. 2 209--230 (2013; Zbl 1276.13020)] which declares that a modular non-distributive lattice contains a diamond sublattice \(L'\) such that \(\mathrm{rank \ max} L' - \mathrm{rank \ min} L'=2\). Hence they consider diamond lattice \(D_{n+2}, n\geq 3\) with elements \(x>y_1, \dots , y_n >z\) first. Then by characterizing the Hilbert series of \(K[D_{n+2}]/I_{D_{n+2}}\), they compute the regularity of \(K[D_{n+2}]/I_{D_{n+2}}\) and show that \(I_{D_{n+2}}\) is Gorenstein. This leads them to their main goal. A homogeneous ideal \(I\) in a polynomial ring \(R\) which is generated in degree \(d\) is called linearly related if \(j\geq d+2\) implies that \(\beta_{1,j}(R/I)=\beta_{2,j}(R/I)=0\). As another result, the authors show that \(\beta_{2,4}(K[D_{n+2}]/I_{D_{n+2}})\) and hence \(\beta_{2,4}(K[L]/I_L)\), when \(L\) is a finite modular non-distributive lattice, is non-zero. Hence \(I_L\) can not be linearly related in this case.