Quadratic generation conjecture for join-meet binomial algebras of simple planar distributive lattices

At least 22 years old · documented by

Let LL be a simple planar distributive lattice, and let RK(L){\mathcal R}_K(L) be its join-meet binomial algebra with defining ideal IRK(L)I_{{\mathcal R}_K(L)}. An interval is a sublattice of LL consisting of all elements between two fixed elements; write D22⋅32D_{2^{2}\cdot 3^{2}} for the corresponding divisor lattice.

Quadratic generation conjecture. The defining ideal IRK(L)I_{{\mathcal R}_K(L)} is generated by quadrics if and only if at most one interval is D22⋅32D_{2^{2}\cdot 3^{2}}.

The preceding results show that sufficiently complicated interval configurations force relations of degree greater than two, while the conjecture proposes that having at most one interval of type D22⋅32D_{2^{2}\cdot 3^{2}} is also sufficient for quadratic generation. The conjecture is presented as open in the source.

References

Primary source

Barbara Betti and Takayuki Hibi, “Join-meet binomial algebras of distributive lattices”, arXiv:2603.14506 (2026).

Additional references

4 papers in this index state this conjecture (2003–2026). The statement above is taken from the most recent of them; the others are arXiv:1904.07563, arXiv:math/0606683, arXiv:math/0301255.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.