Squarefree initial ideal conjecture for stretched lattice join-meet ideals

About 19 years old · traced to

Let k≥3k\geq 3 and let (n1,…,nk)≠(1,…,1)(n_1,\ldots,n_k)\neq(1,\ldots,1). Let Lk(n1,…,nk)L_k(n_1,\ldots,n_k) be the stretched finite lattice with chains

s<ai,1<ai,2<⋯<ai,ni<ts<a_{i,1}<a_{i,2}<\cdots<a_{i,n_i}<t

for i=1,…,ki=1,\ldots,k, and let ILk(n1,…,nk)I_{L_k(n_1,\ldots,n_k)} be its join-meet ideal. Squarefree initial ideal conjecture. There exists a monomial order ≺′\prec' such that ILk(n1,…,nk)I_{L_k(n_1,\ldots,n_k)} is squarefree with respect to ≺′\prec'. The proposed monomial-order formulation is motivated by the proof for k=2k=2 and is presented as a natural conjecture for k≥3k\geq 3.

References

Primary source

Yohei Oshida, “New examples of radical join-meet ideals”, arXiv:2202.06822 (2022).

Additional references

2 papers in this index state this conjecture (2007–2022). The statement above is taken from the most recent of them; the others are arXiv:0704.0918.

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.